Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Math
➗ Math
Broad
mathematics, proof, discrete math, number theory
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
279
posts in
8.7
ms
λ
Type Theory
nLab
·
2d
2 days ago
Bolzano-Weierstrass
theorem
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Bolzano-Weierstrass theorem
🖥️
Computing History
gaodawei.wordpress.com
·
4d
4 days ago
2024: Research Directions in
Number
Theory
in China from the 1950s to the 1970s
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for 2024: Research Directions in Number Theory in China from the 1950s to the 1970s
✅
Formal Methods
ulam.ai
·
14h
14 hours ago
ErdosBench Leaderboard
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ErdosBench Leaderboard
🧩
Constraint Solving
flathub.org
·
23h
23 hours ago
Java Geometry Expert
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Java Geometry Expert
λ
Type Theory
arxiv.org
·
2d
2 days ago
Rethinking
set
theory
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Rethinking set theory
🧩
Constraint Solving
shoup.net
·
4d
4 days ago
A Computational Introduction to
Number
Theory
and
Algebra
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Computational Introduction to Number Theory and Algebra
📡
Information Theory
medium.com
·
2d
2 days ago
Math
for Machine Learning: Series 3 — Probability & Statistics
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Math for Machine Learning: Series 3 — Probability & Statistics
💻
Programming
unixprogram.com
·
14h
14 hours ago
Unix BC Programming
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Unix BC Programming
💻
Programming
John D. Cook
·
3d
3 days ago
Formalizing a ring
theorem
with Lean 4 and Claude
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Formalizing a ring theorem with Lean 4 and Claude
🧠
Cognitive Science
stat.berkeley.edu
·
16h
16 hours ago
On Some Quotes from G.H. Hardy
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for On Some Quotes from G.H. Hardy
λ
Type Theory
Joel David Hamkins
·
1d
1 day ago
Set-theoretic
mereology as a foundation of
mathematics
? Shandong University, Workshop on Mereology, China, June 2026
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Set-theoretic mereology as a foundation of mathematics? Shandong University, Workshop on Mereology, China, June 2026
🗣️
Linguistics
Obscure Sound
·
4d
4 days ago
UDEiGWE – ‘Four
Lemmas
’
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for UDEiGWE – ‘Four Lemmas’
✅
Formal Verification
medium.com
·
2d
2 days ago
SC16: Fundamental
Theorem
of Calculus 2
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for SC16: Fundamental Theorem of Calculus 2
🧩
Constraint Solving
Simons Foundation
·
2d
2 days ago
Solved, Unsolved and Unsolvable: The Status of Hilbert’s 23 Problems in
Mathematics
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Solved, Unsolved and Unsolvable: The Status of Hilbert’s 23 Problems in Mathematics
♟️
Game Theory
lesswrong.com
·
5d
5 days ago
$10,000 bounty for
theorem
refutation
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for $10,000 bounty for theorem refutation
✅
Formal Verification
ansumandas441.github.io
·
3d
3 days ago
Show HN: A knowledge graph of 15,941
math
states –
proof
as path-finding
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Show HN: A knowledge graph of 15,941 math states – proof as path-finding
λ
Type Theory
medium.com
·
1d
1 day ago
XENONOSTRA RESEARCH NOTES Anisomorphic Hyper-Calculus (AHC) Weaponizing the Squeeze
Theorem
for…
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for XENONOSTRA RESEARCH NOTES Anisomorphic Hyper-Calculus (AHC) Weaponizing the Squeeze Theorem for…
⚙️
Compilers
GitHub
·
2d
2 days ago
Show HN: Talos – Open-source WASM interpreter for Lean
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Show HN: Talos – Open-source WASM interpreter for Lean
λ
Type Theory
Azimuth
·
4d
4 days ago
Octonions and the Standard Model
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Octonions and the Standard Model
⛩️
Anime
EIN Presswire
·
2d
2 days ago
ABRAMORAMA ANNOUNCES ACADEMY AWARD QUALIFYING RUN FOR 2DIE4
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ABRAMORAMA ANNOUNCES ACADEMY AWARD QUALIFYING RUN FOR 2DIE4
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
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
Discover
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
Like
Save
Not for me
Report