Feeds to Scour
SubscribedAll
Scoured 16030 posts in 125.3 ms
Kona: Energy-Based Models (EBMs) for AI Reasoning
logicalintelligence.com·2d·
Discuss: Hacker News
🔍Type Inference
Preview
Report Post
Logic Programming on Knowledge Graph Networks And its Application in Medical Domain
arxiv.org·1d
⚖️Constraint Logic
Preview
Report Post
**Abstract:** This paper presents a novel framework for the automated formal verification of distributed consensus protocols, essential for the reliability o...
freederia.com·1d
🤝Distributed Consensus
Preview
Report Post
How to prove you know a discrete logarithm
johndcook.com·1d
🎯Interactive Provers
Preview
Report Post
Virtual AI Inference: A Hardware Engineer’s View
dev.to·1d·
Discuss: DEV
🕹️Hardware Emulation
Preview
Report Post
Data Structures and Algorithms
tech.stonecharioteer.com·1d·
Discuss: Hacker News
📼Tape Combinators
Preview
Report Post
Structured Hints for Sample-Efficient Lean Theorem Proving
arxiv.org·1d
⚔️Lean Tactics
Preview
Report Post
vivace-graph-v3: CL graph database & Prolog implementation
github.com·16h·
Discuss: Lobsters, Hacker News
🕸️Neo4j
Preview
Report Post
A Brief History of Solving Simultaneous Equations via Matrices
learningloom.substack.com·6h·
Discuss: Substack
📐Linear Algebra
Preview
Report Post
Congratulations, Dr. Gangam!
11011110.github.io·2d
🤝Consensus Networks
Preview
Report Post
Introduction to Computational Thinking by Grant Sanderson (3b1B) and MIT
ocw.mit.edu·9h·
Discuss: Hacker News
💻CS
Preview
Report Post
CIDR 2026 Proceedings
vldb.org·1d·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
Show HN: Polymcp – Turn Any Python Function into an MCP Tool for AI Agents
news.ycombinator.com·5h·
Discuss: Hacker News
🧮Z3 Solver
Preview
Report Post
Introduction to Coinduction in Agda Part 1: Coinductive Programming
jesper.sikanda.be·3d
🏛️Agda
Preview
Report Post
Speculative Decoding Is Not a Heuristic
reedmeyerson.com·2d·
Discuss: Hacker News
🌸Bloom Variants
Preview
Report Post
From WAL to WASM - High-Performance Local-First Sync with Postgres & SQLite
bdovenbird.com·6h·
Discuss: DEV
📝Database WAL
Preview
Report Post
Casmos: Optimizing for LLM Citations Instead of Rankings
yyyokel.com·1d·
Discuss: Hacker News
📊Feed Optimization
Preview
Report Post
A Practitioner's Guide To Taxonomies, Part I
jessicatalisman.substack.com·23h·
Discuss: Substack
🗂️Information Architecture
Preview
Report Post
Functional Optics for Modern Java
blog.scottlogic.com·2d
💧Liquid Types
Preview
Report Post
Can Time Be Computed? Part II
softwarefrontier.substack.com·9h·
Discuss: Substack
⏰Time Crystals
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