Related posts
nuances operations rsquo
The the words it uses that this site has seen
least often elsewhere. Posts are matched on those words alone —
nothing here is a summary of this one.
Sources
All Writing Blog Site Mastodon Korrents Newsletter Recommends Bluesky GitHub
Top people
Will Larson
Hillel Wayne
Vicki Boykis
Julia Evans
Bob Nystrom
Nelson Elhage
Yihui Xie
Ben Kuhn
Adam Wiggins
Casey Muratori
Daniel Lemire
Warren Ellis
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
20 September
Engineering leader and writer; wrote An Elegant Puzzle, Staff Engineer and The Engineering Executive's Primer, and blogs at Irrational Exuberance.
Trying the Software factory pattern. One of the interesting challenges of the AI ecosystem in 2026 is that new, effective patterns emerge faster than I can adopt them. I’ll find a handful, get back to work, and realize a month later that I’d mi…
Related
15 September
Computer science professor who works on fast data processing; co-author of the simdjson parser and a weekly blogger about software performance since 2004.
British comics writer and novelist (Transmetropolitan, Planetary, The Authority, Gun Machine). Keeps a public daily notebook logging what he reads, watches and listens to.
15sep26 New pens have arrived. Pigma Microns, Pentel Energels, a Uni-ball Signo 207, WRITECH Space-Up, and a new Drehgriffel gel pen. OPERATIONS: sprint week continues READING:
Related
9 September
Statistician and software engineer who writes R packages for reproducible research and publishing, including knitr, bookdown and blogdown.
7 September
Economics professor at the University of California, Berkeley and a former Deputy Assistant Secretary of the US Treasury. Author of Slouching Towards Utopia and writer of the Grasping Reality newsletter.
A fixed, forward, insufficiently defended logistics hub is a single point of failure; its loss propagates faster than any combat loss of ships. Distance is a hidden tax on military operations—doubling to thousands of miles broke just-in-time resupply cadence. And the Navy had no institutional plan for prolonged loss of its primary regional base—resilience was assumed, not engineered: **CROSSPOST: RILEY CEDER & J.D. SIMKINS: Navy Not Returning to Damaged Bahrain Base ‘Anytime Soon,’ Top... 1/ Related
1 September
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
A Crash Course in Predicate Logic I started writing Logic for Programmers because there weren’t any good resources on logic for, uh, programmers. Now that the book’s out, the new problem is that there aren’t any good free resources on…
Related
26 August
Epidemiologist; founded Your Local Epidemiologist in March 2020 to translate public-health science, and consults for organisations including the CDC.
Programmer; makes Handmade Hero and teaches Performance-Aware Programming, and argues loudly about how software got slow.
Their words
If every uh software engineer knew to watch out for false serial dependency chains, things where they were creating series of dependent operations that could not be optimized away or other sorts of architectural problems like that that cannot be easily fixed, then the world would look more like just wait and optimize the hotspot, right?
Show the whole quote
youtube.com
17 August
Senior space editor at Ars Technica; wrote Liftoff and Reentry on SpaceX, and reports on launch and rocket programmes.
Their words
The company that is almost exclusively responsible for the dramatic increase in launch availability in the 2020s has signaled that it intends to wind down Falcon 9 operations as quickly as possible in favor of the larger Starship rocket.
Show the whole quote
arstechnica.com
12 August
Machine learning engineer working on recommender systems, personalization and information retrieval. Previously worked on LLMs and LLM infrastructure at Mozilla.ai and on ML and recsys at Duo, Tumblr, Automattic and Comcast; wrote the 'What are embeddings?' text and ran the Normconf conference.
11 August
Engineering leader and writer; wrote An Elegant Puzzle, Staff Engineer and The Engineering Executive's Primer, and blogs at Irrational Exuberance.
10 August
Programmer; makes Handmade Hero and teaches Performance-Aware Programming, and argues loudly about how software got slow.
9 August
Coffee consultant and author of books on espresso, roasting and brewing, including The Professional Barista's Handbook and The Coffee Roaster's Companion; writes about brewing gear and roast control at scottrao.com.
3 August
Co-CEO of Waymo and a founding member of Google's self-driving car project, which he joined in 2009.
Their words
Your your models can be leaked, algorithms can be replicated, but hundreds of millions of miles of fully autonomous operations in the real world, backed by evidence-grade evaluation and publicly audited proof, that is much, much more difficult to replicate.
Show the whole quote
youtube.com
27 July
Founder and editor-in-chief of MacStories, writing about Apple software, iPad workflows and automation since 2009. He co-hosts the AppStories podcast.
Kimi K3 Fast (via Fireworks AI, launched today, ~160 TPS) in Open Minis for iOS is very nice. Cheaper than Opus 5, feels great for agentic tasks and multi-step operations. (Notably, it also reads less weird than recent Claude models.) Anthropic Related
21 July
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
17 July
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
11 July
Engineering leader and writer; wrote An Elegant Puzzle, Staff Engineer and The Engineering Executive's Primer, and blogs at Irrational Exuberance.
Make no assumptions. I’ve recently been thinking a lot about the concept of “soil horizons”, which is the idea that there are many distinct layers of soil, from topsoil all the way down to bedrock, which all combine into a…
Related
15 June
Machine learning engineer working on recommender systems, personalization and information retrieval. Previously worked on LLMs and LLM infrastructure at Mozilla.ai and on ML and recsys at Duo, Tumblr, Automattic and Comcast; wrote the 'What are embeddings?' text and ran the Normconf conference.
Running local models is good now I’ve been working with local models since they came out, and finally, they’re surprisingly good now. I have a 2022 M2 Mac with 64 GB RAM and 1TB storage and I’ve used Mistral 7B Gemma 3 OpenAI OSS-20B…
OpenAI Related
Full-stack Laravel developer based in Madison, Wisconsin; maintains open-source Laravel, Livewire and Alpine.js packages and writes at randallwilk.dev.
Their words
Even when not docked, I still prefer an external mouse for most operations. I really love the Logitech MX Master 4 mouse. For me, it feels great to hold, and it also provides support for some macOS gestures like swiping up for mission control.
Show the whole quote
randallwilk.dev
7 June
Creator of the iPod and co-creator of the iPhone at Apple, founder of Nest, and author of Build.
Their words
And when I mean micromanaging, it means micromanage the decision, not necessarily operations of doing it.
Show the whole quote
youtube.com
28 May
Machine learning engineer working on recommender systems, personalization and information retrieval. Previously worked on LLMs and LLM infrastructure at Mozilla.ai and on ML and recsys at Duo, Tumblr, Automattic and Comcast; wrote the 'What are embeddings?' text and ran the Normconf conference.
We should be more tired than the model Lately, I’ve been feeling like I’m losing control over the code I write when I work with agentic code generation. When I finish an agentic session, I get all the outward signs of having written code, but non…
Related
20 May
Rust engineer at Google working on Android; maintains Tokio and works on Rust in the Linux kernel.
18 May
Machine learning engineer working on recommender systems, personalization and information retrieval. Previously worked on LLMs and LLM infrastructure at Mozilla.ai and on ML and recsys at Duo, Tumblr, Automattic and Comcast; wrote the 'What are embeddings?' text and ran the Normconf conference.
Tagging my blog posts with BERTopic and LLMs I recently added tags to my blog using BERTopic and a mix of LLMs. You can see the tags in the sidebar to the right (or in the footer on mobile). I’ve done this before in 2023, with GGUF Mistral using llama-cpp, b…
LLMs Related
15 May
Statistician and software engineer who writes R packages for reproducible research and publishing, including knitr, bookdown and blogdown.
3 May
Statistician and software engineer who writes R packages for reproducible research and publishing, including knitr, bookdown and blogdown.
Reflections on AI-assisted Programming My former colleague Nan kept telling me early last year that I should try Cursor, but I felt I didn’t need AI assistance at that time, since I knew pretty well what I wanted to do and how. Plus, I’m generall…
Related
2 May
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
27 April
Engineering leader and writer; wrote An Elegant Puzzle, Staff Engineer and The Engineering Executive's Primer, and blogs at Irrational Exuberance.
13 April
Machine learning engineer working on recommender systems, personalization and information retrieval. Previously worked on LLMs and LLM infrastructure at Mozilla.ai and on ML and recsys at Duo, Tumblr, Automattic and Comcast; wrote the 'What are embeddings?' text and ran the Normconf conference.
Mechanical sympathy Weaver, seen from the Front, Vincent van Gogh, 1884 Something that’s been floating around in my head lately is the idea that I don’t know any truly good engineers who are also not good at at product design.…
Related
7 April
Scientist and writer on quantum computing, memory systems and metascience; co-wrote the standard quantum computation textbook and wrote Reinventing Discovery.
Their words
And I think the like the third and the most interesting possibility is no, that like they're they're a new type of object in some in some sense. They should be taken very seriously as as explanations, but where in the past we haven't had the ability to really do anything with them.
Show the whole quote
youtube.com
1 April
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
Chicago vs New York Pizza is the Wrong Argument It’s April Cools! It’s like April Fools, except instead of cringe comedy you make genuine content that’s different from what you usually do. For example, last year I talked about The best introductory…
Related
29 March
Engineering leader and writer; wrote An Elegant Puzzle, Staff Engineer and The Engineering Executive's Primer, and blogs at Irrational Exuberance.
The agentic passive voice. At some point, you will have learned about the passive voice, where the actor in a sentence is unclear. For example, my software didn’t compile. That’s a good example of the passive voice. However, you might…
Related
10 March
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
18 February
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
Notes on clarifying man pages Hello! After spending some time working on the Git man pages last year, I’ve been thinking a little more about what makes a good man page. I’ve spent a lot of time writing cheat sheets for tools (tcpdump, gi…
documentation Related
12 February
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.
Their words
So, I, I completely moved away from that. I, I, everything, everything I blog is organic, handwritten and maybe, maybe I, I, I use AI as a fix my worse typos. But there's value in the rough parts of an actual human.
Show the whole quote
youtube.com
24 January
Programmer on the Dart language at Google and author of Game Programming Patterns and Crafting Interpreters; previously a game developer at EA.
19 January
Co-founder and CTO of Honeycomb; previously an infrastructure engineer at Parse, Facebook and Linden Lab, and co-author of Observability Engineering.
1 January
Roboticist; co-founded iRobot and Rethink Robotics, directed the MIT AI Lab, and publishes a scorecard grading his own dated predictions about AI, robots and self-driving.
28 December 2025
Novelist, author of twelve books including Foundry, Bandwidth and Cumulus. Sends a newsletter of monthly book recommendations.
Their words
The Spy Who Came in From the Cold by John le Carré is a perfect espionage novel: tight, taught, twisty, and thought-provoking. Le Carré brings the subtle machinations of intelligence operations to vivid life, illustrating their geopolitical ramifications and human cost with equal care.
Show the whole quote
eliotpeper.substack.com
21 October 2025
Software engineer who writes the blog Made of Bugs about performance, debugging and understanding computer systems. Previously worked at Anthropic on interpretability, at Stripe on Sorbet, and at Ksplice.
Solving regex crosswords with Z3 For a while now, I’ve been fascinated by Z3 and by SMT solving more broadly. While on pat leave recently, I was reminded of the existence of regular-expression crossword puzzles, and allowed myself to get nerdsnip…
Related
25 September 2025
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
18 September 2025
Co-founder and CEO of Shopify; long-time Linux user and Omarchy contributor.
Their words
you are you are a sales operations expert, right? Like what is that? That's that's that that's like a title for a particular way how companies end up solving a particular operational problem they had at some point.
Show the whole quote
youtube.com
8 August 2025
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.
#IPAM (the institute for pure and applied mathematics) is facing a critical shortfall for operating expenses due to an unexpected suspension of NSF funding www.ipam.ucla.edu/news/nsf-fun... . Donations for emergency continuity of operations funding can be made at giving.ucla.edu
Related
30 May 2025
Programmer on the Dart language at Google and author of Game Programming Patterns and Crafting Interpreters; previously a game developer at EA.
Consider Knitting Let’s say that, like me, you are a person who stares at a computer and writes code for a living. As a straight male who grew up in a time where knitting was very strongly female coded, it for the most part never o…
Related
26 May 2025
Programmer on the Dart language at Google and author of Game Programming Patterns and Crafting Interpreters; previously a game developer at EA.
Access Control Syntax I’m still tinkering on a scripting language for my hobby fantasy console project. I’m ashamed to admit this, but up to this point, the language had absolutely no notion of modules. Literally every source fil…
Related
19 April 2025
Software engineer and writer; former CTO of Wave, now at Anthropic. Blogs at benkuhn.net on attention, engineering management and doing hard things well.
2 April 2025
Release engineering manager at the Wikimedia Foundation. Keeps a public log at tylercipriani.com of every book he reads, with a rating and notes.
1 April 2025
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
Gamer Games for Non-Gamers It’s April Cools! It’s like April Fools, except instead of cringe comedy you make genuine content that’s different from what you usually do. For example, last year I talked about the 3400-year history…
Related
3 February 2025
Founder and chief analyst of SemiAnalysis; reports on semiconductor supply chains, AI datacentre economics and what the chip export controls actually do.
America government
Their words
FLOP is the vector that the government has cared about historically, but the other two vectors are arguably just as important. And especially when we come to this new paradigm, which the world is only just learning about over the last six months: reasoning.
Show the whole quote
youtube.com
30 December 2024
Software engineer and essayist who writes about programming, formal methods, philosophy and literature at thoughts.wyounas.com.
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.
Show the whole quote
thoughts.wyounas.com
11 September 2024
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
21 May 2024
Software engineer who writes the blog Made of Bugs about performance, debugging and understanding computer systems. Previously worked at Anthropic on interpretability, at Stripe on Sorbet, and at Ksplice.
Stripe's monorepo developer environment I worked at Stripe for about seven years, from 2012 to 2019. Over that time, I used and contributed to many generations of Stripe’s developer environment – the tools that engineers used daily to write and te…
Related
25 March 2024
Independent policy analyst on space and national security, formerly of the RAND Corporation, who writes on counterspace weapons and rules for keeping satellites safe.
China America
Their words
Based on public commercial data that tells a lot about the military potential of these dual-use robotic spacecraft, we have shown that China can manufacture and deploy 200 such spacecraft as early as 2026, enough to cripple critical US satellites in geosynchronous, highly elliptical, and other orbits, and thus severely degrading space support to wartime operations.
Show the whole quote
thespacereview.com
1 December 2023
Research scientist at Meta in Berlin working on multilingual models and evaluation; led the multilingual team at Cohere and was a research scientist at Google DeepMind before that.
19 October 2023
Programmer on the Dart language at Google and author of Game Programming Patterns and Crafting Interpreters; previously a game developer at EA.
7 August 2023
Software engineer who writes the blog Made of Bugs about performance, debugging and understanding computer systems. Previously worked at Anthropic on interpretability, at Stripe on Sorbet, and at Ksplice.
Graceful behavior at capacity Suppose we’ve got a service. We’ll gloss over the details for now, but let’s stipulate that it accepts requests from the outside world, and takes some action in response. Maybe those requests are HTTP requests, or…
Related
4 August 2023
Programmer on the Dart language at Google and author of Game Programming Patterns and Crafting Interpreters; previously a game developer at EA.
Representing Heterogeneous Data As I mentioned in the last post, I’m working on taking my little videogame scripting language and turning it into a statically typed one. As much as possible, I’m trying to make the language simple and famil…
Related
29 June 2023
Programmer; founded comma.ai and tinygrad, and was the first to unlock the iPhone.
Their words
It is actually all their nuances and quirks and slight annoyances that make this relationship worthwhile. I don’t think we’re going to realize that until it’s too late.
Show the whole quote
youtube.com
15 April 2023
Software engineer who writes the blog Made of Bugs about performance, debugging and understanding computer systems. Previously worked at Anthropic on interpretability, at Stripe on Sorbet, and at Ksplice.
Efficiency trades off against resiliency What’s the “right” level of CPU utilization for a server? If you look at a monitoring dashboard from a well-designed and well-run service, what CPU utilization should we hope to see, averaged over a da…
Related
1 February 2023
Software engineer and writer; former CTO of Wave, now at Anthropic. Blogs at benkuhn.net on attention, engineering management and doing hard things well.
29 December 2022
Software engineer and writer; former CTO of Wave, now at Anthropic. Blogs at benkuhn.net on attention, engineering management and doing hard things well.
28 May 2022
Indonesian software engineer, educator and engineering manager at Zero One Group; open-source enthusiast writing at ripandis.com.
Their words
Spotlight replacement for macOS with extensions to improve workflow. Accelerates navigation, search, and common operations.
Show the whole quote
ripandis.com
21 May 2021
Software engineer who writes the blog Made of Bugs about performance, debugging and understanding computer systems. Previously worked at Anthropic on interpretability, at Stripe on Sorbet, and at Ksplice.
Building LLVM in 90 seconds using Amazon Lambda Last week, Frederic Cambus wrote about building LLVM quickly on some very large machines, culminating in a 2m37s build on a 160-core ARM machine. I don’t have a giant ARM behemoth, but I have been working on a too…
Related
22 November 2020
Software developer and entrepreneur; co-founder of Heroku, author of The Twelve-Factor App, and a researcher at Ink & Switch.
15 November 2020
Software developer and entrepreneur; co-founder of Heroku, author of The Twelve-Factor App, and a researcher at Ink & Switch.
29 September 2020
Software developer and entrepreneur; co-founder of Heroku, author of The Twelve-Factor App, and a researcher at Ink & Switch.
how we identify ourselves We identify ourselves to computers hundreds of times a day, but it’s a mess. I want digital identity that is easy to use, private, and secure.
Related
1 October 2016
Programmer and writer on computer architecture, performance, and software reliability. He has worked on CPU design at Centaur Technology and on software at Google and Microsoft, and writes long-form technical essays at danluu.com.
Their words
A description of how Google handles operations.
Show the whole quote
danluu.com
2 November 2014
Developer and podcaster; created Instapaper and Overcast, co-founded Tumblr, and co-hosts the Accidental Tech Podcast.
Nothing matches. Show everything
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com .
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
Got it
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.
Got it