Feeds to Scour
SubscribedAll
Scoured 11734 posts in 17.6 ms
Formalizing Mathematics at Scale  λType Theory
arxiv.org·16h
Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars  🧩Constraint Solving
the-decoder.com
·4d·Hacker News
H-star-category  λType Theory
ncatlab.org·1d
On This Day in Math  🖥️Computing History
pballew.blogspot.com·15h·Blogger
facebookresearch/atlas-lean: ATLAS Autoformalized Textbook Library At Scale  λType Theory
github.com·1d·Hacker News
Analysis of Nym VPN and its "guaranteed" privacy  🔒Physical Security
discuss.privacyguides.net·3h
Google DeepMind's AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures  🧩Constraint Solving
cryptobriefing.com·6d·Hacker News
Feynman diagrams without any physics  λType Theory
jollywatt.github.io·12h·Hacker News
23 Mathematics Books Dedicated to a Single Problem  🧮Algorithms
abakcus.com·1d
An AI Solution to an 80‑Year‑Old Problem Has Shocked Mathematicians  🧩Constraint Solving
singularityhub.com·22h
OpenAI’s “milestone” math breakthrough played to AI’s strengths  🧮Algorithms
understandingai.org·1d
Earliest Uses of Various Mathematical Symbols  🖥️Computing History
mathshistory.st-andrews.ac.uk·5d·Hacker News
When Predicting Words Isn't Enough – Why Legal Work Demands Neurosymbolic AI and GraphRAG  λType Theory
statelesslogic.com
·10h·Hacker News
Dispatches from the possibly last days of human relevance  λType Theory
scottaaronson.blog·1d·Hacker News, r/singularity
Found this tool and thought it was worth sharing.  🕸️IndieWeb
perspectra-rouge.vercel.app·19h·r/InternetIsBeautiful, r/vibecoding
OpenAI’s Breakthrough On Famed Math Problem Actually Proves That Using AI To Find Counterexamples Is A Smart Strategy For Everyone  🧮Algorithms
forbes.com·3d
Knowing about things is cheaper than knowing things  📚Education
Computer Things via buttondown.com·1d
Azure Logic Apps Adds Sandboxed Code Interpreters to Agent Workflows  💻Programming
infoq.com·2d
Introduction to Arithmetic  💻Computer Science
ancientworldonline.blogspot.com·3d·ancientworldonline.blogspot.com
Mathematical AI helps researchers crack 50-year-old problem  🧮Algorithms
newscientist.com·1d

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help