HN Explorer

SchwKatze

↗ HN profile [ 184 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. A Ruby type checker has found 15 bugs in Discourse, Rails, Zammad and Ruby-lsp (aryrabelo.com)
    2 points 0
  2. Dungeon Proof Crawler: learn how to write proofs with RPG (dhilst.github.io)
    82 points 13
  3. Paranoia: An automatic chaos engineering tool for Spring (github.com)
    2 points 0
  4. VS Code is the new punch card (akitaonrails.com)
    4 points 0
  5. DoomBench – Can Your Data Stack Run Doom? (cedardb.com)
    7 points 2
  6. DiscordMcp: Controlling Servers Through MCP (blog.rastrian.dev)
    2 points 1
  7. The e-graph data structure (cole-k.com)
    3 points 0
  8. Kubernetes Start Rewrite in Rust (github.com)
    4 points 1
  9. Fossier: A slop evaluator for GitHub PRs to prevent spams (github.com)
    6 points 1
  10. Rust bindings for SQLite's internal VM API (github.com)
    2 points 1
  11. Vouch: A contributor trust management system (github.com)
    8 points 2
  12. Cardboard Crack: What Card Games Teach Us About Addiction (journalixm.com)
    3 points 0
  13. Programming as Theory Building [pdf] (pablo.rauzy.name)
    4 points 1
  14. Bf-Tree: modern read-write-optimized concurrent larger-than-memory range index (github.com)
    143 points 22
  15. Incident Communication Guide (gist.github.com)
    2 points 0
  16. I Went from Database Noob to Core Datafusion Contribution (datafusion.blog.apache.org)
    3 points 0
  17. I Downgraded a Safety Bug to an Availability Bug Using Assertions [video] (youtube.com)
    1 points 0
  18. Flow: Actor-based language for C++, used by FoundationDB (github.com)
    189 points 10
  19. The Power of Proximity to Coworkers [pdf] (pallais.scholars.harvard.edu)
    4 points 1
  20. Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
    117 points 3
  21. Why Strong Consistency? (brooker.co.za)
    94 points 16
  22. Polar Signals is 70% faster by switching from Parquet to Vortex (polarsignals.com)
    5 points 0
  23. What Now? Handling Errors in Large Systems (brooker.co.za)
    5 points 0
  24. The Advent of Compiler Optimisations [video] (youtube.com)
    5 points 0
  25. Wired: An underground HN alternative (wired.jocadbz.xyz)
    7 points 3