On macOS: if you need to `cp -a` a large directory, use `cp -ac`. The `-c` takes advantage of APFS copy-on-write, so no contents are actually copied until you edit the file. Much faster.

Top Waymo freeway speed (so far): 64

I love the GitHub Issues regression where I write up a new issue, hit "Create", get taken to the new issue, then click on "Issues" to see the list for the repository and my new issue is not present.

GitHub is going to start charging for *self-hosted runners*

What we are working on right now: blog.exe.dev/meet-exe.dev We all need more virtual machines. We keep building software to work around the fact that VM infrastructure is clunky. Let's have good VM infrastructure instead.

litestream-vfs is exciting. Besides being FUSE-free, it hooks into SQLite at a far more solid point than the original Litestream, and has an amazing new power:

I idly wondered today, in the middle of another task, if we were correctly clearing HTTP headers unconditionally to avoid spoofing. Instead of ignoring the thought, I asked an agent to investigate. An hour later while closing old windows I learned that, no, we are not clearing headers correctly.

Google... just forked VSCode? Amazing.

I think about this chart a lot.

Perfect

Surreal that Waymo can take you from downtown SF to SJC airport curbside, but not to SFO.

I tried buying shoes online.

It is a testament to how much launch activity there is that the FAA has to restrict commercial launch to night to avoid impacting ATC during the shutdown.

Today I learned there is a status page for all of US airspace. nasstatus.faa.gov

The Mac Pro comes with an M2 Ultra, and the Apple Studio comes with an M3 Ultra.

This is a very nice blog post because it is not afraid to explain hard work in terms of simple concepts. go.dev/blog/greente...

What is going on with Ubuntu? $ aws Command 'aws' not found, but can be installed with: sudo snap install aws-cli # version 1.42.58, or sudo apt install awscli # version 2.14.6-1 $ sudo apt install awscli Package 'awscli' has no installation candidate

Used to: boot cdrom to install OS Now: visit web site of board management console, insert virtual cdrom from across the network using web serial console, set as primary boot device in bios Glad we made that easy.

Old-school memory management technique.

When you're talking to people about developing web sites it is easy to get ground down by constant React talk and accept it as an inevitability. If you ever find yourself here, hop on a plane and try to use GitHub Issues. Esp. if you remember that it used to work, before React.

You can put your prices on your web site. You don't need to make prospects "contact sales" for pricing.

It is surreal flying in a plane equipped with Starlink. I may as well be sitting in the office. Forgot to git clone 2GB of nonsense before getting on the plane? No problem, it runs as fast here as it does in my living room.

iOS 26 has broken half the complications on my watch, with the weather asking me every hour if it is allowed to know my location (and then not telling me the weather). The Earth still spins. But I am surprised this did not come up in QA?

You can ship a container without a shell in it. There is no law against it. I will sigh quietly. But if you ship a container with a shell and without the ps command, I will judge you.

Most SQLite databases have a table with a single row for program metadata. You can enforce that there is only one row with: CREATE TABLE metadata ( id INTEGER PRIMARY KEY CHECK (id = 1), -- one row ... );

I am curious to see what memory bugs remain practical on iOS with MIE and typed allocators. The fact that memory tags are enforced even in kernel access to userspace memory is going to make use-after-free and buffer overflows extremely hard. security.apple.com/blog/memory-...

$ git reset -hard 37dd8d3 error: did you mean `--hard` (with two dashes)? we will never know

It is 2025 and Unix is asking the big questions.

Sad that of the word telephone, we dropped the tele- (still very true of modern devices) and kept the -phone (which we don't use).

Most impressive thing I have seen in a container today: it ships with bash, but not ps.

I spent an hour today trying to find a missing —nested-virtualization flag, was ready to blame an LLM for writing the docs, only to discover the flag is conditionalized on having an M3 or M4. Amazing world, I’m two CPU revisions behind and would never have known from performance alone.

"Five next-generation Acela trains begin service Thursday as part of a $2.45 billion project to improve service ... two of them running from Washington to Boston will actually travel more slowly than their predecessors do on the same route" Like so many software infrastructure projects.

Use TouchID for sudo on macOS: - cd /etc/pam.d && cp sudo_local.template sudo_local - uncomment the line in sudo_local

Going to spend today deleting emails to conserve water.

# Install Go 1.24.2 ENV GO_VERSION=1.24.3 someone cooked here

We are knee-deep in studying the developer experience around containers, because if agents are going to be maximally useful, they need to be in a box. What we have discovered so far: sketch.dev/blog/in-prai...

This was fun. Wrote a bookmarklet to add an agent (bring your own anthropic key) to any (excluding strict CSPs) website. blog.philz.dev/blog/itsy-bi...

New Sketch website, testing how it renders here: sketch.dev (Feedback would be good! Though feedback about using Sketch is even better!)

Perfect.

So I am still using vim. There is now neovim. What would I get from trying neovim, anything people like?

An example of agent-assisted-programming going wrong: sketch.dev/blog/our-fir...

Congrats Figma folks!

If you want to try out the full-sized Qwen 3 Coder, we just added it to the latest version of sketch. Run with: brew install boldsoftware/tap/sketch sketch -model=qwen (We handle running the model for you.) It is amazing how close this open model is to the frontier models. And notably faster.

Just got macOS notarization working for sketch release binaries. If you tried downloading in the past week and hit the macOS quarantine, it should be fixed in v0.0.30.

Right now Lean is very much the classic "first learn mathematics then learn Lean", but this hints at some interesting future, where mechanical proofs are approachable enough (at least at the basic levels) that it can be a way to teach proofs: adam.math.hhu.de#/g/leanprove...

SwiftUI has some really impressive developer tools.

I have been testing out qwen3-coder as a model in sketch, and it's the first model to really grasp tool use the way Anthropic models do. It is astonishingly good for an open model, good enough it could be my daily driver.

Wrote a ton of code to do DNS ACME challenges, only for it to never be triggered, because if my ACME client got foo.dev, apparently I can have a wildcard cert *.user.foo.dev subdomain under it without any more proof.

Watching an LLM revert a git commit is the most sympathetic I have been to a machine in weeks: git show cabeb07:src/cmp.go > /tmp/cmp_before.go cp /tmp/cmp_before.go src/cmp.go