Formalizing Fermat's Last Theorem
<a href="https://news.ycombinator.com/item?id=49568506">Comments</a>
<a href="https://news.ycombinator.com/item?id=49568506">Comments</a>
<a href="https://news.ycombinator.com/item?id=49563839">Comments</a>
After being let go from a small agency due to financial reasons, I find myself having at least 6-10 months of downtime for the first time in 10 years.I am around 30 and feel burnt out from my tech career. I do not feel any interest or happiness towards building things right now. I chose this career mostly due to monetary reasons and pursued undergrad and graduate degrees in CS in Europe. After which, I worked as a product manager for a while in the networking/telco sector in internal enterp
Hi HN, I'm a nuclear engineer and tech entrepreneur. After working for 3 years in the National Atomic Energy Commision (CNEA) in HPC software for nuclear simulations, I co-founded ratherlabs.com, a software company providing blockchain solutions for startups. Rather Labs business reached ~6 million usd in annual revenue in 2024; now demand is decreasing as our niche clients are using AI to launch their MVPs.Now I'm joining my scientific background with my entrepreneurial inclinations t
Netflix is not the only streaming service loading up on new shows in September. Hulu has several new and returning shows premiering throughout the month. First up is a Glen Powell comedy set in the world of college football. Next is a Snowfall spin-off that picks up shortly after the events of the finale.
<a href="https://news.ycombinator.com/item?id=49563415">Comments</a>
I made a change to an endpoint that updated a product's price and called revalidatePath('/productos'). It worked. The price updated. What I didn't see until two days later is that same route was also serving filters, categories, and a comparison view that depended on the same layout — and all of that got regenerated from scratch on the next request, even though none of it had changed. Cache thrown in the trash from over-invalidating.That's when I understood it wasn't a "which function do I use"
If you've been on Android since its early days, you probably remember just how sluggish it felt compared to iOS and how Google gradually managed to make it smoother and more responsive. Sure, part of that was the rise of faster phone hardware, but software optimizations also played a major role.
For many people, Bluetooth headphones are not and never have been a straight-up replacement for wired—they're just convenient to use on the go. But manufacturers have been trying to kill the 3.5mm jack for years now, stripping it from flagship phone models and even laptops.
This is a submission for Weekend Challenge: Generosity Edition What I BuiltGiveTrack is a personal generosity tracker that helps you log donations, discover causes, and actually see your impact over time instead of giving once and forgetting about it.The idea came from a simple frustration: most people who give to charity have no easy way to look back and understand their own generosity, how much, how often, to what causes. GiveTrack turns that invisible habit into something visible and mot
After quite a lot of work, the Hubleto team finally merged refactoring of Hubleto's React UI into functional components.This is more than just another merged branch. It is one of the bigger changes made to the Hubleto codebase so far: the React UI has been moved from class-based components to functional components. Why did the they do it?Hubleto has been around for a while, and a lot of its UI was originally built using React class components. They worked, but React has changed quite a lot
<a href="https://news.ycombinator.com/item?id=49562895">Comments</a>
Every SaaS team starts the same way: a simple boolean column in PostgreSQL (has_seen_v2_modal), a useEffect hook, and a conditional modal component.Fast forward 6 months, and your frontend bundle is 80KB heavier with 14 dead announcement modals, 3 hydration race conditions, and marketing asking why the banner didn't trigger for trial users.Here is why hardcoding in-app experiences is an anti-pattern—and how to architect a deterministic, decoupled announcement engine in Next.js. The 3 Inevit
Spoilers for The Grand Tour season 7 episode 1 ahead.Regardless of whether you're into cars or not, talking about them on TV is synonymous with three people: Richard Hammond, James May and Jeremy Clarkson.The trio transitioned to Amazon's The Grand Tour after parting ways with BBC's Top Gear, and now the time has come for them to hand the presenting baton over on Prime Video, too. Frankly, I don't think The Grand Tour could have picked a better set of replacements, th
When I spoke to new presenting trio James Engelsman, Francis Bourgeois and Thomas Holland about their debut onThe Grand Tour, I admitted that I am an absolute dunce when it comes to cars. Are they prepared to impart wisdom to idiots like me? "Well, did you enjoy it [the series]?" Engelsman asks me. When I reply yes, he says "That's all that matters."In a nutshell, this is what I think we need to keep coming back to now that Prime Video has revamped its hit car show. N
Watch Women's Basketball World Cup free on RTVE Play (Esp) / Rai Play (Ita) / RTBF Auvio (Bel) / ProSieben (Ger)Unlock your stream with NordVPN (save up to 75%)FIBA Women's Basketball World Cup 2026: Fri, Sep 4 – Sun, Sep 13USA's last-gasp reshuffle has set up a fascinating FIBA Women's Basketball World Cup 2026. The 11-time champions – who haven't lost a tournament game since 2006 – were thrown into a tailspin by the withdrawals of four-time WNBA MVP A'ja Wilson and
Badlands acquires action spec script "Wildman" written by Jacob Rainer. Via the Hollywood Reporter:For a great many years, spec scripts of a certain action nature were described as “Die Hard but on a….” In more recent years, spec scripts of a certain action nature have found themselves described as “John Wick but with…”Well, welcome to “John Wick but with a Bigfoot.”The logline says it all: When his little brother is killed by hun
Scary Challenges is a free 18+ horror card game with 1,000+ cards across themed decks for sleepovers, groups and solo terror. We built it at Inithouse as a browser-native PWA that needs no download, no account and no app store approval. Over 10,000 players have drawn cards so far across 23+ decks.This post explains what the game actually is, how we structured the deck system, and why we went with a browser-first architecture. What a horror card game looks like in 2026Most "scary" apps on th
The best software I wrote for a spring dinner was not a dashboard or an internal tool. It was a set of deliberately over-the-top games: a multiplayer memory game that uses people's phones as controllers, a giant rock-paper-scissors display, and a lottery machine that looks like it belongs in a science-fiction movie.I originally made these as small event toys for one evening. After removing private names, internal references, and event-specific details, I put the three projects on GitHub because
While working on a collection of browser-based developer tools, I kept running into the same problem: I needed to balance chemical equations for a chemistry study tool, and every existing solution was either a heavy external API call or a clunky desktop app. I wanted something that worked entirely in the browser — no server, no dependencies, just pure math and JavaScript.The result was a small single-file tool that solves this with linear algebra. Here's how I approached it, including the parts
