Parallel Programming Models
ayushgundawar.me·5h·
Discuss: Hacker News
⚡Performance Engineering
Show HN: List of Clojure-Like projects
github.com·16h·
Discuss: Hacker News
📦WebAssembly
Lobsters Interview with Icefox
lobste.rs·19h·
Discuss: Lobsters
📦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·1d·
Discuss: Hacker News
✅Formal Verification
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·19h·
Discuss: Hacker News
🧠Computer Architecture
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
📦WebAssembly
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·2d·
Discuss: Lobsters, r/programming
✅Formal Verification
The smallest embeddable scripting language, part 1
log.schemescape.com·1d·
Discuss: Lobsters, Hacker News, r/programming
📦WebAssembly
Valley of Despair
jacksonslipock.bearblog.dev·5h·
Discuss: Hacker News
⚙️Engineering
Your LLM Stack Is Not Ready for Production—Here’s What You’re Missing
hackernoon.com·2d
🚢DevOps
You're probably not learning with AI
aryas.dev·4h·
Discuss: Hacker News
✅Formal Verification
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·1h·
Discuss: Hacker News
📦WebAssembly
[RFC] Hardening mode for the compiler - Clang Frontend
discourse.llvm.org·16h·
Discuss: Hacker News, r/cpp
📦WebAssembly
The Schwartzian Transform (2016)
perl.com·21h·
Discuss: Hacker News
✅Formal Verification
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
📦WebAssembly
Mun Programming Language
mun-lang.org·22h·
Discuss: Hacker News
🔌Network Programming
The Emacs dumper dispute (2016)
lwn.net·9h·
Discuss: Hacker News
📦WebAssembly
Lobsters Interview with Icefox
lobste.rs·19h·
Discuss: Lobsters
📦WebAssembly