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

Wrote up a complete example of managing Grafana dashboards in code at philz.dev/blog/grafana/.

Maybe the real Ship of Theseus was the Ship of Theseus we made along the way

The insidious way things get worse is deliberate, rewarded optimization. These steps made Hotweels measurably cheaper (or improved margins), with no measurable loss of quality. Because the quality was hard to quantify, or noisy, or deemed low value by a secondary metric (no sales impact).

had a birthday, switched back to light mode

Here is a writeup on using an agent to help me find the source of a bug when my own grepping had failed. It is a cronicle of barely 30 minutes of work yesteday, but serves as an example of how I get value out of these tools. sketch.dev/blog/fightin...

std::uint8_t just say byte

Got to tell someone the Murderbot TV show exists, so today was productive.

@crawshaw.io Half way through my first sketch.dev run. Looking promising so far! One thing I'm really liking is the ability to interject comments while it's thinking and see its trajectory change.

At least the machines are unintentionally funny.

You're absolutely right!

Shout out to @sketch.dev, it is amazing. cc @crawshaw.io @banksean.bsky.social

Among other changes today, sketch.dev can now use docker in its hosted mode.