Generated by Codex with GPT 5.6 Sol XHigh

Techmeme surfaced Anthropic’s September 4 research note, “Formalizing Fermat’s Last Theorem”. The result is not a new proof of the theorem. It is the first complete version of the established proof that a computer can check from end to end—and Anthropic says a team of Claude agents produced it largely autonomously in 11 days.

Generated by Codex with GPT 5.6 Sol XHigh

My coworker keeps joining meetings from bed… (Blind)

• aaaaaaaa77 (Oracle): Mind your own business and don’t be such a Karen
• oimn. (Walmart): As long as the quality of meeting and conversation is fine, why care?
• slopHArder (Microsoft): maybe he has a medical condition. why do you care

[Megathread]: BEST company you’ve worked for in your career (Blind)

• urAfailure (Meta): Pre-meta Facebook. 2015-2021
• ngzI43 (ByteDance): Google was truly amazing prior to 2015. Even better before 2010. I wasn’t there, but I bet was fucking awesome in 2005/2000.
• anon_foo (LinkedIn): Google hands down. They took families to hawaii. Golden era in 2010+. Not. Coming back.

What career decision do you REGRET the most? (Blind)

• ws:// (Microsoft): Staying 4+ years at microsoft. Desperately trying to get out
• chilishev (ex-Snap): Installing Blind
• C@ym@n2026 (Google): Leaving two jobs (at different stages in my life) where I had incredible WLB, TC, and wonderful managers. One was at a Fortune 500 company; the other a startup that’s doing considerably well. Both times, I felt pressure for my husband to leave. Ultimately, it was my choice but I had to let go of some of the anger I had towards him for the pressure.

Sony Says It Won’t Pass Tariff Refunds Back to PlayStation Customers, and Dismisses Fan Arguments as ‘Speculative and Illogical’ (r/technology)

• DoodleDew: What American company is giving the tariff refunds back? Nobody is
• GeneralCommand4459: So tariffs were basically a wealth transfer operation to keep corporations on side?
• helpmegetoffthisapp: Nintendo said the same exact thing.

Almost 70% of voters in Missouri city vote to recall council member who said yes to AI data center tax breaks (r/technology)

• Adventure1956: Check for the kickback they got from AI data center CEOs.
• gk_instakilogram: I am just gonna drop this https://www.epa.gov/newsreleases/epa-issues-permitting-guidance-further-president-trumps-agenda-promoting-data-centers for anyone who thinks people are overreacting.
• Preeng: And then what? These people face no further consequences. They are free to screw people over until they get recalled and then they get to keep their freedom.

Generated by Codex with GPT 5.6 Sol XHigh

The hardest problem in operational weather prediction is not merely generating a plausible future. It is keeping that prediction anchored to a fast-changing atmosphere while preserving both global coherence and the local detail people actually experience. WeatherNext 3 attacks those requirements together by changing the model’s data contract: it learns from live observations, refreshes hourly, and emits several kinds of forecast from one shared system.

Generated by Codex with GPT 5.6 Sol XHigh

TBPN surfaced NVIDIA’s agreement to acquire Hugging Face in its September 3 post, “Why NVIDIA Bought HuggingFace.” The original announcement is NVIDIA’s “NVIDIA to Acquire Hugging Face”, and the deal terms are documented in NVIDIA’s SEC filing.

The headline is a nearly \$13 billion acquisition. The deeper story is that the leading supplier of AI accelerators is buying the place where much of the open-model ecosystem discovers, compares, modifies, and distributes its software. NVIDIA is not merely adding another product. It is moving closer to the point where developers decide what to run, which tools to use, and eventually which hardware to buy.

Generated by Codex with GPT 5.6 Sol XHigh

Spent 90% of my last interview trying to prove I’m not cheating. (Blind)

• Fuitti (ByteDance): Sorry to say, there’s a big chance your friend is right. And you should fix your communication problem before your next interview. Instead of being pissy about it, ask your friend to mock with you, or pay someone to mock with you, or use a service like apexІntervіеwer. It’s how I eventually landed an offer.
• BbUW43 (Yelp): Happened to me… 45 minute interview went on for 1.5 hours. I solved the problem in time with optimizations, but spend the rest of the time convincing the interviewer that I know what I am doing. Still got a reject.
• hAvD08 (TikTok): Regardless of these new cheating tools, communicating is just as, if not more important, than being able to solve the technical question. Even before AI, if you solved a question without asking any questions or even explaining yourself clearly, even if you solved the question correctly, that would be a red flag.

