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
🔤 Kleene Algebra
Regular Expressions, Axiomatization, Algebraic Structures, NetKAT
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8489
posts in
74.1
ms
ExStrucTiny
: A Benchmark for
Schema-Variable
Structured Information Extraction from Document Images
arxiv.org
·
1d
🧩
Parser Combinators
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
1d
·
Discuss:
Lobsters
🔧
Unikernel Development
Automata
on Graph
Alphabets
arxiv.org
·
3d
🔀
Brzozowski Derivatives
miniKanren.org
minikanren.org
·
5d
·
Discuss:
Lobsters
📦
Module Systems
The case for
industrial
evals
lesswrong.com
·
1d
🧪
Property-Based Testing
We Die Because it's a
Computational
Necessity
lesswrong.com
·
23h
🔲
Cellular Automata
WolfSSL
Sucks
Too, So Now What?
blog.feld.me
·
2d
·
Discuss:
Hacker News
🔤
DSLs
Pre-compiled
semantic JSON for AI agent web
consumption
sdfprotocol.org
·
4d
·
Discuss:
Hacker News
🧩
Parser Combinators
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
True,
Relevant
, and Wrong: The
Applicability
Problem in RAG
pinecone.io
·
2d
·
Discuss:
Hacker News
🧩
Parser Combinators
The
e-signature
service built for AI agents
saysigned.com
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
AI
uncovers
solutions to
Erdős
problems, moving closer to transforming math
scientificamerican.com
·
1d
·
Discuss:
Hacker News
🎯
Complexity Classes
Generate
product insights by giving your AI agent
DB
access and app source code
teotti.com
·
2d
·
Discuss:
Hacker News
📊
Runtime Verification
D
Programming
Language
dlang.org
·
2d
·
Discuss:
Hacker News
⚙️
Compiler Design
Defining
Technologies
of Our Time: AI
aspendigital.org
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
TileIR
ianbarber.blog
·
2d
·
Discuss:
Hacker News
🔧
Unikernel Development
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
2d
·
Discuss:
Hacker News
🧮
Z3 Solver
[
Podman
]
Quadlet
as a First-Class Platform Primitive
ebourgess.dev
·
1d
·
Discuss:
Hacker News
🐳
Containerization
Vesta
AI
Explorer
kruks.ai
·
1d
·
Discuss:
Hacker News
🍎
Apple
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
4d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Sign up or log in to see more results
Sign Up
Login
« Page 2
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