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