×
You are not logged in
Bluesky Followers
Liam O'Connor
Followers of @liamoc.net
AI Proof and Verification
Registered:26 Jan 2026 16:10
Jenny Sinclair
Registered:5 Aug 2023 02:06
Wait, what?
https://jennysinclair.substack...
Research and higher ed skeets at: @jsResearchPro.bsky.social
Beatrix
Registered:2 May 2023 13:53
Iโm a New Deal Democrat
doesn't bite
but may hold forth about trains, politics, or computers
consider yourself warned!
Somerville, MA
jhjackyt.bsky.social
Registered:16 Jan 2026 03:10
terrorjack.bsky.social
Registered:28 Oct 2025 10:48
skyking
Registered:7 Jun 2023 12:41
sounding rockets & bad computer programming
formerly Groq, Soostone, NASA Wallops, among others
ANU Press
Registered:19 Nov 2024 02:58
The first and largest open-access university press in the world. Based at ANU, we publish academic monographs and journals across a wide variety of disciplines.
Marek Fajkus
Registered:15 Jan 2025 16:42
Software engineer. Functional and low level programming. I wrote a lot of UI code because nobody else wanted. Computer mason and proof people can get payed for hobbies.
Gone from twitter https://x.com/turbo_MaCk
https://turbomack.github.io/
๐บ๐ฆ Oleksii T.
Registered:5 Jan 2024 22:38
Programmer, Designer, Musician. Vegan for the animals. ๐ค๐ท๐ฎ๐๐น๐ฑ๐ถ
David Van Horn
Registered:25 May 2023 15:55
Prof at UMD CS.
Steven Shaw
Registered:4 Nov 2024 07:43
Loves programming, programming languages, and type/build/dist/db systems! ๐ฌ๐ง๐ฆ๐บ๐จโ๐ป
The software industry is broken โ let's reboot the industry instead of our programs!
evanwilliams02.bsky.social
Registered:1 Jan 0001 00:00
0xitalo.bsky.social
Registered:3 Sep 2024 01:08
Missino
Registered:29 Jun 2023 15:53
Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
morespinach.bsky.social
Registered:8 Sep 2024 01:35
Thinking about Databases
Buildstash - manage software binaries
Registered:18 Mar 2024 19:55
For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores ๐
https://buildstash.com
Formal Methods for Autonomous Systems
Registered:14 Oct 2024 18:45
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
Florian
Registered:4 Nov 2024 08:14
ReScript enthusiast and core contributor
fham.dev
Sai Divvela
Registered:3 Jan 2025 19:22
Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
Sam Thoyre
Registered:18 Nov 2024 17:29
๐ Tech Enthusiast | AI & Dev Tools ๐ ๏ธ
๐ฅ Sharing insights on Next.js, Payload, Supabase, Tailwind, AI, and serverless architecture.
๐บ Watch my tutorials & build with me: https://www.youtube.com/channe...
Zixian Cai
Registered:4 Jun 2025 08:25
PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
Yihao Sun
Registered:28 May 2025 02:43
The Next 700 Programmers.
Our ANU
Registered:25 May 2025 23:20
Staff campaigning against cuts and poor governance at the Australian National University.
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.
urbanowicz.bsky.social
Registered:21 Oct 2024 16:58
binarymonkee.bsky.social
Registered:16 Nov 2024 02:59
TypeHoles
Registered:31 Oct 2024 23:33
Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
hannelita.bsky.social
Registered:30 Jan 2025 02:26
a public builder
Registered:13 Mar 2025 04:17
doing some experiments to build something in public
Ron Pressler
Registered:18 Oct 2024 08:57
Paul Danger Kile
Registered:27 Nov 2024 14:38
Legal name: Paul Danger Kile
Name at birth: William Paul Caligiuri
Anagram: Guardlike Panel
Japanese Name: ใใผใซใปใใณใธใฃใผใปใญใฌ
Callsign: K0PDK
Godless, Programming, Images, Opinion, Electric Bass
dangerismymiddlename.com
Henry Wallace
Registered:22 Nov 2024 02:25
Learning and hacking! ๐โก๏ธ๐ฅ๐ง๐ฑ
https://github.com/arclabs561
Pierre dโAlancaisez (is) Verdurin
Registered:13 Mar 2025 15:08
https://verdur.in - cultural project and event space, concept store, and soon publisher in London.
https://petitpoi.net - art criticism and writing by Pierre d'Alancaisez.
Jen ๐ป
Registered:7 Aug 2023 01:59
25 she/her
Aspiring pianist
Has brainworms
Error at line 4: Type Girl expected, found type Robot instead
Guannan Wei
Registered:17 Feb 2025 20:58
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.s...
pipelineisgushing.bsky.social
Registered:1 Feb 2025 14:19
eyeshar.bsky.social
Registered:5 Sep 2024 08:52
cgreil.bsky.social
Registered:30 Dec 2024 19:46
Adrian Herrera
Registered:31 Oct 2023 00:46
Security researcher with an interest in formal methods.
Bฬถuฬถiฬถlฬถdฬถiฬถnฬถgฬถ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Puppydudley๐น๐ช๐บ๐บ๐ณ๐จ๐ฆ๐ฒ๐ฝ๐บ๐ฆ๐ต๐ธ๐บ๐ธ๐ฝ๐ฆ
๐ฑโ๏ธ๐ชฟ๐๐๐ซ๐๏ธโ๏ธ
Registered:8 Sep 2024 01:00
socialist. federalist. supports democratic socialism, universal healthcare & universal basic income. he/him. pro-choice. pro-democracy. anti-war. anti-racist. anti-authoritarian. LGBTQ+ ally. PNW(WA), tech junkie, casual gamer, policy nerd, twitter refugee
Laurence Aitchison
Registered:19 Aug 2023 08:37
Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
KinkyKongAI
Registered:19 Oct 2024 13:28
The color of my dress means NOTHING. #Midjourney Event Host, Guide, and Community Outreach | Moderator at Hedra | Shares the best I see in AI | Your Fun, Friendly Creator at the Bleeding Edge of #AI . I BLOCKED MAGA words, Cuz I value my peace.