HN Explorer

SchwKatze

↗ HN profile [ 78.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Dungeon Proof Crawler: learn how to write proofs with RPG (dhilst.github.io)
    2 points 25
  2. Paranoia: An automatic chaos engineering tool for Spring (github.com)
    2 points 0
  3. DoomBench – Can Your Data Stack Run Doom? (cedardb.com)
    7 points 2
  4. DiscordMcp: Controlling Servers Through MCP (blog.rastrian.dev)
    2 points 1
  5. The e-graph data structure (cole-k.com)
    3 points 0
  6. Kubernetes Start Rewrite in Rust (github.com)
    4 points 1
  7. Rust bindings for SQLite's internal VM API (github.com)
    2 points 1
  8. Vouch: A contributor trust management system (github.com)
    8 points 2
  9. Cardboard Crack: What Card Games Teach Us About Addiction (journalixm.com)
    3 points 0
  10. Programming as Theory Building [pdf] (pablo.rauzy.name)
    4 points 1
  11. Bf-Tree: modern read-write-optimized concurrent larger-than-memory range index (github.com)
    143 points 8
  12. I Went from Database Noob to Core Datafusion Contribution (datafusion.blog.apache.org)
    3 points 0
  13. I Downgraded a Safety Bug to an Availability Bug Using Assertions [video] (youtube.com)
    1 points 0
  14. Flow: Actor-based language for C++, used by FoundationDB (github.com)
    189 points 10
  15. Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
    117 points 3
  16. Why Strong Consistency? (brooker.co.za)
    94 points 16
  17. What Now? Handling Errors in Large Systems (brooker.co.za)
    5 points 0
  18. The Advent of Compiler Optimisations [video] (youtube.com)
    5 points 0
  19. Wired: An underground HN alternative (wired.jocadbz.xyz)
    7 points 2
  20. Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators (arxiv.org)
    3 points 0
  21. Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
    203 points 6
  22. The purported benefits of effect systems (typesanitizer.com)
    26 points 3
  23. A Complete Guide to Lock Convoys (davekilian.com)
    3 points 0
  24. 1 points 0
  25. Context Switches (matklad.github.io)
    3 points 0