68
3
The Power of Proximity to Coworkers [pdf] (scholars.harvard.edu)
28
Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
30
Why Strong Consistency? (brooker.co.za)
3
Polar Signals is 70% faster by switching from Parquet to Vortex (polarsignals.com)
2
What Now? Handling Errors in Large Systems (brooker.co.za)
2
Why Strong Consistency? (brooker.co.za)
4
The Advent of Compiler Optimisations [video] (youtube.com)
5
Wired: An underground HN alternative (jocadbz.xyz)
2
Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators (arxiv.org)
17
Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
3
The purported benefits of effect systems (typesanitizer.com)
2
Dioxus 0.7.0 (github.com/dioxuslabs)
2
A Complete Guide to Lock Convoys (davekilian.com)
1
Context Switches (matklad.github.io)
4
Building a programming language using SQLite's VM – Pt 1 (el-yawd.github.io)
1
Are Jump Tables Always Fastest? (cipht.net)
1
Let Maintainers Be Maintainers (graydon2.dreamwidth.org)
64
Building a message queue with only two UNIX signals (leandronsp.com)
6
Rust is renaming the default branch from master to main (rust-lang.org)
2
Is Systems Research Just About Making Numbers Bigger? (brooker.co.za)
2
Operable Software (ferd.ca)
34
Goiaba: An experimental Go compiler, written in Rust (github.com/raphamorim)
2
Anyblox: One data encoding to rule them all (github.com/anyblox)
14
Using information theory to solve Mastermind (goranssongaspar.com)
3
A Complete Guide to LLVM for Programming Language Creators (mukulrathi.com)
1
Deterministic Simulation Testing in Rust: A Theater of State Machines (polarsignals.com)
3
How Turso made connections to SQLite databases 575x faster (turso.tech)
3
Car Hacking: How to Hack Hazard Lights with Arduino and an MCP2515 (leandrobalta.github.io)
1
Optimized JITed and compiled Brainfuck, written in Rust (github.com/rodrigodd)
1
Compiling Brainfuck Code – Part 1: An Optimized Interpreter (rodrigodd.github.io)
1
Public Bet (el-yawd.github.io)
47
Career advice, or something like it (brooker.co.za)
3
Extracting Router Firmware Using SMD Grippers (getuliovictor.github.io)
1
Good Performance for Bad Days (brooker.co.za)
1
Climbing trees 3: from trees to forests (mathpn.com)
1
Climbing trees 2: implementing decision trees (mathpn.com)
10
Climbing trees 1: what are decision trees? (mathpn.com)
3
Limbo is almost 2x faster than SQLite (twitter.com/penberg)
1
Computer Learning Reading Materials (enhancedformysql.github.io)
1
A Pragmatic Analysis of an Overconnected Society (jocadbz.xyz)
0
How I learn any type of new technology (As a Senior Developer) (dev.to)
1
Career advice for young system programmers (2023) (glaubercosta-11125.medium.com)
9
Magic isn't real (pthorpe92.dev)
1
From Rust to TypeScript: A New Chapter for Prisma ORM (prisma.io)
1
Bridging Rust and Native Go (yuchanns.xyz)
12
Scalable OLTP in the Cloud: What's the Big Deal? (muratbuffalo.blogspot.com)
3
Billion Taxi Rides with SQLite, Parquet and HDFS (marksblogg.com)
1
Stop Being a Junior (kentcdodds.com)
1
Harper Spellchecking speed by 90% using FST (grantlemons.com)
1
The Essence of Information (2017) (endler.dev)
2
I Love Programming (2017) (endler.dev)
1
Follow the Hackers (endler.dev)
3
Bad Apple but it's 6,500 regular expressions in Vim (twitter.com/itseieio)
7
What is an invariant? (2023) (matklad.github.io)
11
CCL: Categorical Configuration Language (chshersh.com)
1
Implementing end-to-end encryption for Dropbox teams (dropbox.tech)
1
INTELLLECT_1 Technical Report [pdf] (github.com/primeintellect-ai)
2
WebChat: Chat with Anyone on Any Website (github.com/molvqingtai)
2
Durabit: A Bitcoin-Native Incentive Mechanism for Data Distribution [pdf] (github.com/4de67a207019fd4d855ef0a188b4...
2
The Evolution of Trust (ncase.me)
2
Safety and Liveness: Eventual Consistency Is Not Safe (bailis.org)
1
Uncle Bob spawning in the Brazilian dev bubble to defend OOP (twitter.com/christopy_)
1
Learnings from My First Freelance (diegoreis.me)
4
Ask HN: Tips for a third-world JR Dev seeking international Job
1
How to Model Leaderboards for 1M Player Game with ScyllaDB (scylladb.com)
3
X has 24 hours to act or will be suspended in Brazil (twitter.com/stf_oficial)
32