Prefer do notation over Applicative operators when assembling records (2024)(haskellforall.com)

46 points by wazHFsRy 6 months ago | 6 comments

Why doesn't TypeScript properly type Object.keys?(alexharri.com)

210 points by alexharri 3 years ago | 124 comments

A sufficiently detailed spec is code(haskellforall.com)

535 points by signa11 7 months ago | 291 comments

A Haskell for all blog post, built around a comic strip, arguing that a specification detailed enough to generate a program is effectively code itself.

Writing a Hypervisor in 1k Lines(seiya.me)

93 points by ingve 1 year ago | 9 comments

The soloists and populars of the software world(mihaiolteanu.me)

5 points by molteanu 3 years ago | 0 comments

Storybits: Error Resistant Mnemonics(rya.nc)

18 points by luu 2 years ago | 0 comments