It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·6h·
Discuss: Hacker News
🦀Rusty Databases
FLINT: Fast Library for Number Theory
flintlib.org·12h
🧮Algebraic Datatypes
Generating C functions and prototypes using macros – part 2
subethasoftware.com·5h
🦀Rust Macros
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·3d·
Discuss: Hacker News
⚡Dependent Rust
Status Week 34
blogs.gnome.org·4h
❄️Nix Flakes
Over-Engineering Sleep
matt.blwt.io·1d
🐚Bash FP
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Builder Pattern in CDK
medium.com·10h·
Discuss: Hacker News
🧱Immutable Infrastructure
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·1d·
Discuss: Lobsters, Hacker News
⚡Cache Coherence
Teaching programming languages
kmjn.org·18h
💻Programming languages
the core of rust
jyn.dev·5d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Make the Easy Change Hard
blog.appliedcomputing.io·9h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Claude Code's 19 cent Parser
blogger.com·17h
🔧Binary Parsers
On systematic construction of correct logic programs
arxiv.org·2h
⚖️Hoare Logic
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·4h·
Discuss: Substack
🔩Systems Programming
Linear scan with lifetime holes
bernsteinbear.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Structural vs. Mathematical “Under” (2023)
dyalog.com·6h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Optimizing FizzBuzz in Rust
github.com·2d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
spacedentist/spr: Submit pull requests for individual, amendable, rebaseable commits to GitHub
github.com·36m
⚡Dependent Rust
A better for loop?
cirw.in·4d
🦀Rust Macros