Our newest AI accelerator Maia 200 is now online in Azure. Designed for industry-leading inference efficiency, it delivers 30% better performance per dollar than current systems. And with 10+ PFLOPS FP4 throughput, ~5 PFLOPS FP8, and 216GB HBM3e with 7TB/s of memory bandwidth

A few random notes from claude coding quite a bit last few weeks. Coding workflow. Given the latest lift in LLM coding capability, like many others I rapidly went from about 80% manual+autocomplete coding and 20% agents in November to 80% agent coding and 20% edits+touchups in

I spoke with @LaulPatricia about Marxism: One is: What’s remarkable is that Marxism has been tried. Now, of course, defenders of Marxism say it hasn’t really been tried anywhere, but certainly the people who implemented it claimed they were implementing Marxism. And this is a

My favorite new thing to use! GitHub Copilot CLI + M365 Copilot. GitHub can use the WorkIQ MCP to get stuff done with AI. https://t.co/enlLACiKvt The demo I've wanted for years - use AI to read the specs in SharePoint and write a prototype 💚.

@PostgreSQL has long powered core @OpenAI products like ChatGPT and the API. Over the past year, our production load grew 10× and keeps rising. Today we run a single primary with nearly 50 read replicas in production, delivering low double-digit millisecond p99 client-side

Physical activity and the reduction of all-cause mortality, from 2 very large prospective cohorts 1. The relationship is non-linear, suggesting a threshold effect for many types of exercise as seen below

Terry Tao understood Perelman's proof of the Poincare conjectore so you don't have to

If you aren’t getting happier as you get older, you’re doing it wrong.

Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao. The proof was generated by GPT 5.2 Pro and formalized with Harmonic. Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them:

New blog post: Don't fall into the anti-AI hype. https://t.co/afY9gq4ukV

Like @davidbessis and others, I think that Hinton is wrong. To explain why, let me tell you a brief story. About a decade ago, in 2017, I developed an automated theorem-proving framework that was ultimately integrated into Mathematica (see: https://t.co/nGCIUk44TP) (1/15)

You can't let the slop and cringe deny you the wonder of AI. This is the most exciting thing we've made computers do since we connected them to the internet. If you spent 2025 being pessimistic or skeptical on AI, why not give the start of 2026 a try with optimism and curiosity?

I'm Boris and I created Claude Code. Lots of people have asked how I use Claude Code, so I wanted to show off my setup a bit. My setup might be surprisingly vanilla! Claude Code works great out of the box, so I personally don't customize it much. There is no one correct way to

I've never felt this much behind as a programmer. The profession is being dramatically refactored as the bits contributed by the programmer are increasingly sparse and between. I have a sense that I could be 10X more powerful if I just properly string together what has become

Must read even if you think you are great at performance analysis and tuning. On top of practical usefulness, it is a really enjoyable read. We always underestimate how small details compound to large differences.

https://t.co/Lb6T42n5jl

I love the expression “food for thought” as a concrete, mysterious cognitive capability humans experience but LLMs have no equivalent for. Definition: “something worth thinking about or considering, like a mental meal that nourishes your mind with ideas, insights, or issues that

A reset button for rotation could change how we control them all. Is it possible to cancel out a complicated spin without painstakingly reversing every single move? Surprisingly, the answer is yes. Mathematicians Jean-Pierre Eckmann (University of Geneva) and Tsvi Tlusty

Go Excel!

This is three.js running on the Exosphere. 🤯 Rendering in realtime from a browser at 8K / 60fps. Here’s how Shopify just pulled it off 👇