Carly Rae Jepsen fan account.

Husband, father, C*O at Active Group, functional programmer, researcher, teacher, theater person.

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

Asst prof computer science @ UPenn. Machine learning for systems. Databases. He/him.

https://pvk.ca

TLA⁺ core developer. Love formal methods & distributed systems!

Living in Atlanta, GA, USA. Non-technical hobbies include BJJ, birdwatching, and mushroom foraging.

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

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/

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 who is closer than a brother.

So God created man in His own image; man & woman He made them.

The Special Interest Group for Data Communications. ACM's professional forum for the discussion of topics in the field of communications and computer networks, including technical design and engineering, regulation and operations, and the social implications of computer networking.

Profile image: the SIGCOMM logo, a geometric design featuring squares and circles.
Banner image: stage at the SIGCOMM 2023 conference, showing conference logo on a large screen with two men beside.

I mostly post about birds, food, and fun.

I help Dan manage discuss.systems

Washed up, has been grad student

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

Account locked to chill for a while, but it's okay, ask to follow! I'll probably say yes!

Certified Boffin ™

Zucchini user

Dragon Dad