latenightcoding's favorites

1.		OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io)
		137 points by smartmic 1 day ago \| 52 comments
2.		I wasted weeks hand optimizing assembly because I benchmarked on random data (vidarholen.net)
		389 points by thunderbong 7 days ago \| 179 comments
3.		Mathematics for Computer Science (2024) (ocw.mit.edu)
		309 points by vismit2000 5 days ago \| 94 comments
4.		Yt-transcriber – Give a YouTube URL and get a transcription (github.com/pmarreck)
		173 points by Bluestein 6 days ago \| 57 comments
5.		AccountingBench: Evaluating LLMs on real long-horizon business tasks (penrose.com)
		532 points by rickcarlino 6 days ago \| 148 comments
6.		Stdio(3) change: FILE is now opaque (undeadly.org)
		166 points by gslin 7 days ago \| 90 comments
7.		Hacking a Toniebox (schafe-sind-bessere-rasenmaeher.de)
		90 points by LorenDB 7 days ago \| 40 comments
8.		Coding with LLMs in the summer of 2025 – an update (antirez.com)
		598 points by antirez 8 days ago \| 412 comments
9.		Trying Guix: A Nixer's impressions (tazj.in)
		201 points by todsacerdoti 13 days ago \| 88 comments
10.		23andMe is out of bankruptcy and it still hasn’t substantially changed its ways (washingtonpost.com)
		111 points by 1vuio0pswjnm7 10 days ago \| 82 comments
11.		Fully homomorphic encryption and the dawn of a private internet (bozmen.io)
		448 points by barisozmen 10 days ago \| 198 comments
12.		The rise of AI as a threat to the S&P 500 [pdf] (autonomy.work)
		116 points by seangrvs 11 days ago \| 88 comments
13.		KX Community Edition (defconq.tech)
		67 points by AUnterrainer 11 days ago \| 44 comments
14.		cppyy: Automatic Python-C++ Bindings (cppyy.readthedocs.io)
		76 points by gjvc 12 days ago \| 18 comments
15.		It took 45 years, but spreadsheet legend Mitch Kapor finally got his MIT degree (bostonglobe.com)
		199 points by bookofjoe 16 days ago \| 25 comments
16.		A Mental Model for C++ Coroutine (uvdn7.github.io)
		30 points by uvdn7 16 days ago \| 19 comments
17.		Hacking Coroutines into C (wiomoc.de)
		160 points by jmillikin 15 days ago \| 42 comments
18.		ETH Zurich and EPFL to release a LLM developed on public infrastructure (ethz.ch)
		716 points by andy99 16 days ago \| 101 comments
19.		Jank is C++ (jank-lang.org)
		289 points by Jeaye 16 days ago \| 95 comments
20.		Show HN: Pangolin – Open source alternative to Cloudflare Tunnels (github.com/fosrl)
		500 points by miloschwartz 17 days ago \| 125 comments
21.		Measuring the impact of AI on experienced open-source developer productivity (metr.org)
		775 points by dheerajvs 17 days ago \| 486 comments
22.		Tree Borrows (ethz.ch)
		584 points by zdw 19 days ago \| 146 comments
23.		Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left (medium.com/gabiteodoru)
		195 points by gabiteodoru 20 days ago \| 145 comments
24.		Bulgaria to join euro area on 1 January 2026 (europa.eu)
		275 points by toomuchtodo 19 days ago \| 328 comments
25.		Supabase MCP can leak your entire SQL database (generalanalysis.com)
		848 points by rexpository 19 days ago \| 470 comments
26.		Google can now read your WhatsApp messages (neowin.net)
		473 points by bundie 19 days ago \| 325 comments
27.		Reflections on 2 years of CPython's JIT Compiler (fidget-spinner.github.io)
		79 points by bratao 22 days ago \| 96 comments
28.		The era of exploration (yidingjiang.github.io)
		106 points by jxmorris12 20 days ago \| 11 comments
29.		Serving 200M requests per day with a CGI-bin (simonwillison.net)
		336 points by mustache_kimono 22 days ago \| 329 comments
30.		A 37-year-old wanting to learn computer science (initcoder.com)
		166 points by chbkall 23 days ago \| 174 comments
		More