Software 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

database, concurrency nerd

I barely speak for myself, let alone my employer

that said, fuck authoritarians

Security sharpshooter at Apple

I mostly post about birds, food, and fun.

I help Dan manage discuss.systems

Washed up, has been grad student

I lead and develop leaders in technical organizations. This is a personal account.

Carly Rae Jepsen fan account.

asst prof at uc berkeley eecs

Principal Researcher at Microsoft Research. OS hacker. Cat wrangler. Shoe lover.

SW Designer/consultant/mentor, author, inventor of Responsibility-Driven Design & xDD meme, heuristica (design heuristics!), patterns author, heuristic hunter, science/engineering nerd, jogger, gardener.

AI Security Resident, RAND Center for AI, Security, and Technology (CAST); Professor Emeritus, Rice University, Department of Computer Science

Coding architect @ 3NSoft.com
/ I extend over 200 chars

Oliver is a CSE Prof teaching databases and data structures. He enjoys HEMA, cooking, photography, home automation, and coding random stuff. He built a notebook for collaborative, reproducible data science called Vizier (https://vizierdb.info) and now works on scaling datalog on commodity hardware (https://git.odin.cse.buffalo.edu/Norn/Draupnir)

Expect posts here to be mostly about #draupnir, #vizier, bad puns, #photo graphy, and/or travel logs.

[He/Him]

Computer science PhD student at the University of Utah, researching compiler verification with @regehr.
UNIX historian and archivist.
Occasional Rust standard library contributor.

Distributed systems, operating systems, networking research.

Principal Researcher, Microsoft Research; affiliate faculty, University of Washington.

But realistically: mainly cat photos, food and wine, and bad jokes.

I also administer https://discuss.systems/

Research professor in the Kahlert School of Computing at the University of Utah. Co-director of the Flux Research Group: https://www.flux.utah.edu. I build research infrastructure: https://cloudlab.us, https://powderwireless.net, https://emulab.net .

I do not speak for my employer, nor do they speak for me

Certified Boffin ™

Zucchini user

Dragon Dad