A Ruby type checker has found 15 bugs in Discourse, Rails, Zammad and Ruby-lsparyrabelo.com·3 pts·SchwKatze·0
Bf-Tree: modern read-write-optimized concurrent larger-than-memory range indexgithub.com·143 pts·SchwKatze·22
I Went from Database Noob to Core Datafusion Contributiondatafusion.blog.apache.org·3 pts·SchwKatze·0
I Downgraded a Safety Bug to an Availability Bug Using Assertions [video]youtube.com·1 pts·SchwKatze·0
Functional Data Structures and Algorithms: a Proof Assistant Approachfdsa-book.net·117 pts·SchwKatze·29
Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaboratorsarxiv.org·3 pts·SchwKatze·0
Control structures in programming languages: from goto to algebraic effectsxavierleroy.org·203 pts·SchwKatze·32