×
You are not logged in
Bluesky Follows
Alessio Duè
Follows by @alsd.eu
Krkwd
Registered:9 Sep 2023 20:46
Follow date:17 Aug 2025 22:27
Riding the spooky snake into the weirdness singularity. Re-enchantment is resistance.
Bret Victor
Registered:7 Nov 2024 22:41
Follow date:15 May 2025 23:10
worrydream.com
dynamicland.org
Bogdan Popa
Registered:31 Mar 2024 06:46
Follow date:4 May 2025 08:53
defn.io
Rust Language
Registered:28 Jun 2023 20:17
Follow date:10 Apr 2025 17:15
A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@...
Jon Gjengset
Registered:29 Apr 2023 00:34
Follow date:10 Apr 2025 17:15
Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
🇨🇦 Joey Eremondi
Registered:20 Dec 2024 06:25
Follow date:10 Apr 2025 17:15
PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Adam Ragusea
Registered:29 Jun 2023 19:47
Follow date:8 Apr 2025 09:44
Fading youtube starlet
Marcel Böhme
Registered:17 Nov 2024 07:13
Follow date:20 Mar 2025 09:32
Software Security @ MPI for Security and Privacy
Spokesperson for Max Planck Research Group Leads at CPTS
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Daniel Patterson
Registered:28 May 2023 01:33
Follow date:28 Jan 2025 16:55
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
PLDI
Registered:20 Jan 2025 21:34
Follow date:26 Jan 2025 20:33
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Signal
Registered:19 May 2023 20:52
Follow date:14 Jan 2025 08:08
Signal is a nonprofit end-to-end encrypted communications app. Privacy isn’t an optional mode, it’s the way Signal works. Every message, every call, every time.
Julia Evans
Registered:26 Apr 2023 10:22
Follow date:13 Jan 2025 18:44
programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
rob pike
Registered:13 Jul 2023 09:06
Follow date:13 Jan 2025 18:44
Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
Niki Tonsky
Registered:4 May 2023 14:48
Follow date:13 Jan 2025 18:43
Fira Code, Datascript, Humble UI, #clojure
PHD Comics
Registered:16 Nov 2023 00:25
Follow date:8 Jan 2025 12:11
Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, ScienceStuff and PHD Comics
OpenStreetMap
Registered:11 Jul 2023 16:14
Follow date:23 Dec 2024 19:44
The official Bluesky account of the OpenStreetMap foundation
Mike Dodds
Registered:21 Nov 2024 21:22
Follow date:22 Dec 2024 13:42
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
Yaron Minsky
Registered:24 Nov 2023 23:30
Follow date:17 Dec 2024 13:27
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
🐔 Brian Bucklew 🐔 ₑͤ＞∿＜ₑͤ ∞🌮🔜 GDC
Registered:13 Apr 2023 21:47
Follow date:11 Dec 2024 19:40
A semi-sentient colony of self-assembling, cooperative, biological nano-units. Still somewhat functional, despite its age. 🏆Deloitte Fast 500 🏆Red Herring Top 100 Private Companies 🏆IGF Narrative. 🚀Hugo Award Winning Caves of Qud Sproggiwood pronoun* BLM
SIGPLAN
Registered:23 Nov 2024 19:27
Follow date:25 Nov 2024 17:23
The ACM Special Interest Group on Programming Languages.
Aws Albarghouthi
Registered:23 May 2023 14:45
Follow date:25 Nov 2024 11:27
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws...
Shalabh
Registered:21 Nov 2024 03:18
Follow date:22 Nov 2024 07:57
Programmable software systems "research" and philosophizing.
shalabh.com/programmable-systems
Computation is a physical process.
Any models we use to describe this process is imposed by us. What models would you choose?
Leo 🏴☠️
Registered:6 Jul 2023 14:35
Follow date:20 Nov 2024 21:55
Dave Lucia
Registered:26 Oct 2024 14:58
Follow date:20 Nov 2024 21:55
CTO @ TV Labs. BEAM enthusiast. Wholesome, bad jokes
Louis Pilfold
Registered:25 Apr 2023 13:47
Follow date:20 Nov 2024 21:55
"the maintainer is a legitimate communist. i will not be supporting this language"
- some yt guy, 2024
I made @gleam.run and I do gymnastics (badly)
they/them or he/him. end fossil fuels. genocide is bad. ride a bike.
Ethan Holz
Registered:31 Aug 2023 15:49
Follow date:20 Nov 2024 21:55
Research Software Engineer
Professionally building better infrastructure for molecular software.
Thoughts my own
Colorado based
Ethan
Registered:30 Oct 2023 17:19
Follow date:20 Nov 2024 21:55
Software engineer from South Wales. F# programmer by day. https://github.com/sixfourtwel...
https://www.sixfourtwelve.com
Alice ✨
Registered:19 May 2023 21:58
Follow date:20 Nov 2024 21:55
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
metame メタミ
Registered:21 Oct 2024 21:08
Follow date:20 Nov 2024 21:55
queer 🏳️🌈 autist 🧠 SE 🦀 J-everything ⛩️
I don't agree with any of your opinions.
はじめまして!
日本語をべんきょうします
アメリカ人、ソフトウェアエンジニア、アニオタ
よろしくお願いします
(no translators used for 日本語 posts)
hayleigh
Registered:25 Apr 2023 13:42
Follow date:20 Nov 2024 21:55
• Drawing boxes and writing words at xyflow
• Core Team at Gleam
• Author of Lustre
I’m just a 🏳️⚧️ girl learning 🇫🇷 and vibing in 🇧🇪🇬🇧
Fuck Nazis. ACAB. Black Lives Matter. Trans Rights Now.
aron
Registered:3 Jul 2023 08:49
Follow date:20 Nov 2024 21:55
⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
trav
Registered:24 Apr 2023 03:49
Follow date:20 Nov 2024 21:55
sr software engineer @ crunchyroll
🦀🔪 @ crablang
winning the fight against Big Outside™
Andres Löh
Registered:25 Jul 2023 19:27
Follow date:20 Nov 2024 21:55
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.
p1xelHer0
Registered:18 Jun 2023 08:03
Follow date:20 Nov 2024 21:55
Joey Trapp
Registered:26 Oct 2024 06:11
Follow date:20 Nov 2024 21:55
Thomas Dickerson
Registered:8 May 2023 13:43
Follow date:20 Nov 2024 21:55
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
Barry
Registered:1 Jul 2023 20:53
Follow date:20 Nov 2024 21:55
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Fencing enjoyer.
Jason
Registered:12 Apr 2023 12:46
Follow date:20 Nov 2024 21:55
Cameron Presley
Registered:1 Jul 2023 13:48
Follow date:20 Nov 2024 21:55
Software Engineer and Leadership Coach by day, burgeoning carpenter, boardgame, reader, and knitter by night.
https://blog.thesoftwarementor...
Dillon Mulroy λ
Registered:21 May 2023 20:05
Follow date:20 Nov 2024 21:55
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
David Sancho
Registered:5 May 2023 14:56
Follow date:20 Nov 2024 21:55
Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
justin
Registered:2 Oct 2023 14:41
Follow date:20 Nov 2024 21:55
I work on web, compilers, and type systems | he/him
Chris Armstrong
Registered:23 Oct 2024 20:32
Follow date:20 Nov 2024 21:55
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
Elixir ▷ Max
Registered:4 Jul 2023 05:29
Follow date:20 Nov 2024 21:55
https://x.com/elixirtap
Have *you* fallen for #ElixirLang yet?
TILs and reflections from my 10 years with Elixir.
Cranking out Elixir for jumpapp.com on weekdays. Cooking on my days off.
Janet A. Carr
Registered:23 May 2023 15:53
Follow date:20 Nov 2024 21:55
Independent Clojure Consultant. Aspiring Blonde Bombshell.
Posts about Software Dev, Clojure, & Functional Programming
Twitch: twitch.tv/janetacarr
Course: clojureforpros.com
Clojure blog: blog.janetacarr.com
Freelance Blog: fixedrate.dev
Rebecca Skinner
Registered:26 Aug 2023 06:26
Follow date:20 Nov 2024 21:55
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/title...
José Valim
Registered:9 May 2023 20:03
Follow date:20 Nov 2024 21:55
Creator of Elixir. Working at Dashbit and Livebook.
Saša Jurić
Registered:23 Sep 2023 07:14
Follow date:20 Nov 2024 21:55
Elixir mentor, author of Elixir in Action (https://manning.com/books/elix... aspiring fingerstyle guitar player (https://www.youtube.com/@downc... hobbyist procrastinator.
Paul Biggar 🇵🇸 🇮🇪
Registered:24 Apr 2023 00:16
Follow date:20 Nov 2024 21:55
Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org