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
Broad
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
293
posts in
6.1
ms
TheoremBench
: Evaluating LLMs on Theorem Proving in Formal
Mathematics
➗
mathematics
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics
The
Math
Needed for AI/ML (Complete Roadmap)
💻
computer science
Content type:
Video
youtube.com
·
5d
5 days ago
Actions for The Math Needed for AI/ML (Complete Roadmap)
pavansgill/just-calculate-mcp
: MCP tool-overload solution: toggle/act gating for 45
math
tools in Rust
➗
mathematics
Content type:
Code
github.com
·
1h
1 hour ago
·
r/mcp
Actions for pavansgill/just-calculate-mcp: MCP tool-overload solution: toggle/act gating for 45 math tools in Rust
Neon NTT - (Auto)formalised
➗
mathematics
eprint.iacr.org
·
18h
18 hours ago
Actions for Neon NTT - (Auto)formalised
Proof System Timelines
➗
mathematics
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
➗
mathematics
lix.polytechnique.fr
·
15h
15 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
tensor product of stable (infinity,1)-
categories
in nLab
➗
mathematics
ncatlab.org
·
3d
3 days ago
Actions for tensor product of stable (infinity,1)-categories in nLab
How
math
's 'hairy ball
theorem
' could explain bad hair days
➗
mathematics
Content type:
News
scientificamerican.com
·
1d
1 day ago
Actions for How math's 'hairy ball theorem' could explain bad hair days
Mr. Bessel’s eponymous
functions
➗
mathematics
Content type:
Blog
johndcook.com
·
5d
5 days ago
·
Hacker News
Actions for Mr. Bessel’s eponymous functions
Quivers: a year of
linear
algebra
by drawing arrows
➗
mathematics
Content type:
Blog
lisyarus.github.io
·
1d
1 day ago
·
Hacker News
Actions for Quivers: a year of linear algebra by drawing arrows
How Terry Tao Became an Evangelist for AI in
Math
➗
mathematics
quantamagazine.org
·
2d
2 days ago
·
Hacker News
Actions for How Terry Tao Became an Evangelist for AI in Math
Set
Theory
> Basic
Set
Theory
(Stanford Encyclopedia of Philosophy)
🔢
Homomorphic Encryption
Content type:
Academic
plato.stanford.edu
·
6d
6 days ago
Actions for Set Theory > Basic Set Theory (Stanford Encyclopedia of Philosophy)
Chopped, Stored, Secured – The Story of the Hash
Function
➗
mathematics
Content type:
Blog
0xkrt26.github.io
·
2d
2 days ago
·
Hacker News
Actions for Chopped, Stored, Secured – The Story of the Hash Function
𔗢𖡗𔗢᯽𔗢𖡗𔗢⠀𔗢𖡗𔗢᯽𔗢𖡗𔗢
➗
mathematics
megalodon.jp
·
6d
6 days ago
Actions for 𔗢𖡗𔗢᯽𔗢𖡗𔗢⠀𔗢𖡗𔗢᯽𔗢𖡗𔗢
QTCat: Queer and Trans People in
Category
Theory
🔢
Homomorphic Encryption
Content type:
Blog
semantic-domain.blogspot.com
·
2d
2 days ago
·
semantic-domain.blogspot.com
Actions for QTCat: Queer and Trans People in Category Theory
Fast Option Pricing using Fourier Transform
➗
mathematics
Content type:
News
vertoxquant.com
·
1d
1 day ago
Actions for Fast Option Pricing using Fourier Transform
LLL Algorithm for Computer Scientists
➗
mathematics
Content type:
Blog
leetarxiv.substack.com
·
6d
6 days ago
·
Substack
,
r/programming
Actions for LLL Algorithm for Computer Scientists
Elements of Cryptanalysis: From
Al-Kindi
to Post-Quantum Standards — Elements of Cryptanalysis: From
Al-Kindi
to Post-Quantum Standards
➗
mathematics
bnaskrecki.faculty.wmi.amu.edu.pl
·
1d
1 day ago
Actions for Elements of Cryptanalysis: From Al-Kindi to Post-Quantum Standards — Elements of Cryptanalysis: From Al-Kindi to Post-Quantum Standards
Jacques Hadamard (1865 – 1963)
➗
mathematics
grokipedia.com
·
6d
6 days ago
·
Hacker News
Actions for Jacques Hadamard (1865 – 1963)
Stein’s method, learning and inference -or- how to really monitor convergence and thin chains
➗
mathematics
Content type:
Academic
statmodeling.stat.columbia.edu
·
2d
2 days ago
Actions for Stein’s method, learning and inference -or- how to really monitor convergence and thin chains
Page 2 »
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