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
23291
posts in
1.17
s
Introducing
Augustus
: Open Source LLM Prompt
Injection
Tool
praetorian.com
·
4d
✅
Format Verification
Deterministic
AI
Orchestration
: A Platform Architecture for Autonomous Development
praetorian.com
·
5d
⚙️
TLA+
thesis
connie.surf
·
3d
🏛
Digital humanities
I built a
cryptographic
memory layer for humans in Python tags: python,
opensource
, security, blockchain
dev.to
·
3d
·
Discuss:
DEV
🌳
Archive Merkle Trees
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
3d
·
Discuss:
DEV
🧱
Immutable Infrastructure
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
3d
·
Discuss:
r/golang
🏺
Database Archaeology
Private Data Space Model
privatedata.space
·
6d
✅
Format Verification
Revisiting
Regular
Types
abseil.io
·
3d
λ
Lambda Encodings
Intermediate
Results on the Complexity of
STRIPS
$_{1}^{1}$
arxiv.org
·
1d
🎯
Performance Proofs
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
1d
λ
Lambda Encodings
Waterloo
Style
theprogrammersparadox.blogspot.com
·
4d
·
Discuss:
Hacker News
🕹
Emulation Theory
Agentic
Coding and the Problem of
Oracles
epkconsulting.substack.com
·
3d
·
Discuss:
Substack
,
r/programming
🔲
Cellular Automata
EBM
vs. LLMs: Our
Kona
EBM
a 96% vs. 2% Sudoku Benchmark
logicalintelligence.com
·
5d
·
Discuss:
Hacker News
🧮
SMT Solvers
What I
haven
't
figured
out
macwright.com
·
4d
·
Discuss:
Hacker News
🔓
Reverse engineering
Code only says what it does
brooker.co.za
·
3d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
5d
·
Discuss:
Hacker News
💻
Programming languages
a
declarative
spec for goals, plans, and
gated
execution
planspec.io
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Notes for February 2-7
taoofmac.com
·
3d
·
Discuss:
Hacker News
🐚
Bash Monads
The Other
Markov
’s
Inequality
ethanepperly.com
·
3d
·
Discuss:
Hacker News
📐
Error Bounds
Five
disciplines
discovered the same math
independently
freethemath.org
·
3d
·
Discuss:
Hacker News
,
Hacker News
📚
Archive Mathematics
Loading...
Loading more...
« Page 14
•
Page 16 »
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