Hacker NewsJan 7

What *is* code? (2015)

https://www.bloomberg.com/graphics/2015-paul-ford-what-is-code/

#HackerNews #WhatIsCode #CodeExplained #TechLiteracy #Programming #2015Insights

What Is Code? If You Don't Know, You Need to Read This

The world belongs to people who code. Those who don’t understand will be left behind.

Hacker NewsMay 12, 2025

Why GADTs matter for performance (2015)

https://blog.janestreet.com/why-gadts-matter-for-performance/

#HackerNews #GADTs #Performance #FunctionalProgramming #JaneStreet #TechBlog #2015Insights

Why GADTs matter for performance

When GADTs (Generalized Algebraic DataTypes) landed inOCaml, I wasn’t particularly happy about it. I assumed that it was the kind ofnonsense you get when you...

Jane Street Blog