A Tase Of ATS

  Рет қаралды 3,852

Compose Conference

Compose Conference

Күн бұрын

Пікірлер: 3
@Lircking
@Lircking 6 ай бұрын
amazing
@AshkanKiani
@AshkanKiani 3 жыл бұрын
The person dying of consumption in the audience with their phlegmy coughs is really distracting, but the talk is fantastic.
@reen6904
@reen6904 3 жыл бұрын
lol, tere's a guy with tuberculosis in every meeting
Compositional Graphical Logic
50:18
Compositional Graphical Logic
Compose Conference
Рет қаралды 877
ASP.NET Core Authentication with Identity: JWT, Refresh Tokens, Access Tokens, and More
2:54:42
ASP.NET Core Authentication with Identity: JWT, Refresh Tokens, Access Tokens, and More
CliffTech
Рет қаралды 3 М.
Tool Items!😍New Gadgets, Smart Appliances, Kitchen Utensils/Home Inventions #shorts #gadgets
0:10
Tool Items!😍New Gadgets, Smart Appliances, Kitchen Utensils/Home Inventions #shorts #gadgets
Tool Items
Рет қаралды 69 МЛН
Did She Really Cut Her Hair?!😅 I'm Not Surprised Why She Crafted A DIY Hairdresser! #shorts
0:46
Did She Really Cut Her Hair?!😅 I'm Not Surprised Why She Crafted A DIY Hairdresser! #shorts
Cool Tool Shorts
Рет қаралды 82 МЛН
Больше чем прикосновение - 1-4 серии мелодрама
3:14:27
Больше чем прикосновение - 1-4 серии мелодрама
serial
Рет қаралды 2,1 МЛН
Какой я клей? | CLEX #shorts
0:59
Какой я клей? | CLEX #shorts
CLEX
Рет қаралды 1,9 МЛН
C_84 Introduction to Functions - part 1 | C Language Tutorials
25:27
C_84 Introduction to Functions - part 1 | C Language Tutorials
Jenny's Lectures CS IT
Рет қаралды 1 МЛН
Bidirectional Type Checking
41:31
Bidirectional Type Checking
Compose Conference
Рет қаралды 6 М.
The Best Refactoring You’ve Never Heard Of
32:33
The Best Refactoring You’ve Never Heard Of
Compose Conference
Рет қаралды 15 М.
Yes, IHaskell Can Do That!
26:12
Yes, IHaskell Can Do That!
Compose Conference
Рет қаралды 1,9 М.
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
36:58
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
Рет қаралды 23 М.
Using Dependent Types in an F# DSL for Linear Algebra
32:20
Using Dependent Types in an F# DSL for Linear Algebra
Compose Conference
Рет қаралды 963
Teaching the intersection of mathematics and functional programming
24:42
Teaching the intersection of mathematics and functional programming
Compose Conference
Рет қаралды 659
Andrew Kelley Practical Data Oriented Design (DoD)
46:40
Andrew Kelley Practical Data Oriented Design (DoD)
ChimiChanga
Рет қаралды 152 М.
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 М.
Keynote: Advent of Code, Behind the Scenes - Eric Wastl
46:01
Keynote: Advent of Code, Behind the Scenes - Eric Wastl
CppNorth
Рет қаралды 33 М.
Tool Items!😍New Gadgets, Smart Appliances, Kitchen Utensils/Home Inventions #shorts #gadgets
0:10
Tool Items!😍New Gadgets, Smart Appliances, Kitchen Utensils/Home Inventions #shorts #gadgets
Tool Items
Рет қаралды 69 МЛН