@jasonrute.bsky.social
AI Researcher @ IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
@guybedford.com
Rabbit hole explorer. Working on JS & WebAssembly. TC39. Creator https://jspm.org.
@jnarboux.bsky.social
Researcher in Computer Science, IRIF, Université Paris Cité. Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
@webengineshackfest.org
Dates: 2-4 June 2025 Venue: Palexco (A Coruña, Galicia, Spain) Host & Organizer: @igalia.com Wiki: https://github.com/Igalia/webengineshackfest/wiki
@leaninginconf.bsky.social
A workshop for Lean enthusiasts and practitioners. March 13, 2025 — Berlin https://leaning.in
@kha.functional.cafe.ap.brid.gy
makes Lean at Lean FRO Munich, Germany [bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
@abailly.bsky.social
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@richardzach.org
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/@rrrichardzach on the fediverse by https://fed.brid.gy/ ]
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@calvaris.bsky.social
Sócio e engenheiro na Igalia. Pai, marido e ultimamente gosto de fazer skate quando não estou lesionado.
@igalia.com
Igalia is an open source consultancy specialized in innovative projects and solutions with desktop, mobile, and web technologies.
@lauromoura.bsky.social
@guij.emont.org
Software engineer from the compilers team at @igalia.com. Likes to cook 🍲. Amateur street photographer 🏙️📷 Opinions my own. Also on https://discuss.systems/@guijemont
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
@rego.bsky.social
Web Engines Hacker (Chromium & WebKit reviewer, @servo.org TSC chair) - CSSWG member - Free Software/Open Source Developer - @igalia.com partner - he/him
@bkardell.com
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
@joyeecheung.bsky.social
She/her. I contribute to Node.js and V8. I post about museums, food, plants and other stuff too. https://github.com/joyeecheung
@bobkonf.bsky.social
Our website: https://bobkonf.de Organised by @activegroupgmbh.bsky.social Also at @bobkonf@discuss.systems.
@dplyukhin.bsky.social
Actor/model/choreographer working on the Actor Model and Choreographic Programming > Postdoctoral researcher at SDU > Occasional cohost of Type Theory Forall > dplyukhin.github.io
@buffer.com
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.bsky.social
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.
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@joshtpm.bsky.social
Founder & reigning monarch at TPM. Lapsed historian. Hand tool woodworker. Jew.
@seaotta.dev
💻 Designer & Product Manager. 🕸️ Now: Web Platform @ Igalia. Prev: Microsoft Edge. 📚 Author of Design for Developers. 🔮 Sassy web witch & actual witch. 🏴 Seattle gal in England. 💍 @jhey.dev https://seaotta.dev
@newchris.bsky.social
Politics afficionado, writer, former finance professional. Dabble in comedy. Animal lover. Proud Leftist 🇬🇧🇺🇸🇪🇺
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@jackrhysider.bsky.social
Creator of Darknet Diaries. Verification: https://twitter.com/JackRhysider/status/1675298532406984707
@racket-lang.org
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/
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@meidastouch.com
The fastest growing independent news network in the world. We cover breaking news, politics, law and more. We are unapologetically pro-democracy.
@asbradbury.org
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
@pocmatos.bsky.social
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.
@nicr.dev
❤️ Maths and JavaScript 🧑💻 Maintaining @babel.dev, tc39.es delegate, working at @igalia.com 🔗 https://nicr.dev 🌈🇪🇺
@jordan.har.band
https://github.com/ljharb software engineer/nerd/teacher/will try anything once; surgeon with git rebase. @TC39 ex @Coinbase/@Airbnb/@Twitter/@MobBase. Fav punctuation ⸮, scent petrichor
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app