Andrew Helwer

@[email protected]
410 Followers
289 Following
2.5K Posts

TLA⁺ core developer. Love 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

Blog/websitehttps://ahelwer.ca
Codeberghttps://codeberg.org/ahelwer
GitHubhttps://github.com/ahelwer
LinkedInhttps://www.linkedin.com/in/ahelwer/
Andrew Helwer1d ago
Now that I have an ebike with a removable battery that I’ve taken to removing & storing in my apartment so it isn’t stolen, I am getting a bit paranoid about fire safety. That thing contains a lot of energy!!!
Andrew Helwer2d ago

A Marsh Wren singing enthusiastically in Mercer Slough! Shortly after the video ended he flew over and got a big munch of fluff from a cattail, for his nest presumably.

#birds

Andrew Helwer3d ago
Code gods are blessing me this week because I actually had the easiest time setting up an OpenTelemetry thing. Metrics started flowing on the first try. That never happens!
Show threadAndrew Helwer5d ago
@TheNeedling @dan you laugh but Calgary, Alberta has shared light rail/car streets downtown or at least they used to when I went there for college 15 years ago lol
Andrew Helwer5d ago

Anybody have strong opinions on the merits of getting a purpose-built e-bike vs. a conversion?

#BikeTooter #AskFedi

Andrew Helwer5d ago
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!
Andrew Helwer5d ago
Hanno Rein6d ago
Baby snapper 🐢 and its big brother. #algonquinpark #ontario
Andrew HelwerMay 31

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

Handmade Network

A community of low-level programmers with high-level goals, working to correct the course of the software industry.

Handmade Network
Show threadAndrew HelwerMay 31
@skinnylatte circa 2008 U2 album release was awful. Local radio station paid I guess their entire annual licensing budget for “Magnificent” and played it every 15 minutes on the dot.
Andrew HelwerMay 27
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.