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