Scaffolding for production vibe coding
interjectedfuture.com·7h·
Discuss: Hacker News
🔬Static Analysis
Master Foo and LLM Mountain
tusshah.github.io·1d·
Discuss: Hacker News
⚙️PL Implementation
Compiling a Functional Language to LLVM
danieljharvey.github.io·20h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Visualising Topology Inspired Computing Algorithms
antifold.com·5h·
Discuss: Hacker News
🧩Separation Logic
AIs will greatly change engineering in AI companies well before AGI
lesswrong.com·9h
👁️System Observability
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·7h·
Discuss: Hacker News
🩹Self-Healing Systems
Using Haskell in Production
agentultra.com·8h·
Discuss: Hacker News
🔠Type-Level Programming
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Rich Answered That
gist.github.com·10h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·3h·
Discuss: r/programming
📊Runtime Verification
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·5h·
Discuss: Hacker News
🔄Reproducible Builds
Rewriting Val Town's editor
blog.val.town·1d·
Discuss: Hacker News, Hacker News
⚙️PL Implementation
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
➡️Category Theory
Demystifying Tensor Parallelism
robotchinwag.com·1d·
Discuss: Hacker News
🧩Separation Logic
AI Is Currently Hitting the Wall of Code Structure
modgo.org·2d·
Discuss: Hacker News
🧠Automated Reasoning
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·15h·
Discuss: Hacker News
🐫Embedded OCaml
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Rust's Enterprise Breakthrough Year
rust-trends.com·18h·
Discuss: Hacker News
🔄Reproducible Builds
Write Your Own Retro Compiler
t3x.org·3d·
Discuss: Hacker News
⚙️PL Implementation
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·2h·
Discuss: Hacker News
✓Automated Theorem Proving