To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.org·6h·
Discuss: Hacker News
🔓open source
Flag this post
Deep Learning for Molecules and Materials
dmol.pub·12h·
Discuss: Hacker News
🔓open source
Flag this post
Woah, I'm on my own
xsw.bearblog.dev·5h
🍳cooking
Flag this post
2025 Heisman Trophy odds: Fernando Mendoza's Heisman moment reshapes the race
nytimes.com·6h
🔓open source
Flag this post
Everything Is a Spreadsheet
ben-mini.com·23h·
Discuss: Hacker News
🔓open source
Flag this post
What I learned building a language-learning app
chadnauseam.com·52m·
Discuss: Hacker News
🍳cooking
Flag this post
Imperative to Relational
madhadron.com·1d·
Discuss: Lobsters, Hacker News
🍳cooking
Flag this post
How to Achieve 4x Faster Inference for Math Problem Solving - NVIDIA Developer
news.google.com·5h
🔓open source
Flag this post
Counting in Binary on Your Hands
kidswholovemath.substack.com·3d·
Discuss: Substack
🍳cooking
Flag this post
10 Monday AM Reads
ritholtz.com·10h
🍳cooking
Flag this post
Reopening?
nordot.app·7h
🔓open source
Flag this post
r/mathematics
reddit.com·6d·
Discuss: r/mathematics
🔓open source
Flag this post
How Point Cloud to BIM Helps Surveyors Reduce Costs and Save Time
scantobim.online·12h·
Discuss: DEV
🔓open source
Flag this post
Help My LocalDate Isn't Flattened
horstmann.com·7h·
Discuss: Hacker News
🔓open source
Flag this post
Grading
languagelog.ldc.upenn.edu·7h
🔓open source
Flag this post
TIL that the word "second" (time) and "second" (placement) are the same, as it is the "second" division of an hour. Medieval sources show potential usage of "th...
en.wikipedia.org·2d·
Discuss: r/todayilearned
🍳cooking
Flag this post
You can now buy the number 4 (Yes, the actual number)
spudart.org·3h
🔓open source
Flag this post
The Hidden Math of Ocean Waves
wired.com·1d·
Discuss: Hacker News
🔓open source
Flag this post
The Myth of RAM (2014)
ilikebigbits.com·3h·
Discuss: Hacker News
🔓open source
Flag this post
DOTS from double theories
topos.institute·2d
🔓open source
Flag this post