fuzztester's favorites

1.		Nova Programming Language (nova-lang.net)
		118 points by surprisetalk 11 days ago \| 60 comments
2.		Evolving the OCaml Programming Language (2025) [pdf] (kcsrk.info)
		159 points by matt_d 3 months ago \| 48 comments
3.		Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover (imperialcollegelondon.github.io)
		146 points by ljlolel 4 months ago \| 107 comments
4.		Key technological advance in neural interfaces
		5 points by all2 5 months ago \| 3 comments
5.		Ask HN: How do I learn practical electronic repair?
		185 points by juanse 6 months ago \| 113 comments
6.		Parser Combinators Beat Regexes (entropicthoughts.com)
		122 points by mooreds 8 months ago \| 93 comments
7.		Show HN: The C3 programming language (C alternative language) (github.com/c3lang)
		175 points by lerno 8 months ago \| 185 comments
8.		Ask HN: What less-popular systems programming language are you using?
		287 points by fuzztester 9 months ago \| 450 comments
9.		An Awk Implementation in C99 (raygard.net)
		107 points by asicsp on April 1, 2024 \| 17 comments
10.		Favorite 3 books for your main programming language?
		2 points by fuzztester on March 19, 2024 \| 1 comment
11.		Ask HN: Is Go simplicity worth it?
		3 points by capl on Nov 24, 2023 \| 20 comments
12.		Ask HN: Who is using the D language and likes/doesn't like it? Why?
		89 points by fuzztester on Sept 23, 2023 \| 72 comments
13.		Amiga runs Michigan schools' heating and air conditioning systems (2015) (woodtv.com)
		159 points by mtr on Aug 10, 2023 \| 88 comments
14.		Your problem with Vim is that you don't grok vi (stackoverflow.com)
		417 points by ez77 on Aug 22, 2011 \| 182 comments