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
🔢 Philosophy of Mathematics
Foundations, Intuitionism, Constructivism, Mathematical Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9335
posts in
92.8
ms
Recent
Advances
in LLMs for
Mathematics
youtube.com
·
18h
·
Discuss:
Hacker News
➡️
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Thoughts the
Unreasonable
Effectiveness of
Maths
lesswrong.com
·
1d
🔢
Computability Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Profunctorial
algebras
arxiv.org
·
1d
➡️
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Lambda
cube
en.wikipedia.org
·
1d
·
Discuss:
Lobsters
🧮
Lambda Calculus
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A
dilettante
’s
philosophy
of mind
mtmason.com
·
14h
·
Discuss:
Hacker News
📵
Digital Minimalism
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
1d
·
Discuss:
Substack
,
r/programming
,
r/webdev
λ
Functional Programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Abstract to
Contextual
: What LLMs Still Cannot Do in
Mathematics
arxiv.org
·
1d
➡️
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Fax Numbers of the Beast, and Other Mathematical Sports: An Interview with Neil
Sloane
| Margaret
Wertheim
and Neil
Sloane
cabinetmagazine.org
·
18h
·
Discuss:
Hacker News
≤
Order Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
Dadaism
of "All
Theories
Are False"
betonit.ai
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Writing
Textbooks
for
Oneself
dkislyuk.com
·
2h
·
Discuss:
Hacker News
📦
Module Systems
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Ellipsis
and Higher-Order
Unification
dev.to
·
1d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Three
Acts
of the Mind (pt 1/3): Understanding (
Philosophy
101)
adoroergosum.blogspot.com
·
1d
·
Discuss:
Hacker News
📵
Digital Minimalism
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A
no-bullshit
introduction
to groups: Part 1.
iczelia.net
·
3d
·
Discuss:
Hacker News
➡️
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
List of
Fallacies
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
📝
Term Rewriting
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Housman
's
Introductory
Lecture
worrydream.com
·
1d
·
Discuss:
Hacker News
📐
Linear Algebra
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
What Prediction
Feels
Like: From
Thermodynamics
to Mind
3quarksdaily.com
·
15h
·
Discuss:
Hacker News
🔲
Cellular Automata
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Reasoning
About Things Without
Choosing
Them
cognitivelayer.substack.com
·
6d
·
Discuss:
Substack
📝
Term Rewriting
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Bridges
, Not
Primitives
lesswrong.com
·
15h
🔲
Cellular Automata
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Autoformalization
and the Future of
Math
Research
neelsomaniblog.com
·
4d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Thinking
Machines
: How AI
Learned
to Reason Step-by-Step
dev.to
·
1d
·
Discuss:
DEV
🧠
Automated Reasoning
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
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