Feeds to Scour
SubscribedAll
Scoured 18074 posts in 522.6 ms
Main Content || Math ∩ Programming
jeremykun.com·14h
🧮Kolmogorov Complexity
Designing MCP tool schemas that LLMs understand
news.ycombinator.com·7h·
Discuss: Hacker News
🔗Constraint Handling
Differential Logic • 4
inquiryintoinquiry.com·23h
⚔️Lean Theorem
A Simple Method for Commonsense Reasoning
dev.to·1d·
Discuss: DEV
🌳Context free grammars
The Logic of State Surveillance
nber.org·10h·
Discuss: Hacker News
🔐Soviet Cryptography
Allium is an LLM-native language for sharpening intent alongside implementation
juxt.github.io·1h·
Discuss: Hacker News
🎯Gradual Typing
Oatmeal - Constraint propagation for fun
eli.li·1d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
My Workflow for Agentic Coding
szymonkrajewski.pl·12h
⚔️Lean Tactics
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·3d
🧠Separation Logic
Domain Knowledge Is the New Syntax
blog.melashri.net·1h·
Discuss: Hacker News
📏Code Metrics
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·22h·
Discuss: Hacker News
⚖️Hoare Logic
The Missing Layer Above AI Inference Governance
vibe.forem.com·1d·
Discuss: DEV
🔗Constraint Handling
DCP-o-matic • CPL as compositions and multiple CPLs
dcpomatic.com·2d
✅CDDL Validation
Jokes on You AI: Turning the Tables
dev-log.me·23h·
Discuss: Hacker News
⚔️Lean Tactics
An attempt at a First-Proof AI challenge
abhvio.us·1d·
Discuss: Hacker News
🎯Performance Proofs
wareya/pred_recdec: Predicated LL (recursive descent) parser in pure rust
github.com·14h·
Discuss: Hacker News
🔗Parser Combinators
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·1d
📝Concrete Syntax
Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Logic for Programmers New Release and Next Steps
buttondown.com·4d
⚙️Proof Engineering
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·2d·
Discuss: Hacker News
🔲Proof Irrelevance

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