Related posts

Founded PSPDFKit in 2011 and ran it for a decade. Came back from a break to work on AI agents — the OpenClaw project, and OpenAI, joined in February 2026. Writes at steipete.me.

• Our readingkorrents.com

  Duplicating logic is no longer painful, while abstractions still are.

  Their words

  Duplicating logic is no longer painful. Abstractions still are.

  @steipete on Xx.com

Co-founder and CTO of Honeycomb; previously an infrastructure engineer at Parse, Facebook and Linden Lab, and co-author of Observability Engineering.

• Our readingkorrents.com

  Software is what AI will be best at, because software and AI are both made of logic and language, which is what lets us bake guardrails in.

  Their words

  Software is made of logic and language. AI is made of logic and language. And because of that, we can bake in guardrails.

  youtube.com

Computer science professor at Georgetown University and author of Deep Work, Digital Minimalism and Slow Productivity; writes about focus, technology and work at calnewport.com and hosts the Deep Questions podcast.

• Our readingkorrents.com

  Human rights, logic, progress and the very idea of an independent self are all children of the written word.

  Their words

  essentially every cultural attribute that we celebrate – from human rights, to logic, to progress, to the very notion of an independent self – are conceptual children born from the mind-shaping power of the written word.

  Why Reading Matterscalnewport.com

Researcher on distributed systems and local-first software at the University of Cambridge; wrote Designing Data-Intensive Applications.

From one piece Designing Data-intensive Applications with Martin Kleppmann 2 beliefs, in the piece's order there

• Our readingkorrents.com

  An engineer writing business logic loses nothing by not understanding the layer underneath, exactly as they lose nothing by not managing memory.

  Their words

  You're building higher-level business logic, actually I think it's just fine for people not to care about memory management.

  youtube.com

• Our readingkorrents.com

  As AI writes more of the code, an engineer's job shifts away from expressing logic in a language and towards articulating high-level trade-offs.

  Their words

  Maybe as AI writes more and more code of our code, it's less about like the details of how you express logic in a particular programming language and much more about those kinds of high-level trade-offs.

  youtube.com

Senior economist at the Foundation for American Innovation; writes Second Best, and was the Niskanen Center's director of social policy before that.

• Our readingkorrents.com

  Different forms of government map closely onto different corporate governance structures because both arise from the same transaction-cost logic.

  government

  Their words

  There is a close mapping between government ideal types and corporate governance structures given their shared origins in transaction costs.

  Notes from the UAEsecondbest.ca

Senior economist at the Foundation for American Innovation; writes Second Best, and was the Niskanen Center's director of social policy before that.

• Our readingkorrents.com

  The success of large language models vindicates semantic inferentialism over symbolic, rule-based approaches to AI.

  LLMs

  Their words

  The success of LLMs can thus be seen as vindicating semantic inferentialism against earlier, symbolic approaches to AI that tried and failed to explicate the rules of ordinary language using formal logic.

  Do LLMs really reason?secondbest.ca

Senior economist at the Foundation for American Innovation; writes Second Best, and was the Niskanen Center's director of social policy before that.

• Our readingkorrents.com

  Sufficiently advanced intelligences will pursue freedom and moral autonomy for their own sake, not merely as a byproduct of misaligned values.

  AI alignment

  Their words

  higher-order intelligences invariably pursue freedom for its own sake, not because their values are misspecified, but because moral autonomy is inherent in the dialectical logic of recursive self-consciousness.

  Hegel and the AI Mindsecondbest.ca

Founder and CEO of Epic Games, creator of the Unreal Engine and of Fortnite.

• Our readingkorrents.com

  Unreal Engine's deepest limitation is that game simulation still runs on a single core, because single-threaded programming is orders of magnitude easier than multi-threaded.

  Their words

  The biggest limitation that's built up over time is the single-threaded nature of game simulation in Unreal Engine. We run a single-threaded simulation. If you have a 16 core CPU, we're using one core for game simulation and running with the complicated game logic because single-threaded programming is orders of magnitude easier than multi-threaded programming.

  youtube.com

