Feeds to Scour
SubscribedAll
Scoured 8169 posts in 184.5 ms
Don't Eliminate Cut: Exponential Separations in LLM-Based Theorem Proving
arxiv.org·1d
✓Automated Theorem Proving
Canvas-of-Thought: Grounding Reasoning via Mutable Structured States
arxiv.org·1d
🧠Automated Reasoning
A Closer Look at the “Societies of Thought” Paper
lesswrong.com·12h
🎮Verification Games
The Facade of AI Safety Will Crumble
lesswrong.com·18h
🩹Self-Healing Systems
Databases should contain their own Metadata
floedb.ai·1d·
Discuss: Hacker News
🎯GADT
Postgres Locks Explained
postgreslocksexplained.com·1d·
Discuss: Hacker News
⚡Process Calculi
The prehistory of generative grammar and Chomsky’s debt to Emil Post
benjamins.com·13h·
Discuss: Hacker News
🔁Fixed-Point Theory
Find the right local LLM for your exact hardware
localclaw.io·2h·
Discuss: Hacker News
🐫Embedded OCaml
The Future of AI Slop is Constraints (Part 5/5)
askcodi.substack.com·4h·
Discuss: Substack
🔲Cellular Automata
TileIR
ianbarber.blog·1d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Hybrid Semantic Grep for Claude Code
github.com·15h·
Discuss: Hacker News
🔧ppx
SIEVE: an Efficient Turn-Key Eviction Algorithm for Web Caches
cachemon.github.io·1d·
Discuss: Hacker News
🏃Escape Analysis
Your AI has no memory. Your Rails codebase does.
rubyonai.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Pwning Supercomputers — A 20 year old vulnerability in Munge
blog.lexfo.fr·11h·
Discuss: Hacker News
🛡️seL4
Gemini 3 Deep Think: A Complete Guide to Google's Most Advanced Reasoning Mode (2026)
curateclick.com·10h·
Discuss: Hacker News
🧠Automated Reasoning
Diffusion Models for ARC-AGI: A Retrospective
christopherhwood.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Show HN: The "Vat of Fluid" Model–Solving 7Systems Paradoxes ViaFirst Principles
news.ycombinator.com·1d·
Discuss: Hacker News
🔲Cellular Automata
The Redundancy Paradox
mihirdeshpande.com·17h·
Discuss: Hacker News
👁️System Observability
Programming Aphorisms
matklad.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News
🧮Z3
GTIG AI Threat Tracker: Distillation, Experimentation, and (Continued) Integration of AI for Adversarial Use
cloud.google.com·15h·
Discuss: Hacker News
✓Automated Theorem Proving

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