Colin Gordon csgordon@discuss.systems
PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics).
Currently figuring out how to combine all of my interests by mechanically translating English into formal specifications of a formally verified OS kernel for RISC-V.
:freebsd_logo: :debian: :openbsd: :clang: :csharp: :racket: :rust:
GoToSocial @gotosocial@gts.superseriousbusiness.org
The official account for GoToSocial news, updates, release announcements, and so on!
GoToSocial is an open-source, ActivityPub compatible, federated social media server. It's easy to install, lightweight, and perfect for small servers 🦥
GoToSocial is still alpha software. Your support is appreciated as we fix bugs, add features, and move towards beta ❤️
This is not a support account! Support questions addressed to this account will go unanswered. For support please see the links below.
Header image is a beautiful pink flower against a background of green plants.
Avatar image is the GoToSocial sloth logo by Anna Abramek: a cartoony orange, grey, and white sloth smiling.