An Introduction to XForms
xml.com·5h·
Discuss: Hacker News
🔄Finite State Machines
Compiling a Functional Language to LLVM
danieljharvey.github.io·13h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
From Modular to Utility-First tailwind migration
auslake.vercel.app·11h·
Discuss: r/programming
🔄Reproducible Builds
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·8h·
Discuss: Hacker News
🐫Embedded OCaml
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·3h
🤖Program Synthesis
The Android Linux Commander
hackaday.com·2h
🐳Containerization
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·11h·
Discuss: Hacker News
🔧Unikernel Development
Rewriting Val Town's editor
blog.val.town·19h·
Discuss: Hacker News
🔤DSLs
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Using Haskell in Production
agentultra.com·1h·
Discuss: Hacker News
🔠Type-Level Programming
Master Foo and LLM Mountain
tusshah.github.io·18h·
Discuss: Hacker News
🤖Program Synthesis
Adventures in C++ Game Architecture
hoboker.substack.com·23h·
Discuss: Substack, r/programming
🔬Static Analysis
Write Your Own Retro Compiler
t3x.org·3d·
Discuss: Hacker News
🤖Program Synthesis
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·1d·
Discuss: r/LocalLLaMA
🐫OCaml
Engineering a High-Performance Go PDF Microservice
reddit.com·4h·
Discuss: r/programming
🔧Unikernel Development
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·3h·
Discuss: Hacker News
🤖Program Synthesis
Using RPI 5 Compute Module for FPGA Test
hackster.io·1d·
Discuss: Hacker News
🐫Embedded OCaml
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·7h·
Discuss: r/rust
❄️Nixified Development
Prompt Snapshot Testing
ninkovic.dev·22h·
Discuss: Hacker News
🧪Property-Based Testing