← Feed

Posts

• Post #4289566

  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

• Post #4289565

  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!

• Post #4289564

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

• Post #4289563

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

• Post #4289562

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

• Post #4289561

  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

• Post #4289560

  Getting an ebike really did fix all my problems

• Post #4289559

  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!

• Post #4289558

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

• Post #4289557

  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.

• Post #4289556

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

• Post #4289555

  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/

• Post #3081775

  Dark-Eyed Junco trilling proudly this morning #birds

• Post #3081774

  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

• Post #3081773

  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.

• Post #3081772

  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

• Post #3081771

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

• Post #3081770

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

• Post #3081769

  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.

• Post #3081768

  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

• Post #3081767

  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!

• Post #2547582

  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/

• Post #1981061

  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

• Post #1125814

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

• Post #939357

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

• Post #851981

  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

• Post #851980

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

• Post #851979

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

• Post #851978

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

• Post #851977

  I will be attending the Software Should Work conference on July 16-17th in Columbia, Missouri! If you'd like to meet me IRL, consider attending as well! https://softwareshould.work/