AI is a Junior Dev and needs a Lead
getparthenon.com·1d·
Discuss: Hacker News, r/programming
👁️System Observability
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·2d
🔠Type-Level Programming
Simpler Category Theory
ryanbrewer.dev·3h·
Discuss: Hacker News
➡️Category Theory
Lisp in 99 Lines of C With TinyLisp
hackaday.com·14h
⚙️PL Implementation
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·4h·
Discuss: Hacker News
🐫Embedded OCaml
Structured (Synchronous) Concurrency
fsantanna.github.io·1d·
Discuss: Lobsters, Hacker News
🤖Program Synthesis
Rust: Python’s New Performance Engine
thenewstack.io·21h·
Discuss: r/rust
🔤DSLs
SPL Lightweight Multisource Mixed Computation Practices
github.com·8h·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Why Is This Hard?
programmersstone.blog·3h·
Discuss: Lobsters, Hacker News
🛡️seL4
Code Vulnerability Detection Across Different Programming Languages with AI Models
arxiv.org·1d
🐫OCaml
The Great Refactor
ifp.org·5h·
Discuss: Hacker News
🤖Program Synthesis
Subinterpreters and Asyncio
blog.changs.co.uk·6h·
Discuss: Hacker News
🐫Embedded OCaml
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·3h·
Discuss: Lobsters, Hacker News
🐫OCaml
Stream Integration
feldera.com·2d·
Discuss: Hacker News
🏹Effect Systems
We Found Zero Low-Severity Bugs in 165 AI Code Reports. Zero
shamans.dev·39m·
Discuss: Hacker News
👁️System Observability
Constructor Best Practices in Rust
blog.cuongle.dev·1d·
Discuss: Hacker News
🐫OCaml
Why Bother with Markdown? (2020)
idle.nprescott.com·19h·
Discuss: Hacker News
🐫Embedded OCaml
That's Not Refactoring
codewithjason.com·1h·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: Online equivalence checker for JavaScript RegExp
gruhn.github.io·1h·
Discuss: Hacker News
🌐NetworkProtocols
Peeking Under the Hood of Claude Code
medium.com·1h·
Discuss: Hacker News
🛡️seL4