Related posts

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

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

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

Software engineer and essayist who writes about programming, formal methods, philosophy and literature at 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