the_panopticon's favorites

1.		Some notes on Rust, mutable aliasing and formal verification (graydon2.dreamwidth.org)
		357 points by todsacerdoti 28 days ago \| 145 comments
2.		Automattic Sabbatical Wrap – Matt Mullenweg (ma.tt)
		1 point by jacooper 28 days ago
3.		The Foundation of a Generic Theorem Prover (1989) [pdf] (arxiv.org)
		59 points by 082349872349872 33 days ago \| 4 comments
4.		CBMC: C bounded model checker (2021) (cprover.org)
		106 points by fanf2 39 days ago \| 31 comments
5.		Faer-rs: Linear algebra foundation for Rust (github.com/sarah-ek)
		229 points by nateb2022 49 days ago \| 58 comments
6.		Fifty years of the personal computer operating system (computerhistory.org)
		126 points by jnord 51 days ago \| 65 comments
7.		No one buys books (elysian.press)
		662 points by AlbertCory 51 days ago \| 635 comments
8.		Eight Transaction Papers by Jim Gray (arxiv.org)
		45 points by tkhattra 54 days ago \| 9 comments
9.		[flagged] Rant: I'm one year in at a big tech company, and I hate it (reddit.com)
		21 points by manwithnoplan 59 days ago \| 20 comments
10.		Quantum Algorithms for Lattice Problems (iacr.org)
		233 points by trotro 63 days ago \| 124 comments
11.		Ross Anderson (schneier.com)
		228 points by zdw 73 days ago \| 16 comments
12.		The Google employees who created transformers (wired.com)
		415 points by marban 84 days ago \| 241 comments
13.		Where is Noether's principle in machine learning? (cgad.ski)
		296 points by cgadski 3 months ago \| 76 comments
14.		Talc – A fast and flexible allocator for no_std and WebAssembly (github.com/sfbdragon)
		121 points by excsn 3 months ago \| 27 comments
15.		Press Release: Future Software Should Be Memory Safe (whitehouse.gov)
		146 points by steveklabnik 3 months ago \| 79 comments
16.		Mathematical Foundations of Joy (hypercubed.github.io)
		80 points by tosh 3 months ago \| 8 comments