Bringing restartable sequences out of the niche
lwn.net·1d·
Discuss: Hacker News
🔩Systems Programming
Signal Relays
pzuraq.com·16h·
Discuss: Hacker News
✨Effect Handlers
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·17h
🔗Tailscale
Iterative DFS with stack-based graph traversal
dwf.dev·1d·
Discuss: Hacker News
🌸Bloom Filters
Codeminer42 Dev Weekly #75
blog.codeminer42.com·16h
📏Code Metrics
A better for loop?
cirw.in·1d
🦀Rust Macros
the core of rust
jyn.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·1d·
Discuss: Hacker News
🔍Concolic Testing
How do LSM Trees work?
rowjee.com·2d·
Discuss: Hacker News
🌲B-tree Variants
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·18h·
Discuss: Hacker News
⚡Proof Automation
A string formatting library in 65 lines of C++
riki.house·13h·
Discuss: Lobsters, Hacker News
✅Format Verification
Structured (Synchronous) Concurrency
fsantanna.github.io·4d·
Discuss: Lobsters, Hacker News
📞Session Types
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·1d·
Discuss: Hacker News, r/programming
⚡Performance Mythology
Pgschema: Postgres Declarative Schema Migration, Like Terraform
pgschema.com·17h·
Discuss: Hacker News
🚚Data Migration
HigherOrderCO/HVM3
github.com·8h
🔗Functional Compilers
Building a Lambda-Style Feature Platform with GCP Native Services
hackernoon.com·20h
🌀Brotli Internals
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Convergence in Software
valand.dev·21h·
Discuss: Hacker News
🦀Rust Macros