Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage:
https://jaalonso.github.io
Sevilla, Spain
This is an automated account to show trending git repositories on
https://tangled.org (not affiliated with tangled, but I am a big fan)
This account is not monitored please contact
@baileytownsend.dev about any issues
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator
linktr.ee/chiroptical. Fencing enjoyer.
![]()
![]()
Too many things. Too little time.
learning & atprotoing.
![]()
trying to see if we can recover programming language semantics from implementations @
patreon.com/heartpunk
39 y/o, MDNI 🔞
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
international bestselling pervert • writer: DAYSPRING, AVENGERS ACADEMY • film programmer • phd • any pronouns
linktr.ee/meakoopa lycan sub scribe.
DAYSPRING - out now!
dayspringbook.com
![]()
Chicagoan, dev, writer and former micro/macro editor of little consequence, compulsive movie/TV watcher, ever-recovering night owl, and bookworm. Opinions are mine. He/him. (Also posts at
@geoffdgeorge@mastodon.social.)
University physics lecturer and Associate Dean, Learning. Physics demystifier. Supporter of girls and women in physics. CAP Teaching Medal 2018, 3MNTF 2023. She/her Ph.D.
![]()
![]()
![]()
![]()
Digestible summaries of the latest astronomy research. Written by an international team of grad students for undergrads! Supported by the @AAS_Office.
#scicomm![]()
Welcome to the Official Bluesky account for Caltrain. We provide news, info & answers. Follow
@caltrainalerts.bsky.social for service delays. 🚇
Dog Mom to Anderson & Truman, Head of Creative & Managing Executive Producer at Cool Zone Media. She/Her.
coolzonemedia.com
Sociotechnologist, activist. First employee @ Twitter, built that and pioneered social decentralization, created OAuth. Shy cloud-observer, mostly. Building Roundabout for local communities at
@newpublic.org.
She/Sir.
Buckish Doe & Lesbian Comic Artist
♥️ Current comics: 'My Dragon GF',' Big Cats', 'Watch Dog'
contact ➡️
cbscriven@gmail.com
Thief of Joy: A Comedy Special NOW ON YOUTUBE
Host of The Downside Podcast
If I have to post on another one of these things I’m gonna kms
28 | She/They/Sir | 🔞 NSFW MDNI 🔞
Leatherclad Mistress | Hypnodomme
World's #1 Most Possessive Owner
Improv, stand-up, and one-person show specials.
Watch Dropout Presents only on
dropout.tv
Aparna Nancherla's Hopeful Potato special out now on
@dropout.tv-
Game Dev, alleged writer, kind of comics person, former internet boogeyman. Please don’t tell anyone I’m here, I’m just trying to exist 🤫 they/them
A queer-run community project to register the gTLD .meow. Profits will go to community causes, turning domains into queer community support, focusing on trans projects!
Support us at
Kickstarter.dotmeow.org!
You can also follow us @
hachyderm.io/@dotmeow
Dad, husband, teacher, coach, veteran. Governor of Minnesota. Working to move our state forward as
#OneMinnesota.
🇵🇸
Managing Editor at Defector
