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
🧮 Theorem Proving
Automated Reasoning, SMT Solvers, Logic Programming, Isabelle
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24249
posts in
1.60
s
Deciding the
Satisfiability
of Combined
Qualitative
Constraint Networks
arxiv.org
·
1d
🧮
Constraint SMT
Proving Grounds Linux Box
Extplorer
( Road to
OSCP
)
infosecwriteups.com
·
11h
🏠
Homelab Pentesting
This AI Tool Turns 400
Informal
Names Into Accurate
OMOP
Code
hackernoon.com
·
7h
📚
Lempel-Ziv
BREAKING: LLM “reasoning” continues to be
deeply
flawed
garymarcus.substack.com
·
8h
·
Discuss:
Substack
🧠
Computational Logic
Writing a new worker task for
Debusine
(by Carles Pina i
Estany
)
freexian.com
·
1d
🦀
Rust Macros
Fragments
: February 9
martinfowler.com
·
1d
🗣️
Domain-Specific Languages
Testing Agent Skills
Systematically
with
Evals
developers.openai.com
·
31m
⚡
Proof Automation
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🎯
Performance Proofs
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
1d
·
Discuss:
Hacker News
⚔️
Lean Theorem
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
1d
⚡
Hardware Transactional Memory
My Claude Code
workflow
invertedpassion.com
·
1d
⚡
Proof Automation
Leading AI models struggle to
solve
original
math
problems
phys.org
·
1d
🧮
SMT Solvers
How to Bridge the Gap Between
Specs
and Agents:
MLOps
Coding Skills
hackernoon.com
·
8h
⚙️
Proof Engineering
Accelerating
mathematics
xenaproject.wordpress.com
·
1d
🔬
Lean
tmilovan/composite-machine
: Composite Machine: Automatic Calculus via Dimensional
Arithmetic
github.com
·
1d
·
Discuss:
Hacker News
🧮
SMT Solvers
A
Proof
of P =
NP
dev.to
·
2d
·
Discuss:
DEV
🎯
Performance Proofs
Differential
Logic
• 4
inquiryintoinquiry.com
·
2d
⚔️
Lean Theorem
Graph
algebra
en.wikipedia.org
·
1d
🔄
Graph Rewriting
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
11h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
21h
🧪
Binary Fuzzing
Loading...
Loading more...
« Page 1
•
Page 3 »
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