| 1. | | Lens: Lenses, Folds and Traversals (haskell.org) |
| 2 points by hyperbrainer 2 days ago | past | discuss |
|
| 2. | | All color is best effort (fasterthanli.me) |
| 3 points by hyperbrainer 5 days ago | past | discuss |
|
| 3. | | The Hashtable Packing Problem (2020) (backscattering.de) |
| 39 points by hyperbrainer 26 days ago | past | 15 comments |
|
| 4. | | A Rust Documentation Ecosystem Review (harudagondi.space) |
| 94 points by hyperbrainer 53 days ago | past | 14 comments |
|
| 5. | | Why GADTs matter for performance (2015) (janestreet.com) |
| 83 points by hyperbrainer 54 days ago | past | 26 comments |
|
| 6. | | Custom Logging in Rust Using tracing and tracing-subscriber (burgers.io) |
| 2 points by hyperbrainer 62 days ago | past |
|
| 7. | | I started an open source project in 2004. This week, it hit 30000 GitHub stars (medium.com/ben_haynes) |
| 11 points by hyperbrainer 63 days ago | past |
|
| 8. | | Ask HN: Memory-safe low level languages? |
| 61 points by hyperbrainer 67 days ago | past | 117 comments |
|
| 9. | | Curry: A functional logic programming language (curry-lang.org) |
| 172 points by hyperbrainer 69 days ago | past | 37 comments |
|
| 10. | | The Busy Beaver Frontier [pdf] (scottaaronson.com) |
| 4 points by hyperbrainer 71 days ago | past |
|
| 11. | | Monsky's Theorem (mathmondays.com) |
| 49 points by hyperbrainer 75 days ago | past | 13 comments |
|
| 12. | | JSON Hijacking (2009) (haacked.com) |
| 2 points by hyperbrainer 3 months ago | past |
|
| 13. | | My Book's Pre-Sale Just Barely Succeeded (mtlynch.io) |
| 19 points by hyperbrainer 3 months ago | past | 7 comments |
|
| 14. | | Tail Call Recursion in Java with ASM (2023) (unlinkedlist.org) |
| 96 points by hyperbrainer 3 months ago | past | 48 comments |
|
| 15. | | Gmail's upgraded search results help you find the emails you want, faster (blog.google) |
| 10 points by hyperbrainer 3 months ago | past | 6 comments |
|
| 16. | | Teleo-Reactive Programs (archive.org) |
| 7 points by hyperbrainer 3 months ago | past | 1 comment |
|
| 17. | | No dumb questions: What's the biggest number? (worldsworstdetective.com) |
| 4 points by hyperbrainer 3 months ago | past |
|
| 18. | | Down with Determinants by Sheldon Axler (1994) [pdf] (axler.net) |
| 1 point by hyperbrainer 4 months ago | past |
|
| 19. | | Cot: The Rust web framework for lazy developers (cot.rs) |
| 113 points by hyperbrainer 4 months ago | past | 68 comments |
|
| 20. | | Why Did Prisma Choose Rust Initially? [video] (youtube.com) |
| 4 points by hyperbrainer 4 months ago | past |
|
| 21. | | VictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theorems (twitter.com/victortaelin) |
| 38 points by hyperbrainer 5 months ago | past | 5 comments |
|
| 22. | | Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture (1994) [pdf] (rutgers.edu) |
| 2 points by hyperbrainer 5 months ago | past | 1 comment |
|
| 23. | | Welcoming two new Rust GPU maintainers (rust-gpu.github.io) |
| 2 points by hyperbrainer 7 months ago | past |
|
| 24. | | Fast Haskell: Competing with C at parsing XML (2017) (chrisdone.com) |
| 5 points by hyperbrainer 8 months ago | past |
|
| 25. | | User-Space Interrupts (2021) (lwn.net) |
| 38 points by hyperbrainer 9 months ago | past | 7 comments |
|
