SchwKatze's submissions

1.		Flow: Actor-based language for C++, used by FoundationDB (github.com/apple)
		182 points by SchwKatze 1 day ago \| past \| 48 comments
2.		The Power of Proximity to Coworkers [pdf] (scholars.harvard.edu)
		4 points by SchwKatze 7 days ago \| past \| 1 comment
3.		Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
		117 points by SchwKatze 13 days ago \| past \| 29 comments
4.		Why Strong Consistency? (brooker.co.za)
		93 points by SchwKatze 13 days ago \| past \| 93 comments
5.		Polar Signals is 70% faster by switching from Parquet to Vortex (polarsignals.com)
		5 points by SchwKatze 14 days ago \| past
6.		What Now? Handling Errors in Large Systems (brooker.co.za)
		5 points by SchwKatze 18 days ago \| past
7.		The Advent of Compiler Optimisations [video] (youtube.com)
		5 points by SchwKatze 23 days ago \| past
8.		Wired: An underground HN alternative (jocadbz.xyz)
		7 points by SchwKatze 29 days ago \| past \| 3 comments
9.		Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators (arxiv.org)
		3 points by SchwKatze 36 days ago \| past
10.		Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
		203 points by SchwKatze 36 days ago \| past \| 32 comments
11.		The purported benefits of effect systems (typesanitizer.com)
		26 points by SchwKatze 38 days ago \| past \| 3 comments
12.		Dioxus 0.7.0 (github.com/dioxuslabs)
		4 points by SchwKatze 39 days ago \| past
13.		A Complete Guide to Lock Convoys (davekilian.com)
		3 points by SchwKatze 40 days ago \| past
14.		Context Switches (matklad.github.io)
		3 points by SchwKatze 45 days ago \| past
15.		Building a programming language using SQLite's VM – Pt 1 (el-yawd.github.io)
		7 points by SchwKatze 48 days ago \| past \| 1 comment
16.		Are Jump Tables Always Fastest? (cipht.net)
		1 point by SchwKatze 49 days ago \| past
17.		Let Maintainers Be Maintainers (graydon2.dreamwidth.org)
		2 points by SchwKatze 49 days ago \| past
18.		Building a message queue with only two UNIX signals (leandronsp.com)
		137 points by SchwKatze 50 days ago \| past \| 53 comments
19.		Rust is renaming the default branch from master to main (rust-lang.org)
		7 points by SchwKatze 54 days ago \| past
20.		Is Systems Research Just About Making Numbers Bigger? (brooker.co.za)
		2 points by SchwKatze 58 days ago \| past \| 1 comment
21.		Operable Software (ferd.ca)
		2 points by SchwKatze 60 days ago \| past
22.		Goiaba: An experimental Go compiler, written in Rust (github.com/raphamorim)
		74 points by SchwKatze 61 days ago \| past \| 49 comments
23.		Anyblox: One data encoding to rule them all (github.com/anyblox)
		1 point by SchwKatze 68 days ago \| past \| 1 comment
24.		Using information theory to solve Mastermind (goranssongaspar.com)
		118 points by SchwKatze 3 months ago \| past \| 40 comments
25.		A Complete Guide to LLVM for Programming Language Creators (mukulrathi.com)
		3 points by SchwKatze 3 months ago \| past
26.		Deterministic Simulation Testing in Rust: A Theater of State Machines (polarsignals.com)
		4 points by SchwKatze 4 months ago \| past
27.		How Turso made connections to SQLite databases 575x faster (turso.tech)
		16 points by SchwKatze 4 months ago \| past
28.		Car Hacking: How to Hack Hazard Lights with Arduino and an MCP2515 (leandrobalta.github.io)
		4 points by SchwKatze 4 months ago \| past
29.		Optimized JITed and compiled Brainfuck, written in Rust (github.com/rodrigodd)
		2 points by SchwKatze 5 months ago \| past
30.		Compiling Brainfuck Code – Part 1: An Optimized Interpreter (rodrigodd.github.io)
		1 point by SchwKatze 5 months ago \| past
		More