🦀 Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

Make the Easy Change Hard
blog.appliedcomputing.io·4h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Some recent project milestones
markjgsmith.com·1d
🔌Interface Evolution
Anonymous structavaganza in zig
lirk.top·8h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·14h
🤝Paxos Consensus
Over-Engineering Sleep
matt.blwt.io·1d
🐚Bash FP
Fearless Programming with Rust
infoq.com·4d·
Discuss: Hacker News
🦀Rust Macros
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·1d·
Discuss: Lobsters, Hacker News
⚡Cache Coherence
google/highway
github.com·2d
📊RISC-V Vectors
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·1h·
Discuss: Hacker News
🦀Rusty Databases
A Bitcoin Core Code Analysis
binaryigor.com·10h·
Discuss: Hacker News
🧬Bitstream Evolution
A better for loop?
cirw.in·4d
🦀Rust Macros
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·11h·
Discuss: Hacker News
✅Format Verification
Breaking the Architecture Bottleneck • Andrew Harmel-Law & Marit van Dijk • GOTO 2025
youtube.com·13h
🔗Topological Sorting
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·3d·
Discuss: Hacker News
⚡Dependent Rust
Claude Code's 19 cent Parser
blogger.com·12h
🔧Binary Parsers
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·11h·
Discuss: Hacker News
⚡Proof Automation
rustc_codegen_gcc: Progress Report #37
blog.antoyo.xyz·4d·
Discuss: r/rust
🦀Rust Macros
BSD Now 625
discoverbsd.com·18h
🔌Operating system internals
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·21h
🕸️Network Topology
Does Rust complexity ever bother you?
reddit.com·3d·
Discuss: r/rust
🦀Rust Macros