🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Dyna – Logic Programming for Machine Learning
dyna.org·13h·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Go go goroutines
bitfieldconsulting.com·2d
🔩Systems Programming
Adaptive Resource Allocation in Coherent Memory Systems for AI Inference Acceleration
dev.to·1d·
Discuss: DEV
🖥️Hardware Architecture
Golang Concurrency: How to use Mutexes
cookie.engineer·15h
👑Dependent Haskell
A Lisp in 99LOC
github.com·14h·
Discuss: Hacker News
🔗Lisp
Software Engineering Laws - Coding & Development
leadership.garden·2d
🔩Systems Programming
Branch prediction: Why CPUs can't wait? - namvdo's blog
namvdo.ai·1d·
Discuss: r/compsci, r/programming
⚡CPU Microarchitecture
Inline Caching (2021)
bernsteinbear.com·4d·
Discuss: Hacker News
🏗️Compiler Archaeology
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·2h·
Discuss: Hacker News
💾SQLite
Dirty Coding Tricks
gamedeveloper.com·15h·
Discuss: Lobsters
🎮Game Decompilation
Reserve First
matklad.github.io·1d
🔒Type Safety
Best Practices for Building Agentic AI Systems
userjot.com·1d·
Discuss: Hacker News
⚡Proof Automation
A Mega Malware Analysis Tutorial Featuring Donut-Generated Shellcode
unit42.paloaltonetworks.com·2d
🦠Malware Analysis
How Cursor AI Cut Legacy Code Coverage Time by 85%
engineering.salesforce.com·1d
🔍Concolic Testing
A Better Vocabulary for Testing
alperenkeles.com·14h·
Discuss: Lobsters, r/compsci, r/programming
🔍Concolic Testing
Stacks in Python — A Practical Guide to LIFO Data Structures
thenewstack.io·1d
🔗Concatenative Programming
Beyond Booleans
overreacted.io·1d·
Discuss: r/javascript, r/programming
🔲Proof Irrelevance
Automated Fault Characterization via Dynamic Behavioral Fingerprinting in Embedded Systems
dev.to·23h·
Discuss: DEV
👁️System Observability
Wait Don't spawn that task – Comparing patterns for mutable state
taping-memory.dev·3d·
Discuss: Hacker News, Hacker News, r/programming
🦀Rust Borrowing