Andrew Lelechenko - Haskell for mathematical libraries - Lambda Days 2020

  Рет қаралды 2,103

Code Sync

Code Sync

Күн бұрын

This video was recorded at Lambda Days 2020 www.lambdadays.org/lambdadays2020
Get involved in Lambda Days' next conference www.lambdadays.org
Learn more about the talk:
cms.lambdadays.org/lambdadays...
Lambda Days
Website: www.lambdadays.org
Twitter: LambdaDays
Facebook: / lambdadays
LinkedIn: / 11840018

Пікірлер: 4
@messapatingy
@messapatingy 3 жыл бұрын
I never knew, as a child, if a filter keeps or discards. i.e. Filter-out, or filter-in.
@cynocephalusw
@cynocephalusw 3 жыл бұрын
A hidden gem
@Liamshin_Ilia
@Liamshin_Ilia 4 жыл бұрын
Thanks
@BenHutchison
@BenHutchison 27 күн бұрын
On Ed Kmett's Algebra library "and of course its unusable " I thought this was a discarded opportunity to say something quite interesting. Carefully designed, mathematically faithful. Yet unusable. Why? I think if you're going to dismiss an attempt right at the heart of your chosen domain, you ought to show your working and expand this statement. kzbin.info/www/bejne/p5KzlZpmor-UrK8
Универ. 13 лет спустя - ВСЕ СЕРИИ ПОДРЯД
9:07:11
Комедии 2023
Рет қаралды 6 МЛН
ОДИН ДЕНЬ ИЗ ДЕТСТВА❤️ #shorts
00:59
BATEK_OFFICIAL
Рет қаралды 6 МЛН
Мы никогда не были так напуганы!
00:15
Аришнев
Рет қаралды 1,6 МЛН
Они убрались очень быстро!
00:40
Аришнев
Рет қаралды 3,6 МЛН
Lambda Calculus - Computerphile
12:40
Computerphile
Рет қаралды 1 МЛН
Against the Grain by Saša Jurić | Code BEAM Europe 2023
37:04
Code Sync
Рет қаралды 4,5 М.
Why Haskell
0:38
ThePrimeTime
Рет қаралды 412 М.
L2: Bellman Equation (P5-Action value)-Mathematical Foundations of RL
7:06
WestlakeIntelligentRobotics
Рет қаралды 15
Iphone or nokia
0:15
rishton vines😇
Рет қаралды 1,8 МЛН
Какой ПК нужен для Escape From Tarkov?
0:48
CompShop Shorts
Рет қаралды 264 М.
Обзор Sonos Ace - лучше б не выпускали...
16:33
WWDC 2024 Recap: Is Apple Intelligence Legit?
18:23
Marques Brownlee
Рет қаралды 6 МЛН