An Introduction to XForms
xml.com·16h·
Discuss: Hacker News
🔄Finite State Machines
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
From Modular to Utility-First tailwind migration
auslake.vercel.app·22h·
Discuss: r/programming
🔄Reproducible Builds
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·7h·
Discuss: Hacker News
🌐NetworkProtocols
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·8h·
Discuss: Hacker News
🤖Program Synthesis
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·2h
🔍Formal Verification
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·19h·
Discuss: Hacker News
🐫Embedded OCaml
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·9h·
Discuss: Hacker News
🔄Reproducible Builds
Rewriting Val Town's editor
blog.val.town·1d·
Discuss: Hacker News, Hacker News
🔤DSLs
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·22h·
Discuss: Hacker News
🔧Unikernel Development
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Using Haskell in Production
agentultra.com·12h·
Discuss: Hacker News
🔠Type-Level Programming
The Android Linux Commander
hackaday.com·13h
🐳Containerization
Master Foo and LLM Mountain
tusshah.github.io·1d·
Discuss: Hacker News
🤖Program Synthesis
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·14h
🤖Program Synthesis
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
Write Your Own Retro Compiler
t3x.org·3d·
Discuss: Hacker News
🤖Program Synthesis
Engineering a High-Performance Go PDF Microservice
reddit.com·15h·
Discuss: r/programming
🔧Unikernel Development
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·4d·
Discuss: Hacker News
🐫Embedded OCaml