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
🔮 Proof Search
Automated Reasoning, Tactic Languages, Resolution, Unification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24236
posts in
2.00
s
DCP-o-matic
• Feature Request for
Verifier
dcpomatic.com
·
13h
🛡️
Archive Verification
On A
Lark
dothemath.ucsd.edu
·
16h
🏛️
Philosophy
Microsoft just built a
scanner
that exposes hidden LLM
backdoors
techradar.com
·
11h
🔍
NTLM Forensics
Ethereum Signature Schemes Explained: ECDSA, BLS,
XMSS
, and Post-Quantum
leanSig
with Rust Code Examples
blog.lambdaclass.com
·
1d
🔗
Hash Chains
Mathematicians
launch First Proof, a first-of-its-kind math
exam
for AI
scientificamerican.com
·
1d
⚙️
Proof Engineering
C-- Home
cs.tufts.edu
·
1d
·
Discuss:
Lobsters
🔗
Concatenative Programming
Deciding the
Satisfiability
of Combined
Qualitative
Constraint Networks
arxiv.org
·
1d
🧮
Constraint SMT
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
2d
·
Discuss:
DEV
⚔️
Lean Tactics
Zero-Trust Data
Warehousing
for Agentic AI: Why
Trusting
the Pipeline No Longer Scales
hackernoon.com
·
21h
⚙️
Batch Processing
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🎯
Performance Proofs
Inside the Model That
Outsmarts
Popular AI Detection Tools
hackernoon.com
·
13h
⚡
Proof Automation
Graph
algebra
en.wikipedia.org
·
1d
🔄
Graph Rewriting
taman-islam/rox
: A clarity-first programming language that
compiles
to C++
github.com
·
3h
·
Discuss:
Hacker News
🦀
Rust Macros
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
22h
🧪
Binary Fuzzing
Why Smart
Lawyers
Are Building AI Tools
Instead
of Buying Them
natlawreview.com
·
3h
·
Discuss:
Hacker News
⚡
Proof Automation
punctilio
: the best text
prettifier
lesswrong.com
·
3h
🖋
Typography
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
17h
·
Discuss:
Hacker News
🎼
Audio Lambda Calculus
MySQL
with
extensions
for the agentic AI era
villagesql.com
·
17h
·
Discuss:
Hacker News
🗄️
Database Internals
Build a
Compiler
in Five Projects
kmicinski.com
·
3d
🔨
Compilers
The
OWASP
LLM Top: A Practical Attack Guide (with 122 real attack
techniques
)
news.ycombinator.com
·
19h
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Loading...
Loading more...
« Page 2
•
Page 4 »
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