ivan.bestvina's Top FindsLoading...
The furnace died, the carrots lived, & Santa moved into my fridge.
theartofdoingstuff.com·5h
Flag this post
New Publication Presents Definitive Evidence of Leonardo da Vinci's Lost Masterpiece Horse and Rider
prnewswire.com·14h
Flag this post
Ina Garten’s Best Thanksgiving Desserts (All Make-Ahead Friendly!)
storeboughtisfineblog.wpcomstaging.com·22h
Flag this post
Go’s Sweet 16
go.dev·1d·
Discuss: Lobsters, Hacker News, r/golang
Flag this post
Loosely, yet Tightly Coupled
hacklewayne.com·1d·
Discuss: Hacker News
Flag this post
Preparing for Launch
ifp.org·17h·
Discuss: Hacker News
Flag this post
The Ghost of the Author
thealgorithmicbridge.com·1d
🤖AI
Flag this post
Why Generative AI Struggles with Math (and How to Fix It)
christopherspenn.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Looking for a good course to learn proof assistant Lean 4
news.ycombinator.com·23h·
Discuss: Hacker News
Flag this post
The Quiet AI Revolution
aei.org·23h
🤖AI
Flag this post
AI is changing the food industry
observatorial.com·2d
🤖AI
Flag this post
Show HN: Oratio – Natural language programming that expands itself with AI
github.com·1d·
Discuss: Hacker News
Flag this post
Automated Stellar Population Synthesis via Adaptive Gaussian Process Regression
dev.to·15h·
Discuss: DEV
Flag this post
Social LSTM with Dynamic Occupancy Modeling for Realistic Pedestrian Trajectory Prediction
arxiv.org·1d
Flag this post
It’s not all about roasting on an open fire – there’s so much more you can do with chestnuts
theguardian.com·21h
Flag this post
computer
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
AI Coding Tools Won't Replace Developers
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
Navigating the Ethics of AI: Lessons from 2025
dev.to·2d·
Discuss: DEV
🤖AI
Flag this post
Increasing returns to marginal effort are common
lesswrong.com·3h
Flag this post
Radiology Workflow-Guided Hierarchical Reinforcement Fine-Tuning for Medical Report Generation
arxiv.org·1d
Flag this post