×
You are not logged in
Bluesky Followers
‹Programming› 2025
Followers of @programming-conf.bsky.social
tolmix
Registered:22 Dec 2025 18:59
tolmix.com: The first A.I.R. network (Augmented Intelligent Reality)
3D AI/VR on ALL screens with AND without headset
.. the edge of 2D-net a bridge to 4D-worlds ..
StepBroBD
Registered:12 Nov 2023 02:02
F/KC1VZR
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))
https://github.com/stepbrobd
julien-lange.bsky.social
Registered:1 Oct 2025 08:36
Jonathan Edwards
Registered:18 Aug 2023 18:14
Dissident computer scientist
thisisharsh7.bsky.social
Registered:18 Jun 2025 15:08
busstop.bsky.social
Registered:2 Jan 2024 14:00
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...
Jiří Beneš
Registered:4 Jun 2025 14:11
Interested in effect and coeffect systems, PhD student at University of Tübingen.
Website: https://jiribenes.com
Mastodon: https://types.pl/@jiribenes
Radoslav Krivak
Registered:15 Nov 2024 23:01
🧬 Structural Bioinformatics | 💊 AI/ML for Drug Discovery | Geometric DL
🔬 @iocbprague.bsky.social, prev. PhD @cusbg.bsky.social @mff.unikarlova.cuni.cz
Fridtjof Siebert
Registered:22 Nov 2023 07:21
࿋🚴🏃🐕🦺🐈🎏🥨🥐🥝🇪🇺
Designing the Fuzion programming language and implementing related tools (http://fuzion-lang.dev).
SW safety&security, static code analysis, compilers, FP&OOP.
Radical cyclist, distance runner, resisting car centric culture.
lucach.bsky.social
Registered:13 Nov 2024 21:14
🇮🇹 Researcher @inf.usi.ch 🇨🇭
In love with informatics and teaching.
Striving to be(come) a kind human being.
https://chiodini.org
Bram Geron
Registered:11 Nov 2023 11:14
Rust, product. Nushell&jujutsu fanboi. Live in 🐻 Berlin, building an API for APIs at @directus.io . Opinions my own.
Used to do research on programming languages.
@bgeron on other networks.
Artem Pelenitsyn
Registered:26 Nov 2024 01:41
Postdoc at Purdue ON ACADEMIC JOB MARKET for 2026. PhD in CS. Interests: programming languages and compilers, types. Languages: Haskell, Julia.
Steve Goguen
Registered:7 Aug 2023 11:34
PLT LARPer and formalism fanboy
arzubt
Registered:19 Dec 2024 17:55
Daniel McCrystal
Registered:27 Nov 2024 22:32
💻💭👾 | 🎹🎸🎶 | ⛰️🌲🍄
Dreaming of a better way to interact with my computer
📍Washington, DC
Chris Martens
Registered:27 Jan 2025 15:51
mostly not here, but there: https://hci.social/@chrisamaph...
Mansour
Registered:4 Sep 2024 23:44
Software Engineer • AI/ML ✨ • MansourAhmed.com • 🇬🇧 in 🇺🇸 • Views are my own
Elisa Gonzalez Boix
Registered:31 Mar 2025 10:21
Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
Toni
Registered:14 Mar 2025 20:41
🧑💻 Researching AI in Software Engineering @ HPI | 📷 Photography | 🍔 Cooking | 🌱 Gardening | 🎲 Board Games
Wild pentachoron correspondent
Registered:14 Apr 2023 00:20
Amethyst, orchid, mulberry, midnight blue, navy blue, electric blue, sapphire, turquoise, cyan, aqua, olive green, pine green, sea green.
とどまりたる例なし。
43 years old.
Jens Lincke
Registered:5 Jan 2024 10:15
Researcher at Software Architecture Group, Hasso Plattner Institute, University of Potsdam
Graeme McCutcheon
Registered:21 Oct 2024 18:20
Software developer, lapsed Mozilla contributor
graememcc.co.uk
Joshua Lock
Registered:24 Aug 2023 13:20
Software engineer and part-time PhD student (programming systems / human computer interaction / computing education)
Douglas Creager
Registered:8 Nov 2024 17:23
Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts
Pontus Granström
Registered:18 Feb 2024 23:18
designer, engineer, teacher.
art + technology + learning.
stockholm, sweden.
pontus.granstrom.me
Han Seoul-Oh
Registered:13 Apr 2023 17:59
Let’s build tools to augment the mind, not consume it.
Creator of http://MathQuill.com
Now working on some programming language and structured editor ideas.
https://github.com/laughinghan
Eric Eide
Registered:20 Nov 2024 00:17
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Junrui Liu
Registered:12 Nov 2024 02:20
CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Eric Van Wyk
Registered:4 Jul 2023 19:12
Professor, Computer Science, University of Minnesota, Extensible Programming Languages, https://cs.umn.edu/~evw, He/His.
Eugen Minciu
Registered:14 Nov 2024 10:04
Cats. Coffee. Computing. Doing my best to think small.
https://eh-ooh-gen.com
Juan Fumero
Registered:15 Nov 2024 08:28
Software developer @oracle Java Platform Group. Opinions my own.
🔗 https://jjfumero.github.io/
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Nicolas Cardozo
Registered:10 Nov 2024 19:39
Person. Working on programming languages, and (dynamic) verification. Enjoyer of adaptive and distributed systems. Associate Professor @flaglaboratory.bsky.social @DISCuniandes @Uniandes
Also live(ish) at @ncardozo@fediscience.org
Satpreet (Sat) Singh
Registered:17 Nov 2024 18:01
Postdoc @harvard.edu @kempnerinstitute.bsky.social
Homepage: http://satpreetsingh.github.io
Twitter: https://x.com/tweetsatpreet
nielsv.bsky.social
Registered:23 Feb 2024 08:32
Mihai
Registered:26 Nov 2023 06:46
Platform Architect @ING_ro - working with Scala, Pekko, Cats - Philosopher of Computation
https://mihai-safta.dev
Johan Fabry
Registered:12 Nov 2024 18:19
Software engineering professor turned software craftsman. Mad scientist @RaincodeLabs. Personal account, insert usual employer disclaimer blah here.
Note: I will block suspected bots/trolls without mercy.
Dai MIKURUBE
Registered:11 Apr 2023 12:14
Software groundworker. Hardly-working fully-stuck go-fer person.
Competed in ACM-ICPC. Lived in UK. Maintained Embulk. Worked for OS/VM/middleware/web browser. Ex-researcher at industry.
Moved from: https://twitter.com/dmikurube
Steven Costiou
Registered:8 Feb 2024 09:19
Research scientist (chargé de recherche, HDR) @ INRIA Lille / EVREF team
Live software systems engineering and debugging
csoroz.bsky.social
Registered:12 Nov 2024 09:53
tom larkworthy
Registered:17 Nov 2024 15:41
Computers and decentralization.
John Chang
Registered:10 Feb 2024 11:47
Immigrant (🇺🇸🇸🇪🇪🇺🇹🇼), refugee from Silicon Valley (ex-Apple, Skype, Microsoft).
Based in Stockholm, Sweden.
Hyeok Kim
Registered:2 Oct 2023 14:37
Postdoc at UW CSE | Vis, Soni, Quantum, Design, CFDC (caffeine-free diet coke) | Don't talk about CSS with me because I can't stop.
Chelsea Edmonds
Registered:17 Nov 2024 21:14
Lecturer at UWA working on proof assistants, formal verification & security. CS Education Advocate. Cambridge Australia Scholar Alumni, PhD, AFHEA. Views are my own.
Patrick Dubroy
Registered:4 May 2023 15:40
Programmer & researcher, co-creator of https://ohmjs.org. 🇨🇦 🇩🇪 🇪🇺
Co-author of https://wasmgroundup.com — learn Wasm by building a simple compiler in JavaScript.
Prev: CDG/HARC, Google, BumpTop
pvh
Registered:26 Sep 2023 02:02
just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)