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
🔢 Discrete Math
Logic, Proofs, Set Theory, Graph Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112161
posts in
592.3
ms
From
Chunks
to Connections: The
Intuitive
Guide to Graph RAG
pub.towardsai.net
·
9h
🧩
Algorithms
Handy
Bit Manipulation
Tricks
dev.to
·
6h
·
Discuss:
DEV
💻
Programming
Towards
Autonomous
Mathematics
Research
arxiv.org
·
1d
🧩
Algorithms
Coursera
’s Google UX Design
Certificate
: What It Covers, How It’s Structured, and Why It Can Actually Work
coursera.org
·
3h
·
Discuss:
DEV
🌐
Web Development
The
calculus
tutorial just
shipped
!
minireference.com
·
21h
·
Discuss:
Hacker News
🧮
Math
Can AI Prove It?
Terence
Tao on “Big Math” and Our
Theoretical
Future
3quarksdaily.com
·
1d
🧩
Algorithms
levlai/chiralipy
: pure python comp chem
github.com
·
2h
·
Discuss:
Hacker News
🧩
Algorithms
Main
Content ||
Math
∩ Programming
jeremykun.com
·
4d
🧩
Algorithms
Carnival
of
Maths
248
aperiodical.com
·
1d
🧮
Math
The
Fourth
Wave
of Computing
lucibrowser.com
·
3h
·
Discuss:
Hacker News
🤖
Automation
Discovered
or
invented
?
cameroncounts.wordpress.com
·
4h
📝
Note Taking
batteryphil/Primal-Discrete-LLM-Training
:
ComponentThe
"Secret Sauce"MemoryZero-Shadow Training: Training without FP16 master weights.MathPrime-Grid LUT: Better precision-per-bit than standard INT4.StabilityVote Buffering: Making Gradient Accumulation work for discrete weights.
github.com
·
13h
·
Discuss:
Hacker News
⏰
Time Management
microgpt
karpathy.github.io
·
1d
·
Discuss:
Hacker News
🧩
Algorithms
Why Agentic Theorem
Prover
Works: A Statistical
Provability
Theory of Mathematical Reasoning Models
arxiv.org
·
1d
🧩
Algorithms
Mathematicians
do not agree on the essential structure of the complex numbers,
ASL/APA
Central Division Meeting, Chicago, February 2016
jdh.hamkins.org
·
1d
🧮
Math
Noether
's
Theorem
grokipedia.com
·
18h
·
Discuss:
Hacker News
📝
Note Taking
Object
permanence
doctorow.medium.com
·
5h
📝
Note Taking
Memories: doing my
PhD
at Stanford, under John L
Hennessy
lawrencecpaulson.github.io
·
13h
·
Discuss:
Hacker News
📝
Note Taking
The
Timeless
Way of
Programming
(2022)
tomasp.net
·
16h
·
Discuss:
Lobsters
,
Hacker News
🧩
Algorithms
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
9h
·
Discuss:
Hacker News
🧩
Algorithms
Loading...
Loading more...
« Page 1
•
Page 3 »
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