| 1. | | Breaking Paragraphs into Lines [pdf] (1981) (gwern.net) |
| 37 points by Smaug123 12 days ago | past | 7 comments |
|
| 2. | | Annals of Formalized Mathematics Volume 1 (episciences.org) |
| 1 point by Smaug123 5 months ago | past |
|
| 3. | | Knockout Mouse (asteriskmag.com) |
| 1 point by Smaug123 6 months ago | past |
|
| 4. | | Solving Package Management via Hypergraph Dependency Resolution (arxiv.org) |
| 4 points by Smaug123 6 months ago | past |
|
| 5. | | Review: The Birth of Sake (gwern.net) |
| 4 points by Smaug123 7 months ago | past |
|
| 6. | | Opam's Nix system dependency mechanism (freumh.org) |
| 5 points by Smaug123 7 months ago | past |
|
| 7. | | An Interview with Zen Chief Architect Mike Clark (computerenhance.com) |
| 151 points by Smaug123 9 months ago | past | 19 comments |
|
| 8. | | Separation of Concerns in a Bug Tracker (greenend.org.uk) |
| 34 points by Smaug123 9 months ago | past | 8 comments |
|
| 9. | | Bug Likelihood over Time (antithesis.com) |
| 4 points by Smaug123 11 months ago | past | 1 comment |
|
| 10. | | A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional (vmchale.com) |
| 90 points by Smaug123 11 months ago | past | 19 comments |
|
| 11. | | Five Letters on Set Theory [pdf] (unito.it) |
| 2 points by Smaug123 11 months ago | past | 1 comment |
|
| 12. | | Introduction to Synthetic Agda (cbaberle.com) |
| 3 points by Smaug123 11 months ago | past |
|
| 13. | | Actual Web Rendering in Terminal (github.com/chase) |
| 28 points by Smaug123 12 months ago | past | 1 comment |
|
| 14. | | Interlock (Engineering) (wikipedia.org) |
| 2 points by Smaug123 on Dec 21, 2024 | past |
|
| 15. | | How to Read Papers (semantic-domain.blogspot.com) |
| 2 points by Smaug123 on Dec 20, 2024 | past |
|
| 16. | | 500 Million, But Not a Single One More (laneless.substack.com) |
| 76 points by Smaug123 on Nov 21, 2024 | past | 9 comments |
|
| 17. | | Exploring Effect in TypeScript: Simplifying Async and Error Handling (tweag.io) |
| 3 points by Smaug123 on Nov 7, 2024 | past |
|
| 18. | | Almost Secure (2011) (debugmo.de) |
| 23 points by Smaug123 on Oct 31, 2024 | past | 1 comment |
|
| 19. | | Life in India is a series of bilateral negotiations (strangeloopcanon.com) |
| 66 points by Smaug123 on Oct 16, 2024 | past | 40 comments |
|
| 20. | | Try to fix it one level deeper (matklad.github.io) |
| 129 points by Smaug123 on Oct 15, 2024 | past | 61 comments |
|
| 21. | | YAML is not a superset of JSON (patrickstevens.co.uk) |
| 59 points by Smaug123 on Sept 11, 2024 | past | 58 comments |
|
| 22. | | Try to fix it one level deeper (matklad.github.io) |
| 3 points by Smaug123 on Sept 6, 2024 | past |
|
| 23. | | Just added operator precedence rules to Unison doesn't break any code (twitter.com/runarorama) |
| 3 points by Smaug123 on Aug 24, 2024 | past | 1 comment |
|
| 24. | | No-panic: Attribute macro to require rustc to prove a function can't ever panic (crates.io) |
| 2 points by Smaug123 on Aug 6, 2024 | past | 1 comment |
|
| 25. | | The Infinity Machine (greenend.org.uk) |
| 69 points by Smaug123 on July 25, 2024 | past | 40 comments |
|
| 26. | | Algorithm and Abstraction in Formal Mathematics (arxiv.org) |
| 3 points by Smaug123 on July 8, 2024 | past |
|
| 27. | | Exorcising Us of the Primer (andymatuschak.org) |
| 48 points by Smaug123 on July 1, 2024 | past | 14 comments |
|
| 28. | | Busy Beaver Challenge: Releasing bouncers: only 2833 machines to go (bbchallenge.org) |
| 8 points by Smaug123 on May 11, 2024 | past | 1 comment |
|
| 29. | | Braid, Anniversary Edition Podcast: Getting the Game Going (rss.com) |
| 2 points by Smaug123 on May 3, 2024 | past | 1 comment |
|
| 30. | | Modelling Time Travel in Fiction (qntm.org) |
| 2 points by Smaug123 on April 17, 2024 | past |
|
|
| More |
