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 Provers
SMT Solvers, Z3, Automated Reasoning, Formal Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123137
posts in
2.84
s
The
Observer
Lemma
zenodo.org
·
3h
·
Discuss:
Hacker News
⚡
Effect Handlers
I've tried dozens of
Notion
alternatives, these are the only
ones
worth using
xda-developers.com
·
5h
🔄
Incremental Lexing
remote
locks
and
distributed
locks
tautik.me
·
12h
🎯
Ring Buffers
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
9h
·
Discuss:
Hacker News
🧪
Testing Compilers
🔥 Added a `/
prove
`
skill
to my
prove
_it library.…
justin.searls.co
·
1d
💬
Interactive REPLs
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
12h
·
Discuss:
Hacker News
🔶
Lattice Theory
AI
Automators
in Drupal. How to
Orchestrate
Multi-Step AI Workflows?
droptica.com
·
1h
🎭
Program Synthesis
AI agent
sandboxing
in 2026: how to choose between primitives,
runtimes
, and platforms
manveerc.substack.com
·
9h
·
Discuss:
Substack
🛡️
Capability VMs
The Machine Learning
Practitioner
’s Guide to
Speculative
Decoding
machinelearningmastery.com
·
16h
🚀
Tokenizer Performance
Measure
Twice
, Prompt Once
ignasibosch.com
·
1d
·
Discuss:
DEV
🔬
Nanopasses
Link-checking
with
generative
AI
natemeyvis.com
·
10h
🌊
Gradual Effects
Plugin-Based
LLM
Workflows
agentplatform.app
·
1d
🎨
Domain-Specific Languages
AI tools that are actually
useful
fastcompany.com
·
15h
🧩
Constraint Solvers
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
1d
📡
Erlang BEAM
ConGLUDe
: Toward
General-Purpose
Foundation Models for Drug Discovery
cbirt.net
·
19h
✨
Effect Inference
The
Mechanics
of Autonomous Software
Translation
alperenkeles.com
·
1d
🚀
Code Motion
Accelerating
Mathematical
and Scientific Discovery with Gemini Deep Think
deepmind.google
·
12h
·
Discuss:
Hacker News
🧩
Constraint Solvers
zkAgent
:
Verifiable
Agent Execution via One-Shot Complete LLM Inference Proof
eprint.iacr.org
·
4d
🧩
SAT Solvers
datavorous/spheni
: An in-memory vector search library in C++ with Python bindings
github.com
·
13h
·
Discuss:
Hacker News
🔀
SIMD Programming
Sculptor
: The missing
UI
for coding agents
imbue.com
·
2d
💬
Smalltalk VMs
Loading...
Loading more...
« Page 4
•
Page 6 »
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