🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Feeds to Scour
SubscribedAll
Scoured 13735 posts in 173.2 ms
5 Ways to Get the Best Out of LLM Inference
pub.towardsai.net·6h
💻Local LLMs
Preview
Report Post
Limited Math: Aligning Mathematical Semantics with Finite Computation
arxiv.org·2d
λLambda Encodings
Preview
Report Post
oss-sec: The Curious Case of Stack Pivot Detection
seclists.org·4h·
Discuss: Lobsters, Hacker News
🔓Decompilation
Preview
Report Post
**8 Python Concurrency Techniques That Transform Slow Code Into High-Performance Applications**
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Preview
Report Post
The Staggering Complexity and Subtlety of Concurrency
hackaday.com·2d
⚡Parallel Computing
Preview
Report Post
Halting Problem
en.wikipedia.org·1d·
Discuss: Hacker News
🔍Type Inference
Preview
Report Post
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·8h
🧮Theorem Proving
Preview
Report Post
choosing learning over autopilot
anniecherkaev.com·1d
⚡Incremental Computation
Preview
Report Post
Warp Specialization in Triton: Design and Roadmap
pytorch.org·1d·
Discuss: Hacker News
⚡Cache Coherence
Preview
Report Post
Build Cheaper, Safer, Auditable AI with SLMs and RAG
thenewstack.io·1d
🌊Stream Processing
Preview
Report Post
From fragmented code to consistent output with AI rules
stromcapital.fi·1d·
Discuss: Hacker News
🔗Constraint Handling
Preview
Report Post
A Unique Performance Optimization for a 3D Geometry Language
cprimozic.net·22h·
Discuss: Lobsters, Hacker News
⬆️Lambda Lifting
Preview
Report Post
Lessons learned from building a sync-engine and reactivity system with SQLite
antoine.fi·9h·
Discuss: Hacker News
💾SQLite
Preview
Report Post
From Modeling to Management: Artificial Intelligence Empowers Battery Electrochemical Models
vibe.forem.com·4h·
Discuss: DEV
🔄Finite State Machines
Preview
Report Post
Reversible Computation as a software construction paradigm
news.ycombinator.com·19h·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post
JEP Draft: Java Thread Sanitizer
openjdk.org·1h·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
Investigating Record-Based Domain Models
coding-mischief.com·13h·
Discuss: Hacker News
🔢Denotational Semantics
Preview
Report Post
An Interface Is a Set of Functions
codestyleandtaste.com·2d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Preview
Report Post
Mitigating the Billion Dollar Mistake
gingerbill.org·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Preview
Report Post
TinyOS 2.1.2 printfUART Global Buffer Overflow via Unbounded Format Expansion
seclists.org·20h
✅Format Verification
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