🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Are We Cooked?
bonnycode.com·1h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Tao: The Power of the Graph (2013)
engineering.fb.com·11h·
Discuss: Hacker News
🌳B-tree Optimization
Using Omni's AI Assistant on the Semantic Layer
mikkeldengsoe.substack.com·10h·
Discuss: Substack
🌀Brotli Internals
How to reason from first principles
caseyhandmer.wordpress.com·2d·
Discuss: Hacker News
🎯Proof Tactics
Show HN: Tips for getting great Text2Cypher outputs from LLMs for Graph RAG
blog.kuzudb.com·9h·
Discuss: Hacker News
🕸️Neo4j
You Are in a Box
jyn.dev·4d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Achieving SOTA LongMemEval scores (80%) with RAG alone
mastra.ai·1d·
Discuss: Hacker News
🧠Memory Forensics
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·19h
🔲Cellular Automata
Vibe Coding with AI: Ensuring User Needs Are Met
kamil.chm.ski·1d·
Discuss: Hacker News
🚀Indie Hacking
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·1d
📜Proof Carrying Code
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·1d·
Discuss: Hacker News
💻Local LLMs
Codeminer42 Dev Weekly #70
blog.codeminer42.com·4h
🔄Reproducible Builds
20% Slower Is a Good Start
aboard.com·9h·
Discuss: Hacker News
⚡Performance Mythology
What's More Advanced Than AI? Quantum AI Is the Next Leap Forward
cnet.com·5h·
Discuss: Hacker News
🔐Quantum Security
How and where will agents ship software?
instantdb.com·2d·
Discuss: Hacker News
🌊Streaming Systems
[$] How to write Rust in the kernel: part 3
lwn.net·9h
🔩Systems Programming
How AI Can Speed up Modernization of Your Legacy IT Systems
thenewstack.io·7h
🏛️Mainframe Archaeology
Python Fundamentals: case
dev.to·1d·
Discuss: DEV
✅Format Verification
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·1d·
Discuss: Hacker News
🌳Incremental Parsing
WebAssembly Component Model based REPL /w sandboxed multi-language plugin system
github.com·1h·
Discuss: Hacker News
🌐WASI