Feeds to Scour
SubscribedAll
Scoured 23090 posts in 446.1 ms
The rich diversity of Spanish cinema to be displayed at the Málaga Film Festival
cineuropa.org·13m
📦Digital Cinema Package
This New Blood Test Can Detect Cancer Before Tumors Appear
scitechdaily.com·37m
🌈Spectroscopy
Former Premier League star Mario Balotelli claims he was racially abused during match in UAE
the-independent.com·12m
🎫Kerberos Attacks
Cash-strapped parents unable to pay into children’s Junior ISA accounts
the-independent.com·25m
🚀Compiler Optimizations
Series Mania to screen 51 series
cineuropa.org·11m
📦Digital Cinema Package
CBRE Group, Inc. (CBRE) Q4 2025 Earnings Call Transcript
seekingalpha.com·14m
🌊CBOR Streaming
Anatomy of a 5-Layer Defence Pipeline for AI Agent Memory
dev.to·4d·
Discuss: DEV
🌳Archive Merkle Trees
From CLI to GitHub Bot: Building a Code Management AI for Python
dev.to·5d·
Discuss: DEV
🔗Topological Sorting
QRS: A Rule-Synthesizing Neuro-Symbolic Triad for Autonomous Vulnerability Discovery
arxiv.org·1d
🎯Threat Hunting
Bounded Modal Logic
arxiv.org·1d
📏Linear Logic
FrancescoStabile/numasec: Fully autonomous AI Pentester, finds actual vulnerabilities & writes reports. Defining Vibe Security.
github.com·3d·
Discuss: Hacker News
⚡Proof Automation
raphaelmansuy/edgequake: High-performance GraphRAG inspired from LightRag written in Rust
github.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Building a semantic search engine in ±250 lines of Python
bart.degoe.de·2d·
Discuss: Hacker News
🗂️Vector Search
Extract structured data from any website. Real-time search API with JSON, Markdown & HTML output.
searchresult.dev·2d·
Discuss: Hacker News
🕵️Feed Discovery
I benchmarked 4 CLI coding agents on an NP-hard optimization problem I solved by hand 8 years ago. One of them beat me.
charlesazam.com·54m·
Discuss: Hacker News
🎯Performance Proofs
Microgpt.py
gist.github.com·18h·
Discuss: Hacker News, Hacker News
📚Lempel-Ziv
Part 2 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System
news.ycombinator.com·23h·
Discuss: Hacker News
✓Automated Theorem Proving
Part 1 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System
news.ycombinator.com·23h·
Discuss: Hacker News
🔮Proof Search

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