Anthony Cowley
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
@fasterthanli.me
hi, I'm amos! 🍃 they/them 🫐 open-source witch & maker of snappy videos and articles at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com
@polygon.com
Covering video games, entertainment, and the culture around them. We find, share, and investigate the things you love and the people who make and enjoy them.
@zimbatm.bsky.social
I like to build things. Helping companies adopt #Nix and #NixOS at https://numtide.com
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@ballarin.cc
PhD student in (neuro-inspired) Deep Learning at the University of Trieste, Italy. Also: adversarially-robust/trustworthy/Bayesian DL, kernel methods, computational neuroscience. Quantitativist. Overenthusiastic tinkerer. https://ballarin.cc/
@balajee.bsky.social
CS prof @UIC; computer scientist (networks & systems); previously Nvidia, Purdue, BITS-Pilani; tennis aficionado; designed a chip for the first MacBook Air.
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@micahcorah.bsky.social
Assistant Prof, CS@Mines Aerial and multiple robots; autonomous filming, mapping, perception Enjoys: 🧗♂️🚴♂️🎸🎶🤘 Ursula Le Guin stan. Call me on my ansible. He/him pronouns 💖💜💙 Opinions my own. https://www.micahcorah.com/
@puhsu.bsky.social
ML Researcher at research.yandex.com | Working on DL for Tabular Data
@robstewartuk.bsky.social
Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware. https://www.macs.hw.ac.uk/~rs46/
@vassvik.bsky.social
Simulation and rendering nerd. Co-founder and CTO @JangaFX Working on EmberGen and more. Discord: vassvik @vassvik@mastodon.gamedev.place
@tartanllama.xyz
"building a debugger" book out june 2025 ~ c++ developer advocate at microsoft ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
@matt.godbolt.org
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights. he/him
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Posts mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@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.
@clairebraeuer.bsky.social
MSc CS @ ETH Zurich (CV, CG, ML/AI) Currently learning about point cloud registration for robotics. 📍Zurich
@antonbau.bsky.social
Research eng @csm_ai // prev everyday robots @Google, @TU_Muenchen @Cambridge_Uni and other robot adventures 🇩🇪🇬🇧🇺🇸 Thinking about 3D ML, intelligent tool use and the intersection of games and robotics. 🕹️👾
@teuber.bsky.social
Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification) Currently migrating from Twitter (@teuber_dev) www.teuber.dev
@traversaro.bsky.social
Robotics Applied Scientist @ami_iit @iCub @IITalk . Robotics Software @condaforge @RoboStack .
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@casillic.bsky.social
Critical Infrastructure, High Consequence / High Integrity Systems, Space, Nuclear, Mathematics, Public Health, HPC
@xmal.bsky.social
Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023) Web: https://cbaquero.github.io/web/
@clintliddick.bsky.social
Autonomy Systems and Safety Engineer at Aurora Innovation. Robots. Chinese martial artist and organizer at ukungfu.com. 中文名： 李宁 （不是我选的）。Progressive liberal: I care about you. Views my own.
@mrdrozdov.com
Research Scientist @ Mosaic x Databricks. Adaptive Methods for Retrieval, Generation, NLP, AI, LLMs https://mrdrozdov.github.io/
@ryanmarc.us
Assistant professor at UPenn. Database systems. https://RyanMarc.us I'm mostly on Mastodon, https://discuss.systems/@ryanmarcus
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@vaibhavsagar.com
future trophy husband disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿 🇦🇺🇮🇩🇮🇳 on gadigal land vaibhavsagar.com instagram.com/vbhvsgr recurse.social/@vaibhavsagar twitter.com/vbhvsgr
@tpflug.bsky.social
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@chrisoffner3d.bsky.social
Student Researcher @ Google MSc CS @ ETH Zurich (@ethzurich.bsky.social) Visual computing, 3D computer vision, Spatial AI, ML, and robotics perception. 📍Zurich, Switzerland
@mallesh.bsky.social
Director: Spatial Intelligence Research Group (sinrg.org) Assistant Professor at Northeastern University, Boston. Previously postdoc @CarnegieMellon. PhD @StonyBrookU. Homepage: mallesham.com | sinrg.org
@liamoc.net
Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about. https://liamoc.net
@jafar-uruc.bsky.social
http://1x.engineer | Roboticist 🤖 | Tea addict ☕️☕️ | Cafer/جعفر -- https://jafarabdi.github.io/
@rosmo.bsky.social
Robotics pack & feed: https://bsky.app/profile/rosmo.bsky.social/feed/robotics Reddit-like view of Bsky robotics feed: https://azsky.app/profile/rosmo.bsky.social/feed/robotics Open hardware robotics https://rosmo-robot.github.io/ 10% Engineer
@july.bsky.social
Creating and destroying; built autonomous vehicles, drones, flying cars at Kitty Hawk. Robotics, AI/ML, Cryptography
@sankhs.com
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
@colinhales.bsky.social
Neuroscientist/Engineer. Researcher at the University of Melbourne. Mission: the creation of inorganic brain technology for machines that learn and handle novelty in the manner of natural intelligence. Main expertise: Brain electromagnetism.
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms