Ben's Engineering Blog personal blog

Sets, types and type checking

kaleidawave.github.io

My currently understanding of types

Points

118

HN comments

33

Submissions

1

Cited by

0 commenters

Math & AlgorithmsSoftware Engineering2024

Related posts from the same era

Bicycle

Bartosz Ciechanowski20233,014 points399 commentscited by 14 details

Airfoil

Bartosz Ciechanowski20242,544 points356 commentscited by 8 details

Learning to Reason with LLMs

OpenAI Blog20241,654 points1,261 commentscited by 18 details

4B If Statements

AAndreas Karlsson20231,518 points645 comments details

AI solves International Math Olympiad problems at silver medal level

Google DeepMind20241,370 points525 commentscited by 16 details

Visualizing Attention, a Transformer's Heart [video]

33Blue1Brown2024999 points172 comments details