Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 RegEx Engines
Backtracking, Automata Theory, Pattern Matching, Text Processing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23894
posts in
708.0
ms
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🎯
Performance Proofs
EdgeQuake
: Rust-powered RAG framework for production knowledge
graphs
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
1d
📋
Document Grammar
Extract
structured data from any website. Real-time search API with JSON,
Markdown
& HTML output.
searchresult.dev
·
1d
·
Discuss:
Hacker News
🕵️
Feed Discovery
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
2d
⚙️
TLA+
Main
Content ||
Math
∩ Programming
jeremykun.com
·
3d
🧮
Kolmogorov Complexity
Maximizing
Diversity in (near-)
Median
String Selection
arxiv.org
·
17h
🔍
MIN Hash
The State of
Agentic
Graph
RAG
localoptimumai.substack.com
·
1d
·
Discuss:
Substack
🧮
Datalog Systems
Testing a Component System Like Infrastructure: Contract Tests, Visual
Regression
, and
Accessibility
Gates
hackernoon.com
·
16h
🔍
Concolic Testing
Accelerating
Mathematical
and Scientific Discovery with Gemini Deep Think
deepmind.google
·
7h
·
Discuss:
Hacker News
🎯
Proof Tactics
Document
Clustering
with LLM Embeddings in
Scikit-learn
machinelearningmastery.com
·
1d
🧮
Vector Embeddings
The
inverted
index
pattern
jamesg.blog
·
8h
·
Discuss:
Hacker News
🔍
BitFunnel
An AI-generated
pull
request that actually makes
sense
nicolaiarocci.com
·
13h
⚡
Proof Automation
Databases should
contain
their own
Metadata
floedb.ai
·
7h
·
Discuss:
Hacker News
🗄️
Database Internals
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
Zero-Trust Data
Warehousing
for Agentic AI: Why
Trusting
the Pipeline No Longer Scales
hackernoon.com
·
1d
⚙️
Batch Processing
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
9h
·
Discuss:
Hacker News
💻
Local LLMs
Vector
Databases
Explained: Architecture and System Design for AI Apps
dev.to
·
2d
·
Discuss:
DEV
🗂️
Vector Databases
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
1d
🧪
Binary Fuzzing
aeromomo/claw-compactor
: 🦞 Claw
Compactor
— The 98% Crusher. Cut your AI agent token spend in half with 5 layered compression techniques.
github.com
·
3h
·
Discuss:
Hacker News
📦
Deflate
Loading...
Loading more...
« Page 1
•
Page 3 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help