Specification Grounding: The Missing Link in Vibe Coding
unstract.com·4h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·4h·
Discuss: r/programming
📦Unikernel Systems
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·1d
🔬Static Analysis
Galois field instructions on 2021 CPUs
corsix.org·10h·
Discuss: Hacker News
🐫Embedded OCaml
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·21h·
Discuss: Hacker News
❄️Nix
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·9h·
Discuss: Hacker News
🤖Program Synthesis
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·4h·
Discuss: Hacker News
🔬Static Analysis
From Hell to ExHell: Writing Excel Files in Java Shouldn’t Be a Pain
medium.com·4h·
Discuss: r/programming
🔬Static Analysis
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·1h·
Discuss: r/golang, r/programming
🍎XNU Internals
Building Your First ETL Pipeline in Rust
ryuru.com·1d·
Discuss: r/programming
🔬Static Analysis
Programming Like It’s 1986, For Fun and Zero Profit
hackaday.com·1d
💾Retro Computing
Revitalizing Legacy Code
javapro.io·1d·
Discuss: Hacker News
💾Retro Computing
Perl 5.42 Released - Still Going Strong
i-programmer.info·1d·
Discuss: r/programming
🐫Embedded OCaml
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·23h·
Discuss: Hacker News
🐫Embedded OCaml
LLM Failures
funcall.blogspot.com·1d·
Discuss: Hacker News
🐫OCaml
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·5h·
Discuss: Hacker News
🔠Type-Level Programming
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·7h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·1d
🔍Formal Verification
An InfoSec Architect's First Taste of Temporal
supasaf.com·2d·
Discuss: Hacker News
🛡️seL4
Data-Star.dev – v1 and Beyond
data-star.dev·6h·
Discuss: Hacker News
🧱Immutable Infrastructure