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
24220
posts in
601.0
ms
Trisecting
an
Angle
, an Interesting Historical Comparison and a Mystery
pballew.blogspot.com
·
1d
·
Discuss:
Blogger
🔐
Cryptographic Archaeology
Generative
Type
experiments
brendandawes.com
·
1d
✨
Effect Handlers
Magic
Words
daverupert.com
·
1d
⚡
Proof Automation
Claude Code:
swarm
mode (agent teams)
perrotta.dev
·
1d
⚡
Proof Automation
When you do the
math
,
humans
still rule
phys.org
·
1d
🔲
Cellular Automata
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
⚖️
Verification Calculi
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
1d
λ
Lambda Encodings
Insights
on Machine Learning
Fundamentals
dev.to
·
1h
·
Discuss:
DEV
🧠
Machine Learning
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
2d
·
Discuss:
DEV
✅
Format Verification
Technical
Details of My
LLM-Generated
Book
mattbruenig.com
·
19h
·
Discuss:
Hacker News
📝
Concrete Syntax
six
thoughts
on
generating
c
wingolog.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
The Potential of
RLMs
dbreunig.com
·
1d
·
Discuss:
Hacker News
📏
Linear Logic
Show HN:
Molinar
– Open-source alternative to ai.com (
AGPL-3.0
)
business.molinar.ai
·
2d
·
Discuss:
Hacker News
🌀
Brotli Internals
Oatmeal
-
Constraint
propagation for fun
eli.li
·
3d
·
Discuss:
Lobsters
,
Hacker News
🧮
Z3 Solver
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
2d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Togelius
:
Math
and me
togelius.blogspot.com
·
1d
·
Discuss:
Hacker News
📐
Mathematical Art
A Language For Agents
lucumr.pocoo.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🗣️
Domain-Specific Languages
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
🐚
Shell Monads
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
1d
·
Discuss:
Hacker News
🗜️
LZSS Variants
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
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