Feeds to Scour
SubscribedAll
Scoured 22949 posts in 1.45 s
Ashley Roberts accidentally announces Dick Van Dyke is dead live on air
the-independent.com·13m
🏺Gaming Archaeology
IPR.VC, Together Fund execs reveal their film investment priorities
screendaily.com·28m
📦Digital Cinema Package
Scientists give verdict on popular theory that massive Himalayan earthquake is ‘overdue’
the-independent.com·15m
🏛️Byzantine Archiving
Best Olly probiotic
mercurynews.com·35m
📰RSS Feed Discovery
I'm a coffee lover and I'm tempted by this Ninja coffee machine that does it all — now down to its lowest-ever price
techradar.com
·24m
☕Coffee
AI Reveals How Alzheimer’s Rewires the Brain at the Genetic Level
scitechdaily.com·22m
🔲Cellular Automata
This Xerox laser printer I just tested is a serious step up for any small business
techradar.com
·23m
🔄Document Workflows
IDA Plugin Updates on 2026-02-08
williballenthin.com·4d
🌳Incremental Parsing
Differential Logic • 2
inquiryintoinquiry.com·6d
⚖️Constraint Logic
Pydantic Performance: 4 Tips on How to Validate Large Amounts of Data Efficiently
towardsdatascience.com·5d
✅Format Verification
Python and Memory Management, Part 1: Objects
dev.to·4d·
Discuss: DEV
🧠Memory Allocators
**Pulse‑Sequence Tuning for Fault‑Tolerant Exponentiation in Shor’s Algorithm on Transmon Qubits**
dev.to·4d·
Discuss: DEV
⚛️Quantum Error Correction
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·5d
🤝Consensus Protocols
Craig Interpolation in Program Verification
arxiv.org·2d
⚖️Verification Calculi
Elliptic Multiple Polylogarithms with Arbitrary Arguments in \textsc{GiNaC}
arxiv.org·1d
🧮SMT Solvers
Using Janet as Database
1a-insec.net·5d·
Discuss: Hacker News
🗄️SQLite Internals
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·6d·
Discuss: Hacker News
🔗Functional Compilers
You don't need RAG in 2026
ryanlineng.substack.com·3d·
Discuss: Substack
📊Multi-vector RAG
Tiny C Compiler
bellard.org·4d·
Discuss: Hacker News
🚀Compiler Optimizations
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·6d·
Discuss: Hacker News
💻Programming languages

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