Loading video...

Video Failed to Load

There was a problem loading this video. This could be due to a temporary network issue or the video might be unavailable.

Hindley Milner type inference (algorithm-j) visualized 🎉

🦋 Jared Forsyth

5,859 subscribers

39,893 views • 2 years ago •via X (Twitter)

Science & Technology News & Politics Education

Anya Rossi• Live Now

Private livecam show

8 Comments

🦋 Jared Forsyth2 years ago

play with it here

Colin Barrett (NEET arc)2 years ago

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

🦋 Jared Forsyth2 years ago

oops lol no

Jeremie Pelletier2 years ago

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

mandalarian2 years ago

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

🦋 Jared Forsyth2 years ago

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

Matt2 years ago

This is absolutely wild 😍

l 🇪🇪2 years ago

@welltypedwitch @TheEduardoRFS

Related Videos

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.

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

233,594 views • 2 years ago

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”

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 views • 6 months ago

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.

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 views • 6 months ago

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

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

Bannon’s WarRoom

79,862 views • 1 year ago

สุขสันต์วันเกิดครับลูก รักลูกนะครับ J 🎂🎂🎉🎉❤️

สุขสันต์วันเกิดครับลูก รักลูกนะครับ J 🎂🎂🎉🎉❤️

Jami_jim

55,294 views • 3 years ago

"They have Osmium and Cadmium implants in them..." 🤯👽 Jesse Michels reveals amazing new details about the alleged Alien Mummies found in Peru. • 3 different types of creatures found • S type, J type, and M type (most convincing type) • 8-10 M types found • 25-30 J types found • Being sold on the black market for millions

"They have Osmium and Cadmium implants in them..." 🤯👽 Jesse Michels reveals amazing new details about the alleged Alien Mummies found in Peru. • 3 different types of creatures found • S type, J type, and M type (most convincing type) • 8-10 M types found • 25-30 J types found • Being sold on the black market for millions

TUPACABRA

944,673 views • 1 year ago

#제이홉 2025년 제52회 한국방송대상 최우수 가수상 수상을 축하합니다🎉🎉 CONGRATULATIONS J-HOPE KBA BEST SINGER J-HOPE #한국방송대상_최우수가수상_제이홉축하해 #KoreaBroadcastingAwards #jhope

#제이홉 2025년 제52회 한국방송대상 최우수 가수상 수상을 축하합니다🎉🎉 CONGRATULATIONS J-HOPE KBA BEST SINGER J-HOPE #한국방송대상_최우수가수상_제이홉축하해 #KoreaBroadcastingAwards #jhope

홉온더월드(slow)

32,444 views • 11 months ago

3 years ago today. J. Cole dropped ‘Procrastination (Broke)’ A song he recorded on a random ‘J. Cole type beat’ he found on YouTube. 🐐

3 years ago today. J. Cole dropped ‘Procrastination (Broke)’ A song he recorded on a random ‘J. Cole type beat’ he found on YouTube. 🐐

Cole World

53,458 views • 6 months ago

🇺🇸 Novidade boa! Donald J. Trump 🎉

🇺🇸 Novidade boa! Donald J. Trump 🎉

Eduardo Bolsonaro🇧🇷

94,334 views • 1 year ago

Video of J-35 5G stealth fighter jet on Type 001 CV-16 Liaoning aircraft carrier.

Video of J-35 5G stealth fighter jet on Type 001 CV-16 Liaoning aircraft carrier.

Fay

20,487 views • 2 months ago

Who else loves a dance floor fuck 🎉 #atlantiscruise FT. J.

Sensitive content

Who else loves a dance floor fuck 🎉 #atlantiscruise FT. J.

TJ Mac

68,953 views • 2 years ago

Happy Birthday, President Donald J. Trump! 79 years of a living legend! 🎉

Happy Birthday, President Donald J. Trump! 79 years of a living legend! 🎉

Mambo Italiano

650,359 views • 1 year ago

🔺️Happy Birthday to President Donald J Trump. 🎊🎉🥳🎁🎂

🔺️Happy Birthday to President Donald J Trump. 🎊🎉🥳🎁🎂

(Jason) Stands For Truth

16,222 views • 1 year ago

Different coronary calcium morphologies require different treatment approaches. Dr Robert Riley (Robert Riley) discusses how his algorithm shifts based on lesion type to facilitate the best possible patient outcomes. US Rx only. ISI #ShockwaveP2P

Different coronary calcium morphologies require different treatment approaches. Dr Robert Riley (Robert Riley) discusses how his algorithm shifts based on lesion type to facilitate the best possible patient outcomes. US Rx only. ISI #ShockwaveP2P

Shockwave Medical

44,297 views • 1 year ago

The most wonderful New Year’s Eve celebration ever 🎉🎉🎉 Sharing the joy and happiness from last night with Elon Musk Donald J. Trump MELANIA TRUMP Great fashion Fashion Happy New Year to all 🎉🎉❤️❤️

The most wonderful New Year’s Eve celebration ever 🎉🎉🎉 Sharing the joy and happiness from last night with Elon Musk Donald J. Trump MELANIA TRUMP Great fashion Fashion Happy New Year to all 🎉🎉❤️❤️

Maye Musk

213,039 views • 1 year ago

🚀 It's getting cold out there folks Today we're launching several updates for winter weather for FREE: - Improved Precipitation Type algorithm to show: rain, snow, sleet and freezing rain - MRMS Precipitation Type - Winter related products for weather models - Precipitation Type - Total snowfall - Snow depth - And many others For Plus/Pro subscribers, smoothing is now supported for Precipitation Type Available now on: iOS: Android: Browser: And to Plus/Pro subscribers using our Windows/Mac/Linux App

🚀 It's getting cold out there folks Today we're launching several updates for winter weather for FREE: - Improved Precipitation Type algorithm to show: rain, snow, sleet and freezing rain - MRMS Precipitation Type - Winter related products for weather models - Precipitation Type - Total snowfall - Snow depth - And many others For Plus/Pro subscribers, smoothing is now supported for Precipitation Type Available now on: iOS: Android: Browser: And to Plus/Pro subscribers using our Windows/Mac/Linux App

WeatherWise.app

28,978 views • 8 months ago