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
22585
posts in
225.3
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
·
2d
🔬
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
New Algorithms and Hardness Results for Robust
Satisfiability
of (Promise)
CSPs
arxiv.org
·
1d
🧮
Constraint SMT
Show HN: The "Vat of Fluid" Model–Solving
7Systems
Paradoxes
ViaFirst
Principles
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
Differential
Logic
• 4
inquiryintoinquiry.com
·
4d
⚔️
Lean Theorem
True,
Relevant
, and Wrong: The
Applicability
Problem in RAG
pinecone.io
·
1d
·
Discuss:
Hacker News
🔍
Information Retrieval
Handy
Bit Manipulation
Tricks
dev.to
·
4h
·
Discuss:
DEV
🔢
Bitwise Algorithms
Object
permanence
doctorow.medium.com
·
1d
📐
Archive Calculus
Expressing
a prime as the sum of two
squares
johndcook.com
·
8h
·
Discuss:
Hacker News
🔢
Reed-Solomon Math
Information-Theoretic
Derivation
of Energy, Speed Bounds, and Quantum Theory
link.aps.org
·
1d
⚛️
Information Physics
Differential
Logic
• 3
inquiryintoinquiry.com
·
5d
⚡
Circuit Design
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
3d
·
Discuss:
Hacker News
⚔️
Lean Theorem
What's up with
Haskell
's do
notation
?
slightknack.dev
·
3d
🧬
Functional Programming
Inspecting
the Source of Go
Modules
words.filippo.io
·
21h
·
Discuss:
Lobsters
,
Hacker News
📜
Proof Carrying Code
Main
Content ||
Math
∩ Programming
jeremykun.com
·
4d
🧮
Kolmogorov Complexity
The
inverted
index
pattern
jamesg.blog
·
1d
·
Discuss:
Hacker News
🔍
BitFunnel
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