🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Feeds to Scour
SubscribedAll
Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
arxiv.org·15h
⚙️Logic Synthesis
Preview
Report Post
Identifying and Securing AI Workloads
tenable.com·6h
🔐Capability Systems
Preview
Report Post
If You're Going to Vibe Code, Why Not Do It in C?
stephenramsay.net·3h·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
C++ Memory Management • Patrice Roy & Kevin Carpenter
youtube.com·7h
🔩Systems Programming
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 8
hamberg.no·1d
🦀Rust Macros
Preview
Report Post
Relational Memory in LLMs: How Relational Memory Solves Finite Context
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Preview
Report Post
Changing the physics of cyber defense
microsoft.com·3h
🎯Threat Hunting
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·3h
🧮Theorem Proving
Preview
Report Post
Postgres server as a library
blog.davidv.dev·20h
🗄️PostgreSQL WAL
Preview
Report Post
Frameworks for Understanding Databases
bitsxpages.com·3h·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
Schemas, Channels & Messages in MCAP
mmhaskell.com·1d
🔗Monadic Parsing
Preview
Report Post
AI should only run as fast as we can catch up
higashi.blog·1d·
Discuss: Hacker News
⚙️Proof Engineering
Preview
Report Post
Going loopy
xania.org·1d
🏗️Compiler Archaeology
Preview
Report Post
Hidden cost of GetFileInformationByHandle
blog.axiorema.com·20h·
Discuss: Hacker News
📦Deflate
Preview
Report Post
Energy efficiency task scheduling algorithm for multi-core embedded platforms
sciencedirect.com·1d·
Discuss: Hacker News
🖥️Hardware Architecture
Preview
Report Post
Unparalleled Performance: Bring Your C++ Logic to the Edge
fastly.com·1d
🔩Systems Programming
Preview
Report Post
200k Tokens Is Plenty
ampcode.com·3h·
Discuss: Hacker News
🌊CBOR Streaming
Preview
Report Post
Optimizing Iceberg Compaction: Why We Built an Embedded Engine in Rust
risingwave.com·1d·
Discuss: Hacker News
🔗Archive Combinators
Preview
Report Post
On the Interplay of Pre-Training, Mid-Training, and RL on Reasoning Language Models
arxiv.org·15h
🤖Grammar Induction
Preview
Report Post
New Prompt Injection Attack Vectors Through MCP Sampling
unit42.paloaltonetworks.com·3d
⚡gRPC
Preview
Report Post