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
Mathematics
🧮 Mathematics
Broad
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
21
posts in
13.6
ms
Unified Contradiction‑Resolution Framework for Physics and
Mathematics
💎
Waveguides
zenodo.org
·
2d
2 days ago
·
Hacker News
Actions for Unified Contradiction‑Resolution Framework for Physics and Mathematics
Formally proving a
calculation
with Claude and Lean
🎛️
Control theory
Content type:
Blog
johndcook.com
·
3d
3 days ago
·
Hacker News
Actions for Formally proving a calculation with Claude and Lean
𝜇𝜆ϵ
𝛿-Calculus
: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
🦀
Rust
Content type:
Academic
arxiv.org
·
5d
5 days ago
·
Lobsters
Actions for 𝜇𝜆ϵ𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
Deconstructing Datalog
🦀
Rust
rntz.net
·
2d
2 days ago
·
Hacker News
Actions for Deconstructing Datalog
AI cracked an Erdős
math
problem. Now experts want guardrails
🤖
llm
Content type:
News
sciencenews.org
·
5d
5 days ago
·
Hacker News
·
Cited by 1 article
Actions for AI cracked an Erdős math problem. Now experts want guardrails
How it feels to practice for IOAI in Iran
🎓
Education
howitfeels.netlify.app
·
2d
2 days ago
·
Hacker News
Actions for How it feels to practice for IOAI in Iran
How Terry Tao Became an Evangelist for AI in
Math
🎓
Education
quantamagazine.org
·
5d
5 days ago
·
Hacker News
·
Cited by 2 articles
Actions for How Terry Tao Became an Evangelist for AI in Math
The Control Plane Is a Control System
🎛️
Control theory
byatt.io
·
2d
2 days ago
·
Hacker News
Actions for The Control Plane Is a Control System
Socratic Spiral Learning with LLMs · Abhinav Chavali
🤖
llm
abhichavali.com
·
4d
4 days ago
·
Hacker News
Actions for Socratic Spiral Learning with LLMs · Abhinav Chavali
UC to consider reinstating SAT, ACT tests after faculty say students are deficient in
math
🎓
Education
Content type:
News
latimes.com
·
2d
2 days ago
·
Hacker News
·
Cited by 1 article
Actions for UC to consider reinstating SAT, ACT tests after faculty say students are deficient in math
EC2’s formally verified “isolation engine” provides
mathematical
assurance of virtual-machine isolation
🦀
Rust
Content type:
Blog
amazon.science
·
3d
3 days ago
·
Lobsters
Actions for EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
Second Place in Tech Is Usually the Profit Winner
🔧
Hardware
siliconopera.com
·
2d
2 days ago
Actions for Second Place in Tech Is Usually the Profit Winner
The University of California System’s SAT Folly
🎓
Education
Content type:
News
theatlantic.com
·
4d
4 days ago
·
Hacker News
Actions for The University of California System’s SAT Folly
The notational conventions I adopted, and why (EWD 1300)
🦀
Rust
Content type:
Academic
cs.utexas.edu
·
6d
6 days ago
·
Hacker News
Actions for The notational conventions I adopted, and why (EWD 1300)
Escalation Initiative
🎛️
Control theory
voxday.net
·
5d
5 days ago
Actions for Escalation Initiative
The Wrong Epsilon to the Brain
🤖
llm
hari.computer
·
4d
4 days ago
·
Hacker News
Actions for The Wrong Epsilon to the Brain
The Man Who Buried His Teacher
📱
Edge AI
kitchencloset.com
·
6d
6 days ago
·
Hacker News
Actions for The Man Who Buried His Teacher
China's Xiaomi MiMo Is Now 15X Faster Than ChatGPT and Claude (4 minute read)
📶
Beamforming
Content type:
News
decrypt.co
·
5d
5 days ago
·
Hacker News
·
Cited by 1 article
Actions for China's Xiaomi MiMo Is Now 15X Faster Than ChatGPT and Claude (4 minute read)
I Am Open Sourcing Hissab
Calculator
App, Skills, CLI and NPM
🤖
llm
Content type:
Code
github.com
·
3d
3 days ago
·
Hacker News
Actions for I Am Open Sourcing Hissab Calculator App, Skills, CLI and NPM
Programming Languages Course Reboot, 2026
🦀
Rust
Content type:
Reference
docs.google.com
·
4d
4 days ago
·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
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