← Feed

Posts

• View post

  Eclipse!

• View post

  Eclipse!

• View post

  M31. Not especially great, but quite happy with it given that it was captured from the middle of a city.

• View post

  Moon

• View post

  Moon and Venus

• View post

  Mo' Moon

• View post

  Cleaned out a few stale RSS feeds from my reader. Realized that I'm down to barely a handful that are actually still active and that I still actively read. I've been using RSS for almost 20 years, never getting caught up in the Google Reader debacle, but I'm finally wondering if this year might be the last.

• View post

  "2026 EuroLLVM - Capabilities Great and Small: CHERI, CHERIoT, and LLVM" Thank you to Edoardo for presenting this for me on short notice! https://www.youtube.com/watch?v=sKL5XBozjyc

• View post

  Thinking about a common response to AI-bans, the claim that it should at least be allowed for summarization / code-base-exploration. And you know what? Fuck that. Talk to your colleagues/community members/any other human. Ask someone how the turboencabulator works. Read the docs that someone put effort into writing. The world is falling apart for lack of meaningful human connection. The last thing we need is to make engineering an even more isolating activity.

• View post

  > ls /opt/homebrew/*.md /opt/homebrew/AGENTS.md /opt/homebrew/CLAUDE.md /opt/homebrew/README.md /opt/homebrew/CHANGELOG.md /opt/homebrew/CONTRIBUTING.md Looks like I may be needing a new package manager.

• View post

  An evening well spent learning just enough Z3 to be dangerous at creating instruction encodings