Official Bluesky account for the Roc Programming Language.
https://roc-lang.org
Copenhagen Suborbitals is a crowdfunded non-profit suborbital human space program, crewed only by volunteers working towards human spaceflight in our sparetime.
Engineering Leader | AI | Scala Back-end | Google Summer Of Code 2024 & 2025 Org Admin & Mentor @Scala Center | Global Speaker | llm4s maintainer | AI Community Builder
Official account of FreeCAD.
#FreeCAD is a free and open source multiplatform 3D parametric modeler.
https://freecad.org
Hello. I’m Destin Sandlin. I make videos for my YouTube channel “Smarter Every Day“. I’m not interested in arguing.
President and CEO United Launch Alliance @ULAlaunch, ...Rocket Scientist, Horseman, proud @calpoly alum
Staff writer at The Atlantic. Cat guy, democracy defender. Actor for a day on Succession, Jeopardy champ. New Englander and curmudgeon.
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/
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
Passionate about gamedev technologies. I create things. Created raylib, raygui, rres and many other tools/libs at raylibtech. FOSS at: http://github.com/raysan5
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
anaesthetist, perfusionist; lisp and jsbach enjoyer
bit shuffler and theorem prover
👨💻 Software Engineer 💾 Software minimalist/retro
🤖 AI tinkerer 🏗️ Building tech communities
🇪🇺 UK 🇬🇧🇩🇪🇻🇪 | Check bio: axelgarciak.com/bio
A programming language that scales with you: from small scripts to large multiplatform applications.
https://www.scala-lang.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
Working on @unison-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/
RA at AUC - https://mostafatouny.com/
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
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
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
λ coder • 📙 Author of "Grokking Functional Programming" • #Scala • Learning through teaching • https://michalplachta.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Functional programmer, runner, cyclist. Author of Functional Programming in Scala 2nd Edition. Engineering Fellow
@comcast
working in video. He/him.
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
podsnap on various apps
scala hacker, clojure dabbler, polyglot opinionator, former everything. always being wrong is a superpower.
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
Ok Programmer, Shitty Pianist, Total Prat.
Head of software engineering @kraken.tech
ex @Thoughtworks
techlloyd.com
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
Developer/Programmer of open source software.
Data Scientist at 🏄AgileLab. 🐍Python/PyData Milan organizer. 🐙Recurser. Data Science, Programming, Python, Nim, (programming) languages, Math, words. Magari anche in Italiano
Non-profit, Open Source Computer Vision since 2000. OpenCV.org
I work on web, compilers, and type systems | he/him
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
Amateur philosopher of mind, computer/math/science nerd. The last kid in America to have his mind warped by EC comics.
Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate.
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
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
Primarily Robotics and AI. Distinguishing hype-notism from plausibility one press release at a time. rodneybrooks.com/blog people.csail.mit.edu/brooks
Programmer. I maintain Vercel’s serverless functions and terraform provider 🦀
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.
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
Señor Application Engineer at a 10 person sonar shop. Former ChE, now generalist dev. Puzzles, building random stuff, hiking, climbing, learning, bad jokes and good beer.
Writing about things here: https://heathhenley.dev
Dad of 2, software developer, functional programming enthusiast, PC gamer, and very into Pathfinder.
Contributor to @rescript-lang.org.
Programmer, dad, one of microservices’ grumpy uncles. Warhammer, started playing WoW again - send help
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
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
Automated fan account. Not associated or endorsed by the real Veritasium.
Posts videos from the YouTube channel:
https://www.youtube.com/@veritasium
About Computer, Software engineering, Math.
You're warned : Social skills of a hyena on acid.
Nos erimus novissimi
Cthulhu is coming, we are in deep trouble.
Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
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
Critical Infrastructure, High Consequence / High Integrity Systems, Space, Nuclear, Mathematics, Public Health, HPC
Developer, researcher, programming language theory nerd
Retired nuclear scientist. Worked in Estonia, Kazakhstan, and Los Alamos.
Posting on nuclear issues, war, nature, science, and women's issues. Also cats. She/her.
Blogs at Nuclear Diner and Lawyers, Guns & Money
Banner: The invincible summer within
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
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
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
Research Software Engineer
Professionally building better infrastructure for molecular software.
Thoughts my own
Colorado based
Stanford Linguistics and Computer Science. Director, Stanford AI Lab. Founder of @stanfordnlp.bsky.social . #NLP https://nlp.stanford.edu/~manning/
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
🍉Fun Stack Vibing at @xogot.bsky.social
Started Xamarin, Mono, Gnome. Prev: Microsoft/.NET/Xamarin/Mono/VSMac/MAIA http://mastodon.social/@migueldeicaza
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Fencing enjoyer.
Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
VP of Community @ Zig Software Foundation • Zig Livecoding http://twitch.tv/kristoff_it • Creator of http://softwareyoucan.love • Blogging http://kristoff.it • Host of https://zig.show • 📧 loris@sycl.it
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.
A modern runtime for JavaScript and TypeScript
https://deno.com
enjoys music, good food, coding, and talking about them.
learning machines at employer. sbt core dev. he/him
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/
Teaching materials for the cusy training courses on a Python-based data science workflow: https://cusy.io/en/seminars
data/ml/ai @ runway in 🗽
formerly spent time in startups, biggish tech, and physics labs
www.ethanrosenthal.com
https://Answer.AI & https://fast.ai founding CEO; previous: hon professor @ UQ; leader of masks4all; founding CEO Enlitic; founding president Kaggle; various other stuff…
I'm on a mission to promote European spaceflight.
Contributor to SpaceNews and Payload.
For queries, email andrewp@europeanspaceflight.com
🗣️ People, Not Platforms
🌐 Building: @anew.social
✍🏼 Writing: augment.ink
📸🎧☕: @pixels.quillmatiq.com
Electrical engineer, programmer and embedded systems enthusiast. (I'm looking for a job)
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
18, any pronouns, artist
https://denske.straw.page/
@denphobia on tumblr
19, he/him || digital artist and writer; astrophysics undergrad
https://basimdasas.straw.page/
I am Francesco Macrì, a passionate, self-taught, and self-directed learner of mathematics.
Website: https://www.piecesofmathematics.com
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
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
Physicist. Editor. Writer.
Posting music, philosophy, physics, astronomy, archaeology, history, nature, stuff. Lynchian. Old goth.
My Cure Anomalies YT: https://www.youtube.com/channel/UC-mQHmnmKCZOtLZ5cwuEgyg
My archived consciousness blog: https://infovoy.wordpress.com
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
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
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
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/
