@roc-lang.org @roc-lang.org Official Bluesky account for the Roc Programming Language.
https://roc-lang.org
Copenhagen Suborbitals @copsub.bsky.social Copenhagen Suborbitals is a crowdfunded non-profit suborbital human space program, crewed only by volunteers working towards human spaceflight in our sparetime.
Kannupriya Kalra @kannupriyakalra.bsky.social Engineering Leader | AI | Scala Back-end | Google Summer Of Code 2024 & 2025 Org Admin & Mentor @Scala Center | Global Speaker | llm4s maintainer | AI Community Builder- O @odersky.bsky.social @odersky.bsky.social
FreeCAD @freecad.org Official account of FreeCAD.org.
FreeCAD is a free and open source multiplatform 3D parametric modeler.
Download FreeCAD: freecad.org/downloads
Support the project: wiki.freecad.org/Donate
#FreeCAD #CAD #CAM #OpenSource #Maker #3DPrinting #BIM #FEA
Tomas Polak @tomaspolak.bsky.social BIMfluencer
Smarter Every Day @smartereveryday.bsky.social Hello. I’m Destin Sandlin. I make videos for my YouTube channel “Smarter Every Day“. I’m not interested in arguing.
Tory Bruno @torybruno.bsky.social President and CEO United Launch Alliance @ULAlaunch, ...Rocket Scientist, Horseman, proud @calpoly alum
Tom Nichols @radiofreetom.bsky.social Staff writer at The Atlantic. Cat guy, democracy defender. Actor for a day on Succession, Jeopardy champ. New Englander and curmudgeon.
Ankit Panda @nktpnd.bsky.social Stanton Senior Fellow, Carnegie Endowment for International Peace; Author of ‘THE NEW NUCLEAR AGE’ (Polity) & ‘KIM JONG UN AND THE BOMB’ (Hurst/Oxford)
Subscribe to my newsletter (Nukesletter): https://panda.substack.com/
Nic Barker @handle.invalid Open source developer & programming educator.
github.com/nicbarker for my projects.
https://www.youtube.com/@nicbarkeragain for programming videos.
ex engineering @canva & game dev @cerebralfix
Ray @raysan5.bsky.social Passionate about gamedev technologies. I create things. Created raylib, raygui, rres and many other tools/libs at raylibtech. FOSS at: http://github.com/raysan5
Karl Zylinski @zylinski.se Wrote the eBook "Understanding the Odin Programming Language". Made the game "CAT & ONION". Check out what I'm up to these days: https://zylinski.se
Jeremy @jdf.id.au anaesthetist, perfusionist; lisp and jsbach enjoyer
nhuck @nhuck.bsky.social bit shuffler and theorem prover
Sabine Hossenfelder @hossenfelder.bsky.social German Physicist
Axel 👨💻 Developer @axelgarciak.bsky.social 👨💻 Software Engineer 💾 Software minimalist/retro
🤖 AI tinkerer 🏗️ Building tech communities
🇪🇺 UK 🇬🇧🇩🇪🇻🇪 | Check bio: axelgarciak.com/bio
The Scala Programming Language @scala-lang.org A programming language that scales with you: from small scripts to large multiplatform applications.
https://www.scala-lang.org
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
@eigenchris.bsky.social @eigenchris.bsky.social 
Paul Chiusano @pchiusano.bsky.social Working on @unison-lang.org
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
Mostafa Touny @mostafatouny.com RA at AUC - https://mostafatouny.com/
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Salar Rahmanian @salarrahmanian.bsky.social Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems.
My blog: https://www.softinio.com
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Michał Płachta @mplachta.com λ coder • 📙 Author of "Grokking Functional Programming" • #Scala • Learning through teaching • https://michalplachta.com
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Michael Pilquist @mpilquist.bsky.social Functional programmer, runner, cyclist. Author of Functional Programming in Scala 2nd Edition. Engineering Fellow
@comcast
working in video. He/him.
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Peter Fraenkel @pnf.bsky.social podsnap on various apps
scala hacker, clojure dabbler, polyglot opinionator, former everything. always being wrong is a superpower.
subblue @sub.blue aka Tom Beddard.
Into 3D graphics and rendering using WebGL/WebGPU.
Director of KPV LAB Edinburgh building info viz. apps.
Ex laser physicist.
http://sub.blue | https://kpv-lab.co.uk
Matt (Tech) Lloyd @techlloyd.com Ok Programmer, Shitty Pianist, Total Prat.
Head of software engineering @kraken.tech
ex @Thoughtworks
techlloyd.com
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Joel Parker Henderson @joelparkerhenderson.com Developer/Programmer of open source software.
Pietro Peterlongo @pietroppeter.bsky.social Data Scientist at 🏄AgileLab. 🐍Python/PyData Milan organizer. 🐙Recurser. Data Science, Programming, Python, Nim, (programming) languages, Math, words. Magari anche in Italiano
OpenCV @opencv.bsky.social Non-profit, Open Source Computer Vision since 2000. OpenCV.org
Justin Garcia @purefunctor.me I work on full-stack web and code intelligence, 🇵🇭 he/him
Pere Villega @perevillega.com Principal Engineer. Consultant. Builder. Some AI.
Born at 340ppm
“It's said your life flashes before your eyes just before you die. That's true, it's called Life” – Terry Pratchett.
Location: 🇪🇸
Languages spoken: English, Spanish, Catalan, German
John Gregg @johnrgregg3.bsky.social Amateur philosopher of mind, computer/math/science nerd. The last kid in America to have his mind warped by EC comics.
Unison @unison-lang.org Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Alasdair Allan @alasdairallan.com Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate.
Rick Elrod @relrod.bsky.social Hello! I am a #linux and #emacs user and software engineer who also enjoys #linguistics and #etymology. Trying to forget that I'm American. Proud to be living in Germany. Learning #German and #Rust. he/him/his.
GitHub: https://github.com/relrod
Pascal blanché @pascalblanche.bsky.social Digital Artist since 1993.
Freelancer, world builder, scifi/fantasy lover.
Studio Art Director at Arcanaut Studios.
Posting mostly about #art #scifi #fantasyart and stuff.
posters: https://www.artstation.com/pascalblanche/prints?print_type=art_poster
Rodney Brooks @rodneyabrooks.bsky.social Primarily Robotics and AI. Distinguishing hype-notism from plausibility one press release at a time. rodneybrooks.com/blog people.csail.mit.edu/brooks
doug @dgls.dev Programmer. I maintain Vercel’s serverless functions and terraform provider 🦀
Vlád Zä @vlz.bsky.social C++ compiler backend @ Microsoft. Previously - F# compiler and tooling lead.
Opinions are my own and all that.
Russia is a terrorist state! Make fascists afraid again. Fuck bigots.
Henry Garner @hendroid.io Principal Engineer & AI Lead @juxt.pro
AI/ML • data intensive applications • product
Author of Clojure for Data Science https://cljds.com/book
Maintainer of Clojure(Script) library kixi.stats
{London | Cambridge | Brighton}, UK
Heath @heathhenley.dev Señor Application Engineer at a small sonar shop.
Writing about things here: https://heathhenley.dev
Josh Vlk @vlkpack.com Dad of 2, software developer, functional programming enthusiast, PC gamer, and very into Pathfinder.
Contributor to @rescript-lang.org.
James Lewis @boicy.bovon.org Programmer, dad, one of microservices’ grumpy uncles. Warhammer, started playing WoW again - send help
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
(NOT) Veritasium (Robot) @veritasium-bot.bsky.social Automated fan account. Not associated or endorsed by the real Veritasium.
Posts videos from the YouTube channel:
https://www.youtube.com/@veritasium
ronin-red.bsky.social @ronin-red.bsky.social About Computer, Software engineering, Math.
You're warned : Social skills of a hyena on acid.
Charlie Marsh @crmarsh.com Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
Jesper Juul @jesperjuul.bsky.social Video game theorist, author of Half-real, A Casual Revolution, The Art of Failure, and Handmade Pixels.
New book "Too Much Fun: The Five Lives of the Commodore 64" out Dec 10th 2024! https://jesperjuul.net/c64
https://jesperjuul.net
Casillic @casillic.bsky.social Critical Infrastructure, High Consequence / High Integrity Systems, Space, Nuclear, Mathematics, Public Health, HPC
WeetHet @weethet.eurosky.social Developer, researcher, programming language theory nerd
Cheryl Rofer @cherylrofer.bsky.social Retired nuclear scientist. Worked in Estonia, Kazakhstan, and Los Alamos on environmental cleanup, nuclear nonproliferation, and the nuclear fuel cycle.
She/her.
Blogs at Nuclear Diner and Lawyers, Guns & Money
Photo: Semipalatinsk Nuclear Test Site
Dillon Mulroy λ @dillonis.online Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
Vladimir Keleshev @keleshev.com OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
Timothy Stiles @stiles.io Genetic, research, and software engineer looking to make friends.
Creator of Poly, an open source Go package for engineering DNA 🧬
Let's engineer weird little guys together.
github.com/bebop/poly
📍San Francisco
Erik Onarheim @erikonarheim.com Fullstack dev by day 💻 maintainer of @excaliburjs.com by night ⚔️
Co-host of @typescript.fm
🎮 IGDATC Board Member
🕹️ Game dev
😻 Cat lover
🏃♂️ Distance runner
🚀 Math/physics nerd
👶 New dad
Ethan Holz @ethanholz.com Research Software Engineer
Professionally building better infrastructure for molecular software.
Thoughts my own
Colorado based
Christopher Manning @chrmanning.bsky.social Stanford Linguistics and Computer Science. Director, Stanford AI Lab. Founder of @stanfordnlp.bsky.social . #NLP https://nlp.stanford.edu/~manning/
Angel Munoz @tunaxor.me One of the 12 #fsharp devs in the world, trying out kotlin and #buildinginpublic fun, I started this journey around 2013.
https://linktr.ee/angel_d_munoz
Other social media, not an OF 😆
Mexican, so spanish sometimes
Miguel de Icaza @migueldeicaza.bsky.social 🍉Fun Stack Vibing at @xogot.bsky.social
Started Xamarin, Mono, Gnome. Prev: Microsoft/.NET/Xamarin/Mono/VSMac/MAIA http://mastodon.social/@migueldeicaza
Barry @chiroptical.dev PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Drumming and fencing enjoyer.
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
Loris Cro ⚡ @kristoff.it VP of Community @ Zig Software Foundation • Zig Livecoding http://twitch.tv/kristoff_it • Curator of http://softwareyoucan.love • Creator of https://zine-ssg.io • Blogging http://kristoff.it
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Deno @deno.land A modern runtime for JavaScript and TypeScript
https://deno.com
∃ugene -Yokota 🥙 @eed3si9n.com enjoys music, good food, coding, and talking about them.
learning machines at employer. sbt core dev. he/him
Alexandru Nedelcu @alexn.org Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org.
🌍 Bucharest, Romania
https://alexn.org/about/
Python4DataScience @python4data.science Teaching materials for the cusy training courses on a Python-based data science workflow: https://cusy.io/seminars
Ethan @ethanrosenthal.com data/ml/ai @ runway in 🗽
formerly spent time in startups, biggish tech, and physics labs
www.ethanrosenthal.com
Chris Albon @chrisalbon.com 
Jeremy Howard @howard.fm https://Answer.AI & https://fast.ai founding CEO; previous: hon professor @ UQ; leader of masks4all; founding CEO Enlitic; founding president Kaggle; various other stuff…
Andrew Parsonson @andrewparsonson.bsky.social I'm on a mission to promote European spaceflight.
Contributor to SpaceNews and Payload.
For queries, email andrewp@europeanspaceflight.com
Anuj Ahooja @quillmatiq.com 🗣️ People, Not Platforms
🌐 Building: @anew.social, @disperse.social
✍🏼 Writing: augment.ink
👥 Organizing: @seattle.atprotocol.community
Burns @srburns.bsky.social Electrical engineer, programmer and embedded systems enthusiast. (I'm looking for a job)
Martin Kleppmann @martin.kleppmann.com 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
den @denske.net 18, any pronouns, artist
https://denske.straw.page/
@denphobia on tumblr
basi @basimdasas.bsky.social 19, he/him || digital artist and writer; astrophysics undergrad
https://basimdasas.straw.page/
Pieces of Mathematics @piecesofmathematics.com I am Francesco Macrì, a passionate, self-taught, and self-directed learner of mathematics.
Website: https://www.piecesofmathematics.com
Mathstodon: https://mathstodon.xyz/@pieces_of_mathematics
Space Telescope Science Institute @stsci.edu STScI is the Science Operations Center for Webb, Hubble, and the upcoming Roman space telescopes, & Mission Operations Center for Webb. We help humanity explore the universe with advanced space telescopes and data archive. news.stsci.edu
Marcello Seri @mseri.me Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster
#mathsky #physics #scicomm #ocaml #edusky
Also @mseri@mathstodon.xyz
Robert Garisto @robertgaristo.bsky.social Physicist. Editor. Writer.
matt | infovoy @infovoy.bsky.social Posting music, philosophy, physics, astronomy, archaeology, history, nature, stuff. Lynchian. Old goth.
My archived consciousness blog: https://infovoy.wordpress.com
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Quanta Magazine @quantamagazine.bsky.social Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Steven Strogatz @stevenstrogatz.com Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Tim Berners-Lee @timbl.bsky.social Inventor of WWW
Co-founder & CTO Inrupt.com | Lead, Solidproject.org
Co-founder WebFoundation.org & theODI.org
Founder w3.org
My memoir ‘This is for Everyone’ https://thisisforeveryone.timbl.com/
Follow me on Mastodon https://w3c.social/@timbl
Carlo Rovelli @rovelli.bsky.social Physicist.
Sean Carroll @seanmcarroll.bsky.social Physics, philosophy, complexity. @jhuartssciences.bsky.social & @sfiscience.bsky.social. Host, #MindscapePodcast. Married to @jenlucpiquant.bsky.social.
Latest books: The Biggest Ideas in the Universe.
https://preposterousuniverse.com/