the_panopticon's favorites

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