Feeds to Scour
SubscribedAll
Scoured 13797 posts in 726.1 ms
Graphwise GraphDB
graphwise.ai·4h
📊Graph Databases
Preview
Report Post
Limited Math: Aligning Mathematical Semantics with Finite Computation
arxiv.org·1d
λLambda Encodings
Preview
Report Post
Build Cheaper, Safer, Auditable AI with SLMs and RAG
thenewstack.io·1h
🌊Stream Processing
Preview
Report Post
A Zeckendorf table
leancrew.com·3h
🎞️Tape Combinatorics
Preview
Report Post
Halting Problem
en.wikipedia.org·19m·
Discuss: Hacker News
🔍Type Inference
Preview
Report Post
A New Document Database
blog.spacegirl.nl·1d
🗄️Database Internals
Preview
Report Post
Building a RAG-Based AI Platform
dev.to·1d·
Discuss: DEV
🤖AI Curation
Preview
Report Post
Volcano Model: Research on the Scalable Architecture of Database Query Systems
oreateai.com·3d·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
New Deepseek technique balances signal flow and learning capacity in large AI models
the-decoder.com
·4h
🌊Streaming Algorithms
Preview
Report Post
Data Science Spotlight: Selected Problems from Advent of Code 2025
towardsdatascience.com·1d
🌳Trie Structures
Preview
Report Post
Implementing a (Vibed) LLM Coding Agent in Prolog
deepclause.substack.com·3d·
Discuss: Substack
⚡Proof Automation
Preview
Report Post
Against the Grain
theprogrammersparadox.blogspot.com·2d·
Discuss: theprogrammersparadox.blogspot.com
🗄️Database Internals
Preview
Report Post
Taming P99s in OpenFGA: How We Built a Self-Tuning Strategy Planner
auth0.com·1d·
Discuss: Lobsters
⚡Incremental Computation
Preview
Report Post
Computational Depth
blog.computationalcomplexity.org·1d·
Discuss: blog.computationalcomplexity.org
🧮Kolmogorov Complexity
Preview
Report Post
Making Redstone circuits with SAT solvers
alloc.dev·17h·
Discuss: Hacker News
🧮Z3 Solver
Preview
Report Post
From Chains to Graphs: Self-Structured Reasoning for General-Domain LLMs
arxiv.org·2d
🔄Graph Rewriting
Preview
Report Post
The Staggering Complexity and Subtlety of Concurrency
hackaday.com·1d
⚡Parallel Computing
Preview
Report Post
Functional Optics for Modern Java
blog.scottlogic.com·1d
⟷Bidirectional Programming
Preview
Report Post
Automated Theorem Proving for Prolog Verification
arxiv.org·2d
🧮Theorem Proving
Preview
Report Post
Many small queries are efficient in SQLite
sqlite.org·9h·
Discuss: Hacker News
💾SQLite
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