Monthly Highlights
30781.
30782.
Formalizing the Enormous Theorem
(axiommath.ai)
30783.
Nous Version 5.0
(play.google.com)
30784.
Show HN: BikeZap, watch people cycling around the world on an old school TV
(bikezap.pages.dev)
30785.
Stripe claimable sandboxes engineering blog post
(stripe.dev)
30786.
30787.
30788.
Community suggested movies and series to watch each night
(bingepool.com)
30789.
Community suggested books to read each week
(readerpool.com)
30790.
Slightly Better Interpolating Spline
(gasiulis.name)
30791.
Claude Ultra drops 5-hour limits
(online-tech-tips.com)
30792.
3D explorer for courtyard proposal for Washington DC's RFK stadium neighborhood
(rfk-waterfront-courtyard-urbanist.aliciapederson.chatgpt.site)
30793.
Brazilian skimmer gang hijacks Plausible analytics script on Convertr checkouts
(bleepingcomputer.com)
30794.
30795.
Show HN: Neodymium-Index|A static movie Index written in plain JS,HTML
(hemanshudev.codeberg.page)
30796.
30797.
I Stopped My E-Bike from Making Me Lazy [video]
(youtube.com)
30798.
Sava Trust (YC F25) Is Hiring a Founding Engineer in NYC
(ycombinator.com)
30799.
30800.
30801.
Adobe isn't dead yet. That's not the point
(medium.com)
30802.
30803.
The Unreasonable Effectiveness of Recurrent Neural Networks (2015)
(karpathy.github.io)
30804.
Get Face Report – facial proportion analysis with a personal plan
(getfacereport.com)
30805.
30806.
A350
(en.wikipedia.org)
30807.
Brieflox – privacy-first iOS mail client with OpenPGP, no back end
(testflight.apple.com)
30809.
30810.