HN Explorer

Smaug123

↗ HN profile [ 67.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. WoofWare.PawPrint, a Deterministic .NET Runtime (patrickstevens.co.uk)
    59 points 4
  2. Claude knows who you are (patrickstevens.co.uk)
    4 points 2
  3. Breaking Paragraphs into Lines [pdf] (1981) (gwern.net)
    37 points 8
  4. Annals of Formalized Mathematics Volume 1 (afm.episciences.org)
    1 points 0
  5. Knockout Mouse (asteriskmag.com)
    1 points 0
  6. Solving Package Management via Hypergraph Dependency Resolution (arxiv.org)
    4 points 0
  7. Review: The Birth of Sake (gwern.net)
    4 points 0
  8. Opam's Nix system dependency mechanism (ryan.freumh.org)
    5 points 0
  9. An Interview with Zen Chief Architect Mike Clark (computerenhance.com)
    151 points 19
  10. Separation of Concerns in a Bug Tracker (chiark.greenend.org.uk)
    34 points 8
  11. Bug Likelihood over Time (antithesis.com)
    4 points 1
  12. A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional (blog.vmchale.com)
    90 points 19
  13. Five Letters on Set Theory [pdf] (math.i-learn.unito.it)
    2 points 1
  14. Introduction to Synthetic Agda (hyrax.cbaberle.com)
    3 points 0
  15. Actual Web Rendering in Terminal (github.com)
    28 points 2
  16. Interlock (Engineering) (en.wikipedia.org)
    2 points 1
  17. How to Read Papers (semantic-domain.blogspot.com)
    2 points 0
  18. 500 Million, But Not a Single One More (laneless.substack.com)
    76 points 12
  19. Exploring Effect in TypeScript: Simplifying Async and Error Handling (tweag.io)
    3 points 0
  20. Almost Secure (2011) (debugmo.de)
    23 points 2
  21. Life in India is a series of bilateral negotiations (strangeloopcanon.com)
    66 points 44
  22. Try to fix it one level deeper (matklad.github.io)
    129 points 66
  23. YAML is not a superset of JSON (patrickstevens.co.uk)
    59 points 60
  24. Try to fix it one level deeper (matklad.github.io)
    3 points 0
  25. Just added operator precedence rules to Unison doesn't break any code (twitter.com)
    3 points 1