Загрузка видео...

Не удалось загрузить видео

На главную

Hindley Milner type inference (algorithm-j) visualized 🎉

jaredforsyth's profile picture

🦋 Jared Forsyth

5,859 subscribers

39,893 просмотров • 3 лет назад •via X (Twitter)

Наука и технологииНовости и политикаОбразование
LIVE

Anya Rossi• Live Now

Private livecam show

Комментарии: 8

Фото профиля 🦋 Jared Forsyth
🦋 Jared Forsyth3 лет назад

play with it here

Фото профиля Colin Barrett (NEET arc)
Colin Barrett (NEET arc)3 лет назад

Did you intend to publish with audio? Sounded like background noise

Фото профиля 🦋 Jared Forsyth
🦋 Jared Forsyth3 лет назад

oops lol no

Фото профиля Jeremie Pelletier
Jeremie Pelletier3 лет назад

It's like watching Racket's syntax objects being resolved, but at the type-system level. Neat!

Фото профиля mandalarian
mandalarian3 лет назад

Wow. This is so impressive, man. Also, the link doesn't work on Firefox.

Фото профиля 🦋 Jared Forsyth
🦋 Jared Forsyth3 лет назад

Yeah sorry about that. I use Intl.Segmenter to split graphemes, didn't realize Firefox didn't have support yet

Фото профиля Matt
Matt3 лет назад

This is absolutely wild 😍

Фото профиля l 🇪🇪
l 🇪🇪3 лет назад

@welltypedwitch @TheEduardoRFS

Похожие видео

got opus 5.5 to make a video illustrating how algorithm W infers types in hindley-milner type systems
4:37

got opus 5.5 to make a video illustrating how algorithm W infers types in hindley-milner type systems

aron

23,067 просмотров • 1 месяц назад

Congrats on the TypeScript 7 release! 🎉 TS7 vs TS6 racing Hono RPC type inference - tsc is 3-4x faster!! (Not 10x: that's parse + multi-core over many files - Hono's inference is one deep sequential type)
0:31

Congrats on the TypeScript 7 release! 🎉 TS7 vs TS6 racing Hono RPC type inference - tsc is 3-4x faster!! (Not 10x: that's parse + multi-core over many files - Hono's inference is one deep sequential type)

Yusuke Wada

25,315 просмотров • 3 месяцев назад

Your blood type decides who you can save. Blood type compatibility, visualized.
1:00

Your blood type decides who you can save. Blood type compatibility, visualized.

Curiosity

63,677 просмотров • 2 месяцев назад

now opus 5.5 visualized how Physical Intelligence π0.5 inference works on DROID, built from open code and paper
0:36

now opus 5.5 visualized how Physical Intelligence π0.5 inference works on DROID, built from open code and paper

Dmytro Hrybov

14,676 просмотров • 1 месяц назад

Working on pathfinding. It's based on the A* algorithm. For testing purposes I can mark a destination and the algorithm tries to find the best path. Progress is visualized by small cubes. The yellow cubes mark the current best path.
0:22

Working on pathfinding. It's based on the A* algorithm. For testing purposes I can mark a destination and the algorithm tries to find the best path. Progress is visualized by small cubes. The yellow cubes mark the current best path.

Wolfram von Funck

234,305 просмотров • 3 лет назад

type inference from .sql files has been achieved internally ORMs are toast
0:45

type inference from .sql files has been achieved internally ORMs are toast

colinhacks

392,332 просмотров • 13 дней назад

Dear Algorithm, kindly show this post to everyone suffering from stagnation of any type.
1:45

Dear Algorithm, kindly show this post to everyone suffering from stagnation of any type.

Nedu Ani

85,038 просмотров • 1 месяц назад

👏 James Milner
0:44

👏 James Milner

The Redmen TV

173,359 просмотров • 10 месяцев назад

ASMR hindley breaks his violin and blames it on heathcliff
1:36

ASMR hindley breaks his violin and blames it on heathcliff

DJ DANTE ❤️✨🎶

19,805 просмотров • 2 лет назад

Nick Fuentes on TikTok’s j*wish acquisition and algorithm modification. “Now that they control the algorithm they can solve the problem the had two years ago”
5:14

Nick Fuentes on TikTok’s j*wish acquisition and algorithm modification. “Now that they control the algorithm they can solve the problem the had two years ago”

Charging…

17,372 просмотров • 9 месяцев назад

Massaging visualized
0:22

Massaging visualized

Interesting AF

26,287 просмотров • 11 месяцев назад

bro casually explains RL tuning for LLMs and the three critical components: training, inference, and environments. basically any RLVR algorithm such as GRPO comes down to this super simple concept.
1:42

bro casually explains RL tuning for LLMs and the three critical components: training, inference, and environments. basically any RLVR algorithm such as GRPO comes down to this super simple concept.

ℏεsam

102,426 просмотров • 9 месяцев назад

Boring James Milner? No chance! 😄
0:49

Boring James Milner? No chance! 😄

Match of the Day

87,025 просмотров • 7 месяцев назад

He's like James Milner! 😍
0:24

He's like James Milner! 😍

Anfield Watch

14,765 просмотров • 3 дней назад

Light refraction, visualized.
0:30

Light refraction, visualized.

Massimo

39,383 просмотров • 9 месяцев назад

Raheem Kassam Sounds Alarm On Big Tech Oligarchs Influencing Policy Following X Algorithm Censorship Raheem J. Kassam
3:05

Raheem Kassam Sounds Alarm On Big Tech Oligarchs Influencing Policy Following X Algorithm Censorship Raheem J. Kassam

Bannon’s WarRoom

79,862 просмотров • 1 год назад