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
🔲 Proof Irrelevance
Squash Types, Proposition Equality, Setoid Model, Type Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22754
posts in
245.4
ms
Mini-Heap
dailynous.com
·
2d
⬜
Minimalism
On A
Lark
dothemath.ucsd.edu
·
2d
🏛️
Philosophy
When is a
bug
not a
bug
?
blog.zarfhome.com
·
2d
🧪
Binary Fuzzing
Double
Maths
First Thing: Issue
4B
aperiodical.com
·
1d
🔬
Lean
The Seven
Qualification
Tests for an AI
Scientist
hackernoon.com
·
1d
⚡
Proof Automation
Why Agentic Theorem
Prover
Works: A Statistical
Provability
Theory of Mathematical Reasoning Models
arxiv.org
·
1d
✓
Automated Theorem Proving
Show HN: The "Vat of Fluid" Model–Solving
7Systems
Paradoxes
ViaFirst
Principles
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
New Algorithms and Hardness Results for Robust
Satisfiability
of (Promise)
CSPs
arxiv.org
·
1d
🧮
Constraint SMT
True,
Relevant
, and Wrong: The
Applicability
Problem in RAG
pinecone.io
·
1d
·
Discuss:
Hacker News
🔍
Information Retrieval
Python to Clojure: A
Gentle
Guide for
Pythonistas
dev.to
·
23h
·
Discuss:
DEV
🧠
Lisp Dialects
Differential
Logic
• 4
inquiryintoinquiry.com
·
4d
⚔️
Lean Theorem
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
3d
·
Discuss:
Hacker News
⚔️
Lean Theorem
Information-Theoretic
Derivation
of Energy, Speed Bounds, and Quantum Theory
link.aps.org
·
1d
⚛️
Information Physics
Dear
Agent:
Prove
it.
rijnard.com
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
What's up with
Haskell
's do
notation
?
slightknack.dev
·
3d
🧬
Functional Programming
Differential
Logic
• 3
inquiryintoinquiry.com
·
5d
⚡
Circuit Design
Inspecting
the Source of Go
Modules
words.filippo.io
·
18h
·
Discuss:
Lobsters
,
Hacker News
📜
Proof Carrying Code
Main
Content ||
Math
∩ Programming
jeremykun.com
·
4d
🧮
Kolmogorov Complexity
TileIR
ianbarber.blog
·
1d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
Revisiting
Regular
Types
abseil.io
·
5d
λ
Lambda Encodings
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