shagag @handle.invalid Software Engineer, handstands, locking in and "staying upwind".
https://shagag.dev/
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ดNno;๐ซ๐ด๐ฎ๐ธ
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Ayoub @a-youb.bsky.social Automation enthusiast
d6 @calr.is see you around https://merveilles.town/@d6
Ross A. Baker @rossabaker.com Never daunted.
#Rustlang #Python #Typelevel #Emacs #Nix #Indieweb
Languages: en,de,es
๐ bridged from โ https://social.rossabaker.com/@ross, follow @ap.brid.gy to interact- J Jon-Anders Teigen @jteigen.bsky.social
Oscar Boykin @posco.dev Some guy on Maui
Justin du Coeur @jducoeur.social.coop.ap.brid.gy Geek for all seasons, especially #SCA, #LARP, #scifi, #boardgames, #comics.
Avid programmer, focused on #FP #Scala, especially #Typelevel
he/him
[bridged from https://social.coop/@jducoeur on the fediverse by https://fed.brid.gy/ ]
Willy Brauner @willybrauner.com Front-end developer, driven by design.
Former lead front-end @ cher-ami.tv.
Musician, drummer.
Based in Lyon, France.
Freelancer
โณ https://willybrauner.com
โณ https://github.com/willybrauner
Lorin Hochstein @norootcause.surfingcomplexity.com Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
Voytek Pitula @krever01.bsky.social Staff Engineer at @SwissBorg โข Crapposter โข Occasional conference speaker โข Libertarian paternalist โข #Scala developer โข Books addict โข Building https://business4s.org
FUN OCaml @handle.invalid FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals
September 15+16, 2025 - Warsaw, Poland
https://www.youtube.com/@FUNOCaml
Gleam Programming Language @gleam.run Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Michael Bronstein @mmbronstein.bsky.social DeepMind Professor of AI @Oxford
Scientific Director @Aithyra
Chief Scientist @ProximaBio
ML Lead @ProjectCETI
geometric deep learning, graph neural networks, generative models, molecular design, proteins, bio AI, ๐ ๐ถ
Maxim Raginsky @mraginsky.bsky.social web: http://maxim.ece.illinois.edu
substack: https://realizable.substack.com
Ben Recht @beenwrekt.bsky.social Blog: https://argmin.substack.com/
Webpage: https://people.eecs.berkeley.edu/~brecht/
The Irrational Decision: How We Gave Computers the Power to Choose for Us. (Princeton) https://press.princeton.edu/books/hardcover/9780691272443/the-irrational-decision
David Pfau @davidpfau.com So far I have not found the science, but the numbers keep on circling me.
Views my own, unfortunately.
Naomi Saphra @nsaphra.bsky.social Waiting on a robot body. All opinions are universal and held by both employers and family. ML/NLP professor.
nsaphra.net
Konrad Kording @kordinglab.bsky.social @Penn Prof, deep learning, brains, #causality, rigor, http://neuromatch.io, Transdisciplinary optimist, Dad, Loves outdoors, ๐ฆ , c4r.io
Melanie Mitchell @melaniemitchell.bsky.social Professor, Santa Fe Institute. Research on AI, cognitive science, and complex systems.
Website: https://melaniemitchell.me
Substack: https://aiguide.substack.com/
Zachary Lipton @zacharylipton.bsky.social Cofounder & CTO @ Abridge, Raj Reddy Associate Prof of ML @ CMU, occasional writer, relapsing ๐ท, creator of d2l.ai & approximatelycorrect.com
Gaรซl Varoquaux @gaelvaroquaux.bsky.social Research & code: Research director @inria
โบData, Health, & Computer science
โบPython coder, (co)founder of scikit-learn, joblib, & @probabl.bsky.social
โบSometimes does art photography
โบPhysics PhD
Desi R Ivanova @desirivanova.bsky.social Research fellow @OxfordStats @OxCSML, spent time at FAIR and MSR
Former quant ๐ (@GoldmanSachs), former former gymnast ๐คธโโ๏ธ
My opinions are my own
๐ง๐ฌ-๐ฌ๐ง sh/ssh
Tom Diethe @tomdiethe.com Head of the Centre for Artificial Intelligence, DS&AI, Biopharma R&D, AstraZeneca Views are my own
Mihai Nica @mihainica.bsky.social Mathematician working on probability and ML at U of Guelph in Canada. I also make math videos at https://youtube.com/@MihaiNicaMath
Andrei Bursuc @abursuc.bsky.social Research Scientist at valeo.ai | Teaching at Polytechnique, ENS | Alumni at Mines Paris, Inria, ENS | AI for Autonomous Driving, Computer Vision, Machine Learning | Robotics amateur
โฒ Paris, France ๐ abursuc.github.io
Vincent Fortuin @vincefort.eurosky.social Prof at TU Nuremberg, PI at Helmholtz AI, Fellow at Zuse School for reliable AI, Branco Weiss Fellow, ELLIS Scholar.
Prev: TUM, Cambridge CBL, St John's College, ETH Zรผrich, Google Brain, Microsoft Research, Disney Research.
https://fortuin.github.io/
Dileep George @dileeplearning @dileeplearning.bsky.social AGI research @DeepMind.
Ex cofounder & CTO Vicarious AI (acqd by Alphabet),
Cofounder Numenta
Triply EE (BTech IIT-Mumbai, MS&PhD Stanford). #AGIComics
blog.dileeplearning.com
Grzegorz Chrupaลa @grzegorz.chrupala.me Speech โข Language โข Learning
https://grzegorz.chrupala.me
@ Tilburg University
Pierre Alquier @pierrealquier.bsky.social Professor of Statistics @ ESSEC Business School, APAC campus Singapore ๐ธ๐ฌ
https://pierrealquier.github.io/
Previously:
RIKEN AIP ๐ฏ๐ต
ENSAE Paris ๐ซ๐ท ๐ช๐บ
UCD Dublin ๐ฎ๐ช ๐ช๐บ
Universitรฉ Paris Citรฉ ๐ซ๐ท ๐ช๐บ
Random posts about stats/maths/ML/AI, poor jokes & birds photo ๐
David Mimno @dmimno.bsky.social He teaches information science at Cornell. http://mimno.infosci.cornell.edu
Ruslans Tarasovs @rtarasovs.bsky.social Husband of flamenco dancer and cajon player
Jamie Thompson @bishabosha.bsky.social I have dabbled in the arts (mainly the Scala arts)
Andre Popp @andreypopp.bsky.social 
antirez @antirez.bsky.social Reproducible bugs are candies ๐ญ๐ฌ
I like programming too much for not liking automatic programming.- E Evan Patterson @epatters.bsky.social Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
Zoe Kleinman @zsk.bsky.social BBC Technology Editor ๐ค
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Andrew W Moore (he/him) @awm22.bsky.social Stumbling through life
Dan Roy @roydanroy.bsky.social Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Davanum Srinivas (@dims) @dims.dev
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
Steven Murdoch @steven.murdoch.is Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. ๐ย https://mastodon.social/@sjmurdoch ๐ฆย @sjmurdoch ๐ย https://murdoch.is/
Tim Hockin @thock.in I like writing software, even if I don't get to do it much anymore. Kubernetes. Star Wars nerd, Expanse fan, dad, dork. 
Emma Vardy @emmavardy2.bsky.social Physician. Honorary Professor of Geriatric Medicine. Delirium. Dementia. Quality improvement. Book lover. Northerner. Mum to daughter with PKU.
James Landay @jlanday.bsky.social Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
Niall Murphy @niallm.bsky.social Entrepreneur-in-residence. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
Lizard Queen @pvineetha.bsky.social Past: CS @Penn. CS @dartmouth. Entrepreneurship Fellow @TuckSchool. Student Leader @GWISEDartmouth. Aerospace @iiscbangalore. Design Engineer @GeneralElectric.
I am also on Mastodon as @pineetha@mastodon.social and on Xhitter as @pvineetha
Heidi Howard @heidihoward.bsky.social 
Oskar Wickstrรถm @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Jan Gray @jangray.bsky.social Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. ๐จ๐ฆ-๐บ๐ธ. On hiatus! Be well.
Manuel Chakravarty @tacticalgrace.justtesting.org ๐ฅ Lambda Scientist
๐ก Functional programming
๐ก Programming languages
๐ก Cryptography
๐จ๐ฝโ๐ป Swift, Haskell & Agda
๐ Volt ๐ช๐บ policy shaper: digital affairs
๐ Utrecht ๐ณ๐ฑ๐ฉ๐ช๐ช๐บ
Richard Jones @profrejones.bsky.social Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Dr Oana Andrei @oanamandrei.bsky.social Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Lorenzo De Carli @ldklinux.bsky.social Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
Liam O'Connor @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.
No AI-generated content, please.
https://liamoc.net
James Dawson Brock @jamesbrock.bsky.social Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
tijana miniฤ @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | ๐ท๐ธ๐ฆ๐ช๐บ๐ธ
tijanaminic1.github.io
Greg Michaelson @gjmichaelson.bsky.social An idle singer of an empty day
https://www.stairwellbooks.co.uk/product/solstice/
Johan Jeuring @johanjeuring.bsky.social Professor of Software technology for learning and teaching, Utrecht University
Josรฉ Cano @jocare.bsky.social Reader (Associate Professor) in @uofgcompsci.bsky.social at @uofglasgow.bsky.social | Leads @giclab.bsky.social | #ComputerArchitecture #Compilers #EdgeAI #Security
https://www.dcs.gla.ac.uk/~josecr/
Naren Ramakrishnan @profnaren.bsky.social Thomas L. Phillips Professor, CS@Virginia Tech. Data science, machine learning, urban analytics.
Dave PhD @cmsdengl.bsky.social HCI academic (retired) . Here for #politics #fbpe #RejoinEU #climatechange #cats #music #musicmaking #piano #space #gardening #IAmEuropean
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPVโฆ and the rest of life, too.
Malcolm Wallace @malcolmwallace.bsky.social haskell hacker, vicarโs wife, accidental banker
Venkatesh-Prasad Ranganath @orderwithchaos.bsky.social Curious about software and computing. I consume skeets via curated lists hoisted as feeds :)
[he/him]
http://rvprasad.com
Roderick Murray-Smith @rodmurraysmith.bsky.social Professor of Computing Science at the University of Glasgow.
Paul Brauner @polux2001.bsky.social 
Jonathan Merritt @lancelet.bsky.social AI, deep learning, numerical, functional programmer.
Looking for a job!
Uilleann piper, highland piper, extreme Gaelic music enthusiast.
https://jmerritt.blog
Lucas Bordeaux @lucabordo.bsky.social 
Naums Mogers @naumsmogers.bsky.social Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Barry Jay @barryjay.bsky.social A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book โTree Calculusโ are formally verified.
Michio Honda @michioh.bsky.social Faculty at Edinburgh. Computer network & OS research. Foodie. ๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ๐ฌ๐งโ๐ฉ๐ชโ๐ฏ๐ต
https://micchie.net
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Katie Ots @kjots.bsky.social Coder. Communicator. Creative.
George Porter @georgemporter.bsky.social AWS S3 & UC San Diego professor
Building networks and systems that enable high-performance, scalable, and sustainable computing and storage.
https://www.cs.ucsd.edu/~gmporter
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
Bฬถuฬถiฬถlฬถdฬถiฬถnฬถgฬถ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
rohit @rnair.bsky.social agi whisperer 
Lauritz Thamsen @lauritzthamsen.org Computer systems faculty at Glasgow, driving research on resource-efficient and carbon-aware distributed computing systems, @glasgowc3lab.bsky.social, lauritzthamsen.org
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Philippa Cowderoy @flippac.org Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else.
(she/her)
@avsm.bsky.social @avsm.bsky.social 
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.
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| ๐ง programming languages / type systems / synthesis | https://sankhs.com
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.