mastodon 4.7.3Software engineer who loves formal methods & distributed systems!
Living in Seattle, WA, USA. Non-technical hobbies include BJJ & birdwatching.
Other random facts: vim user, nix/arch dual-booter, dual Canadian/US citizen, loose-leaf tea drinker, cyclist, living kidney donor, vegetarian, ecosocialist dreaming of a 2000 watt society! he/him
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
Dress code asked for "summery mountain vibes" but spouse accused me of serving '70s car salesman. North Carolina is pretty, anyway!
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!
Getting an ebike really did fix all my problems
Poppin off on the UW campus
This Mexican restaurant has decided to build their entire thing around AI generated portraits of Frida Kahlo
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 can!
Gonna take a break from open source dev work. Back to standalone experiments & blogging for a while, I think.
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!
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.
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.
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?
EAST SIDE LIGHT RAIL DAY
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.
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
Leslie Lamport's new book "A Science of Concurrent Programs" has been sent to the publisher and the final draft is available for free as a PDF!
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
plugging my nice sennheiser headphones into a random $5 USB-to-headphone-jack DAC found on amazon
ok wolfram can still write a banger blog post once in a while
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
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!
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 synchrony" (1988) by Dwork, Lynch, and Stockmeyer. Lamport's paper introducing Paxos called "The part-time parliament" was published in 1998.
@elebertus@eigenmagic.net 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.
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.
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 here.
Heard a big bang and then the power went out? That can’t be good.
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!
Got email spam to a randomized single-purpose email address I used at Buck Mason (clothing company). No data breach announcement from them yet, though!
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!
wtf man, peptides?
Has this made its way up to Seattle yet or is it mostly a SF thing?
One day I will find an American (old) restaurant. And presumably will eat unholy quantities of aspic or similar
At long last - beat the corrupted heart with the Watcher after minting an Expunger that did 400 damage per play (Master Reality for upgrade + Chemical X + miracles from Collect for energy + strength from Shuriken & Wish). Only on A0 because I am a scrub. But that’s finally all the characters for me on A0! I even kind of started enjoying playing with the Watcher. Hard character to love.
