×
You are not logged in
Bluesky Followers
ultimatelambda.bsky.social
Followers of @ultimatelambda.bsky.social
Bart Blast
Registered:14 Mar 2025 17:47
Building Hologram, a full-stack Elixir web framework
https://hologram.page
a public builder
Registered:13 Mar 2025 04:17
doing some experiments to build something in public
Pocket AI
Registered:3 Jan 2025 13:05
a billion parameters in your pocket
book-humour.bsky.social
Registered:23 Dec 2024 13:08
Memes and comics about books and reading from Bookshelfie's humor department
www.book-shelfie.com/submit-bo...
The Saturday Morning Podcast 🎙️
Registered:11 Aug 2023 20:01
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
Registered:31 Jul 2023 13:42
PL nerd, digital artist. Making programs typecheck in the UK.
Cirno
Registered:27 Nov 2024 04:00
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...
Alexander Serebrenik
Registered:16 Nov 2024 17:27
Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
Veselin Raychev
Registered:17 Nov 2024 07:08
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
shagag
Registered:28 Nov 2024 20:43
Software Engineer, handstands, locking in and "staying upwind".
https://shagag.dev/
Brian T. Rice
Registered:27 May 2023 03:33
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_p...
Clemens
Registered:16 Jul 2023 18:25
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
Registered:16 Nov 2024 17:22
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Philippa Cowderoy
Registered:14 Nov 2024 17:14
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
Registered:6 Nov 2024 19:14
haskell hacker, vicar’s wife, accidental banker
Jonathan Merritt
Registered:15 Nov 2024 10:46
AI, deep learning, numerical, functional programmer.
Looking for a job!
Uilleann piper, highland piper, extreme Gaelic music enthusiast.
https://jmerritt.blog
Dan Piponi
Registered:13 Nov 2024 23:59
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Barry Jay
Registered:13 Nov 2024 05:41
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
Registered:19 Nov 2024 12:53
SpleenPop/IndieRock band FR
Follow us !!!
Insta
https://www.instagram.com/in_d...
Linktree
https://linktr.ee/indiattic
Brian Demsky
Registered:10 Nov 2024 04:10
CS professor. PL/Model Checking/Concurrency.
gckeller.bsky.social
Registered:16 Jul 2023 17:29
Professor, Software Technology, Utrecht University
Dr. Claire Le Goues
Registered:4 Jul 2023 16:59
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Conor Mc Bride
Registered:13 Nov 2024 20:43
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.
Kristopher Micinski
Registered:13 Nov 2024 06:06
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Crista 🔶
Registered:8 Sep 2024 16:40
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
Registered:19 Nov 2024 00:58
Did The Habs Win?™ 🔵⚪️🔴
Registered:16 Nov 2024 23:38
Chris Penner
Registered:15 Nov 2024 19:40
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Edward Kmett
Registered:15 Nov 2024 15:53
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
Registered:9 May 2023 10:54
Functional programming / Making a browser game NuAshworld / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
🌀Anler
Registered:22 Oct 2024 13:38
λ is my aeroplane.
I write nonsense at anler.me