×
You are not logged in
Bluesky Follows
Sebastian Graf
Follows by @fixpt.de
Unison
Registered:6 Nov 2024 17:39
Follow date:1 Oct 2025 21:29
Friendly programming language from the future
Open source http://github.com/unisonweb/un...
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discor...
Lawrence Paulson
Registered:9 Sep 2023 21:26
Follow date:20 Sep 2025 14:12
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Jiří Beneš
Registered:4 Jun 2025 14:11
Follow date:15 Sep 2025 06:20
Interested in effect and coeffect systems, PhD student at University of Tübingen.
Website: https://jiribenes.com
Mastodon: https://types.pl/@jiribenes
Finanzwende
Registered:2 Oct 2023 09:23
Follow date:12 Sep 2025 13:15
Wir bieten der Finanzlobby die Stirn. Mach Dich mit uns für eine faire Finanzwelt stark! http://finanzwende.de/mitmache...
Scott Hanselman 🌮
Registered:27 Mar 2023 00:18
Follow date:14 Aug 2025 21:26
I want you to win and be happy. Code, OSS, STEM, Beyoncé, T1D, open source artificial pancreases, Portland, 3D printing http://hanselminutes.com inclusive tech podcast! VP/Member of Technical Staff, Microsoft/GitHub 🌮
http://hanselman.com/about
Robert Habeck
Registered:12 Oct 2023 23:42
Follow date:30 Jun 2025 18:10
Ein Mensch. Ein Wort.
https://www.gruene.de/service/...
E L H O T Z O
Registered:29 Apr 2025 14:27
Follow date:25 Jun 2025 15:38
Mahlzeit | wichtigegeschaefte.elhotzo@heavygermanshit.de
teo
Registered:13 Dec 2023 10:00
Follow date:23 Jun 2025 13:28
writes Haskell mostly | loves public transport | studied philosophy | 🏴 | mid 20s | they/them
joomy
Registered:1 Jul 2023 23:12
Follow date:19 Jun 2025 00:39
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Jonathan Protzenko
Registered:20 Nov 2024 23:40
Follow date:10 Jun 2025 21:37
I talk about Rust, verification, cryptography, programming languages… and pets
Ashley Blacquiere
Registered:15 Dec 2024 03:21
Follow date:4 Jun 2025 20:18
Ops @leanprover
Philipp Krüger
Registered:21 Apr 2023 08:43
Follow date:3 Jun 2025 18:13
Building iroh with the amazing folks at number 0 (n0.computer).
Generally striving to increase user agency and excited about commons networks.
Only works for Canadian CEOs, apparently.
Rust, cryptography, CRDTs & more on my feed
Alexis King
Registered:13 Feb 2024 16:34
Follow date:2 Jun 2025 17:34
computers can be understood • she/her, ⚢ • Chicago
John Ericson
Registered:29 Jul 2023 18:09
Follow date:1 May 2025 21:14
Sebastian Ullrich
Registered:12 Dec 2024 16:38
Follow date:28 Apr 2025 22:15
makes Lean at Lean FRO
Munich, Germany
arxiv cs.PL
Registered:7 Oct 2023 09:38
Follow date:17 Apr 2025 22:03
Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
The Rust Foundation
Registered:11 Dec 2024 16:46
Follow date:26 Mar 2025 22:29
The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
Graydon Hoare
Registered:29 Aug 2024 06:21
Follow date:20 Mar 2025 09:05
extremely dubious of "everything is public" social network
Tom de Jong
Registered:13 Nov 2024 21:04
Follow date:14 Mar 2025 22:12
Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.
🌉 bridged from https://mathstodon.xyz/@de_Jon... on the fediverse by https://fed.brid.gy/
Manuel Chakravarty
Registered:3 Jul 2023 10:41
Follow date:26 Feb 2025 17:29
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Volt Deutschland
Registered:3 Oct 2023 09:46
Follow date:19 Feb 2025 14:26
Holen wir uns die Zukunft zurück.
Infos unter: volt.link/deutschland
Lean Focused Research Organization
Registered:14 Feb 2025 23:08
Follow date:15 Feb 2025 07:31
Supporting the Formal Mathematics revolution
Daniel Sokolowski
Registered:6 Feb 2025 09:10
Follow date:10 Feb 2025 06:44
ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Terence Tao
Registered:15 Nov 2024 03:17
Follow date:5 Feb 2025 12:35
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com... and a home page at https://www.math.ucla.edu/~tao...
Chris Penner
Registered:15 Nov 2024 19:40
Follow date:2 Feb 2025 22:18
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
PLDI
Registered:20 Jan 2025 21:34
Follow date:26 Jan 2025 17:03
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.
Der Postillon 📯
Registered:20 Aug 2023 19:15
Follow date:26 Jan 2025 13:19
Ehrliche Nachrichten - unabhängig, schnell, seit 1845
Volker Quaschning
Registered:3 Oct 2023 13:42
Follow date:26 Jan 2025 13:19
👨💼Professor für Regenerative Energiesysteme (HTW Berlin)
🔆Experte für Erneuerbare Energien, Energiewende, Klimaschutz
📖Buchautor 🎬YouTuber 🎧Podcaster
https://www.volker-quaschning....
Stephanie Weirich
Registered:17 Jan 2025 12:04
Follow date:17 Jan 2025 13:51
Tell me about types
Journal of Functional Programming
Registered:13 Nov 2024 13:57
Follow date:13 Jan 2025 09:30
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
ZuriHac
Registered:11 Dec 2024 22:28
Follow date:8 Jan 2025 20:21
The official Bluesky account for ZuriHac
zurihac.info
afd-icl.bsky.social
Registered:26 Nov 2024 07:28
Follow date:8 Jan 2025 20:20
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Harry Goldstein
Registered:1 May 2023 21:19
Follow date:5 Jan 2025 18:30
(he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
SIGPLAN
Registered:23 Nov 2024 19:27
Follow date:4 Jan 2025 12:54
The ACM Special Interest Group on Programming Languages.
🇨🇦 Joey Eremondi
Registered:20 Dec 2024 06:25
Follow date:4 Jan 2025 12:43
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.
Emery Berger
Registered:1 Sep 2023 02:28
Follow date:29 Dec 2024 20:26
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.
Jonathan Aldrich
Registered:29 Apr 2023 03:56
Follow date:29 Dec 2024 20:26
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.
Mae Milano
Registered:28 May 2023 20:05
Follow date:29 Dec 2024 20:26
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Heather Miller
Registered:1 Jun 2023 16:07
Follow date:29 Dec 2024 20:26
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Laurence Tratt
Registered:23 Sep 2023 06:57
Follow date:29 Dec 2024 20:26
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Alexa VanHatttum
Registered:20 Jun 2023 05:04
Follow date:29 Dec 2024 20:26
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Toby Murray
Registered:8 Aug 2023 13:36
Follow date:29 Dec 2024 20:26
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
David Justo
Registered:26 Apr 2023 04:04
Follow date:29 Dec 2024 20:26
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Owen Arden
Registered:19 Aug 2023 02:58
Follow date:29 Dec 2024 20:26
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Ron Garcia
Registered:3 Jul 2023 05:31
Follow date:29 Dec 2024 20:26
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Ross Tate
Registered:14 Nov 2023 18:51
Follow date:29 Dec 2024 20:26
Programming Languages Researcher and Consultant
Stefan Marr
Registered:11 Nov 2024 20:48
Follow date:29 Dec 2024 20:26
Interpreters, compilation, concurrency, and debugging tools.
John Wickerson
Registered:7 Aug 2024 08:23
Follow date:29 Dec 2024 20:26
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Adrian Sampson
Registered:24 Mar 2023 19:02
Follow date:29 Dec 2024 20:26
actually just on Mastodon: https://discuss.systems/@adria...
Sam Westrick
Registered:26 Jul 2023 01:33
Follow date:29 Dec 2024 20:26
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl...
https://cs.nyu.edu/~shw8119/