HN Explorer

LolWolf

↗ HN profile [ 96.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Cooling in Space (guille.site)
    35 points 21
  2. Meditations on "Non-Public" AI (guille.site)
    1 points 0
  3. The Chinese remainder theorem and the Fourier transform (guille.site)
    1 points 0
  4. Fun with polynomials and linear algebra; or, slight abstract nonsense (guille.site)
    62 points 1
  5. Breaking Signals, Breaking Systems (guille.site)
    3 points 0
  6. 3D Printing a 3D Printer (guille.site)
    2 points 0
  7. Why Open Source Matters (guille.site)
    2 points 0
  8. The likely cheapest home-made Michelson interferometer (guille.site)

    https://web.archive.org/web/20260109203451/https://guille.si...

    123 points 16
  9. Throwing Darts in Latent Space (guille.site)
    3 points 0
  10. Hamilton–Jacobi–Bellman is just linear duality (guille.site)
    3 points 0
  11. The (sometimes rocky) road to a paper (lmao.bearblog.dev)
    3 points 0
  12. Acorn and the future of (AI?) theorem proving (lmao.bearblog.dev)
    31 points 3
  13. Proving theorems using Julia's types (or, a mini-Lean in Julia) (lmao.bearblog.dev)
    1 points 0
  14. There are exponentially many vectors with small inner product (lmao.bearblog.dev)
    2 points 0
  15. The minimal amount necessary, but no less (lmao.bearblog.dev)
    1 points 0
  16. Have we been building blockchains wrong? (lmao.bearblog.dev)
    2 points 0
  17. GE Filtergate (web.archive.org)
    1 points 0
  18. Succinct proofs and linear algebra [pdf] (angeris.github.io)
    2 points 0
  19. The SEC just filed a temporary restraining order for Binance [pdf] (storage.courtlistener.com)
    3 points 0
  20. Preventing the Collapse of Civilization [video] (youtube.com)
    3 points 0
  21. Lizardman's Constant Is 4% (slatestarcodex.com)
    3 points 0
  22. Selection games (pfeilstorch.substack.com)
    1 points 0
  23. Heuristics and performance bounds for automated design (arxiv.org)
    11 points 5
  24. Training Convolutional ReLU Neural Networks in Polynomial Time (arxiv.org)
    1 points 0
  25. Sorting and information theory: why sorting is n log n (guille.site)
    1 points 1