Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
tech.lgbt is one of the many independent Mastodon servers you can use to participate in the fediverse.
We welcome all marginalized identities. This Mastodon instance is generally for folks who are LGBTQIA+ and Allies with an interest in tech work, academics, or technology in general.

Administered by:

Server stats:

2.9K
active users

tech.lgbt: AboutStatusProfiles directoryPrivacy policyTerms of service

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-alpha.4+glitch

Public

hi everyone :) I like to do varied stuff with computers, sometimes more cursed sometimes less, when depression allows.

I'm interested in both low level stuff (RE, embedded systems, Rust, OSes), high level stuff (Haskell, Agda, Coq, F*, proof assistants in general) and things in between (graphics, SDR, A/V, a bit of electronics).

I also like hummus!

Public

@mildsunrise I like hummus too. And graphics stuff… oh, and nice to meet you.

Explore
About