🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Feeds to Scour
SubscribedAll
Scoured 19436 posts in 707.0 ms
Conformal Thinking: Risk Control for Reasoning on a Compute Budget
arxiv.org·12h
📏Linear Logic
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·1d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Logic for Programmers New Release and Next Steps
buttondown.com·3h
⚙️Proof Engineering
Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
arxiv.org·1d
🎯Performance Proofs
Async & Sync
dev.to·6h·
Discuss: DEV
📲syncthing
Clean Coder: The Dark Path (2017)
blog.cleancoder.com·1h·
Discuss: Hacker News
📏Code Metrics
Differential Logic • Overview
inquiryintoinquiry.com·1d
📏Linear Logic
How I Program with LLMs
blog.wesleyabbey.io·4h·
Discuss: Hacker News
⚔️Lean Tactics
Engineering Ethereum's Speed: How we made Ethrex 20x faster
blog.lambdaclass.com·2h
🎯Emulation Accuracy
Microsoft SDL: Evolving security practices for an AI-powered world
microsoft.com·1d
🎯Threat Hunting
Words are minimum-viable coordination tools
invertedpassion.com·12h
💻Programming languages
Multi-layer defense for LLM agents inspired by immune systems (seeking critique)
gist.github.com·8h·
Discuss: Hacker News
🎯Threat Hunting
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·8h·
Discuss: Hacker News
👑Isabelle
Programming Language Implementation: In Theory, We Understand. In Practice, We Wish We Would.
stefan-marr.de·2d
🛠Language Design
Durable Execution: Build reliable software in an unreliable world
thenewstack.io·1d·
Discuss: Hacker News
💾Persistence Strategies
Plan–Code–Execute: Designing Agents That Create Their Own Tools
towardsdatascience.com·5h
🔗Constraint Handling
A Quick Introduction to OxCaml
noelwelsh.com·6h·
Discuss: Hacker News
💧Liquid Types
Mekara: Workflows as Code Proof-of-Concept
meksys-dev.github.io·13h·
Discuss: Hacker News
⚡Proof Automation
iczelia/kamilalisp: a functional, flexible and concise lisp.
github.com·1d
🔗Lisp
In Depth – Memory Governance: The Achilles' Heel of Enterprise AI
yeasy.blogspot.com·19h·
Discuss: Hacker News
💾Persistence Strategies

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