SchwKatze

Karma: 819
Created: 1 year ago

About

CS undergrad who likes learning and building new things

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

Recent Submissions

1. ▲ Dungeon Proof Crawler: learn how to write proofs with RPG (dhilst.github.io) 82 points · 28 days ago · 26 comments
2. ▲ Paranoia: An automatic chaos engineering tool for Spring (github.com) 2 points · 1 month ago · 0 comments
3. ▲ VS Code is the new punch card (akitaonrails.com) 4 points · 2 months ago · 0 comments
4. ▲ DoomBench – Can Your Data Stack Run Doom? (cedardb.com) 7 points · 2 months ago · 2 comments
5. ▲ DiscordMcp: Controlling Servers Through MCP (blog.rastrian.dev) 2 points · 2 months ago · 1 comment
6. ▲ The e-graph data structure (cole-k.com) 3 points · 3 months ago · 0 comments
7. ▲ Kubernetes Start Rewrite in Rust (github.com) 4 points · 4 months ago · 1 comment
8. ▲ Fossier: A slop evaluator for GitHub PRs to prevent spams (github.com) 6 points · 4 months ago · 0 comments
9. ▲ Rust bindings for SQLite's internal VM API (github.com) 2 points · 5 months ago · 1 comment
10. ▲ Vouch: A contributor trust management system (github.com) 8 points · 5 months ago · 2 comments

All submissions on HN · View profile on HN