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
⚔️ Lean Tactics
Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22960
posts in
661.4
ms
New Project: Cursor creates a
Playwright
+
C-Sharp
test framework
tjmaher.com
·
7h
·
Discuss:
Blogger
⚡
Proof Automation
When Execution is Cheap,
Judgment
becomes
Scarce
brajeshwar.com
·
11h
🎯
Proof Tactics
My Claude Code
workflow
invertedpassion.com
·
2d
⚡
Proof Automation
Agentic
AI Engineering
Workflows
for iOS in 2026
blog.jacobstechtavern.com
·
2d
⚡
Incremental Computation
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
3d
·
Discuss:
DEV
👑
Coq Tactics
Proving Grounds Practice
Codo
Linux Lab ( Road to
OSCP
)
infosecwriteups.com
·
1d
🏠
Homelab Pentesting
Main
Content ||
Math
∩ Programming
jeremykun.com
·
3d
🧮
Kolmogorov Complexity
What's up with
Haskell
's do
notation
?
slightknack.dev
·
2d
🧬
Functional Programming
A
Proof
of P =
NP
dev.to
·
3d
·
Discuss:
DEV
🎯
Performance Proofs
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
2d
🧪
Property-Based Testing
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
2d
🎯
Performance Proofs
Exploring Chess
Positions
and
Counts
win-vector.com
·
14h
·
Discuss:
Hacker News
🔲
Cellular Automata
The
Quiet
Surrender
to AI
jcmartinez.dev
·
14h
·
Discuss:
Hacker News
,
r/webdev
🤖
AI Curation
Humanity
's last
programming
language
xeiaso.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
📝
Concrete Syntax
Hands-Free
Claude Code with the Agent
SDK
yberreby.com
·
1d
·
Discuss:
Hacker News
🎙️
Whisper
"
Compiled
"
Specs
deepclause.substack.com
·
4d
·
Discuss:
Substack
⚡
Proof Automation
Show HN:
ClawKit
｜Open-source toolkit to configure and debug
OpenClaw
AI agents
getclawkit.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
6d
·
Discuss:
Hacker News
🎯
Performance Proofs
Rule
#1 for coding with AI agents
zknill.io
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Making OpenClaw safe: Docker isolation,
scoped
identity, and
JIT
secrets
rida.me
·
1d
·
Discuss:
Hacker News
🔍
eBPF
Loading...
Loading more...
« Page 9
•
Page 11 »
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