Yes, IHaskell Can Do That!

  Рет қаралды 1,986

Compose Conference

Compose Conference

Күн бұрын

Пікірлер: 4
Using Dependent Types in an F# DSL for Linear Algebra
32:20
Using Dependent Types in an F# DSL for Linear Algebra
Compose Conference
Рет қаралды 964
Teaching the intersection of mathematics and functional programming
24:42
Teaching the intersection of mathematics and functional programming
Compose Conference
Рет қаралды 661
ДОСЫМЖАН ЕКЕУМІЗГЕ 6 ОЙЫНШЫ ЖАБЫЛДЫ!
18:28
ДОСЫМЖАН ЕКЕУМІЗГЕ 6 ОЙЫНШЫ ЖАБЫЛДЫ!
EROOKA
Рет қаралды 111 М.
Counter-Strike 2 - Новый кс. Cтарый я
13:10
Counter-Strike 2 - Новый кс. Cтарый я
Marmok
Рет қаралды 2,8 МЛН
I'VE MADE A CUTE FLYING LOLLIPOP FOR MY KID #SHORTS
0:48
I'VE MADE A CUTE FLYING LOLLIPOP FOR MY KID #SHORTS
A Plus School
Рет қаралды 20 МЛН
How to have fun with a child 🤣 Food wrap frame! #shorts
0:21
How to have fun with a child 🤣 Food wrap frame! #shorts
BadaBOOM!
Рет қаралды 17 МЛН
Jupyter Notebooks vs Python Scripts | When to Use Which?
13:07
Jupyter Notebooks vs Python Scripts | When to Use Which?
ArjanCodes
Рет қаралды 53 М.
George Wilson - An Intuition for Propagators - Compose Melbourne 2019
31:23
George Wilson - An Intuition for Propagators - Compose Melbourne 2019
Compose Conference
Рет қаралды 7 М.
Jupyter Lab is AWESOME For Data Science
14:12
Jupyter Lab is AWESOME For Data Science
NeuralNine
Рет қаралды 81 М.
Brendan Zabarauskas - Lost in a Universe of Types - Compose Melbourne 2019
28:45
Brendan Zabarauskas - Lost in a Universe of Types - Compose Melbourne 2019
Compose Conference
Рет қаралды 1,1 М.
How to Build Effective AI Agents (without the hype)
24:27
How to Build Effective AI Agents (without the hype)
Dave Ebbelaar
Рет қаралды 59 М.
The Best Refactoring You’ve Never Heard Of
32:33
The Best Refactoring You’ve Never Heard Of
Compose Conference
Рет қаралды 15 М.
OAuth 2.0 and OpenID Connect (in plain English)
1:02:17
OAuth 2.0 and OpenID Connect (in plain English)
OktaDev
Рет қаралды 1,8 МЛН
Think Fast, Talk Smart: Communication Techniques
58:20
Think Fast, Talk Smart: Communication Techniques
Stanford Graduate School of Business
Рет қаралды 44 МЛН
A Tase Of ATS
37:27
A Tase Of ATS
Compose Conference
Рет қаралды 3,8 М.
Bidirectional Type Checking
41:31
Bidirectional Type Checking
Compose Conference
Рет қаралды 6 М.
ДОСЫМЖАН ЕКЕУМІЗГЕ 6 ОЙЫНШЫ ЖАБЫЛДЫ!
18:28
ДОСЫМЖАН ЕКЕУМІЗГЕ 6 ОЙЫНШЫ ЖАБЫЛДЫ!
EROOKA
Рет қаралды 111 М.