×
You are not logged in
Bluesky Follows
doyougnu.bsky.social
Follows by @doyougnu.bsky.social
Facundo Domínguez
Registered:3 Mar 2025 13:46
Follow date:3 Sep 2025 02:07
Software engineer, father, based in Uruguay
Emery Berger
Registered:1 Sep 2023 02:28
Follow date:15 May 2025 12:22
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass... http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:15 May 2025 12:22
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Conor Mc Bride
Registered:13 Nov 2024 20:43
Follow date:15 May 2025 12:22
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.
KC Sivaramakrishnan
Registered:14 Nov 2024 13:41
Follow date:15 May 2025 12:22
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Anthony Cowley
Registered:6 Jul 2023 00:35
Follow date:15 May 2025 12:22
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Edward Kmett
Registered:15 Nov 2024 15:53
Follow date:15 May 2025 12:22
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
Manuel Chakravarty
Registered:3 Jul 2023 10:41
Follow date:15 May 2025 12:22
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Simon Marlow
Registered:15 Nov 2024 07:29
Follow date:15 May 2025 12:22
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
jeremysiek.bsky.social
Registered:16 Nov 2024 21:18
Follow date:15 May 2025 12:22
Dan Piponi
Registered:13 Nov 2024 23:59
Follow date:15 May 2025 12:21
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Jonathan Aldrich
Registered:29 Apr 2023 03:56
Follow date:15 May 2025 12:21
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Loris D'Antoni
Registered:2 Aug 2023 19:11
Follow date:15 May 2025 12:21
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Edwin Brady
Registered:17 Nov 2024 12:05
Follow date:15 May 2025 12:21
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...
https://www.lambda-miners.org....
Jasper Van der Jeugt
Registered:18 Nov 2024 22:22
Follow date:15 May 2025 12:21
I like Haskell
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:15 May 2025 12:21
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Cyrus Omar
Registered:2 May 2023 19:48
Follow date:15 May 2025 12:20
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~co...
Sebastian Graf
Registered:22 Dec 2023 22:12
Follow date:15 May 2025 12:20
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Alexandra Silva
Registered:2 Apr 2024 15:36
Follow date:15 May 2025 12:20
Mom, foodie, traveller, computer scientist
Sam Lindley
Registered:1 Dec 2024 20:16
Follow date:15 May 2025 12:20
Celeste
Registered:14 Sep 2023 10:20
Follow date:15 May 2025 12:20
Nontraditional computer science PhD candidate at the University of Edinburgh ❤️🏴
Former technical and creative writer
Stephanie Weirich
Registered:17 Jan 2025 12:04
Follow date:15 May 2025 12:20
Tell me about types
Stephen Diehl
Registered:5 Dec 2023 20:27
Follow date:15 May 2025 12:19
Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
boarders.bsky.social
Registered:17 Aug 2024 16:39
Follow date:15 May 2025 12:19
Thanks to impermanence all things are possible
Working on a book on topos theory
Bartosz Milewski
Registered:15 Nov 2024 11:54
Follow date:15 May 2025 12:17
Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMile...
Тsфdiиg
Registered:21 Feb 2024 02:32
Follow date:15 May 2025 12:16
Recreational Programming:
- http://twitch.tv/tsoding
- https://www.youtube.com/@Tsodi...
- https://www.youtube.com/@Tsodi...
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
Hillel
Registered:4 May 2023 16:54
Follow date:15 May 2025 12:12
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026)
Newsletter: https://buttondown.email/hille...
Nate Foster
Registered:25 Jul 2023 20:13
Follow date:15 May 2025 12:12
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Satnam Singh
Registered:17 Aug 2024 22:30
Follow date:15 May 2025 12:12
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
nixCraft
Registered:2 Aug 2023 08:48
Follow date:27 Mar 2025 14:34
Enjoy Linux & Unix-like systems, open-source software, and programming/compsci? Into Sysadmin & DevOps? Follow us to make the most of your IT career! Discover new tools and apps daily, plus a dose of humor ⤵️
https://www.cyberciti.biz
Internet Archive
Registered:3 May 2023 12:22
Follow date:27 Mar 2025 14:34
Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the Wayback Machine.
Jacob Geller
Registered:29 Apr 2023 18:19
Follow date:26 Mar 2025 18:56
Makes the most normal videos on YouTube.
Also a cohort on MinnMax.
https://jacobgeller.com/
Hank Green
Registered:29 Apr 2023 04:29
Follow date:26 Mar 2025 18:52
Long Time Internet Guy
Angela Collier
Registered:3 May 2023 00:31
Follow date:26 Mar 2025 18:45
Theoretical Physicist.
(She/her/hers)
From Eastern KY.
Phil Plait
Registered:2 May 2023 18:41
Follow date:26 Mar 2025 15:58
Bad Astronomer (formerly @BadAstronomer), SciCommer, Dork. Crash Course Astronomy guy. He/him. Newsletter: badastronomy.beehiiv.com
I'm self-employed so my opinions do in fact represent my company's.
Yaron Minsky
Registered:24 Nov 2023 23:30
Follow date:13 Mar 2025 20:37
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Andres Löh
Registered:25 Jul 2023 19:27
Follow date:13 Mar 2025 20:37
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
ICFP Conference
Registered:26 Nov 2024 00:07
Follow date:13 Mar 2025 20:36
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:13 Mar 2025 20:36
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Functional Architecture
Registered:9 Feb 2024 10:46
Follow date:12 Mar 2025 15:44
ACM SIGPLAN Workshop on Functional Software Architecture
https://functional-architectur...
Alexis King
Registered:13 Feb 2024 16:34
Follow date:14 Jan 2025 00:40
computers can be understood • she/her, ⚢ • Chicago
Haskell programming language
Registered:18 Nov 2024 12:50
Follow date:14 Jan 2025 00:36
Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
gabby
Registered:7 Nov 2024 01:58
Follow date:14 Jan 2025 00:36
Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️
https://linktr.ee/gabriella439
💖 @ember.pet
Alice ✨
Registered:19 May 2023 21:58
Follow date:14 Jan 2025 00:36
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Steve Klabnik
Registered:10 Apr 2023 22:57
Follow date:14 Jan 2025 00:35
Rebecca Skinner
Registered:26 Aug 2023 06:26
Follow date:14 Jan 2025 00:35
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/title...
Andy Gill
Registered:16 Nov 2024 17:22
Follow date:14 Jan 2025 00:34
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Randall Munroe
Registered:27 Apr 2023 20:54
Follow date:14 Jan 2025 00:34
Bluesky
Registered:12 Apr 2023 04:53
Follow date:14 Jan 2025 00:33
official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app