🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

The Automatic Door System: With Statements Explained
dev.to·5h·
Discuss: DEV
🧠Separation Logic
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·2h
📏Linear Logic
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·20h·
Discuss: Hacker News
🧬Functional Programming
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·2d·
Discuss: Hacker News
💻Local LLMs
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·1d
🧮Compute Optimization
Souvenir
deprogrammaticaipsum.com·3d
🔩Systems Programming
Less Is More: Recursive Reasoning with Tiny Networks
github.com·15h·
Discuss: Hacker News
📊Quantization
The Chip That Spoke Lisp
jxself.org·1d
🤖Lisp Machines
Next steps for BPF support in the GNU toolchain
lwn.net·16h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🎯Proof Tactics
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·2d·
Discuss: DEV
⚡SMT Applications
Show HN: I built a local AI agent desk toy
blog.simone.computer·10h·
Discuss: Hacker News
🎙️Whisper
I/O Multiplexing (select vs. poll vs. epoll/kqueue)
nima101.github.io·2h·
Discuss: Hacker News
🌊Stream Processing
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·3d
🔧Hardware Verification
SAT problems are kind of cool
blog.karanjanthe.me·14h·
Discuss: Hacker News
🧮SMT Solvers
Structured Cognition for Behavioral Intelligence in Large Language Model Agents: Preliminary Study
arxiv.org·1d
🧠Intelligence Compression
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·2d·
Discuss: Substack
🔩Systems Programming
Lessons from building 15 iOS apps serving 1M daily users
gist.github.com·19h·
Discuss: Hacker News
🔌Interface Evolution
Three Solutions to Nondeterminism in AI
blog.hellas.ai·18h·
Discuss: Hacker News
🎯Performance Proofs
Real-Time Anomaly Attribution via Hybrid Graph Neural Network & Causal Inference
dev.to·3h·
Discuss: DEV
🔍Vector Forensics