🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Feeds to Scour
SubscribedAll
Scoured 11530 posts in 842.7 ms
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·19h
λLambda Encodings
Preview
Report Post
The code is disposable. The specification is permanent
recursiveai.net·1h·
Discuss: Hacker News
🔄Reproducible Builds
Preview
Report Post
TLA+ modeling tips
muratbuffalo.blogspot.com·4h·
Discuss: Lobsters
⚙️TLA+
Preview
Report Post
Copy-on-write teaches you EVERYTHING about Swift Internals 🐮
blog.jacobstechtavern.com
·8h
🔗Functional Compilers
Preview
Report Post
An AI Almost Deleted My Code
dev.to·9h·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
How AI Is Transforming the Adoption of Secure-by-Default Mobile Frameworks
engineering.fb.com·7h·
Discuss: Hacker News
🛡️WebAssembly Security
Preview
Report Post
Thread Map – Amp
ampcode.com·15h·
Discuss: Hacker News
🔩Systems Programming
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·1d
🧠Lisp Dialects
Preview
Report Post
Customize agent workflows with advanced orchestration techniques using Strands Agents
aws.amazon.com·7h
🏠Homelab Orchestration
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·16h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·3d
⚔️Lean Tactics
Preview
Report Post
Surviving the RAM Squeeze: Efficiency Tips for JavaScript Developers
blog.codeminer42.com·4d
🧠Memory Allocators
Preview
Report Post
AI, MCP, and the Hidden Costs of Data Hoarding
oreilly.com·11h
🛡️Preservation Proofs
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·2d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
How LLMs Think Like Clinicians
dochobbs.github.io·22h·
Discuss: Hacker News
🔗Constraint Handling
Preview
Report Post
System Observability: Metrics, Sampling, and Tracing
entropicthoughts.com·17h·
Discuss: Hacker News
👁️System Observability
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·3d
✅Format Verification
Preview
Report Post
A-LAMP: Agentic LLM-Based Framework for Automated MDP Modeling and Policy Generation
arxiv.org·19h
🧮Prolog Parsing
Preview
Report Post
Closures as Win32 window procedures
nullprogram.com·3d
🚀Compiler Optimizations
Preview
Report Post
Go From Zero to Depth — Part 4: Pointers in Go (Not Scary, Just Misunderstood)
dev.to·1d·
Discuss: DEV
🔒Type Safety
Preview
Report Post