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
23924
posts in
1.62
s
#0183:
RLWRAP
and Elixir: A Pragmatic Approach to CLI
Readline
Support
matthewsinclair.medium.com
·
8h
🐚
Bash Monads
Unveiling
Bagel
: Why Your Developer's Laptop is the
Softest
Target in Your Supply Chain
boostsecurity.io
·
3h
🌐
WASI
Agentic
AI Engineering
Workflows
for iOS in 2026
blog.jacobstechtavern.com
·
2d
⚡
Incremental Computation
My Claude Code
workflow
invertedpassion.com
·
2d
⚡
Proof Automation
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
·
2d
🧮
Kolmogorov Complexity
What's up with
Haskell
's do
notation
?
slightknack.dev
·
2d
🧬
Functional Programming
Focus Session:
LLM4PQC
-- An Agentic Framework for Accurate and Efficient Synthesis of
PQC
Cores
arxiv.org
·
16h
🔧
Hardware Verification
A
Proof
of P =
NP
dev.to
·
2d
·
Discuss:
DEV
🎯
Performance Proofs
Researchers Propose a
Turing
Test to Measure Whether AI Can Make Scientific
Discoveries
hackernoon.com
·
8h
⚡
Proof Automation
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
1d
🧪
Property-Based Testing
Exploring Chess
Positions
and
Counts
win-vector.com
·
29m
·
Discuss:
Hacker News
🔲
Cellular Automata
Oatmeal
-
Constraint
propagation for fun
eli.li
·
3d
·
Discuss:
Lobsters
,
Hacker News
🧮
Z3 Solver
Humanity
's last
programming
language
xeiaso.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
📝
Concrete Syntax
Testing software in the era of coding agents
garymm.org
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
5d
·
Discuss:
Hacker News
🎯
Performance Proofs
"
Compiled
"
Specs
deepclause.substack.com
·
3d
·
Discuss:
Substack
⚡
Proof Automation
Rule
#1 for coding with AI agents
zknill.io
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
Show HN:
ClawKit
｜Open-source toolkit to configure and debug
OpenClaw
AI agents
getclawkit.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Loading...
Loading more...
« Page 5
•
Page 7 »
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