PROGRAMING

Formal methods and the future of programming
377 points | 126 comments

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

Vim Creator Bram Moolenaar's Forgotten Programming Language, Zimbu (2023)
17 points | 0 comments

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

My 1992 view of the problems of computer programming in 1992
9 points | 1 comments

Formal Methods and the Future of Programming
8 points | 0 comments

1992 view of the problems of computer programming in 1992
6 points | 0 comments