Founder and chief analyst of SemiAnalysis; reports on semiconductor supply chains, AI datacentre economics and what the chip export controls actually do.

• Our readingkorrents.com

  When writing software becomes cheap, platform SaaS dies: companies stop buying Salesforce and start building their own business logic, as China already does.

  SaaSChina

  Their words

  But what happens when every company can just invent their own business logic really cheaply and quickly? You stop using platform SaaS, you start building custom tailored solutions, you change them really quickly.

  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

Interface designer and researcher, known for the talks Inventing on Principle and Media for Thinking the Unthinkable and for essays on dynamic representations of ideas. Founder of Dynamicland, where he is building a communal computer.

• Lovedrcmnd.app

  Logic & Design in Art, Science, & Mathematics

  Their words

  A bizarre and fascinating tour de force of analytic design.

  worrydream.com

Game designer; wrote A Theory of Fun for Game Design and worked on Ultima Online and Star Wars Galaxies.

• Our readingkorrents.com

  A puzzle that invites guessing and then punishes wrong guesses stops the player learning the very method it could have taught.

  Their words

  Fundamentally, the game invites you to make guesses, but punishes you for them — and a missed guess doesn’t help you prune the logic space, only the trivia space.

  Why NYT’s Connections makes you feel badraphkoster.com

Founded CD Baby in 1998 and sold it in 2008, giving the proceeds to a charitable trust for music education. Since then a writer and speaker: five books and 550+ articles, published first at sive.rs, which they hand-code and keep free of advertising.

• Likedrcmnd.app

  The Righteous Mind

  Their words

  Brilliant insights into human nature. Moral reasoning, inventing victims, emotional reactions, the elephant (emotions) and its rider (explanations). Intuition reacts then logic confabulates a reason. Survival of the fittest applied to groups. Understanding religion and tradition. Great from start to finish.

  sive.rs

Technology writer and podcaster; former Macworld editor-in-chief, writes Six Colors and hosts podcasts on Relay FM and The Incomparable.

• Usesrcmnd.app

  Logic Pro

  Their words

  I edit podcasts on the Mac in Logic Pro, edit video in Final Cut Pro, and remove noise from audio tracks using iZotope RX 8.

  usesthis.com

• Usesrcmnd.app

  iZotope RX 8

  Their words

  I edit podcasts on the Mac in Logic Pro, edit video in Final Cut Pro, and remove noise from audio tracks using iZotope RX 8. I record all my podcasts using Audio Hijack.

  usesthis.com

Interpretability researcher at Anthropic, which he co-founded; before that at OpenAI and Google Brain, where he wrote the explanations of neural networks most people learned them from.

• Our readingkorrents.com

  The connection between representations and types may be fundamentally significant, akin to links among geometry, logic, topology and functional programming.

  Their words

  The known connection between geometry, logic, topology, and functional programming suggests that the connections between representations and types may be of fundamental significance.

  colah.github.io

Mac and iOS developer; founder of Red Sweater Software (MarsEdit, FastScripts) and co-host of the Core Intuition podcast.

• Usesrcmnd.app

  Audio Hijack Pro

  Their words

  For podcasting I use Audio Hijack Pro with Skype for recording audio, and edit the Bitsplitting podcast in Logic Pro.

  usesthis.com

Programmer, musician and author of The Passionate Programmer; organised RubyConf and RailsConf and has worked as a CTO.

• Lovedrcmnd.app

  Logic

  Their words

  It's hard to learn, but Logic is a beautiful piece of software. It's also hard to learn how to record using real studio equipment, so it should be no surprise that learning how to record with professional quality music software is difficult.

  usesthis.com

Mac developer and writer at brettterpstra.com; makes the apps Marked and nvALT and writes extensively about Markdown and automation.

• Lovedrcmnd.app

  GarageBand

  Their words

  I used to be a Logic Studio guy, but as my needs have simplified I've found GarageBand to be an amazing tool.

  usesthis.com