Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
➡️Category Theory
Software Reverse Engineering Bookshelf
mcgrewsecurity.com·11h·
Discuss: Hacker News
💾Retro Computing
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·12h·
Discuss: Substack
🐫Embedded OCaml
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·16h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
What Makes Code Beautiful
thecoder.cafe·20h·
Discuss: r/programming
🏹Effect Systems
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
The Next Wave
dumindu.github.io·11h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
How to Write Rust Code Like a Rustacean
thenewstack.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
On Trustworthy Rule-Based Models and Explanations
arxiv.org·2h
✓Automated Theorem Proving
I still care about the code
martinfowler.com·1d·
Discuss: DEV, Hacker News
👁️System Observability
From Hell to ExHell: Writing Excel Files in Java Shouldn’t Be a Pain
medium.com·13h·
Discuss: r/programming
⚙️PL Implementation
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Inheritance and Polymorphism in Plain C
coz.is·2d·
Discuss: Hacker News, r/C_Programming, r/programming
🏹Effect Systems
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·15h·
Discuss: Hacker News
❄️Nixified Development
LLM Inference Handbook
bentoml.com·3h·
Discuss: Hacker News
🛡️seL4
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Object Oriented Programming is an expensive disaster which must end
medium.com·1d·
Discuss: Hacker News
➡️Category Theory
Realbasic (2000)
joelonsoftware.com·2h·
Discuss: Hacker News
💾Retro Computing
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·8h·
Discuss: Hacker News
⚙️PL Implementation