KZ
bin
Негізгі бет
Қазірдің өзінде танымал
Тікелей эфир
Ұнаған бейнелер
Қайтадан қараңыз
Жазылымдар
Кіру
Тіркелу
Ең жақсы KZbin
Фильм және анимация
Автокөліктер мен көлік құралдары
Музыка
Үй жануарлары мен аңдар
Спорт
Ойындар
Комедия
Ойын-сауық
Тәжірибелік нұсқаулар және стиль
Ғылым және технология
Clash: A Practical Haskell to Circuit Compiler
23:15
Type-level visible type application
24:24
СИНИЙ ИНЕЙ УЖЕ ВЫШЕЛ!❄️
01:01
乔的审判，精灵应该上天堂还是下地狱？#shorts #Fairy#fairytales
00:58
When you have a very capricious child 😂😘👍
00:16
1% vs 100% #beatbox #tiktok
01:10
Source Plugins
Рет қаралды 135
Facebook
Twitter
Жүктеу
1
Жазылу 3,8 М.
ICFP Video
Күн бұрын
Пікірлер
23:15
Clash: A Practical Haskell to Circuit Compiler
ICFP Video
Рет қаралды 1,1 М.
24:24
Type-level visible type application
ICFP Video
Рет қаралды 254
01:01
СИНИЙ ИНЕЙ УЖЕ ВЫШЕЛ!❄️
DO$HIK
Рет қаралды 3,3 МЛН
00:58
乔的审判，精灵应该上天堂还是下地狱？#shorts #Fairy#fairytales
精灵少女
Рет қаралды 9 МЛН
00:16
When you have a very capricious child 😂😘👍
Like Asiya
Рет қаралды 18 МЛН
01:10
1% vs 100% #beatbox #tiktok
BeatboxJCOP
Рет қаралды 67 МЛН
20:59
Coercion Quantification
ICFP Video
Рет қаралды 197
27:22
AI Is Making You An Illiterate Programmer
ThePrimeTime
Рет қаралды 180 М.
24:23
State of GHC
ICFP Video
Рет қаралды 766
23:31
Pier: Yet another Haskell build tool
ICFP Video
Рет қаралды 331
31:42
Embedding Invertible Languages with Binders
ICFP Video
Рет қаралды 139
32:31
Ghosts of Departed Proofs (Functional Pearl)
ICFP Video
Рет қаралды 1,1 М.
28:13
Implementing Linear Haskell
ICFP Video
Рет қаралды 950
25:35
Generalized Abstract GHC.Generics
ICFP Video
Рет қаралды 960
9:44
Deepseek-R1 + RooCode: BEST AI Coding Agent! Develop a Full-stack App Without Writing ANY Code!
WorldofAI
Рет қаралды 72 М.
31:57
A High-Performance Multicore IO Manager Based on libuv (Experience Report)
ICFP Video
Рет қаралды 572
01:01
СИНИЙ ИНЕЙ УЖЕ ВЫШЕЛ!❄️
DO$HIK
Рет қаралды 3,3 МЛН
Күн бұрын
Күн бұрын