← Feed

Posts

• View post

  “For example, if a modern x86 processor at 2.2 GHz had all caches disabled, it would never be able to execute more than ~15 million instructions per second. That’s as slow as an Intel 80486 from 1991. When working on my first hypervisor I actually disabled all caching by mistake, and Windows took multiple hours to boot. It’s pretty incredible how important caches are.” https://gamozolabs.github.io/metrology/2019/08/19/sushi_roll.html

• View post

  Peak early 2000s memory surfacing after the song “Who Am I?” by Peace Orchestra popped up in a playlist: obsessively rewatching a DVD copy of the Animatrix given to me by my cousin (whose taste in media far outstripped mine), except skipping some scenes in The Second Renaissance pt 2 that were definitely way too traumatizing for 14yo me lol

• View post

  Now in the brief week near summer solstice, here in Seattle we're northerly enough to get sun coming directly through our north-facing windows in both the morning and evening. Pretty neat!

• View post

  This Mexican restaurant has decided to build their entire thing around AI generated portraits of Frida Kahlo

• View post

  Dress code asked for "summery mountain vibes" but spouse accused me of serving '70s car salesman. North Carolina is pretty, anyway!

• View post

  Gonna take a break from open source dev work. Back to standalone experiments & blogging for a while, I think.

• View post

  Will be giving a short lightning talk at the Software Should Work conference in Columbia, Missouri on July 16th! The topic: what sort of concurrency properties can you check using the Rust and Go language tooling these days? #Rust #Golang

• View post

  Getting an ebike really did fix all my problems

• View post

  It is stupid baby crow season here in Seattle. They’ve all fledged and are wandering around the city, making hilarious attempts at cawing and with generally no idea what is going on. However, they remain closely chaperoned by their parents so don’t look too long or you’ll be swooped!

• View post

  @elebertus only tolerable way is to set it up to “explore” possible changes to see what their broad structure & specific API calls would look like, then implement it yourself if it turns out to be viable.

• View post

  I really thought those water jetpack things would play a larger part in the future we inhabit. You know, those ones appearing in tourism sizzle reels for tropical places like twelve years ago.

• View post

  https://theonion.com/nation-wakes-up-from-strange-dream-where-they-were-watching-soccer/

• View post

  ok wolfram can still write a banger blog post once in a while https://writings.stephenwolfram.com/2026/07/towards-a-theory-of-bugs-the-ruliology-of-the-unexpected/

• View post

  Dark-Eyed Junco trilling proudly this morning #birds

• View post

  Little fact about me to show off my geoguessing skills, for a long time I thought the music video for the Childish Gambino song Telegraph Ave (Oakland) was shot in Oakland (in my defense the refrain does go “in Oakland, in Oakland”) and was like wow Oakland is an amazing paradise, why would anybody ever leave. Anyway it is actually shot in Kaua’i

• View post

  Having trouble mentoring the junior employees at work. I try to tell them that struggling and failing to do things like for example getting the build system to work is part of the learning process. But now they have a button that just fixes that for them, which solves the proximate issue but deprives them of knowing what to do the next time it happens. Idk maybe I have already become boomer and this approach is just outdated now.

• View post

  Try to avoid running a GPU farm to answer a question like “how do I make a repeated char string of some length in C++” by typing it into a web search bar and they run a GPU farm to answer it anyway. ok

• View post

  Had a board game day with friends today and tried the Royal Game of Ur, which (subject to a big asterisk that the ruleset is only a best guess) dates back 4,000 years to ancient Mesopotamia. And I gotta say. It was actually a ton of fun! Our ancestors were great at game design! So many tense moments and huge swings of fortune. Also a uniquely good spectator board game too, I could see a big crowd of people surrounding the players while making bets and crying in anguish or triumph. Try it if you...

• View post

  A spectacular cardinal recital! Footage courtesy of a friend in Washington DC #birds

• View post

  Was excited to learn my employer offers $10k/year tuition reimbursement! But then looking at UW's "adult continuing education" catalogue it is entirely composed of pre-101 rocks for jocks type fluff (although one course on the oceanography of puget sound looks genuinely interesting). Maybe I can audit a course? Actually what I should really use this for is get reimbursed for learning Mandarin.

• View post

  Went to the local seattle Handmade meetup yesterday and had a lovely time! Was only planning to go for the talks but stayed afterward to hang out with others for hours. Nice event if you care about software! Last Saturday of every month. https://handmade.network/ #Seattle

• View post

  Lightning talk accepted for Software Should Work conf in Missouri in mid-July. 10-15 mins to present how powerful the Go & Rust concurrency checkers are. 1.5 months to learn that, better get started!

• View post

  I've long used yubikeys for SSH authentication and git commit signing, but recently realized that laptops all have security tokens built in these days! So I spent some time setting it up so I just use my macbook's secure element to do all that. Here's a post I wrote about it. https://ahelwer.ca/post/2026-05-08-builtin-u2f/

• View post

  Lamport's new (and final) book A Science of Concurrent Programs is now officially published! The final draft PDF has long been available for free on Lamport's website, but now you can buy a hardcover from Cabridge press. Discussion on the TLA+ mailing list: https://discuss.tlapl.us/msg06762.html #TLAPlus

• View post

  Remarkable quote from Leslie Lamport about the history of Paxos on page 136 of his new book, A Science of Concurrent Programs: >The Paxos algorithm was invented (at least) twice, first by Barbara Liskov and Brian Oki [43] and then by me. Its consensus algorithm had been invented by Cynthia Dwork, Nancy Lynch, and Larry Stockmeyer [12]. The references resolve to "Viewstamped replication" (1988) by Oki & Liskov then "Consensus in the presence of partial...

• View post

  plugging my nice sennheiser headphones into a random $5 USB-to-headphone-jack DAC found on amazon

• View post

  A Steller's Jay admiring the cherry blossoms. Had to scramble to assemble my camera but it stayed placidly perched for several minutes taking in the view! #Birds

• View post

  wtf man, peptides? https://www.youtube.com/watch?v=W0ltbBby9FU

• View post

  https://www.youtube.com/watch?v=xE9W9Ghe4Jk

• View post

  Actually reading a formal job offer letter before signing it for the first time in my life and the "you have more rights if you live in these states (primarily California)" notes are interesting! In Washington (but not California) you have to pay back your starting bonus if you leave within a year of it being given. In Washington (but not California) they can stick a non-solicitation clause on you for one year after the termination of your employment. Thankfully no non-competes...