Related posts
Daniel Lemire
GitHub
docker_programming_station — Simple scripts for programmers who want to work within Docker
docker station scripts
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 GitHub Mastodon x.com Bluesky Korrents Newsletter Blog Site Recommends
Top people
Hillel Wayne
Ian Hickson
Kieran Healy
Mitchell Hashimoto
Wes Bos
Max Howell
Kelsey Hightower
Kent C. Dodds
Andrej Karpathy
Colin Percival
Randall Wilk
Ben Vinegar
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
20 September
Standards editor known as Hixie; edited the HTML and WHATWG living standards for many years and worked on Flutter at Google.
16 September
Sociologist at Duke University writing on markets, exchange and moral order, and on plain-text and data-visualisation tools for social science.
On Golden Gate, you can chat to the built-in foundation model directly with `fm chat`. You can also do things like pipeline it into scripts. E.g., in the second screenshot here it's reading and summarizing a @sixcolors article. The model's context window is quite small, so I had to write a script that chunked the text, so it's sort of serially summarized. Still, it’s nice to have fully-local access to this model in this way. Related
14 September
Co-founder of Superlogical, started in 2026 to build server-side terminal infrastructure; creator of Ghostty. Co-founded HashiCorp and created Vagrant and Terraform before that.
New week new demo! Today I want to showcase the CLI to control the @superlogical multiplexer. The CLI is an extremely powerful tool for automation and hooking into other tools like editors, agentic coding tools, and more. And, it's super fun! Everything you can do in the GUI, you can do via the CLI. Actually, you can do more in the CLI. You can create sessions, run commands, make splits, move things around, change focus, simulate any input device (key/mouse/etc.), wait on scripts, and more. There are a couple unique parts of Rex I'm showing off here too: our streaming event system that any cl… Related
2 September
Canadian full-stack web developer who makes JavaScript and CSS video courses and co-hosts the Syntax podcast.
I am begging you to stop using AI to write your video scripts. Shortform content is becoming unwatchable and that's not even the crazy part Related
28 August
Creator of Homebrew, the macOS package manager, and a Swift developer.
Automic Vault means your CLI tools don’t perform sensitive actions without your approval. This applies to agents and supply chain attacks both. We patch tools at the *packaging layer*. Blessed Scripts allow you to make small, vetted scripts that escalate tool capabilities. Reentrant Blessed Scripts are a scripting pattern that allow you to “weave” in agent capabilities. Interleaving deterministic work with escalated Tool capabilities and secrets with applied intelligence. Perfect for automations. Quoting @AutomicVault We have documented the concept of `Reentrant Blessed Scripts` that describe our suggested mechanism of giving Agent Automations a set of escalated capabilities and secrets. Have the automation execute a Blessed Script with Automic Vault front-matter for the capabilities and… Related
3 June
Engineer and teacher; wrote Kubernetes the Hard Way, was a distinguished engineer at Google Cloud, and retired from full-time work in 2023.
Their words
The thing that makes Kubernetes powerful, there's a data model. We gave infrastructure a type system. So instead of imperative shell scripts, you finally had types.
Show the whole quote
youtube.com
13 May
Software engineer and educator; creator of Testing Library and of the EpicWeb.dev and EpicReact.dev courses.
30 April
Founding member of OpenAI and former director of AI at Tesla; creator of nanoGPT and the term "vibe coding".
Fireside chat at Sequoia Ascent 2026 from a ~week ago. Some highlights: The first theme I tried to push on is that LLMs are about a lot more than just speeding up what existed before (e.g. coding). Three examples of new horizons: 1. menugen: an app that can be fully engulfed by LLMs, with no classical code needed: input an image, output an image and an LLM can natively do the thing. 2. install .md skills instead of install .sh scripts. Why create a complex Software 1.0 bash script for e.g. installing a piece of software if you can write the installation out in words and say "just show this to… Quoting @stephzhan @karpathy and I are back! At @sequoia AI Ascent 2026. And a lot has changed. Last year, he coined “vibe coding”. This year, he’s never felt more behind as a programmer. The big shift: vibe coding raised the floor. Agentic engineering raises the ceiling. We talk about what it means to build seriousl… LLMs Related
11 March
Standards editor known as Hixie; edited the HTML and WHATWG living standards for many years and worked on Flutter at Google.
23 February
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
Newsletter New Blog Post: Some Silly Z3 Scripts I Wrote Now that I'm not spending all my time on Logic for Programmers, I have time to update my website again! So here's the first blog post in five months: Some Silly Z3 Scripts I Wrote. Normally I'd also put a link to the Pa…
Related
Blog Some Silly Z3 Scripts I Wrote As part of writing Logic for Programmers I produced a lot of “chaff”, code samples and sections I wrote up and then threw away. Sometimes I found a better example for the same topic, sometimes I threw the to…
Related
19 February
FreeBSD developer and former FreeBSD Security Officer; founder of the Tarsnap online backup service and author of the scrypt key derivation function.
27 August 2025
Full-stack Laravel developer based in Madison, Wisconsin; maintains open-source Laravel, Livewire and Alpine.js packages and writes at randallwilk.dev.
11 August 2025
Co-founder of Modem and a founding engineer at Sentry, where he went on to be VP of Engineering. Co-author of Third-party JavaScript, and co-host of the State of Agentic Coding podcast with Armin Ronacher.
21 March 2025
Writer and former McKinsey/BCG strategy consultant; author of The Pathless Path and Good Work, about leaving the default career track. Publishes the Boundless newsletter and podcast.
Their words
A more how-to pragmatic version of carving your own path. Includes some personal story of reinvention but more on experimentation that challenges our default scripts of success and ambition.
Show the whole quote
pathlesspath.com
26 December 2024
Game developer, formerly at Looking Glass Studios, and author of the stb single-file public-domain C libraries used across the games industry.
19 December 2024
Swedish open source developer; creator and lead maintainer of curl and libcurl, and a co-founder of the Rockbox project.
3 December 2024
French software engineer, public speaker and fully remote nomadic worker; writes about frontend development at maxpou.fr.
I wrote a post about a type of hack that I had never seen before. Tomas Robert, a YouTuber with decent metrics (162k subscribers/650k total views) turned out to be an AI-generated person designed to trick viewers into executing malicious scripts and stealing cryptos maxpou.fr
Related
15 July 2024
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
30 August 2023
Developer and designer publishing at pouria.dev; author of the open-source URL shortener Kutt.
Their words
Alfred 4, launcher, clipboard manager, scripts and more.
Show the whole quote
pouria.dev
21 August 2023
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
29 October 2018
Novelist and writer, author of Mr. Penumbra's 24-Hour Bookstore and Sourdough; previously worked at Twitter and Current TV.
4 November 2014
CEO of Vercel; creator of Next.js and Socket.IO. Writes at rauchg.com.
5 January 2014
Pseudonymous essayist. Writes at gwern.net on AI scaling, statistics, genetics and long-running internet research, with heavy citation and a habit of revising old essays in place rather than leaving them wrong.
5 September 2013
Mac and iOS developer; founder of Red Sweater Software (MarsEdit, FastScripts) and co-host of the Core Intuition podcast.
Their words
I mentioned FastScripts for running quick scripts, but I also use TextExpander extensively, particularly for accelerating responses to customer support email.
Show the whole quote
usesthis.com
24 October 2011
Media theorist and writer; author of Program or Be Programmed and Team Human, and host of the Team Human podcast.
Their words
I write my books and comics scripts in Scrivener. Articles happen in Word, but I'm leaving it behind more and more, and just writing in Textedit to save myself all the time and energy associated with Microsoft.
Show the whole quote
usesthis.com
17 May 2010
Writer and web developer; founding editor of Lifehacker, co-creator of ThinkUp and of the todo.txt format.
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