🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
Lockfree Programming: A Mental Model
xorvoid.com·4d·
Discuss: Hacker News, Hacker News
⚡Hardware Transactional Memory
6 Key Security Risks in LLMs: A Platform Engineer’s Guide
thenewstack.io·23h
💻Local LLMs
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·23h·
Discuss: Hacker News
🤖Archive Automation
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·11h·
Discuss: DEV
⚡Proof Automation
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·18m·
Discuss: Hacker News
⚡Proof Automation
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
How to (Almost) solve cybersecurity once and for all
adaptive.live·21h·
Discuss: Hacker News
🔐Systems Hardening
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·7h·
Discuss: Hacker News, r/programming
🔗Lisp
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·8h·
Discuss: DEV
🧮Kolmogorov Complexity
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·4h·
Discuss: DEV
📏Code Metrics
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
What LLMs Know About Their Users
schneier.com·7h·
Discuss: Hacker News
💻Local LLMs