Binding Application in Idris
andrevidela.com·2h·
Discuss: Hacker News
🔠Type-Level Programming
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·21h
🤖Program Synthesis
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·2h·
Discuss: r/programming
🔬Static Analysis
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·8h·
Discuss: Hacker News
🔬Static Analysis
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·8h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Galois field instructions on 2021 CPUs
corsix.org·14h·
Discuss: Hacker News
🐫Embedded OCaml
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Don’t compare programming to the real world
expressionstatement.com·11h·
Discuss: r/programming
👁️System Observability
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·11h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·20h·
Discuss: Hacker News
🔄Finite State Machines
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·7h·
Discuss: Substack
🐫Embedded OCaml
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·8h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
GPU-accelerated Modeling of Biological Regulatory Networks
arxiv.org·1d
✓Automated Theorem Proving
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·3h·
Discuss: r/programming
🐫OCaml
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·2h·
Discuss: Hacker News
⚙️PL Implementation
Inheritance and Polymorphism in Plain C
coz.is·2d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·9h·
Discuss: Hacker News
🔠Type-Level Programming
Helpful function to find memory leaks in JavaScript
news.ycombinator.com·19h·
Discuss: Hacker News
🍎Apple
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·13h·
Discuss: Hacker News
🤖Program Synthesis
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·1d
➡️Category Theory