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

Fuck evil Czar Putin, Trump, Orban, Erdogan, Assad, Xi, Kim, and every dictator and all dictator-fellators.

s/climate change/fossil-fueled global heating/g

- Linux, Rust,
- Electric Conversion, PV, LiFePO, Hybrid Inverter,
- Billions of pairs of county-size counter-rotating open-air solid-earth habs for solar system carrying capacity of quadrillions of souls.

There is a Friend closer than a brother.
God created persons in His own image.
Let us reason together.

I mostly post about birds, food, and fun.

I help Dan manage discuss.systems

Washed up, has been grad student

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, https://geni.net.

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

Not a boffin

Profile pic: Middle aged white man with grey hair and a large beard wearing sunglasses

Banner: Magtape of UNIX V4 and a VT220. Credit: Dan Hixson