SchwKatze

822 karmajoined August 27, 2024On HN

CS undergrad who likes learning and building new things

https://github.com/el-yawd/

Recent submissions

A Ruby type checker has found 15 bugs in Discourse, Rails, Zammad and Ruby-lsp aryrabelo.com
3SchwKatze16ddiscuss
Dungeon Proof Crawler: learn how to write proofs with RPG dhilst.github.io
82SchwKatze2mo26 comments
Paranoia: An automatic chaos engineering tool for Spring github.com/MartinesEmanuel
2SchwKatze2modiscuss
VS Code is the new punch card akitaonrails.com
4SchwKatze3modiscuss
DoomBench – Can Your Data Stack Run Doom?cedardb.com
7SchwKatze3mo2 comments
DiscordMcp: Controlling Servers Through MCP blog.rastrian.dev
2SchwKatze3mo1 comment
The e-graph data structure cole-k.com
3SchwKatze4modiscuss
Kubernetes Start Rewrite in Rust github.com/kubernetes
4SchwKatze5mo1 comment
Fossier: A slop evaluator for GitHub PRs to prevent spams github.com/PThorpe92
6SchwKatze5modiscuss
Rust bindings for SQLite's internal VM API github.com/el-yawd
2SchwKatze6mo1 comment
Vouch: A contributor trust management system github.com/mitchellh
8SchwKatze7mo2 comments
Cardboard Crack: What Card Games Teach Us About Addiction journalixm.com
3SchwKatze7modiscuss
Programming as Theory Building [pdf]pablo.rauzy.name
4SchwKatze7mo1 comment
Bf-Tree: modern read-write-optimized concurrent larger-than-memory range index github.com/microsoft
143SchwKatze7mo22 comments
Incident Communication Guide gist.github.com
2SchwKatze7modiscuss
I Went from Database Noob to Core Datafusion Contribution datafusion.blog.apache.org
3SchwKatze8modiscuss
I Downgraded a Safety Bug to an Availability Bug Using Assertions [video]youtube.com
1SchwKatze8modiscuss
Flow: Actor-based language for C++, used by FoundationDB github.com/apple
189SchwKatze9mo53 comments
The Power of Proximity to Coworkers [pdf]pallais.scholars.harvard.edu
4SchwKatze9mo1 comment
Functional Data Structures and Algorithms: a Proof Assistant Approach fdsa-book.net
117SchwKatze9mo29 comments
Why Strong Consistency?brooker.co.za
94SchwKatze9mo93 comments
Polar Signals is 70% faster by switching from Parquet to Vortex polarsignals.com
5SchwKatze9modiscuss
What Now? Handling Errors in Large Systems brooker.co.za
5SchwKatze9modiscuss
The Advent of Compiler Optimisations [video]youtube.com
5SchwKatze9modiscuss
Wired: An underground HN alternative wired.jocadbz.xyz
7SchwKatze10mo3 comments
Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators arxiv.org
3SchwKatze10modiscuss
Control structures in programming languages: from goto to algebraic effects xavierleroy.org
203SchwKatze10mo32 comments
The purported benefits of effect systems typesanitizer.com
26SchwKatze10mo3 comments
Dioxus 0.7.0 github.com/DioxusLabs
4SchwKatze10modiscuss
A Complete Guide to Lock Convoys davekilian.com
3SchwKatze10modiscuss

All submissions and comments on Hacker News.