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!
Steven Rosenberg @steven@gts.passthejoe.net
I am the sole user on this Fediverse instance using GoToSocial, the Golang-powered server software that's way easier to get working than anything else I tried. For now, the server is running on the Oracle Cloud Free Tier.
I'm a user of Debian and OpenBSD on the desktop, and OpenBSD, FreeBSD and AlmaLinux on the server.
I'm also a father, husband, garden-digger, guitar plucker, cat herder and fixer of the broken and worn.
Journalist by day.