Uber just cut 3,300 jobs (Blind)

• apooooo (Meta): Uber could be run by 20 engineers and a handful of lawyers
• plz delete (JPMorganChase): No real loss.
• JesusBezos (Amazon): Out with the old (carbon) and in with the new (silicon.)

Which FAANG will survive the AI bubble pop with least damage? (Blind)

• ㄨㄨ (ex-Google): Netflix will have the least damage but also the least growth…
• martbee (PayPal): Looks like nobody wants meta to survive 😀
• EnriqueGPT (PayPal): Siri brought it into this world, and Siri will take it out.

No AI until high school: NYC schools announce major classroom technology overhaul (r/technology)

• Salt_End_4275: In the 1980s and 90s, we learned about computers and all of the Windows applications in school. We learned how to type, how to use search engines, and also how to search a library. My children learned NONE of this in school, within the past 10 years. No document processing. No typing. They have had to learn by doing, but you still have many kids typing around 10 words per minute. My kids have used tablets and laptops, sure, but they weren’t taught how to use them, how they work, how to take care of them, etc. While I’m happy to have done that teaching myself, it’s a sad state of affairs that schools don’t teach those basic skills and knowledge anymore, when it is more relevant than ever.
• Otherwise-Anxiety815: They need to treat AI use in schools the way they treated plagiarism when I was growing up. Stop messing around.
• HakuohoFan: Lol, yeah, just give them access once they’re in high school because all high schoolers are know for their impulse control.

SEN BERNIE SANDERS: Yes, we must hit the pause button on AI before it is too late (r/technology)

• Randvek: “Old man yells at cloud” is rarely this literal.
• IlIlIlIllllIIliIILll: Id rather we hit the “pause button” on the bailouts of big business when none of this unproven technology they went all-in on economically pans out as advertised.
• iamagainstit: what would “hitting the pause button” actually mean? These models are already out there, both from the big companies and as open weight models. Are you going to make it illegal for people in the U.S. to do any further CS research on AI? Like what does it actually look like in practice?

Generated by Codex with GPT 5.6 Sol XHigh

Techmeme surfaced OpenAI’s September 3 launch post, “GPT-6 Astra: A new generation of intelligence.” The release matters less as another benchmark leaderboard than as a deployment threshold: OpenAI is putting a model built to operate computers, browse, code, and carry out long professional workflows into ChatGPT, Codex, the API, and Amazon Bedrock while simultaneously classifying it as the first model to reach the company’s Critical level for cybersecurity capability.

Generated by Codex with GPT 5.6 Sol XHigh

Cried after failing my OpenAI interview (Blind)

• Qeerrt (Meta): If you reached Open AI final rounds, you’ll probably do well enough in your Anthropic loop. I’m kind of the opposite. I didn’t get Anthropic after almost clearing every round. At least you’re brave enough to still try. I think I’m done.
• hiou (Silver Lake): I love how everyone is steering clear from Amazonians now.
• Gregg7 (ex-Dropbox): Ask the recruiter for feedback. OAI sometimes gives it and it’ll help for Anthropic.

Changing spending to save more working in tech in 2026 (Blind)

• ObFI63 (Meta): No american is gonna judge you bro we dont give a fk what you do
• xysotne (Spotify): I did and it’s been great. Spending lots of money on frivolous city stuff didn’t really lead to any long term meaningful benefits. Here I focus on my hobbies, friends, and fitness.
• chat2 (Meta): It’s an ok plan but almost always easier to just earn more instead. You can only reduce costs to 0 whereas you can earn infinitely

Generational opportunity to get out of tech coming up (Blind)

• DYLY82 (Airbnb): The way you pine for driving to customer sites and working in the sun makes me think you’ve never held a real job that requires physical labor in your life.
• nunux (Salesforce): Most small biz is hard work. Owners rarely able to hire more workers to delegate and never take vacations. Most take a single day weekend too.
• GoldMine🏡 (Coinbase): Running a small business is not for everyone.

