marvinborner's favorites

1.		[flagged] Yes, Climate Change Is Probably Going to Kill You (predicament.substack.com)
		25 points by marvinborner 7 days ago \| 22 comments
2.		Bret Victor: What can a technologist do about climate change? A personal view (worrydream.com)
		33 points by thunderbong 9 months ago \| 30 comments
3.		Algorithms for Modern Hardware (algorithmica.org)
		308 points by throwaway2037 10 months ago \| 76 comments
4.		Underrated Ways to Change the World (experimental-history.com)
		35 points by usrme 69 days ago \| 15 comments
5.		The centrality of stupidity in mathematics (mathforlove.com)
		284 points by ColinWright 4 months ago \| 173 comments
6.		Open Mathematics Depository (tuxfamily.org)
		137 points by aragonite 4 months ago \| 13 comments
7.		Using computers more freely and safely (akkartik.name)
		159 points by gstipi on May 29, 2023 \| 65 comments
8.		How to build quickly (learnhowtolearn.org)
		697 points by fagnerbrack 5 months ago \| 144 comments
9.		The Hitchhiker's Guide to Logical Verification [pdf] (2023) (browncs1951x.github.io)
		100 points by nextos 6 months ago \| 14 comments
10.		Typing the technical interview (aphyr.com)
		413 points by zorpner on April 10, 2017 \| 80 comments
11.		The unexpected poetry of PhD acknowledgements (anu.edu.au)
		360 points by zsrobinson 6 months ago \| 85 comments
12.		Beating NumPy matrix multiplication in 150 lines of C (salykova.github.io)
		392 points by p1esk 6 months ago \| 81 comments
13.		Digital Astronomy with Cellular Automata (kylehovey.github.io)
		4 points by marvinborner 9 months ago
14.		The Creative Switch (ralphammer.com)
		3 points by marvinborner 8 months ago
15.		Bret Victor: Inventing on Principle (vimeo.com)
		233 points by jashkenas on Feb 14, 2012 \| 19 comments
16.		Research as leisure activity (personalcanon.com)
		189 points by gmays 7 months ago \| 37 comments
17.		Lambda Screen: Fractals in pure lambda calculus (marvinborner.de)
		142 points by mmphosis 9 months ago \| 8 comments
18.		Birb: Programming with bird emojis (esolangs.org)
		174 points by marvinborner on Sept 12, 2023 \| 28 comments
19.		Metaprogramming and self-interpretation of lambda calculus (marvinborner.de)
		32 points by marvinborner on Nov 12, 2023 \| 5 comments
20.		Show HN: Programming with Pure Lambda Calculus (marvinborner.de)
		61 points by marvinborner on Dec 14, 2023 \| 8 comments