Galois field instructions on 2021 CPUs
corsix.org·12h·
Discuss: Hacker News
🏹Effect Systems
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·19h
🤖Program Synthesis
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·9h·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·6h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
💻CS
Binding Application in Idris
andrevidela.com·37m·
Discuss: Hacker News
🔠Type-Level Programming
Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com·3h·
Discuss: r/homelab
🏠HomeLab
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·5h·
Discuss: Substack
🐫OCaml
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·6h·
Discuss: Hacker News
🔬Static Analysis
Libpostal: C library for parsing/normalizing street addresses around the world
github.com·1d·
Discuss: Hacker News
🐫OCaml
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·3h·
Discuss: r/golang, r/programming
🍎XNU Internals
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·1h·
Discuss: r/programming
🔬Static Analysis
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·1h·
Discuss: r/programming
🐫OCaml
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
LISPy things you can do in 64K bytes of core
t3x.org·3d·
Discuss: Hacker News
💾Retro Computing
Programming Like It’s 1986, For Fun and Zero Profit
hackaday.com·1d
💾Retro Computing
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·11h·
Discuss: Hacker News
🤖Program Synthesis
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com·2d·
Discuss: Hacker News
💾Retro Computing
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·9h·
Discuss: Hacker News
🔤DSLs
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·19h·
Discuss: Hacker News
🔄Finite State Machines