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.
Top people
Will Larson
Hillel Wayne
Vicki Boykis
Julia Evans
Bob Nystrom
Nelson Elhage
Yihui Xie
Ben Kuhn
Adam Wiggins
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
9 September
Statistician and software engineer who writes R packages for reproducible research and publishing, including knitr, bookdown and blogdown.
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
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.
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
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
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
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
24 January
Programmer on the Dart language at Google and author of Game Programming Patterns and Crafting Interpreters; previously a game developer at EA.
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.
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.
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
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
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
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.
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
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