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
🧮 SMT Solvers
Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8607
posts in
112.3
ms
Proving
What's Possible
buttondown.com
·
2d
🔍
Formal Verification
Go -
Unit
&
Integration
Testing
linkedin.com
·
2d
·
Discuss:
r/programming
🧪
Property-Based Testing
Finding the Cracks: Improving LLMs Reasoning with
Paraphrastic
Probing
and Consistency Verification
arxiv.org
·
23h
🧮
Z3 Solver
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
1d
🔢
Computability Theory
Is AI
self-aware
?
lesswrong.com
·
11h
🩹
Self-Healing Systems
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
3d
🧩
Parser Combinators
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
1d
·
Discuss:
Hacker News
🔁
Fixed-Point Theory
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
2d
·
Discuss:
Hacker News
📦
OPAM
The
Redundancy
Paradox
mihirdeshpande.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
Oatmeal
-
Constraint
propagation for fun
eli.li
·
6d
·
Discuss:
Lobsters
,
Hacker News
🧮
Z3 Solver
You're Already Building
Petri
Nets. You're Just Building Them
Badly
.
joshtuddenham.dev
·
22h
·
Discuss:
Hacker News
⚡
Process Calculi
Show HN: We
achieved
72.2% issue resolution on
SWE-bench
Verified using AI teams
agyn.io
·
1d
·
Discuss:
Hacker News
👁️
System Observability
visual
feature board → AI-ready coding
prompts
magnetprompt.com
·
12h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Building an Embedding API with Rust, Arm, and
EmbeddingGemma
on AWS
Lambda
sobolev.substack.com
·
17h
·
Discuss:
Substack
🏗️
Dune
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
4d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Show HN:
MicroGPT
in 243 Lines –
Demystifying
the LLM Black Box
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
💬
Mach Messages
[
Podman
]
Quadlet
as a First-Class Platform Primitive
ebourgess.dev
·
1d
·
Discuss:
Hacker News
🐳
Containerization
Sign up or log in to see more results
Sign Up
Login
« 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