a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Pocket AI @pocketai.bsky.social a billion parameters in your pocket
@book-humour.bsky.social @book-humour.bsky.social Memes and comics about books and reading from Bookshelfie's humor department
www.book-shelfie.com/submit-book
The Saturday Morning Podcast 🎙️ @satmornpod.bsky.social Welcome to #SaturdayMorning & Syndicated #Cartoons! Indie #podcast hosted by preservationist Christopher Jay. Travel back to the #80s every other Saturday! (Ally 🏳️🌈 - He/Him)
Find the show here: Linktr.ee/SatMornPod (Apple/Spotify links)
April aka cyberglot @cyberglot.bsky.social PL nerd, digital artist. Making programs typecheck in the UK.
Cirno @cirno.quest I have permission to post all Cirnos. Feel free to ask for source.
I have a website: https://cirno.quest/
Not sure what to do with it though
pixiv: https://www.pixiv.net/en/users/59337025
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
Veselin Raychev @veselinr.bsky.social INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
shagag @shagag.dev Software Engineer, handstands, locking in and "staying upwind".
https://shagag.dev/
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Philippa Cowderoy @flippac.org Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else.
(she/her)
Malcolm Wallace @malcolmwallace.bsky.social haskell hacker, vicar’s wife, accidental banker
Jonathan Merritt @lancelet.bsky.social AI, deep learning, numerical, functional programmer.
Looking for a job!
Uilleann piper, highland piper, extreme Gaelic music enthusiast.
https://jmerritt.blog
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Barry Jay @barryjay.bsky.social A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
INDIATTIC @indiattic.bsky.social SpleenPop/IndieRock band FR
Follow us !!!
Insta
https://www.instagram.com/in_di_attic/profilecard/?igsh=dmZlYjh6Nmpremw5
Linktree
https://linktr.ee/indiattic
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
@fanny-bertram.bsky.social @fanny-bertram.bsky.social 
Did The Habs Win?™ 🔵⚪️🔴 @didthehabswin.bsky.social Well, did they?!
Following the journey of hockey's most-storied franchise toward their 25th Stanley Cup!
Go Habs Go!!! 🔵⚪️🔴
#Canadiens #Habs #NHL #hockey #Montreal #GoHabsGo
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Martin Janiczek @janiczek.cz Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
⇢ Anler @anler.me Psycho-framed into void