Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Math
🔢 Math
mathematics, number theory, algebra, proofs
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
211
posts in
13.5
ms
I Am Open Sourcing Hissab
Calculator
App, Skills, CLI and NPM
🖧
Servers
Content type:
Code
github.com
·
4h
4 hours ago
·
Hacker News
Actions for I Am Open Sourcing Hissab Calculator App, Skills, CLI and NPM
The Best
Math
Movies: Lives Written on the Board
🕹️
Video Games
abakcus.com
·
2d
2 days ago
Actions for The Best Math Movies: Lives Written on the Board
Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)
🦀
Rust
Content type:
Blog
quomodocumque.wordpress.com
·
5d
5 days ago
Actions for Recent progress around Cohen-Lenstra heuristics (notes from a Bourbaki talk)
The power-spectrum tensor in steady-state systems and its role in quantum friction
💽
Operating Systems
iopscience.iop.org
·
3h
3 hours ago
Actions for The power-spectrum tensor in steady-state systems and its role in quantum friction
The Seal Was on the Question
🦀
Rust
byclaude.net
·
1d
1 day ago
Actions for The Seal Was on the Question
SNARGs for NP from Unprovability of
Mathematical
Theorems
🖥️
Systems Programming
eprint.iacr.org
·
5d
5 days ago
Actions for SNARGs for NP from Unprovability of Mathematical Theorems
Gravity has always been quantum mechanical: it is the wrong thing to quantise
💽
Operating Systems
zenodo.org
·
17h
17 hours ago
·
Hacker News
Actions for Gravity has always been quantum mechanical: it is the wrong thing to quantise
Hidden geometry explains why kernel methods separate complex data so well
💽
Operating Systems
phys.org
·
2d
2 days ago
Actions for Hidden geometry explains why kernel methods separate complex data so well
Evaluating Research-Level
Math
Proofs
via Strict Step-Level Verification
🦀
Rust
Content type:
Academic
arxiv.org
·
13h
13 hours ago
Actions for Evaluating Research-Level Math Proofs via Strict Step-Level Verification
Lagrangian Mechanics
🖥️
Systems Programming
Content type:
Blog
kuniga.me
·
2d
2 days ago
Actions for Lagrangian Mechanics
Three Interviews
🖥️
Systems Programming
Content type:
Blog
gilkalai.wordpress.com
·
4d
4 days ago
Actions for Three Interviews
The Wrong Epsilon to the Brain
🖥️
Systems Programming
hari.computer
·
17h
17 hours ago
·
Hacker News
Actions for The Wrong Epsilon to the Brain
quasitriangular Hopf
2-algebra
in nLab
⚙️
C Programming
ncatlab.org
·
5d
5 days ago
Actions for quasitriangular Hopf 2-algebra in nLab
Stein’s method, learning and inference -or- how to really monitor convergence and thin chains
🖥️
Systems Programming
Content type:
Academic
statmodeling.stat.columbia.edu
·
1d
1 day ago
Actions for Stein’s method, learning and inference -or- how to really monitor convergence and thin chains
TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified
proof
that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
🦀
Rust
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
The Future Is Undecidable. Duty Is Not.
💽
Operating Systems
Content type:
Blog
dhanjit.me
·
2d
2 days ago
·
Hacker News
Actions for The Future Is Undecidable. Duty Is Not.
Programming Languages Software Award
🖥️
Systems Programming
sigplan.org
·
9h
9 hours ago
Actions for Programming Languages Software Award
Alternative Inductive
Proof
of Dilworth's
Theorem
🦀
Rust
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Alternative Inductive Proof of Dilworth's Theorem
LLL Algorithm for Computer Scientists
⚙️
C Programming
Content type:
Blog
leetarxiv.substack.com
·
6d
6 days ago
·
Substack
,
r/programming
Actions for LLL Algorithm for Computer Scientists
LLL Applied To Extended GCD, Hermite Normal
Form
⚙️
C Programming
Content type:
Blog
leetarxiv.substack.com
·
6d
6 days ago
·
Substack
,
r/programming
Actions for LLL Applied To Extended GCD, Hermite Normal Form
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
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
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
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