PROGRAMING

Formal methods and the future of programming
365 points | 120 comments

Formal Methods and the Future of Programming
78 points | 2 comments

Conversations with a six-year-old on functional programming (2018)
62 points | 8 comments

Programming the ZX Spectrum's Bitmap Display
14 points | 0 comments

Xavier Leroy's New Book on Control Structures in Programming
6 points | 0 comments

Four Programming Languages You've Probably Never Heard of [video]
6 points | 0 comments

Show HN: X – A programming language with switchable memory modes
4 points | 2 comments