Meta
engineering.fb.com·7h·
Discuss: Hacker News
📦WebAssembly
Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·4d·
Discuss: Hacker News
🧠Computer Architecture
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
✅Formal Verification
Engineering With Java: Digest #58
javabulletin.substack.com·14h·
Discuss: r/programming
📦WebAssembly
PatchworkOS: A from-scratch NON-POSIX OS strictly adhering to the "everything is a file" philosophy that I've been working on for... a very long while.
reddit.com·33m·
Discuss: r/programming
🔍eBPF
How to Write Inductive Invariants
quint-lang.org·21h·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Verification
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
📦WebAssembly
Turn on the LLM and use it in your daily workflow
funcall.blogspot.com·16h·
Discuss: Hacker News
✅Formal Verification
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·1d·
Discuss: Hacker News, r/programming
📦WebAssembly
Step3
stepfun.ai·1d·
Discuss: Hacker News
🧠Computer Architecture
'Hello world' in Bismuth
enikofox.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
When Your Database Lives in CPU Cache (Because Why Not?)
blog.canoozie.net·1d·
Discuss: Hacker News
⚡Performance Engineering
Program development in Limbo (the native lang of Inferno, Unix 3.0)
seh.dev·1h·
Discuss: Hacker News
📦WebAssembly
Deriving Rope the Proper Way
nor-blog.pages.dev·1d·
Discuss: Hacker News
📡Distributed Systems
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·4d·
Discuss: Hacker News
✅Formal Verification
OverHAuL: Harnessing Automation for C Libraries with Large Language Models
kchousos.github.io·6d·
Discuss: Lobsters, Hacker News
🚢DevOps
The New Scarce Programming Skill - Spec-Driven Development
youtu.be·3d·
Discuss: r/programming
🚢DevOps
This web framework was built by Claude
rgk.io·17h·
Discuss: Hacker News
🌐HTMX
Symbol-Level Editing
sysprogs.com·5h·
Discuss: Hacker News
🌐HTMX
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·2d·
Discuss: Hacker News
✅Formal Verification