×
You are not logged in
Bluesky Follows
terrorjack.bsky.social
Follows by @terrorjack.bsky.social
Oskar Wickström
Registered:5 Jul 2023 04:15
Follow date:29 Jan 2026 22:37
Last post:5 days ago
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
wickstrom.tech
chojyuzim.bsky.social
Registered:17 Nov 2024 04:55
Follow date:25 Jan 2026 20:35
Liam O'Connor
Registered:5 Jan 2024 12:59
Follow date:18 Dec 2025 04:49
Last post:8 Mar 2026
Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Journal of Functional Programming
Registered:13 Nov 2024 13:57
Follow date:18 Dec 2025 04:49
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
Arnaud Spiwack
Registered:5 Dec 2023 15:05
Follow date:3 Dec 2025 16:15
Last post:7 hours ago
Last like given:17 hours ago
Last like received:13 hours ago
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Ben Orchard
Registered:24 Aug 2023 15:59
Follow date:24 Nov 2025 17:45
Last post:19 hours ago
Last like given:28 minutes ago
Last like received:2 hours ago
夢を抱きしめろ Embrace your dreams.｜日JA (N1)・英EN・λHaskell｜ダンレボDDR・音ゲーrhythm games｜he/him｜trans rights
andrherr.bsky.social
Registered:11 Jul 2025 07:40
Follow date:24 Nov 2025 13:49
grace
Registered:20 Nov 2025 05:49
Follow date:21 Nov 2025 17:46
Last post:22 Jan 2026
the functional programming language for prompt engineering
try the tutorial at trygrace.dev
profile picture by @art.nekomimi.pet
Prof. Dierk König
Registered:21 Nov 2024 16:54
Follow date:20 Nov 2025 12:14
Last post:28 Feb 2026
Last like given:4 days ago
Prof. at @FHNW, Groovy in Action, Java Champion, Web, Frege, Artist
alanz.bsky.social
Registered:26 Apr 2023 16:54
Follow date:12 Nov 2025 14:17
John Ericson
Registered:29 Jul 2023 18:09
Follow date:12 Nov 2025 14:16
Last post:7 minutes ago
Last like given:9 hours ago
Last like received:2 hours ago
teo
Registered:13 Dec 2023 10:00
Follow date:12 Nov 2025 14:15
Last like given:8 hours ago
writes Haskell mostly | loves public transport | studied philosophy | 🏴 | mid 20s | they/them
Sebastian Graf
Registered:22 Dec 2023 22:12
Follow date:12 Nov 2025 14:15
Last post:4 Feb 2026
Last like given:2 days ago
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
mod_poppo
Registered:7 Feb 2024 13:48
Follow date:12 Nov 2025 14:14
Last post:6 Mar 2026
Haskell / Standard ML
Sam Derbyshire
Registered:23 Sep 2024 17:31
Follow date:12 Nov 2025 08:43
Cohomology enthusiast. I've seen rings you people wouldn't believe.
Matti P
Registered:21 Nov 2024 16:52
Follow date:31 Oct 2025 10:13
Just making sure I keep the handle, go check out @mpg.is
Tokyo Hacker Girls Ch.✨
Registered:18 Oct 2024 11:28
Follow date:29 Oct 2025 11:23
Last post:2 Mar 2026
Cyan Nyan 星乃しお 🩵✨ 3D Yuri Wedding 2026
Registered:18 Oct 2024 11:29
Follow date:29 Oct 2025 11:23
Last post:15 hours ago
Last like received:4 hours ago
Hacker Neko Vtuber | xGoogle & 💍 with @lina.yt | https://cyan.yt/magic
Hazel Weakly
Registered:5 May 2023 14:12
Follow date:29 Oct 2025 09:44
Last post:53 minutes ago
Last like given:54 minutes ago
Last like received:43 minutes ago
I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Tikhon Jelvis
Registered:15 Nov 2024 02:46
Follow date:29 Oct 2025 09:42
Last post:5 hours ago
Last like given:5 hours ago
Last like received:56 minutes ago
I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Jasper Van der Jeugt
Registered:18 Nov 2024 22:22
Follow date:29 Oct 2025 09:42
I like Haskell
Arian van Putten
Registered:26 Apr 2023 14:19
Follow date:29 Oct 2025 09:42
Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
Rebecca Skinner
Registered:26 Aug 2023 06:26
Follow date:29 Oct 2025 09:42
Last post:24 Nov 2025
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/title...
Hillel
Registered:4 May 2023 16:54
Follow date:29 Oct 2025 09:42
Last post:5 days ago
Last like given:4 days ago
Last like received:4 days ago
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...
ZuriHac
Registered:11 Dec 2024 22:28
Follow date:29 Oct 2025 09:41
Last post:9 Feb 2026
The official Bluesky account for ZuriHac
zurihac.info
Hoshino Lina (星乃リナ) 🩵 3D Yuri Wedding 2026!!!
Registered:18 Oct 2024 11:19
Follow date:29 Oct 2025 09:41
Last post:13 hours ago
Last like given:15 hours ago
Last like received:41 minutes ago
Hello everyone, Hoshino Lina here! I'm a developer VTuber!
▶️ lina.yt/magic
EN/日本語｜she/her｜🎨 #HoshinoLinArt
My gf: @cyan.yt 🩵｜We are @thgirls.yt
PFP x.com/7783__
🐘 @lina@vt.social
📨 lina@lina.yt
💲 lina.yt/sponsor | lina.yt/kofi
Ian Duncan
Registered:9 Sep 2023 17:04
Follow date:29 Oct 2025 09:41
Last post:5 hours ago
Last like given:1 hour ago
Last like received:56 minutes ago
I used to be smart, now I just try hard.
Haskell enthusiast
Me, https://iankduncan.com
Maker, https://www.fascistdb.com/
Engineering at Mercury, formerly Forge, CircleCI, others
Open Web Advocacy
Registered:8 Nov 2024 10:05
Follow date:28 Oct 2025 23:30
Last post:3 days ago
Last like given:1 day ago
Last like received:10 hours ago
Developers fighting self-serving restrictions imposed on the web by tech giants.
Help us end #AppleBrowserBan & make web apps 1st-class. https://open-web-advocacy.org
Bartosz Milewski
Registered:15 Nov 2024 11:54
Follow date:28 Oct 2025 23:02
Last post:23 Jan 2026
Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMile...
Mike Sperber
Registered:16 Oct 2023 08:16
Follow date:28 Oct 2025 23:00
Last post:4 days ago
Last like given:1 day ago
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperb...
Edward Kmett
Registered:15 Nov 2024 15:53
Follow date:28 Oct 2025 22:59
Last post:26 Dec 2025
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
Andy Gill
Registered:16 Nov 2024 17:22
Follow date:28 Oct 2025 22:59
Last post:20 Feb 2026
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Manuel Chakravarty
Registered:3 Jul 2023 10:41
Follow date:28 Oct 2025 22:58
Last post:1 day ago
Last like given:35 minutes ago
Last like received:27 minutes ago
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Richard Jones
Registered:14 Nov 2024 13:56
Follow date:28 Oct 2025 22:58
Last post:12 Jan 2026
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
andreymokhov.bsky.social
Registered:28 Nov 2024 20:59
Follow date:28 Oct 2025 22:57
Sam Lindley
Registered:1 Dec 2024 20:16
Follow date:28 Oct 2025 22:57
Last post:6 Feb 2026
Simon Thompson
Registered:26 Nov 2024 20:49
Follow date:28 Oct 2025 22:56
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
ICFP Conference
Registered:26 Nov 2024 00:07
Follow date:28 Oct 2025 22:56
Last post:19 Feb 2026
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Jonathan Aldrich
Registered:29 Apr 2023 03:56
Follow date:28 Oct 2025 12:19
Last post:19 Feb 2026
Last like given:3 days ago
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.
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:28 Oct 2025 11:21
Last post:25 minutes ago
Last like given:23 minutes ago
Last like received:10 minutes ago
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.
KC Sivaramakrishnan
Registered:14 Nov 2024 13:41
Follow date:28 Oct 2025 11:20
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Simon Marlow
Registered:15 Nov 2024 07:29
Follow date:28 Oct 2025 11:20
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Xavier Leroy
Registered:30 Nov 2024 15:45
Follow date:28 Oct 2025 11:19
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Alexis King
Registered:13 Feb 2024 16:34
Follow date:28 Oct 2025 11:19
Last post:11 hours ago
Last like received:2 hours ago
computers can be understood • she/her, ⚢ • Chicago
Yaron Minsky
Registered:24 Nov 2023 23:30
Follow date:28 Oct 2025 11:14
Last post:5 Mar 2026
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
OCaml
Registered:7 Feb 2024 17:22
Follow date:28 Oct 2025 11:11
Last post:25 Feb 2026
Satnam Singh
!! Invalid Handle !!
Registered:17 Aug 2024 22:30
Follow date:28 Oct 2025 11:09
Last post:20 Feb 2026
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
David Van Horn
Registered:25 May 2023 15:55
Follow date:28 Oct 2025 11:09
Last post:18 hours ago
Last like given:37 minutes ago
Last like received:14 hours ago
Prof at UMD CS.
Clash Language
Registered:28 Nov 2024 12:58
Follow date:28 Oct 2025 11:07
Last post:29 Jan 2026
A modern functional hardware description language
https://clash-lang.org/
https://github.com/clash-lang/...
JMCT
Registered:19 Apr 2023 21:14
Follow date:28 Oct 2025 11:06
Last post:2 days ago
Last like given:15 hours ago
Last like received:16 hours ago
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire