×
You are not logged in
Bluesky Follows
Tiago
Follows by @tiferrei.com
Formal Methods for Autonomous Systems
Registered:14 Oct 2024 18:45
Follow date:26 Dec 2025 00:30
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
hannelita.bsky.social
Registered:30 Jan 2025 02:26
Follow date:20 Apr 2025 21:29
Tangled
Registered:10 Feb 2025 12:31
Follow date:16 Mar 2025 16:23
https://tangled.org is the next-generation social coding platform.
→ Docs: https://docs.tangled.org
→ Discord: chat.tangled.org
→ IRC: #tangled @ libera.chat
Ayaka Nonaka
Registered:3 Feb 2024 01:28
Follow date:8 Feb 2025 22:17
Northern California // Shortcuts @ Apple // she/her
Becca.
Registered:2 May 2023 20:39
Follow date:8 Feb 2025 22:16
emmy // webby award winning tech creator ~ formerly @verge now doing it for me 🚀
(she//her)
Peter Steinberger
Registered:2 May 2023 21:22
Follow date:8 Feb 2025 22:16
vibe coding is the way. I bootstrapped a remote company before it was cool. Founder @PSPDFKit (exit to Insight). 🏳️🌈
Felix Krause
Registered:25 Apr 2023 11:57
Follow date:8 Feb 2025 22:15
Currently building https://contextsdk.com - Security Researcher - Creator of https://fastlane.tools (Previously Google, Twitter)
Mark Gurman
Registered:25 Aug 2023 16:12
Follow date:8 Feb 2025 22:15
Breaking News on Apple and Tech. Bloomberg Managing Editor and Chief Correspondent. Subscribe to Power On. Tips: mark@markgurman.com. Signal: markgurman.01. Telegram: GurmanMark.
Mac Tyler
Registered:4 Nov 2023 02:36
Follow date:8 Feb 2025 22:15
human interface designer at apple
Typographica
Registered:14 Nov 2024 08:25
Follow date:8 Feb 2025 22:15
A review of #lettering and #typography. Since 2002. Posts by editor @stewf.com.
Primarily on Mastodon with many from the type community: https://typo.social/@typograph...
Federico Viticci
Registered:9 May 2023 21:28
Follow date:8 Feb 2025 22:14
Founder and Editor-in-Chief @macstories.net. I write about iPad, iOS, indie apps, and making computers more fun.
I also co-host @appstories.macstories.net, a podcast about Apple and the world of apps, and @npc.macstories.net, a show about handhelds.
Michael Jurewitz
Registered:30 Jun 2023 23:00
Follow date:8 Feb 2025 22:14
iOS, macOS, F1, cars, photography, and food. jury.me
Garrett Murray
Registered:9 Jul 2023 15:42
Follow date:8 Feb 2025 22:14
✦ Founder & Managing Director of @karbon.agency
✦ iOS, video games, keyboards, tech, he/him
✧ Opinions my own
↗ Blog: karbonbased.io
↗ Photos: glass.photo/garrett
↗ Mastodon: mastodon.social/@garrettmurray
Tom Warren
Registered:20 Apr 2023 21:44
Follow date:8 Feb 2025 22:13
Senior Correspondent @theverge.com ║ Sign up to Notepad, my weekly newsletter on Microsoft's big bets at http://theverge.com/notepad ║ Tips? msg me on Signal: tomwarren.01
Sebastiaan de With
Registered:1 May 2023 16:58
Follow date:8 Feb 2025 22:11
human interface design
Armin Ronacher
Registered:11 Apr 2023 16:07
Follow date:8 Feb 2025 20:04
Creator of Flask • earendil.com ♥︎ writing and giving talks • Excited about AI • Husband and father of three • Inhabits Vienna; Liberal Spirit • “more nuanced in person” • More AI content on https://x.com/mitsuhiko
More stuff: https://ronacher.eu/
Basic Apple Guy
Registered:25 Apr 2023 16:53
Follow date:8 Feb 2025 12:14
Basic (ˈbeɪ.sɪk’; Adj): lover of all things mainstream, popular, & trending in the world of .
https://basicappleguy.com
PLDI
Registered:20 Jan 2025 21:34
Follow date:26 Jan 2025 15:53
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.
Randall Munroe
Registered:27 Apr 2023 20:54
Follow date:21 Jan 2025 14:12
Ben Stiller
Registered:7 Nov 2024 15:57
Follow date:18 Jan 2025 20:01
Artist whose mediums include film, tv, and soda. www.StillersSoda.com
Kelsey Hightower
Registered:21 Apr 2023 19:04
Follow date:17 Jan 2025 23:08
Minimalist
𝚖𝚘𝚘𝚍𝚋𝚘𝚊𝚛𝚍.
Registered:22 Oct 2024 11:43
Follow date:15 Jan 2025 12:27
Account For Sale 🤝
DM w/ offers
U.S. Graphics Company
Registered:25 Apr 2023 00:40
Follow date:15 Jan 2025 11:17
Engineering graphics.
usgraphics.com
PlanetScale
Registered:25 Apr 2023 13:28
Follow date:15 Jan 2025 11:17
The database platform built for scale. Postgres and Vitess/MySQL.
https://planetscale.com
Discord: http://discord.gg/pDUGAAFEJx
Status: http://planetscalestatus.com
afd-icl.bsky.social
Registered:26 Nov 2024 07:28
Follow date:15 Jan 2025 11:07
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
pixelatedboat aka “mr bluesky”
Registered:28 Apr 2023 03:29
Follow date:15 Jan 2025 10:35
The 76th most followed account on bluesky. I will NOT be updating this ranking when it’s no longer true
Grady Booch
Registered:23 Apr 2023 23:08
Follow date:4 Jan 2025 21:45
scientist, storyteller, philosopher
computingthehumanexperience.com
Emiliano De Cristofaro
Registered:25 Jul 2023 15:38
Follow date:10 Dec 2024 08:08
Professor at UC Riverside, head of spalab.cs.ucr.edu
Home: emilianodc.com
Elizabeth Warren
Registered:13 Nov 2024 19:26
Follow date:4 Dec 2024 22:57
U.S. Senator, Massachusetts. She/her/hers. Official Senate account.
https://substack.com/@senatorw...
Filippo Valsorda
Registered:18 Apr 2023 14:27
Follow date:3 Dec 2024 21:32
RC F'13, F2'17
Cryptogopher / Go cryptography maintainer
Professional open source maintainer
https://filippo.io / https://github.com/FiloSottile
https://mkcert.dev / https://age-encryption.org
https://sunlight.dev / https://filippo.io/newsletter
Warcop
Registered:25 Apr 2023 21:15
Follow date:3 Dec 2024 10:35
Technologist - EFF, Free Software, Big Ethernet
— Mostly Geek/Pretend Analyst
I might say things about Cryptography, Video Codecs, and Vogon Poetry
User #38,062 on Bluesky
Paul Frazee
Registered:17 Nov 2022 00:35
Follow date:3 Dec 2024 10:35
CTO at Bluesky. Not a nerd.
David Buchanan
Registered:27 Apr 2023 09:23
Follow date:2 Dec 2024 18:49
reverse engineering, cryptography, exploits, hardware, file formats, and generally giving computers a hard time
Fedi: @retr0id@retr0.id
Macroblog: https://www.da.vidbuchanan.co....
Christian Selig
Registered:6 Mar 2023 18:03
Follow date:1 Dec 2024 21:49
iOS developer. he/him. Pronounced see-lig
Freedom of the Press Foundation
Registered:3 May 2023 17:08
Follow date:1 Dec 2024 14:06
Protecting, defending public interest journalism in the 21st century.
Subscribe to our ne🦋sletters: https://freedom.press/newslett...
Staff, board members: https://bsky.app/starter-pack/...
More: linktr.ee/freedomofpress
Monica Lewinsky
Registered:1 May 2023 22:31
Follow date:30 Nov 2024 18:51
yeah, that one.
John Gruber
Registered:12 Apr 2023 04:25
Follow date:30 Nov 2024 11:14
I write Daring Fireball and created Markdown.
Alcides Fonseca
Registered:18 Nov 2024 07:59
Follow date:28 Nov 2024 10:57
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
CAV
Registered:26 Nov 2024 00:10
Follow date:28 Nov 2024 10:57
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Monzo
Registered:11 Nov 2024 16:48
Follow date:27 Nov 2024 18:12
Work in finance, 6'5, Bluesky
The Guardian
Registered:15 Nov 2024 10:51
Follow date:27 Nov 2024 18:10
The need for independent journalism has never been greater. Become a Guardian supporter https://support.theguardian.co...
🇺🇸 Guardian US https://bsky.app/profile/us.th...
🇦🇺 Guardian Australia https://bsky.app/profile/austr...
Alexandra Silva
Registered:2 Apr 2024 15:36
Follow date:27 Nov 2024 17:42
Mom, foodie, traveller, computer scientist
Reshabh K Sharma
Registered:20 Nov 2024 18:08
Follow date:27 Nov 2024 17:29
Everything is a compiler!
PhD student @uwcse
Opinions are my own!
Niall Murphy
Registered:29 Apr 2023 11:09
Follow date:26 Nov 2024 14:23
CEO Stanza Systems. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
Lizard Queen
Registered:11 May 2023 04:07
Follow date:26 Nov 2024 14:23
Past: CS @Penn. CS @dartmouth. Entrepreneurship Fellow @TuckSchool. Student Leader @GWISEDartmouth. Aerospace @iiscbangalore. Design Engineer @GeneralElectric.
I am also on Mastodon as @pineetha@mastodon.social and on Xhitter as @pvineetha
Sam Westrick
Registered:26 Jul 2023 01:33
Follow date:26 Nov 2024 14:23
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/
Heidi Howard
Registered:22 Jan 2024 20:47
Follow date:26 Nov 2024 14:23
Thomas Dickerson
Registered:8 May 2023 13:43
Follow date:26 Nov 2024 14:23
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
Oskar Wickström
Registered:5 Jul 2023 04:15
Follow date:26 Nov 2024 14:23
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
wickstrom.tech
Zanzi Tangle
Registered:5 Jul 2023 00:04
Follow date:26 Nov 2024 14:23
I research programming languages and turn Category Theory into code