🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Feeds to Scour
SubscribedAll
Scoured 13742 posts in 276.6 ms
**8 Python Concurrency Techniques That Transform Slow Code Into High-Performance Applications**
dev.to·20h·
Discuss: DEV
🌊Stream Processing
Preview
Report Post
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·25m
🧮Theorem Proving
Preview
Report Post
Halting Problem
en.wikipedia.org·21h·
Discuss: Hacker News
🔍Type Inference
Preview
Report Post
Limited Math: Aligning Mathematical Semantics with Finite Computation
arxiv.org·2d
λLambda Encodings
Preview
Report Post
The Staggering Complexity and Subtlety of Concurrency
hackaday.com·2d
⚡Parallel Computing
Preview
Report Post
Build Cheaper, Safer, Auditable AI with SLMs and RAG
thenewstack.io·22h
🌊Stream Processing
Preview
Report Post
TinyOS 2.1.2 printfUART Global Buffer Overflow via Unbounded Format Expansion
seclists.org·12h
✅Format Verification
Preview
Report Post
Warp Specialization in Triton: Design and Roadmap
pytorch.org·22h·
Discuss: Hacker News
⚡Cache Coherence
Preview
Report Post
std::move doesn't move anything: A deep dive into Value Categories
0xghost.dev·2h·
Discuss: Lobsters
⬆️Lambda Lifting
Preview
Report Post
Lessons learned from building a sync-engine and reactivity system with SQLite
antoine.fi·1h·
Discuss: Hacker News
💾SQLite
Preview
Report Post
A Unique Performance Optimization for a 3D Geometry Language
cprimozic.net·14h·
Discuss: Lobsters, Hacker News
⬆️Lambda Lifting
Preview
Report Post
Agans Debugging Guide
binaryphile.com·1d
🔬Binary Analysis
Preview
Report Post
Getting better at coding with LLMs
ricardoanderegg.com·16h
⚔️Lean Tactics
Preview
Report Post
The many meanings of “stack”
ezzeriesa.notion.site·17h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
AI as the Engine of Application State
jonwoodlief.com·1d·
Discuss: Hacker News
🤖AI Curation
Preview
Report Post
Investigating Record-Based Domain Models
coding-mischief.com·5h·
Discuss: Hacker News
🔢Denotational Semantics
Preview
Report Post
Reversible Computation as a software construction paradigm
news.ycombinator.com·11h·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post
An Interface Is a Set of Functions
codestyleandtaste.com·1d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Preview
Report Post
Out-of-Context: Constrained Tool Based Exploration of Context
gojiberries.io·17h·
Discuss: Hacker News
🌳Context free grammars
Preview
Report Post
Misc engineering truisms
macwright.com·2d
🔩Systems Programming
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help