| 1. | | Cooling in Space (guille.site) |
| 35 points by LolWolf 3 months ago | past | 95 comments |
|
| 2. | | Meditations on "Non-Public" AI (guille.site) |
| 1 point by LolWolf 3 months ago | past |
|
| 3. | | The Chinese remainder theorem and the Fourier transform (guille.site) |
| 1 point by LolWolf 4 months ago | past |
|
| 4. | | Fun with polynomials and linear algebra; or, slight abstract nonsense (guille.site) |
| 62 points by LolWolf 4 months ago | past | 7 comments |
|
| 5. | | Breaking Signals, Breaking Systems (guille.site) |
| 3 points by LolWolf 6 months ago | past |
|
| 6. | | 3D Printing a 3D Printer (guille.site) |
| 2 points by LolWolf 6 months ago | past |
|
| 7. | | Why Open Source Matters (guille.site) |
| 2 points by LolWolf 8 months ago | past |
|
| 8. | | The likely cheapest home-made Michelson interferometer (guille.site) |
| 123 points by LolWolf 8 months ago | past | 71 comments |
|
| 9. | | Throwing Darts in Latent Space (guille.site) |
| 3 points by LolWolf 11 months ago | past |
|
| 10. | | Hamilton–Jacobi–Bellman is just linear duality (guille.site) |
| 3 points by LolWolf 12 months ago | past |
|
| 11. | | The (sometimes rocky) road to a paper (lmao.bearblog.dev) |
| 3 points by LolWolf on Sept 4, 2025 | past |
|
| 12. | | Acorn and the future of (AI?) theorem proving (lmao.bearblog.dev) |
| 31 points by LolWolf on Aug 30, 2025 | past | 6 comments |
|
| 13. | | Proving theorems using Julia's types (or, a mini-Lean in Julia) (lmao.bearblog.dev) |
| 1 point by LolWolf on July 28, 2025 | past |
|
| 14. | | There are exponentially many vectors with small inner product (lmao.bearblog.dev) |
| 2 points by LolWolf on July 10, 2025 | past |
|
| 15. | | The minimal amount necessary, but no less (lmao.bearblog.dev) |
| 1 point by LolWolf on May 13, 2025 | past |
|
| 16. | | Have we been building blockchains wrong? (lmao.bearblog.dev) |
| 2 points by LolWolf on May 9, 2025 | past |
|
| 17. | | GE Filtergate (archive.org) |
| 1 point by LolWolf on Jan 27, 2024 | past |
|
| 18. | | Succinct proofs and linear algebra [pdf] (angeris.github.io) |
| 2 points by LolWolf on Sept 22, 2023 | past |
|
| 19. | | The SEC just filed a temporary restraining order for Binance [pdf] (courtlistener.com) |
| 3 points by LolWolf on June 6, 2023 | past |
|
| 20. | | Preventing the Collapse of Civilization [video] (youtube.com) |
| 3 points by LolWolf on Sept 21, 2022 | past |
|
| 21. | | Lizardman's Constant Is 4% (slatestarcodex.com) |
| 3 points by LolWolf on July 8, 2021 | past |
|
| 22. | | Selection games (pfeilstorch.substack.com) |
| 1 point by LolWolf on June 1, 2021 | past |
|
| 23. | | Heuristics and performance bounds for automated design (arxiv.org) |
| 11 points by LolWolf on Nov 17, 2020 | past | 5 comments |
|
| 24. | | Training Convolutional ReLU Neural Networks in Polynomial Time (arxiv.org) |
| 1 point by LolWolf on July 4, 2020 | past |
|
| 25. | | Sorting and information theory: why sorting is n log n (guille.site) |
| 1 point by LolWolf on June 19, 2020 | past | 1 comment |
|
| 26. | | Minimizing a sum of clipped convex functions (arxiv.org) |
| 3 points by LolWolf on June 2, 2020 | past | 1 comment |
|
| 27. | | Group Testing (wikipedia.org) |
| 1 point by LolWolf on April 6, 2020 | past |
|
| 28. | | Ask HN: Can't find HN article on gain-of-function research |
| 4 points by LolWolf on March 30, 2020 | past | 6 comments |
|
| 29. | | A mathematical analysis of Uniswap markets (arxiv.org) |
| 30 points by LolWolf on Nov 11, 2019 | past | 6 comments |
|
| 30. | | The quest to beat electronics with photonics (osa-opn.org) |
| 2 points by LolWolf on Sept 17, 2019 | past |
|
|
| More |
