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
22963
posts in
1.58
s
Proof-oriented
Programming in F*
fstar-lang.org
·
7h
·
Discuss:
Lobsters
👑
Isabelle
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
2d
✓
Automated Theorem Proving
Dear
Agent:
Prove
it.
rijnard.com
·
7h
·
Discuss:
Hacker News
⚡
Proof Automation
How I Used Claude Code to
Teach
Myself
Rust
mlolson.github.io
·
19h
·
Discuss:
Hacker News
,
r/programming
🦀
Rust Macros
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
19h
·
Discuss:
Lobsters
🧠
Lisp Dialects
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
9h
·
Discuss:
Hacker News
🧠
Lisp Dialects
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
2d
📐
Proof Assistants
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
3h
🔧
Hardware Verification
Proving
What's Possible
buttondown.com
·
16h
⚖️
Hoare Logic
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
3d
⚡
Proof Automation
Functional
Optics
for Modern Java
blog.scottlogic.com
·
11h
💧
Liquid Types
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
2d
·
Discuss:
Hacker News
🧬
Functional Programming
The
Secure
Force: Building an End-to-End
SDLC
Without Breaking the Bank
hackernoon.com
·
1d
🔒
WASM Capabilities
Testing Agent Skills
Systematically
with
Evals
developers.openai.com
·
1d
⚡
Proof Automation
Python to Clojure: A
Gentle
Guide for
Pythonistas
dev.to
·
2h
·
Discuss:
DEV
🧠
Lisp Dialects
Coding agents as the new
compilers
anildash.com
·
11h
🏗️
Compiler Archaeology
Differential
Logic
• 5
inquiryintoinquiry.com
·
2d
⚔️
Lean Theorem
Palantir: N Of 1,
Industrializing
Autonomy Via
Zero-Marginal-Cost
AI Integration
seekingalpha.com
·
19h
🎯
Proof Tactics
I Let AI
Pentest
my lab for 45 Minutes.
HexStrike
AI and KALI MCP to get a shell after only 20.
infosecwriteups.com
·
5h
🏠
Homelab Pentesting
The Evolution of a
Lean
Programmer
unnamed.website
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
Loading...
Loading more...
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