Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-here/
Associate professor (Reader) at Edinburgh, Informatics. Networking, security & systems research. Ex-NetApp. Foodie. Dad. 🏴🇬🇧←🇩🇪←🇯🇵
https://micchie.net
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Principal Scientist at Stealth Software.
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
mostly not here, but there: https://hci.social/@chrisamaphone
I work on Programming Languages at Microsoft Research
The union for academic and academic-related staff at the University of Edinburgh
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Berkeley professor, former Secretary of Labor. Co-founder of @inequalitymedia.bsky.social and @imcivicaction.bsky.social.
Substack: http://robertreich.substack.com
Buy my new book: https://sites.prh.com/reich
Visit my website: https://rbreich.com/
Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Category theory
AI
Political betting
Artist
Grant Writer
Professional computer scientist, unprofessional mathematician
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
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/
PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
The home of terrible maps with a pinch of humour
terriblemaps@gmail.com
Dogs, Broadcasting, Writing, Mountains.
cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
I live in Lisbon. I work at Técnico Lisboa as a Professor of Computer Science. Also Interested in science and tech, music and art, philosophy and cinema.
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
The ACM Special Interest Group on Programming Languages.
hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Rust, product. Nushell&jujutsu fanboi. Live in 🐻 Berlin, building an API for APIs at @directus.io . Opinions my own.
Used to do research on programming languages.
@bgeron on other networks.
Art, Activism and Accountability
https://linktr.ee/ledbydonkeys?utm_source=linktree_admin_share
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Mom, foodie, traveller, computer scientist
‘She climbed the ladder of success wrong by wrong’ But what would Chico do?
Lecturer in Cultural Policy at the University of Glasgow. Media history nerd. Likes archives. Not actually Eve Arden.
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
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.
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
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
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Senior Lecturer University of Strathclyde.
Hiking, orienteering, running, etc.
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.
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Investigative journalist. Ex-Guardian/Observer. Now co-founder brand new all-women journalist collective, www.thenerve.news. Tech justice stuff: www.the-citizens.com. Personal newsletter: www.broligarchy.substack.com
Bringing AI to offensive security by autonomously finding and exploiting web vulnerabilities. Watch XBOW hack things: https://xbow.com/traces
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
Professor, Software Technology, Utrecht University
🚀 Leading Kotlin/Wasm to the Moon at @JetBrains.com
🏷️ Kotlin, WebAssembly, VMs, compilers, interpreters
❗️ All posts and views are mine 😉
☮️ #nowars!
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.
Programming language researcher at Microsoft.
Mark Smith, the Man in Seat 61, the chap who runs that train travel site http://seat61.com. YouTube: http://youtube.com/c/seat61.
Associate Professor (Reader) at Edinburgh,
Former PhD Student at EPFL and Lecturer at Oxford,
Interested in Databases, Programming Languages, and Compilers
amirsh.github.io
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Professor of Digital Cultural Heritage, Edinburgh College of Art, University of Edinburgh. Computers versus the past. Digital Humanities and somesuch, including Transkribus. MBE FREng.
Programming language designer at Oracle; helping to evolve Java. This is my personal account; any opinions expressed are my own.
Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique.
[bridged from https://mathstodon.xyz/@noamzoam on the fediverse by https://fed.brid.gy/ ]
Research Culture, Leadership, FLFs .... and some knitting, swearing and occasional cancer references.
Shaping the future of programming @tessl.io 🚀 | ex-@TwitterCortex @Birdwatch 💙 | PhD in probabilistic machine learning, loyal servant to a cat, collector of random variables, and lover of well-placed puns.
https://mgorinova.github.io/
Economic justice campaigner. Professor of Accounting Practice, Sheffield University. Former chartered accountant. Political economist. Opinions all my own.
Guardian. Free Substack pieces at maybeimamazed.substack.com Plus music writing in MOJO. Maybe I'm Amazed, my new memoir about autism & music, out now. Order here https://linktr.ee/maybeimamazed
We are a team of researchers and engineers at GitHub who prototype the future of software development.
Projects: https://githubnext.com
Discord: https://gh.io/next-discord
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Birmingham City FC season ticket holder. Audit accountant.
LAST aisle seat on the left.
Emphasis on the FIRST syllable.
San Francisco Declaration on Research Assessment. Advancing practical and robust approaches to research assessment globally and across all scholarly disciplines. Sign the Declaration at https://sfdora.org/sign and join the movement.
Britain's best-selling news and current affairs magazine with a unique mix of jokes and investigative journalism.
Website: https://private-eye.co.uk
Subscribe: http://subsonline.co.uk
Pro photographer in Edinburgh posting landscapes & other work. Regular free newsletter at https://tomduffin.substack.com/ I'd be delighted to be contacted at tom@tomduffin.com to ask about photography work.
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.
Prof Operational Research , @UCL_CORU, passionate about health care, women in STEMs, defending liberal democracy (!). Member of @independentsage, posts personal. https://www.trumpactiontracker.info/
Subverter of the dominant paradigm
Nontraditional computer science PhD candidate at the University of Edinburgh ❤️🏴
Former technical and creative writer
Burkey with the good hair. My woke take brings all the c*n*s to the yard. Profile pic by Nancy fancy pants contact@themasonsisters.com
Channel 4 News, Unreported World, Ways to Change the World, The Fourcast, Class of 2023 on Strictly
Also Chairman of Duchenne UK
Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts
doing PL & compiler work in Edinburgh
