PROGRAMMING

Learn Programming with OCaml
317 points | 139 comments

Programming is Art
190 points | 205 comments

Bespoke: A programming language for people who say please
163 points | 41 comments

C*: Unifying Programming and Verification in C (2025)
82 points | 53 comments

Show HN: MeScript, music programming language inspired by Lisp
25 points | 1 comments

A defense of object-orientated programming
10 points | 6 comments

Bespoke: A Programming Language for People Who Say Please
6 points | 2 comments