Gauss, an Agent for Autoformalization
math.inc·2d·
Discuss: Hacker News, Hacker News, Hacker News
🏠IndieWeb
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·2d·
Discuss: Hacker News
🏠IndieWeb
Scottish villagers stun developers by demanding extra turbine (2009)
theguardian.com·15h·
Discuss: Hacker News
🏠IndieWeb
Mary Lou Jepson's medical device
threadreaderapp.com·2d·
Discuss: Hacker News
🧳Digital Nomad Tools
Scientists uncover extreme life inside the Arctic ice
news.stanford.edu·5d·
Discuss: Hacker News
📖Digital Storytelling
The Compounding Effect of Version Control Performance
diversion.dev·2d·
Discuss: Hacker News
✍️Blogging
How Benjamin Franklin Invented Machine Learning in 1720
spf13.com·3d·
Discuss: Hacker News
🗂️Knowledge Management
SaaS Ethics Manifesto
mdubakov.me·1d·
Discuss: Hacker News
✍️Blogging
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·2d·
Discuss: Hacker News
✍️Blogging
The Brilliance of UTF-8
irreal.org·7h·
Discuss: Hacker News
✍️Blogging
Collecting my thoughts about notation and user interfaces
interconnected.org·2d·
Discuss: Hacker News
✍️Blogging
Scientists: It’s do or die time for America’s primacy exploring the Solar System
arstechnica.com·1d·
Discuss: Hacker News, r/space
📈Economics
Happy 10th Birthday to the Laser Interferometer Gravitational-Wave Observatory. Now Drop Dead.
nytimes.com·3d·
Discuss: Hacker News
📈Economics
X Open Sourced Algorithm Code, So I analyzed it to learn how to grow on X
supabird.io·3d·
Discuss: Hacker News
👥Community Building
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·2d·
Discuss: Hacker News
🧳Digital Nomad Tools
EPA plans to stop collecting greenhouse gas emission data from most polluters
propublica.org·1d·
Discuss: Hacker News
✍️Blogging
The Glymphatic System
medscape.com·3d·
Discuss: Hacker News
⚙️개발
Eating the Future: The Metabolic Logic of AI Slop
e-flux.com·4d·
Discuss: Hacker News
📈Economics
MLPerf Inference v5.1 Results Land with New Benchmarks and Record Participation
hpcwire.com·2d·
Discuss: Hacker News
🗂️Knowledge Management
My review of Claude's new Code Interpreter, released under a very confusing name
simonwillison.net·4d·
Discuss: Hacker News, Hacker News
🏠IndieWeb