Related posts

Machine-learning researcher on open language models; writes the Interconnects newsletter and the RLHF Book, after leading post-training at Ai2.

• Our readingkorrents.com

  AI progress is jagged: models are becoming superhuman at math and software engineering while remaining far weaker at intuition, creativity, and other forms of human reasoning.

  Their words

  AI has always been very jagged, and we are making models which are superhuman goal-seekers at math and software engineering, but they have massive limitations on intuitions, creativity, and other types of reasoning that humans are strong at.

  interconnects.ai

Founder and editor-in-chief of MacStories, writing about Apple software, iPad workflows and automation since 2009. He co-hosts the AppStories podcast.

• Our readingkorrents.com

  Verifying whether a photo is authentic (unaltered by AI) is becoming an increasingly difficult problem.

  Their words

  In an era where validating image authenticity is turning into a real challenge, I think we have to commend Apple for trying to do something in this field.

  macstories.net

Creator of Ruby on Rails, CTO of 37signals, and creator of Omarchy.

• Our readingkorrents.com

  Nous has some of the best visuals and brand talent in the industry.

  Their words

  Nous has some of the best damn visuals and brand wizards in the game.

  @dhh on Xx.com

Creator of Ruby on Rails, CTO of 37signals, and creator of Omarchy.

• Lovedrcmnd.app

  Nous

  Their words

  Nous has some of the best damn visuals and brand wizards in the game. Absolutely perfect fit for where we're going with Omarchy!

  x.com

Engineer at Vercel Labs as of 2026. Ships a steady stream of small developer tools — agent-browser, portless, json-render, native-sdk, the v0 SDK — and lists every one of them at ctate.dev.

• Likedrcmnd.app

  gpt-5.6-luna-fast

  Their words

  openai/gpt-5.6-luna-fast xhigh is *really* good at boring web dev tasks eg. migrations, ports, verifying work with agent-browser

  x.com

Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.

• Our readingkorrents.com

  Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built.

  Their words

  Then the actual system might still have bugs, but we can iron out the issues in the abstraction such that we don't actually build them in the real system.

  Formal methods with Hillel Wayneyoutube.com

Director of strategy at Georgetown's Center for Security and Emerging Technology; an OpenAI board member until November 2023, and writes Rising Tide.

• Our readingkorrents.com

  AI capabilities are jagged rather than smooth, so the different definitions of human-level AI will be met years apart rather than together.

  AGI

  Their words

  This makes it likely that there could be big gaps between when different definitions of AGI are fulfilled.

  The term “AGI” is almost useless at this pointhelentoner.substack.com

Researcher on developer productivity; co-wrote Accelerate and the DORA research, and created the SPACE framework.

• Our readingkorrents.com

  Release management is human group sense-making, and it does not scale to the volume of change AI now produces.

  Their words

  so many times that process has been managed by humans because you're selecting the right candidate build and you're verifying it and you're thinking, you know, you're figuring out cherry picks and then you like rebundle and then you send it out and that doesn't scale if you have one or two or a handful of people trying to make group decisions and do group sense making.

  youtube.com

Mathematician at UCLA, working mainly in harmonic analysis and partial differential equations. Writes What's new, a long-running blog on their research, open problems and expository notes.

• Our readingkorrents.com

  The structures of science now have to change, because the scarce thing is no longer proposing theories but verifying and evaluating the thousands anyone can now propose.

  Their words

  So, we're now in a situation where suddenly people can generate thousands of theories for a given scientific problem. And now we have to to verify them, evaluate them and this is something which we we have to to change our structures of science to actually sort this out.

  youtube.com

Founding member of OpenAI and former director of AI at Tesla; creator of nanoGPT and the term "vibe coding".

• Our readingkorrents.com

  Reinforcement learning leaves models sharply jagged: on the rails of a verifiable domain they are superintelligent, off them everything meanders.

  AI alignment

  Their words

  And so you're kind of like you're either on rails and you're part of the super intelligence circuits or you're not on rails and you're outside of the verifiable domains and suddenly everything kind of just like meanders.

  youtube.com

Non-fiction writer, podcaster and occasional TV host. Author of thirteen books including The Ghost Map, Where Good Ideas Come From and Extra Life, host of the PBS series How We Got To Now, and author of the Adjacent Possible newsletter on innovation.

• Our readingkorrents.com

  The standard narrative of agriculture as a sudden civilizational fall oversimplifies a far more gradual, complicated history.

  Their words

  But the "Fall" into agriculture turns out to be a much more nuanced-and jagged-story than the standard account would have it.

  The Agrarian Falladjacentpossible.substack.com

Chief executive of Alphabet and Google; joined Google in 2004 and led Chrome and Android before taking over in 2015.

• Our readingkorrents.com

  We are in the phase of artificial jagged intelligence: dramatic progress alongside models that still trip on counting letters.

  Their words

  I feel like we are in the AJI phase where dramatic progress, some things don't work well, but overall you're seeing lots of progress.

  youtube.com

Computer performance engineer working on datacenter performance at OpenAI, previously Netflix and Sun/Joyent. Author of Systems Performance and BPF Performance Tools, and creator of flame graphs.

• Recommendsaffiliate linkrcmnd.app

  Where Wizards Stay Up Late

  Their words

  Where Wizards Stay Up Late - Katie Hafner, Matthew Lyon (Simon & Schuster, 1998)

  brendangregg.com

Software engineer and essayist who writes about programming, formal methods, philosophy and literature at thoughts.wyounas.com.

• Likedrcmnd.app

  A Wizard of Earthsea

  Their words

  I picked this book up, and I liked it. On the surface, it's about wizards and magic, but there's more to it. Every now and then, Ursula Le Guin sprinkles in some wisdom.

  thoughts.wyounas.com

• Likedrcmnd.app

  Principles of the SPIN Model Checker

  Their words

  This book gave me both insight and a deeper curiosity about the subject. This book introduces the SPIN model checker and exposes the reader to the nuances of verifying programs using SPIN. A nice feature of the book is how it explains concepts using thoughtfully developed, freely available tools (such as jSpin) that the author created for pedagogical purposes. It's a demanding book, but the content was interesting. The book presents details about concurrency, temporal logic, non-determinism, advanced SPIN topics, and even case studies. I've already written a few blog posts about the topics I explored while reading this book, and I plan to write more. Overall, it's a good book. I'm sure I'll revisit the latter half again.

  thoughts.wyounas.com