Electronics tinkerer, narrowboater, puzzle hunter, board gamer and occasional geocacher.
Also on fedi @rebelmike@hachyderm.io
Logic, 2-categories, and graded monads, but like mostly 2-categories. I made an account to look employable. Offer me a postdoc position
AnCom 🏴Ⓐ
https://substack.com/@peacefulrevolutionary
https://kolektiva.social/@NateProle
typing free software to break the shoulders of giants from golden handcuffs. i build tools to level the playing field. @hipsterelectron@circumstances.run
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
east portland, politics, surviving while poor, snark, halfBlackness #RinkBack #YNWA
between forty and fifty, between lower-class and upper lower-class, between pendleton and rainier. bnuuy hug on Goblin.
inchoaterica.wordpress.com
That educator in computational peculiarities. Phenomenologist. Algomusician. Anarchafeminist. Obligate herbivore.
48. Portland, the second one, next to Vancouver, the first one, in Oregon, the world's largest trailer park. Queer. Autistic, but the scary kind. Tired. Managed by an orange cat. Likes beer and dislikes posers. May be able to count cards.
Writer of stories, dreamer of dreams, parent of child, and so on...
I like shiny things 🌟
@em.h.writes.things on Instagram 🦋
Author of SFF.
On sub: A ghost filled Urban Fantasy based in Edinburgh.
WIP: A Christmas movie goes horribly wrong - paranormal horror meets RomCom
Rep: Judith Murray - Greene and Heaton
PhD in evolutionary genomics/ bioinformatics
Shy and quiet, neither scene nor herd.
No Tea: Dropped.
He/Him.
Also @Ade_on_drums@mendeddrum.org
Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
mostly not here, but there: https://hci.social/@chrisamaphone
Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Writer ✏️ Reader 📚 Tutor 📝 Cat Mama x 3 🐈 Bona Fide Martian 👽
🏳️🌈
Researcher of anti-trans harms. Moody anarchafeminist. 4 neuroses in a trenchcoat. We protect us. She/her.
https://damselindystopia.ghost.io
Author of artisanal gender ideology propaganda
Dreadnought, Sovereign, and a forthcoming third book
Evidence-based creative. I learned most of my science and history through reading SF
AuDHD, Disabled, queer, non-binary, anti-Zionist Jew for a free Palestine
Captures birds and politics in pixels
Fights for a better today
Dreams of a better tomorrow
theoretical computer sorcery and theorem potions · she/they/e
wendigotyp.es
Personal account. He/him.
Conceptual corvid currently fixated on organizational topology, design systems as languages, structured content as embodied doctrine, antifascism, and shitposting as a service.
My views do not represent those of my employer, no matter what they claim
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
Streamer, artist, crafter, dogparent.
he/him
Tips: https://ko-fi.com/kadeperegrine
Store: payhip.com/kadeperegrine
Elaine, from the Internet.
Trans, Scottish, Tired.
@scattermoon on Twitter. I did that thread that one time.
AuDHD trans dysfunctional human being. She/her. Scribbler of words, music and pictures. Meds reminder. Erstwhile linguist etc.
*Please connect if we knew each other on the bird site.*
Blog: transponderings.blog
Mastodon: @transponderings@eldritch.cafe
Trans liberation and information security. @transsafety.network
Manchester, UK
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
https://ionathan.ch
Film Composer, Songwriter, Progressive coffee enthusiast and music nerd, Ally to all. No DM's🚫 No crypto🚫
Ask me about the Black Sheep Social Club!
It's finally out!
#Blueresisters
(recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
Researcher, Distributed Systems
SJW. Into afp, SF... anything, really, so long as it's funny.
Editor. Brazil. || The Secret Agent, Bacurau, Aquarius, Boi Neon, War Pony || https://www.imdb.com/name/nm3810896/
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
he/him • Computer Scientist @ UCL PPLV
PhD student in functional programming.
doisinkidney.com
Physics PhD Student @ NYU
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Software engineer. Parent. Other stuff.
Painter (all kinds); crafter ("never met a craft she didn't like" - my husband); quilt maker; mother & grandmother; book lover (SFF); fibro fighter; cancer survivor.
Recommendation Systems at Netflix
Preference for the dialectical over the rhetorical. Mostly.
🏳️🌈 🚲 😷
She/her.
pfp: black and white photo of me, dark circles painted under eyes as though extremely tired, black lipstick, collar of black faux-fur coat
Economist and legal scholar turned AI researcher focused on AI alignment and governance. Prof of government and policy and computer science at Johns Hopkins where I run the Normativity Lab. Recruiting CS postdocs and PhD students. gillianhadfield.org
I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
Research Engineer at Google DeepMind
A special snowflake existing in 196883 dimensions
#ActuallyAutistic He/Him
Advocate for using Design Research to explore emerging perspectives on AI, more-than-human matters, and… pretty much anything.
Watch a film about it here: https://designresearch.works/permission-to-muck-about
Was @joegalen on ‘ex’ platform
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
I research programming languages and turn Category Theory into code
Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs46/
Book tempter at espresso coco. Stationery geek. UX guy. Easily distractible with a hot beverage and cake. He/him.
https://linktr.ee/dakegra
Linux/Scifi geek, also likes cooking, wine and reading.
Mastodon: @dom@mendeddrum.org
Not a megalomaniac billionaire
Photographer Reader of books owned by two Jack Russells...
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
https://ko-fi.com/adolfoneto
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
FAFO-oriented programmer. Please don't ruin the social thing yet again. he/they
Software architect, geek, and roleplayer from Maldon in Essex.
Interested in "having a society", tech, art and people.
Mostly current events & politics but also whatever miscellanea I find interesting and/or enjoyable.
Cultivating my appreciation for the absurd for mental health reasons 🫠
Pratchett, Photography, Scifi, Science, Technology, Space and Whisky (Not Bearhuggers, obviously).
Hates Brexit, Trump and Intolerance.
Loves Cats and NoMansSky.
Often sarcastic, sometimes sweary.
#FBPE
Unsolicited DM's = Block
Lover of cats and dogs, maker of shiny jewellery, enjoys soul, jazz, R&B music. Former writer of funny stuff with werewolves and vampires. Discworld fan since 1993, afper since 2001
Flora is a package index for the #Haskell ecosystem.
We serve the community.
Follow for development news, operational status and higher-kinded memes
Is this the AfterLife? I ate'nt dead.
Same as it ever was - birdsite, infosec.exchange
Fabricati diem, pvnc
Present: Pursuing PL at Penn (PhD)
Before: Browsing bytes at Brown (Bachelor's)
paulbiberstein.me
Computer Friend, Not a Bird
www.philipzucker.com
Professor of Computer Science at the University of Texas at Arlington
https://ashraf.aboulnaga.me/
Current Lead Directive Manager at UAL Association of Languages
AI, deep learning, numerical, functional programmer.
Looking for a job!
Uilleann piper, highland piper, extreme Gaelic music enthusiast.
https://jmerritt.blog
Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023)
Web: https://cbaquero.github.io/web/
Critical Infrastructure, High Consequence / High Integrity Systems, Space, Nuclear, Mathematics, Public Health, HPC
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification)
Currently migrating from Twitter (@teuber_dev)
www.teuber.dev
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
He misses theorizing and practicing in a leather bar.
📍PEAMSBOSAARNYCBZOITHTYOSFOINDT
🌉 bridged from ⁂ https://woof.group/@ccshan, follow @ap.brid.gy to interact
Research Scientist @ Mosaic x Databricks. Adaptive Methods for Retrieval, Generation, NLP, AI, LLMs https://mrdrozdov.github.io/
FP lover & Data “something”
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Sarky, not snarky.
Human factors professional, with side interest in Dobcross looms, European train journeys, MG cars, and finding footpaths in Mid Wales. Occasionally dabbles in Anglican liturgy, although it's probably best not to ask.
A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
