outsider scientist, nontrepreneur, professor intern, DEI hire

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

International Software Craft and Testing Unconference.

We organise a conference in the UK, and some online events

An unconference with very little structure. Actually, it’s not a conference at all. It's a time and place for software craftspeople to meet in beautiful nature.

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.

Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently Rust.

Check out Mangle Datalog, a typed, datalog-based logic programming language and deductive database: https://github.com/google/mangle

#datalog #CategoryTheory #logic #types #systems #QueryLanguage #DistributedSystems

§ 512. STATE PIE
The state pie shall be apple pie.

Sec. 2. SERVING APPLE PIE
When serving apple pie in Vermont, a "good faith" effort shall be made to meet one or more of the following conditions:
(a) with a glass of cold milk,
(b) with a slice of cheddar cheese weighing a minimum of 1/2 ounce,
(c) with a large scoop of vanilla ice cream.

Larry Peterson and Bruce Davie write books and newsletters about the Internet and related computer systems topics.

Oliver is a CSE Prof teaching databases and data structures. He enjoys HEMA, cooking, photography, home automation, and coding random stuff. His big project is a notebook for collaborative, reproducible data science: https://vizierdb.info

Expect posts here to be mostly about #vizier, bad dad jokes, my #photo graphy, and/or travel logs.

If I know you, feel free to shoot me a follow request. If I don't know you, please don't be annoyed if I reject your request.

[He/Him]

Pretty systems gardener 🌱

I mostly post about birds, food, and fun.

I help Dan manage discuss.systems

Washed up, has been grad student

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

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/

Programming, Hacking, SDR, Tesla Coils, Drones.
Creator of OpenSatelliteProject, Cursed Transistors
📡PU2NVX
Streamer for
@He4rtDevs

Ele/Dele/He/Him

The software development conference for everyone dissatisfied with the status quo.

Organised by @activegroupgmbh

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: Cartoon picture of a middle aged, bearded white man. Credit: Temporarii on fiverr

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