Satnam Singh
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://satnam.raintown.org
Starter Packs
Created by Satnam Singh (1)
Satnam's Computing People
A few of the people in the world of computing that I follow. If I've overlooked you please let me know so I can add you to the list!
@robert.smallshire.no
Founding Tubetrain 🚀. Building Demonstrable® at Sixty North. Training in domain-driven design, software architecture and Python. Director for lithium explorer Transition Elements. "utterly competent". Geoscience PhD. 330 ppm CO₂. Net-zero Dad. 🇳🇴🇬🇧
@anakli.bsky.social
Assistant Professor in Computer Science @ETHZurich. I work on computer systems. https://anakli.inf.ethz.ch/
@dhothersall.bsky.social
Gay husband. Small businessman. Scottish Labour. #LGBWithTheT and women's rights. Pro-EU & pro-UK. Labourhame.com editor. Our Scottish Future board member.
@atulnet.bsky.social
🤖 🦾 MIT - AI x Robotics 🎸 🎹 🎶 Music 🚵🏼 🏃🏻♂️➡️ 🥾 Fitness 🔭 🔬 Science + Tech 📚 📖 Books Tech Musings 🚫There is no AGI 🐶 🐕 🦮 🐩 🐕🦺 lover.
@ucdcs.bsky.social
Updates from the School of Computer Science at University College Dublin. With over 1100 students on our Dublin campus, we are the largest computer science department in Ireland https://www.ucd.ie/cs/
@eerkeboiten.bsky.social
Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him. Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes.
@sam-cooper.bsky.social
Author of Kotlin Coroutine Confidence https://pragprog.com/titles/sckotlin
@apaszke.bsky.social
Author of PyTorch, Research Scientist at Google DeepMind. Currently working on Pallas, Mosaic and dex-lang. MIMUW CS & Math graduate.
@janiczek.cz
Frontend FP developer (spending a lot of time in Elm the past few years). NuAshworld MMORPG. Programming language design (cara-lang.com). Property based testing!! Music making. Drive for teaching and unblocking others, writing little experiments. He/him
@alastairm.bsky.social
🏴 Physicist working on #quantumcontrol @ qruise | formerly PHIP and NMR @ NVision Imaging | PhD student @ Ulm University
@larrytheliquid.bsky.social
Formal Methods / Programming Language Theory / Neuro-Symbolic AI ... now working on colimit.io / @colimit.bsky.social
@vwuestholz.bsky.social
Principal Researcher at Consensys Diligence, previously at ETH Zürich, UT Austin, Microsoft Research, and Google
@vishallama.bsky.social
Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, philosophy, linguistics, literature, buddhism, running (5k), and more.
@protz.bsky.social
I talk about Rust, verification, cryptography, programming languages… and pets
@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/ ]
@denismerigoux.bsky.social
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
@camlist.bsky.social
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
@abhikrc.bsky.social
Professor of Computer Science at National University of Singapore https://abhikrc.com
@akhil.cc
I play guitar and work on Azure at Microsoft. Opinions are my own and not the views of my employer. @smasher164@hachyderm.io, @smasher164 on twitter
@dra27.uk
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
@aslanix.bsky.social
@adrian.discuss.systems.ap.brid.gy
Carly Rae Jepsen fan account. [bridged from https://discuss.systems/@adrian on the fediverse by https://fed.brid.gy/ ]
@aishpant.dev
used to be twitter.com/aishpant | soft eng @ stripe | currently reading 📖 | in love 💘 with London 🇬🇧
@chengyuzhang.bsky.social
Lecturer (Assistant Professor) at Loughborough University. Working on Software Engineering, Programming Languages, and Formal Methods. 🙌 Looking for PhD and visiting students.
@maltanar.bsky.social
ML researcher @AMD and full stack engineer of a different kind - FPGA compilers, quantized deep learning. 🏳️🌈🇨🇾🇹🇷 in 🇳🇴. Cat dad and freediver.
@boogalooh.bsky.social
Former game dev now working as a Rust developer in finance. Love functional programming and making terrible games in my free time!
@zizigooloo.bsky.social
👩🏻🔬Biomaterial scientist | Basketball | 3D printing | cooking | coffee and tea
@sdivvela.bsky.social
Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
@jahrim.bsky.social
PhD Student in Programming Languages at the University of St. Gallen (HSG)
@dsoko.bsky.social
ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
@engid.bsky.social
Software Engineer. I look for the bright side of the absurd. brightsideofabsurd.com
@docmilanfar.bsky.social
Distinguished Scientist at Google. Computational Imaging, Machine Learning, and Vision. Posts are personal opinions. May change or disappear over time. http://milanfar.org
@vaastav.bsky.social
http://www.vaastavanand.com PhD student at Max Planck Institute for Software Systems
@jspahrsummers.bsky.social
Member of Technical Staff at Anthropic PBC. Opinions are mine alone, and don't reflect those of my employer. Note that I check Bluesky infrequently, and responses may be significantly delayed or sometimes not possible at all. https://jspahrsummers.com
@thedsp.bsky.social
Creator of the Model Context Protocol (https://modelcontextprotocol.io) with @jspahrsummers.bsky.social. Member of Technical Staff @ Anthropic. Ex-Meta, Ex-Sun. https://experimentalworks.net
@guillaumehiet.bsky.social
Professor at CentraleSupélec | Head of SUSHI Research Team (Inria/CentraleSupélec/CNRS/ENS Rennes) | IRISA Lab | Cybersecurity | Hardware/Software Security
@corneliocristina.bsky.social
Research Scientist @ Samsung AI https://corneliocristina.github.io Neuro-Symbolic AI, Neuro-Symbolic Applications, Open Information Extraction, AI4Science
@usainzgg.bsky.social
aficionado of computers interested in {compilers ∩ distributed computing} ∪ {quantum computing} || PhD student at UPV/EHU
@paulallison.bsky.social
Working with National Writing Project teachers and students to create Writing Partners writingpartners.net a platform that supports AI-guided writing and learning. I'll be posting here about what we are learning together.