you have books about kubernetes on your bookshelf, i have gertrude jobes’ dictionary of mythology, folklore and symbols and homotopy type theory: the univalent foundations of mathematics on mine

[ariadne@social.treehouse.systems]

you have books about kubernetes on your bookshelf, i have gertrude jobes’ dictionary of mythology, folklore and symbols and homotopy type theory: the univalent foundations of mathematics on mine

we are not the same

[dysfun@social.treehouse.systems]

@ariadne huh, i had no idea you were interested in type theory.

[icing@chaos.social]

@ariadne Tolerance is good. But we draw the line at corporate cloud service software. ‍️

[dysfun@social.treehouse.systems]

@icing @ariadne don't do anything mad like go into selling k8s software for a living, will you?

[ariadne@social.treehouse.systems]

@dysfun i may be a so-called """ducktape software engineer""" but i do have interests in more formal approaches to logic and software engineering

[ariadne@social.treehouse.systems]

@dysfun @icing the cloud companies made the mess, but i'm the one getting paid to clean it up, so who cares