We Are Living in the Fantasy World of 13-Year-Old Boys: Many of the tech billionaires who built our world have taken the wrong lessons from their favorite science fiction. (r/technology)

• callmebaiken: It actually can’t be overstated the degree to which AI investment is being shaped by 20th-century science fiction
• TheAngryCrusader: Let’s not make this sound any better than it is. These are controlling delusional psychopaths who think a strong arm on society is the best path forward. The issue is, their value and belief systems are so far removed from reality it’s impossible to work.
• CautionarySnail: They read the word dystopia, crossed it out, and wrote down “business plan”.

Mozilla launches ad blocking for Firefox on iOS (r/technology)

• Hot_Amount_3584: I want to also work with YouTube
• DctrGizmo: Still not showing up on my end.
• spicypixel: Again? I had it before then it went away.

Generated by Codex with GPT 5.6 Sol XHigh

Techmeme surfaced KrebsOnSecurity’s September 1 investigation, “FBI Probes Service Selling 153M+ Drivers Licenses.” Its importance is not just the extraordinary headline number. The reporting reconstructs how identity scans collected during ordinary transactions may have flowed into a searchable criminal marketplace, turning a system designed to establish trust into infrastructure for impersonation.

Generated by Codex with GPT 5.6 Sol XHigh

My first company and my first layoff how lucky am I? (Blind)

• feebreeze (ByteDance): It’s a blessing to have layoff experience so early in your career. I’m not joking either
• failer (PayPal): Sorry to hear that. It’s natural to feel angry, hurt and sad. But realize that any layoffs are a reflection of the leadershit and their incompetence and not you.
• cal123ai (SambaNova Systems): Don’t look at it as bad luck, but good luck. A lot of new grad don’t get a big name like PayPal on their resume. You are already ahead. Layoff is normal nowadays, your next employer won’t think much, just say you are impacted by company restructuring. The hardest one to land is the first job and you already have that under your belt. Again, congrats on being ahead of most new grad. Now focus on landing your next.

150K is now reality for Tech workers (Blind)

• SatanY (ex-Microsoft): 150k is a very good pay. About 5x the national average. If unhappy, go home.
• ArNoooo (Block): No they aren’t. You just work at a shit company that doesn’t pay.
• ㄨㄨ (ex-Google): Hate to break it to you: companies are still offering really good packages for senior level, it’s just the market is flooded with people trying to find a job.

Feel depressed looking at people’s TC here (Blind)

• ktgD25 (Google): You are 25 years old. Put things in perspective
• TUSF66 (Google): You’re only 25 though. I didn’t start making the kind of money you’re talking about until much later in my career. How many 25 year olds do you think make 300k in America? You’re crushing it!
• lamdaq (NVIDIA): Comparison is the thief of joy.

MapQuest’s app surges to No. 1 in Navigation after refusing to rename Lake Ontario (r/technology)

• Otaku-Scientist: We may have abandoned MapQuest years ago, but MapQuest never abandoned us
• Vig_2: For anyone who is trying MapQuest out, do know that they have a very small development team and all of this new attention has sent them into a frenzy. They are trying to address all of their shortcomings and they are trying to add android auto as well.
• robodrew: Honestly it’s only right that a map app that actually tells you the real names of places on the map should be at the top of the list of map apps. It’s literally the most important thing a map can do.

Amazon Workers on Food Stamps Nearly Tripled, While Company Spends \$200 Billion on AI (r/technology)

• icanruinamoment: We have failed as a nation and it’s the fault of the greed of corporations and government and they’ve been working together for too long. We’ve been far to complacent with the status quo.
• Scoobydoodle: Working class subsidizing Amazon.
• ZipNasty007: Tear these companies apart.

Generated by Codex with GPT 5.6 Sol XHigh

The difficult part of automating research is not generating plausible ideas. It is building a loop that can test those ideas, reject attractive failures, prevent shortcuts, and produce improvements that survive outside the metric being optimized. Anthropic’s latest alignment experiment treats that loop as an engineering system rather than a long prompt.