🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Dyna – Logic Programming for Machine Learning
dyna.org·23h·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Go go goroutines
bitfieldconsulting.com·2d
🔩Systems Programming
Pair Programming: When Explanations Go Too Far
hackernoon.com·5h
✨Effect Handlers
Adaptive Resource Allocation in Coherent Memory Systems for AI Inference Acceleration
dev.to·1d·
Discuss: DEV
🖥️Hardware Architecture
Linux Current Task Dump - Debian Bugs
blog.raymond.burkholder.net·3h
🔍eBPF
Golang Concurrency: How to use Mutexes
cookie.engineer·1d
👑Dependent Haskell
LLMs + Coding Agents = Security Nightmare
garymarcus.substack.com·3h·
Discuss: Substack
🔓Hacking
Intuition behind Power of 2 Choices Load balancing
amandeepsp.github.io·9h·
Discuss: r/compsci, r/programming
⚡Cache Theory
A Lisp in 99LOC
github.com·1d·
Discuss: Hacker News
🔗Lisp
Here be dragons: Preventing static damage, latchup, and metastability in the 386
righto.com·4h·
Discuss: www.blogger.com, Lobsters, Hacker News
⚡Circuit Archaeology
Inline Caching (2021)
bernsteinbear.com·4d·
Discuss: Hacker News
🏗️Compiler Archaeology
Branch prediction: Why CPUs can't wait? - namvdo's blog
namvdo.ai·1d·
Discuss: r/compsci, r/programming
⚡CPU Microarchitecture
Promoting Efficient Reasoning with Verifiable Stepwise Reward
arxiv.org·2d
🔗Constraint Handling
Lessons learned from building a sync-engine and reactivity system with SQLite
finkelstein.fr·12h·
Discuss: Hacker News
💾SQLite
Software Engineering Laws - Coding & Development
leadership.garden·3d
🔩Systems Programming
Joy & Curiosity #50
registerspill.thorstenball.com·10h
🧲RISC-V Archaeology
A programmer's field guide to assertions
typesanitizer.com·9h·
Discuss: Lobsters
📜Proof Carrying Code
Reserve First
matklad.github.io·1d
🔒Type Safety
Best Practices for Building Agentic AI Systems
userjot.com·1d·
Discuss: Hacker News
⚡Proof Automation
A brief consideration of input shapes (fuzzing)
addisoncrump.info·2h·
Discuss: Lobsters
🧪Binary Fuzzing