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
23141
posts in
490.1
ms
Simple
solution
davidrevoy.com
·
13h
🔗
Constraint Handling
A Few Notes on
Moats
commoncog.com
·
18h
🎯
Proof Tactics
Compiler-Driven Static Analysis
Locking
Context Checking
Merged
For Linux 7.0
phoronix.com
·
18h
🦀
Rust Verification
Ethereum Signature Schemes Explained: ECDSA, BLS,
XMSS
, and Post-Quantum
leanSig
with Rust Code Examples
blog.lambdaclass.com
·
2d
🔗
Hash Chains
postmarketOS
FOSDEM
2026 and hackathon recap
lwn.net
·
13h
🔓
Open Source Software
Steve
Yegge
on AI Agents and the Future of Software Engineering
newsletter.pragmaticengineer.com
·
1d
🔄
Language Evolution
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
4d
·
Discuss:
DEV
👑
Isabelle
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
4d
·
Discuss:
DEV
🔗
Concatenative Programming
Robotics
Motion Learning: Training Linked Robot Arms with
Kuramoto
Models
hackernoon.com
·
13h
🌀
Hyperbolic Geometry
Code
Reviews
: Here's What They Actually
Teach
Us
hackernoon.com
·
2d
📏
Code Metrics
Graph
algebra
en.wikipedia.org
·
2d
🔄
Graph Rewriting
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
2d
⚡
Hardware Transactional Memory
Stop Testing Attacks, Start
Diagnosing
Defenses: The
Four-Checkpoint
Framework Reveals Where LLM Safety Breaks
arxiv.org
·
1d
🛡️
Error Boundaries
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
2d
🎯
Performance Proofs
An AI got $100 to trade crypto. Day 9:
fired
,
rebuilt
its system 5 times
luckyclaw.win
·
13h
·
Discuss:
Hacker News
🔗
Hash Chains
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
2d
·
Discuss:
Hacker News
🌐
DNS Security
Program management update — January 2026
blog.rust-lang.org
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
AI Agents Explained in 3
Levels
of
Difficulty
kdnuggets.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Software as a tool, not an end in itself: A
plea
for more domain
expertise
heise.de
·
15h
·
Discuss:
Hacker News
⚙️
Proof Engineering
NanoClaw
solves one of
OpenClaw
's biggest security issues — and it's already powering the creator's biz
venturebeat.com
·
14h
·
Discuss:
Hacker News
🚀
Indie Hacking
Loading...
Loading more...
« Page 13
•
Page 15 »
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