Lean proof of Fermat's Last Theorem [pdf]
(news.ycombinator.com)
1441.
1444.
Show HN: Nestable.dev – local whiteboard app with nestable canvases, deep links
(news.ycombinator.com)
1445.
1446.
1448.
Do Large Language Models Dream of AI Agents?
(wired.com)
1450.
1451.
1453.
1454.
1455.
MapLibre Tile: A next generation geospatial format optimized for rendering
(news.ycombinator.com)
1457.
1458.
Fast and observable background job processing for .NET
(news.ycombinator.com)
1459.
Gaussian Processes for Machine Learning (2006) [pdf]
(news.ycombinator.com)
1460.
Gaussian Processes for Machine Learning [pdf]
(news.ycombinator.com)
1461.
Calling Their Bluff
(news.ycombinator.com)
1462.
1463.
1464.
Perfect Freehand – Draw perfect pressure-sensitive freehand lines
(news.ycombinator.com)
1466.
1467.
1468.
Geotoy – Shadertoy for 3D Geometry
(news.ycombinator.com)
1469.
Netflix Revamps Tudum's CQRS Architecture with Raw Hollow In-Memory Object Store
(news.ycombinator.com)
1470.
Prime Number Grid
(news.ycombinator.com)