×
You are not logged in
Bluesky Follows
Jesse Alama
Follows by @jessealama.net
Jacqueline
Registered:9 May 2023 06:00
Follow date:12 Feb 2026 14:47
rapid unscheduled torment nexus disassembly expert — nonbinary, she/they — works on CI platforms at Google — writes Racket elsewhere — admin of @claude.notjack.space
Luke Lau
Registered:23 Nov 2024 14:19
Follow date:10 Jan 2026 15:44
LLVM at Igalia
Aditi
Registered:24 Nov 2024 21:07
Follow date:15 Nov 2025 19:30
Igalian
Geoffrey Huntley
Registered:25 Apr 2023 13:04
Follow date:3 Oct 2025 10:41
It's an uncertain time for our profession, but one thing is certain—things will change.
Julia Evans
Registered:26 Apr 2023 10:22
Follow date:18 Jul 2025 08:07
programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Anthropic
Registered:19 Nov 2024 19:33
Follow date:17 Jul 2025 15:10
We're an Al safety and research company that builds reliable, interpretable, and steerable Al systems. Talk to our Al assistant Claude at Claude.ai.
Mikhail Barash
Registered:7 Jul 2025 00:41
Follow date:8 Jul 2025 14:34
Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
xenaproject.bsky.social
Registered:11 Dec 2024 17:17
Follow date:8 Jul 2025 14:23
Jason Rute
Registered:23 Nov 2024 16:44
Follow date:20 Apr 2025 17:00
AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Guy Bedford
Registered:25 Apr 2023 00:25
Follow date:27 Jan 2025 14:50
Rabbit hole explorer. Working on JS & WebAssembly at Cloudflare. TC39. Creator https://jspm.org.
Julien Narboux
Registered:17 Jan 2025 16:57
Follow date:21 Jan 2025 10:07
Researcher in Computer Science, IRIF, Université Paris Cité.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
Web Engines Hackfest
Registered:19 Nov 2024 10:11
Follow date:20 Jan 2025 14:17
Dates: 15-17 June 2026
Venue: Palexco (A Coruña, Galicia, Spain)
Host & Organizer: @igalia.com
Website: https://webengineshackfest.org...
Wiki: https://github.com/Igalia/webe...
Mark Cuban
Registered:2 May 2023 06:18
Follow date:18 Jan 2025 15:06
Entrepreneur
Costplusdrugs.com
jhemann.bsky.social
Registered:12 Nov 2024 00:43
Follow date:17 Jan 2025 21:54
Stephen
Registered:30 Jul 2023 20:23
Follow date:17 Jan 2025 08:34
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Geoffrey Knauth
Registered:15 Nov 2024 11:01
Follow date:16 Jan 2025 16:44
software developer, flight instructor, rower/coxswain, linguist
Leaning In!
Registered:16 Jan 2025 07:45
Follow date:16 Jan 2025 12:06
A workshop for Lean enthusiasts and practitioners.
March 12, 2026 — Berlin
https://leaning.in
Sebastian Ullrich
Registered:3 Dec 2024 08:01
Follow date:15 Jan 2025 13:45
makes Lean at Lean FRO
Munich, Germany
[bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
Arnaud
Registered:26 Aug 2023 01:01
Follow date:2 Jan 2025 15:30
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:1 Jan 2025 19:42
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Richard Zach
Registered:6 May 2024 23:22
Follow date:1 Jan 2025 11:44
Logician, historian and philosopher of logic, mathematics, and computability
Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back
[bridged from https://mathstodon.xyz/@rrrich... on the fediverse by https://fed.brid.gy/ ]
Eric Eide
Registered:20 Nov 2024 00:17
Follow date:12 Dec 2024 17:20
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Tim Chevalier
Registered:16 Nov 2024 04:50
Follow date:6 Dec 2024 12:59
Semi-retired poster. 🏳️⚧️🏳️🌈🇵🇸he/him
Xabier, Xabi or calvaris
Registered:20 Feb 2024 16:09
Follow date:3 Dec 2024 09:54
Sócio e engenheiro na Igalia. Pai, marido e ultimamente gosto de fazer skate quando não estou lesionado.
Igalia
Registered:1 Jun 2023 16:49
Follow date:3 Dec 2024 09:06
Igalia is an open source consultancy specialized in innovative projects and solutions with desktop, mobile, and web technologies.
Lauro Moura
Registered:21 Aug 2024 21:12
Follow date:3 Dec 2024 09:06
Guillaume Emont
Registered:19 Nov 2024 11:48
Follow date:3 Dec 2024 09:05
Software engineer from the compilers team at @igalia.com.
Likes to cook 🍲.
Amateur street photographer 🏙️📷
Opinions my own.
Also on https://discuss.systems/@guije...
Mike Sperber
Registered:16 Oct 2023 08:16
Follow date:3 Dec 2024 09:05
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperb...
Manuel Rego
Registered:23 Aug 2023 14:04
Follow date:3 Dec 2024 09:05
Web Engines Hacker (Chromium & WebKit reviewer, @servo.org TSC chair) - CSSWG member - Free Software/Open Source Developer - @igalia.com partner - he/him
Brian Kardell
Registered:1 May 2023 18:17
Follow date:3 Dec 2024 09:05
Brian, you know, from the Internet. Dev Advocate at Igalia | Co-author Extensible Web Manifesto | Standards Dude (Igalia AC/OpenJS) https://bkardell.com/links | he/him
Philip Chimento
Registered:17 Nov 2024 18:42
Follow date:3 Dec 2024 09:05
Shades of grey are all that I find
Ana Rute
Registered:20 Nov 2024 15:54
Follow date:3 Dec 2024 09:05
Software developer at @igalia.com
All the posts are made by a human
🇧🇷 in 🇪🇸
Joyee Cheung
Registered:2 Nov 2024 12:49
Follow date:3 Dec 2024 09:04
She/her. I contribute to Node.js and V8. I post about museums, food, plants and other stuff too. https://github.com/joyeecheung
BOB Konferenz
Registered:16 Oct 2023 09:12
Follow date:2 Dec 2024 07:54
The next BOB conference takes place in Berlin on 13 March 2026!
Register now: https://bobkonf.de/2026/regist...
Organised by @activegroupgmbh.bsky.social
Also at @bobkonf@discuss.systems.
Dan Plyukhin
Registered:19 Nov 2024 20:45
Follow date:1 Dec 2024 08:48
⚠️I’m on the job market for 2026!⚠️
PL researcher thinking about the future of distributed systems
> PhD from UIUC
> Postdoc at SDU
> Cohost of the Type Theory Forall podcast
> dplyukhin.github.io
David Van Horn
Registered:25 May 2023 15:55
Follow date:30 Nov 2024 19:24
Prof at UMD CS.
Buffer
Registered:9 Jan 2024 15:26
Follow date:22 Nov 2024 09:24
Create and share social media content anywhere, consistently.
Built with 💙 by a global, remote team.
⬇️ Learn more about Buffer & Bluesky
https://buffer.com/bluesky
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:22 Nov 2024 05:49
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Sam Tobin-Hochstadt
Registered:28 Apr 2023 22:29
Follow date:22 Nov 2024 05:48
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Josh Marshall
Registered:9 May 2023 00:48
Follow date:22 Nov 2024 05:48
Founder & reigning monarch at TPM. Lapsed historian. Hand tool woodworker. Jew.
Web Witch 🔮 Stephanie Stimac
Registered:24 Apr 2023 11:45
Follow date:21 Nov 2024 15:22
💻 Designer & Product Manager for DevEx & Web Platform
📚 Author of Design for Developers.
🔮 Sassy web witch & actual witch.
🏴 Seattle gal in England.
💍 @jhey.dev
https://seaotta.dev
Chris Jones
Registered:11 Nov 2024 21:49
Follow date:21 Nov 2024 14:11
Politics afficionado, writer, former finance professional. Dabble in comedy. Animal lover. Proud Leftist 🇬🇧🇺🇸🇪🇺
Kiran
Registered:11 Sep 2023 13:04
Follow date:21 Nov 2024 10:14
Programming Languages Researcher
https://kirancodes.me
Jack Rhysider
Registered:6 Jun 2023 04:09
Follow date:21 Nov 2024 10:08
Creator of Darknet Diaries.
Verification: https://twitter.com/JackRhysid...
Racket
Registered:16 Nov 2024 10:44
Follow date:21 Nov 2024 09:57
Racket is...
* A language-oriented programming project
* a family of programming languages
* a native code compiler and other tools,
* a diverse community 😁
Join us at https://racket.discourse.group...
https://racket-lang.org/
Leo 🏴☠️
Registered:6 Jul 2023 14:35
Follow date:21 Nov 2024 09:45
Andy Wingo
Registered:31 Aug 2024 18:24
Follow date:21 Nov 2024 09:28
wingolog.org / haute-savoie / iterating to a fixed-point
MeidasTouch
Registered:1 Jul 2023 21:14
Follow date:21 Nov 2024 09:28
The fastest growing independent news network in the world. We cover breaking news, politics, law and more. We are unapologetically pro-democracy.
Alex Bradbury
Registered:18 Nov 2024 21:29
Follow date:21 Nov 2024 09:26
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
Paulo Matos
Registered:4 Nov 2024 08:58
Follow date:21 Nov 2024 09:26
Igalian working on FEX-Emu, Proud Father of 2, AWA IRONMAN Triathlete. All opinions are my own or my children's - if they got hold of my phone. Uke Player - Aspiring Pianist.