Feeds to Scour
SubscribedAll
Scoured 145211 posts in 42.7 ms
Certified Circuits: Stability Guarantees for Mechanistic Circuits
arxiv.org·2d
🕰️Hybrid Logical Clocks
Consensus Algorithm of Distributed Systems
ta.fo·17h
🎯Quorum Systems
Recursive SNARKs Explained: How Proofs Verify Other Proofs
dev.to·2h·
Discuss: DEV
🌳Merkle Trees
The Topology of LLM Behavior
lesswrong.com·1d
⚓Anchors
Representation Theorems for Cumulative Propositional Dependence Logics
arxiv.org·3d
✅Model Checking
Formal methods for the unsafe side of the Force
antithesis.com·2d·
Discuss: Hacker News
🔀Crossbeam
Gödel, slowly …
logicmatters.net·16h
🔢algo
A Coding Implementation to Build a Hierarchical Planner AI Agent Using Open-Source LLMs with Tool Execution and Structured Multi-Agent Reasoning
marktechpost.com·1d
🎭Program Synthesis
Reliability modeling and multi-threshold maintenance optimization for competing-failure systems with discrete-state functional modules
sciencedirect.com·19h
💓PHI Accrual
When SHAP and LIME Fail: Lessons from Predicting Quality in the Automotive Industry
pub.towardsai.net
·11h
⚡Ruff
TorchLean: Formalizing Neural Networks in Lean
leandojo.org·6h·
Discuss: Hacker News
🔥PyTorch
Decision trees – the unreasonable power of nested decision rules
mlu-explain.github.io·52m·
Discuss: Hacker News
🌊Wavelet Trees
Schelling Goodness, and Shared Morality as a Goal
lesswrong.com·1d
📦Folly
Differential Logic • 14
inquiryintoinquiry.com·17h
🧮Algebraic Effects
Mitigating the Two Generals Problem in Django with Idempotence
dev.to·15h·
Discuss: DEV
🌳Merkle Trees
The Precious Eyeblink. Kent Beck. TidyFirst Substack. 2025-12-29
tidyfirst.substack.com·21h·
Discuss: Substack
⚡LMAX Disruptor
Introduction to Data-Centric Query Compilation
duckul.us·2d·
Discuss: r/compsci
🔥DataFusion
timothyjrainwater-lab/multi-agent-coordination-framework: A practical methodology for coordinating multiple AI agents on complex software projects. Built and proven by a non-technical operator coordinating Claude and GPT agents on a 5,100+ test codebase.
github.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Linkage
11011110.github.io·15h
📐Computational Geometry
Designing a Conflict-Free Interface
ta.fo·2d
🔄Concurrency Patterns

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