A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·9h·
Discuss: Lobsters, Hacker News
✅Formal Verification
Linear Types for Programmers
twey.io·5h·
Discuss: Hacker News
🔌Network Programming
A one-week deep dive into building a dual-mode template engine (Runtime Parser vs. Build-time AST Compiler)
reddit.com·6h·
Discuss: r/programming
📦WebAssembly
A Library Approach to Constant Template Parameters
brevzin.github.io·8h·
Discuss: Hacker News, r/cpp
📦WebAssembly
Parallel Programming Models
ayushgundawar.me·16h·
Discuss: Hacker News
⚡Performance Engineering
Show HN: List of Clojure-Like projects
github.com·1d·
Discuss: Hacker News
📦WebAssembly
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·1d·
Discuss: Hacker News
🔍eBPF
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
✅Formal Verification
Lobsters Interview with Icefox
lobste.rs·1d·
Discuss: Lobsters
📦WebAssembly
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·1d·
Discuss: Hacker News
🧠Computer Architecture
If Odin Had Macros
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📦WebAssembly
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·3d·
Discuss: Lobsters, r/programming
✅Formal Verification
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
📦WebAssembly
Bold Devlog - July Summary (JSON, DAP, LSP)
bold-edit.com·4h·
Discuss: r/programming
📦WebAssembly
The smallest embeddable scripting language, part 1
log.schemescape.com·2d·
Discuss: Lobsters, Hacker News, r/programming
📦WebAssembly
Valley of Despair
jacksonslipock.bearblog.dev·15h·
Discuss: Hacker News
⚙️Engineering
Your LLM Stack Is Not Ready for Production—Here’s What You’re Missing
hackernoon.com·2d
🚢DevOps
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·8h·
Discuss: Hacker News
📡Distributed Systems
A Sea of Nodes IR Tutorial
github.com·3h·
Discuss: Hacker News
🔌Network Programming
You're probably not learning with AI
aryas.dev·15h·
Discuss: Hacker News
✅Formal Verification