×
You are not logged in
Bluesky Follows
Edoardo Vacchi
Follows by @evacchi.dev
Only Human Hub
Registered:3 Jan 2025 16:33
Follow date:18 Feb 2026 22:51
An experiment in building a social network composed of verified humans.
Want to join? ๐ https://onlyhumanhub.com/
Follow @label.onlyhumanhub.com to see who's human
Thomas Ptacek
Registered:16 May 2023 01:10
Follow date:6 Feb 2026 23:08
Full of passionate intensity.
Furkan Onder
Registered:19 Dec 2024 00:49
Follow date:28 Jan 2026 15:40
Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder...
Alberta Tech
Registered:5 Dec 2024 03:30
Follow date:6 Jan 2026 19:34
๐ฉโ๐ป Software eng
๐คช Creator of cringe tech videos
๐ฅบ The funniest girl in us-east-1
beacons.ai/albertatech
andrew blinn
Registered:10 Apr 2023 04:21
Follow date:6 Jan 2026 10:00
https://andrewblinn.com
abstractJuiceFactory
Max S. New
Registered:9 Jun 2023 17:44
Follow date:6 Jan 2026 10:00
Professional computer scientist, unprofessional mathematician
Martin Kleppmann
Registered:18 Nov 2022 10:22
Follow date:6 Jan 2026 10:00
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote โDesigning Data-Intensive Applicationsโ (OโReilly). he/him
Geoffrey Litt
Registered:11 Apr 2023 14:11
Follow date:6 Jan 2026 10:00
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
๐ฏ๐ต๐บ๐ธ
Jack Rusher
Registered:13 Apr 2023 11:35
Follow date:6 Jan 2026 10:00
Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
๐@jack@jackrusher.com
๐ฆ@jackrusher
Ivan Reese
Registered:1 May 2023 05:27
Follow date:6 Jan 2026 10:00
i want to squish soft ware between my fingers
@inkandswitch.com ฮ feelingof.com ฮ ivanish.ca
KILL TEXT CODE
Paul Biggar ๐ต๐ธ ๐ฎ๐ช
Registered:24 Apr 2023 00:16
Follow date:6 Jan 2026 10:00
Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:6 Jan 2026 10:00
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
David Moon
Registered:11 Apr 2023 02:09
Follow date:6 Jan 2026 10:00
PhD candidate @ UMich โข building http://tylr.fun http://hazel.org โข thinking about parsing and structure editing โข dmoon.info
Josรฉ Valim
Registered:9 May 2023 20:03
Follow date:6 Jan 2026 10:00
Creator of Elixir. Working at Dashbit and Livebook.
Matti Palli
Registered:26 Apr 2023 13:04
Follow date:6 Jan 2026 10:00
aka Dr. Matthรญas Pรกll Gissurarson | uncertified Haskell engineer
ionchy
Registered:11 Apr 2023 16:17
Follow date:6 Jan 2026 10:00
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL โ UBC โฆ PhD @ PLClub โ UPenn
asian-canadian ๐จ๐ฆ๐น๐ผ๐ญ๐ฐ๐ณ๏ธโ๐
https://ionathan.ch
gabby
Registered:7 Nov 2024 01:58
Follow date:6 Jan 2026 10:00
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
Amy J. Ko
Registered:26 Nov 2023 14:58
Follow date:6 Jan 2026 10:00
Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
taylor.town
Registered:20 Nov 2023 14:39
Follow date:6 Jan 2026 10:00
๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐ taylor.town ๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐
Nintendo .DS_Store
Registered:4 Feb 2023 18:00
Follow date:6 Jan 2026 10:00
Pidgin algebraist, baseball influencer https://slim.computer
Jared Forsyth
Registered:6 Feb 2024 20:36
Follow date:6 Jan 2026 10:00
trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/...
@jaredforsyth on the dead bird site
Lu wilson
Registered:20 Apr 2023 22:45
Follow date:6 Jan 2026 10:00
Linus
Registered:11 Apr 2023 17:45
Follow date:6 Jan 2026 10:00
thought & craft
Steve Krouse
Registered:12 Apr 2023 00:05
Follow date:6 Jan 2026 10:00
์ง์ฐ
Registered:22 Jan 2023 02:05
Follow date:6 Jan 2026 10:00
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
๐ต NP: "June" by Copywrite
Mariano Guerra
Registered:16 Apr 2023 15:24
Follow date:6 Jan 2026 10:00
๐ง๐ฝโ๐ป Co-founder of Gloodata & Instadeq
๐ Co-author of https://wasmfromthegroundup.co...
๐ฐ Feeling of Computing Newsletter: https://newsletter.futureofcod...
๐ Public Projects: https://marianoguerra.github.i...
Bret Victor
Registered:7 Nov 2024 22:41
Follow date:6 Jan 2026 10:00
worrydream.com
dynamicland.org
Paul Sonnentag
Registered:1 May 2023 12:20
Follow date:6 Jan 2026 10:00
No more killer apps, kill the app!
rntz
Registered:1 Jul 2023 19:28
Follow date:6 Jan 2026 10:00
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
๐ @rntz@recurse.social
๐ฆ @arntzenius
Attempting to use bsky more now that people are showing up.
๐ฎ
Registered:25 Apr 2023 19:32
Follow date:6 Jan 2026 10:00
seeding discontent in present-day computing
libcomp.org โข @folkjs.org
foraging the web: https://semble.so/profile/chri...
Predrag Gruevski
Registered:4 May 2023 18:03
Follow date:6 Jan 2026 10:00
Author of cargo-semver-checks & Trustfall // https://github.com/sponsors/ob... // https://predr.ag/blog // ex Principal Eng @Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here ๐ฒ๐ฐ // he-him
JMCT
Registered:19 Apr 2023 21:14
Follow date:6 Jan 2026 10:00
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
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:6 Jan 2026 10:00
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:6 Jan 2026 10:00
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.
Simon Marlow
Registered:15 Nov 2024 07:29
Follow date:6 Jan 2026 10:00
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Joe Gibbs Politz
Registered:27 Sep 2023 15:58
Follow date:6 Jan 2026 10:00
Brian T. Rice
Registered:27 May 2023 03:33
Follow date:6 Jan 2026 10:00
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_p...
Michael Homer
Registered:28 Sep 2023 20:59
Follow date:6 Jan 2026 10:00
I make programming languages and interfaces at Victoria University of Wellington
Leif Andersen
Registered:11 Sep 2023 12:49
Follow date:6 Jan 2026 10:00
Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
Michael Coblenz
Registered:20 Nov 2024 20:37
Follow date:6 Jan 2026 10:00
Assistant Prof. at UC San Diego. Helping people write better software.
jaylin herskovitz
Registered:15 Nov 2024 21:19
Follow date:6 Jan 2026 10:00
โช~ แ(แ)แ PhD student @ umich researching accessibility, diy tech, AR
she/her
jayl.in
mechadense.bsky.social
Registered:21 Nov 2024 14:23
Follow date:6 Jan 2026 10:00
Matt Keenan
Registered:16 Nov 2024 20:36
Follow date:6 Jan 2026 10:00
(Sundara (Vishnu)) (Satish)
Registered:23 Nov 2024 15:27
Follow date:6 Jan 2026 10:00
PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu โ25
Marcel Goethals
Registered:18 Nov 2023 16:11
Follow date:6 Jan 2026 10:00
In(ter)dependant researcher and toolmaker. Currently inventing programmable ink @inkandswitch.com
Living in Paris
http://wolkenmachine.nl
Cole Lawrence
Registered:17 Nov 2024 13:54
Follow date:6 Jan 2026 10:00
End user programming & AI tool designer.
๐ ๏ธ CTO at https://phosphor.co & @forethink.ai
๐ฆ Rust NYC / https://RustEastCoast.com organizer ๐๐ปโโ๏ธhe/him
tom larkworthy
Registered:17 Nov 2024 15:41
Follow date:6 Jan 2026 10:00
Computers and decentralization.
Roly Perera
Registered:29 Nov 2024 15:19
Follow date:6 Jan 2026 10:00
Making software more open, explorable and self-explanatory
https://dynamicaspects.org/res...
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
Ernest Ng
Registered:18 Jan 2025 16:28
Follow date:6 Jan 2026 10:00
PL/Systems PhD student at Cornell
ngernest.github.io
๐จ๐ฆ Joey Eremondi
Registered:20 Dec 2024 06:25
Follow date:6 Jan 2026 10:00
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.