← Feed

Posts

• Post #4310416

  Moon

• Post #4310415

  Moon and Venus

• Post #4310414

  Mo' Moon

• Post #4310413

  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.

• Post #4310412

  "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

• Post #2358314

  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.

• Post #2358313

  > 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.

• Post #2358312

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