Andrew Helwer

401 Followers
287 Following
2.4K 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/
@atsuzaki no! but I am interested to hear about this
plugging my nice sennheiser headphones into a random $5 USB-to-headphone-jack DAC found on amazon
Returning to professional C++ development after like 15 years to learn that they still use plain text search for go-to-definition and find-all-references lmfao. The rust people like to emphasize temporal memory safety but maybe they should start flexing on the C++ people for this aspect more???
Bogus maple syrup from Quebec producer found on grocery store shelves

CBC Lite

EAST SIDE LIGHT RAIL DAY

#Seattle

Has this made its way up to Seattle yet or is it mostly a SF thing?

https://www.youtube.com/watch?v=0tLEszJs7hc

Why fun tech jobs went extinct

Join Good Work’s Patreon for live show tapings, extended interviews, meetings with the team, and more: https://patreon.com/goodworkThe tech industry’s days o...

YouTube

Poppin off on the UW campus

#Seattle

Saturday Morning Breakfast Cereal - Teleportation

Saturday Morning Breakfast Cereal - Teleportation

@aud y not nix