🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

**Go System Call Optimization: Reducing Kernel Transitions for High-Performance Applications**
dev.to·9h·
Discuss: DEV
🌊Stream Processing
Introduction to Linear Types
austral-lang.org·1d·
Discuss: Hacker News
🔒Linear Types
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·3d
⏰Temporal Logic
The canonical agent architecture: A while loop with tools
braintrust.dev·12h·
Discuss: Hacker News
⚙️TLA+
News for August 2025
ptreview.sublinear.info·12h
🌸Bloom Variants
Neural Logic Gates
blog.typeobject.com·6h·
Discuss: Hacker News
⚙️Logic Synthesis
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.com·22h·
Discuss: Lobsters, Hacker News
🔒Linear Types
Program verification is not all-or-nothing
lawrencecpaulson.github.io·3d
🎯Performance Proofs
Nontransitive comparison functions lead to out-of-bounds read and write in glibc
qualys.com·15h·
Discuss: Hacker News
🧠Separation Logic
🧠Loop of Truth: From Loose Tricks to Structured Reasoning
dev.to·19h·
Discuss: DEV
📏Linear Logic
Substrates ’25 Vision Statement
programmingmadecomplicated.wordpress.com·1d
⚖️Emulation Ethics
On LLMs and Quicksort
criptae.substack.com·8h·
Discuss: Substack
💻Local LLMs
How We Built Our lakeFS Iceberg Catalog
lakefs.io·20h·
Discuss: Hacker News
📦METS Containers
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·20h·
Discuss: Hacker News
🔄Lens Laws
A Smart Temperature Monitor in 5 Mins - No Coding Required
hackster.io·1d
🏠Home Automation
The New Math of Quantum Cryptography
wired.com·16h
🔐Quantum Security
Hands-On with Agents SDK: Safeguarding Input and Output with Guardrails
towardsdatascience.com·1d
🛡️WASM Sandboxing
Algebraic Effects in Practice with Flix
relax.software·15h·
Discuss: Lobsters, Hacker News
✨Algebraic Effects
AI Is Currently Hitting the Wall of Code Structure
modgo.org·1d·
Discuss: Hacker News
📏Code Metrics
Observability’s Overlooked Fourth Pillar: Key for Agentic AI
thenewstack.io·3d
👁️System Observability