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
23661
posts in
300.4
ms
Random Access in
Grammar-Compressed
Strings: Optimal Trade-Offs in Almost All Parameter
Regimes
arxiv.org
·
15h
📝
Text Compression
Certificate Automation: The
ACME
Protocol coming soon at
Gandi
news.gandi.net
·
1d
🔐
Certificate Analysis
GRAIL
Text
Recognizer
jackschaedler.github.io
·
18h
📄
OCR
Functional
Optics
for Modern Java
blog.scottlogic.com
·
20h
💧
Liquid Types
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
5h
·
Discuss:
Lobsters
🧪
Binary Fuzzing
Palantir: N Of 1,
Industrializing
Autonomy Via
Zero-Marginal-Cost
AI Integration
seekingalpha.com
·
1d
🎯
Proof Tactics
Can AI Code for
Vintage
?
sparcie.wordpress.com
·
1d
🏗️
Compiler Archaeology
The “
Lazy
” App I Built to Fix Wedding Albums—And the AI Trick That
Shipped
It
hackernoon.com
·
14h
🚀
Indie Hacking
IMITATOR4AMAS
: Strategy Synthesis for
STCTL
arxiv.org
·
15h
🎯
Interactive Provers
Show HN: 20+ Claude Code agents
coordinating
on real work (open source)
github.com
·
3h
·
Discuss:
Hacker News
⚔️
Lean Tactics
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
12h
🔧
Hardware Verification
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
1d
·
Discuss:
Lobsters
🧠
Lisp Dialects
Accelerating
Mathematical
and Scientific Discovery with Gemini Deep Think
deepmind.google
·
1d
·
Discuss:
Hacker News
🎯
Proof Tactics
Beyond
SAST
: Using Gemini to
Orchestrate
Semantic Source Reviews.
ciex-software.com
·
3h
·
Discuss:
Hacker News
⚡
Proof Automation
pmarreck/validate
: a full binary file format validator for over 100 (EDIT: now around 150) different
filetypes
, written in Zig with frontier AI assistance
github.com
·
9h
✅
FLAC Verification
Dear
Agent:
Prove
it.
rijnard.com
·
15h
·
Discuss:
Hacker News
⚔️
Lean Tactics
AI Code Review Is Great at
Nitpicks
,
Terrible
at Systems
hackernoon.com
·
14h
📏
Code Metrics
DNS
related
RFCs
statdns.com
·
11h
🌐
DNS Security
The
e-signature
service built for AI agents
saysigned.com
·
5h
·
Discuss:
Hacker News
⚡
Proof Automation
Main
Content ||
Math
∩ Programming
jeremykun.com
·
3d
🧮
Kolmogorov Complexity
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