Nevermark's favorites

1.		AI Blindspots – Blindspots in LLMs I've noticed while AI coding (ezyang.github.io)
		499 points by rahimnathwani 23 hours ago \| 194 comments
2.		Writing an LLM from scratch, part 10 – dropout (gilesthomas.com)
		86 points by gpjt 14 hours ago \| 5 comments
3.		Visualising data structures and algorithms through animation (visualgo.net)
		245 points by tharuntechie 4 days ago \| 14 comments
4.		Coq-of-rust: Formal verification tool for Rust (github.com/formal-land)
		156 points by todsacerdoti 6 days ago \| 42 comments
5.		The Calculated Typer (bahr.io)
		75 points by matt_d 2 days ago \| 5 comments
6.		Archival Storage (dshr.org)
		357 points by rbanffy 2 days ago \| 186 comments
7.		Stupid Smart Pointers in C (kevinalbs.com)
		142 points by seansh 3 days ago \| 164 comments
8.		Quantum Speedup Found for Class of Hard Problems (quantamagazine.org)
		73 points by EA-3167 2 days ago \| 33 comments
9.		Deep Learning Is Not So Mysterious or Different (arxiv.org)
		476 points by wuubuu 2 days ago \| 121 comments
10.		Rhombus Language (rhombus-lang.org)
		237 points by swatson741 2 days ago \| 153 comments
11.		From Languages to Language Sets (gist.github.com)
		64 points by whatever3 6 days ago \| 33 comments
12.		High-performance computing, with much less code (news.mit.edu)
		116 points by mpweiher 6 days ago \| 11 comments
13.		A new Sudoku layout with 81 uniquely shaped cells (danielchasehooper.com)
		187 points by dmit 7 days ago \| 74 comments
14.		America Is Missing The New Labor Economy – Robotics Part 1 (semianalysis.com)
		268 points by lasermatts 9 days ago \| 418 comments
15.		Three Implementation Models for Scheme (1987) [pdf] (indiana.edu)
		71 points by tosh 9 days ago \| 4 comments
16.		Interprocedural Sparse Conditional Type Propagation (railsatscale.com)
		69 points by PaulHoule 7 days ago \| 11 comments
17.		Definite clause grammars and symbolic differentiation (bitsandtheorems.com)
		13 points by gsky 10 days ago \| 2 comments
18.		Open source software for modeling soft materials (tufts.edu)
		87 points by nill0 10 days ago \| 15 comments
19.		Honey Bunnies (mameson.com)
		196 points by memalign 6 days ago \| 38 comments
20.		Sorting algorithms with CUDA (ashwanirathee.com)
		149 points by ashwani-rathee 8 days ago \| 41 comments
21.		Apple has locked me in the same cage Microsoft's built for Windows 10 users (theregister.com)
		240 points by beardyw 8 days ago \| 358 comments
22.		Zinc, a systems programming language prototype (sr.ht)
		134 points by birdculture 7 days ago \| 78 comments
23.		Show HN: Time Portal – Get dropped into history, guess where you landed (eggnog.ai)
		496 points by samplank2 7 days ago \| 213 comments
24.		The cultural divide between mathematics and AI (sugaku.net)
		299 points by rfurmani 7 days ago \| 177 comments
25.		Ten Digit Problems (2011) [pdf] (ox.ac.uk)
		54 points by cpp_frog 13 days ago \| 2 comments
26.		AI tools are spotting errors in research papers (nature.com)
		600 points by kgwgk 12 days ago \| 215 comments
27.		Kill your Feeds – Stop letting algorithms dictate what you think (usher.dev)
		833 points by tom_usher 11 days ago \| 312 comments
28.		The program is the database is the interface (scattered-thoughts.net)
		203 points by tosh 12 days ago \| 61 comments
29.		Ladder: Self-improving LLMs through recursive problem decomposition (arxiv.org)
		369 points by fofoz 13 days ago \| 110 comments
30.		Anime fans stumbled upon a mathematical proof (scientificamerican.com)
		513 points by classichasclass 13 days ago \| 232 comments
		More