Journalist. I enjoy writing thinky features about technology ethics, virtual communities and author profiles/Q&As.
Instructor of computer mediated communication, social media, web design/development and journalism.
nianorris.com
Musician / producer, programmer, youtuber, event organiser, retro-tech enthusiast, demoscener, robot designer and digital historian. Composer for 20 retro platforms.
Electronic Music Culture | Demoscene | Vintage Tech & Retro Gaming
🇪🇺 Musician / Game Composer (∵ 96), BAFTA Member, Sound Dude, Demoscener, Consultant, Educator. aka: ne7, citron, andy l, yojimbo. knob twiddler + slightly jaded games ind. veteran [logo / @kenetdeluxe.bsky.social]
Visual artist from Amsterdam (he/him)
➡️ https://sanderfocus.nl
☕ https://ko-fi.com/sanderfocus
Author of the video game blog A Homebrew Draws Near! (and coming soon podcast??), also lawyer, baker, sketch comedian, in addition to massive homebrew fan
Software Developer, Architect, occasional artist, sometimes cooks edible food, always a nerd. He/Him
My views are not as confused as those of my employers.
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/
#CTO #software #hardware #IoT #hacker #C++1z #esp32 #agile #LeSS #M3.0 #OKRs #usability #simplicity #guitar #lefthand #ENTP-A #wine #style #gourmet #pinscher
software engineer @ https://bethink.pl/
Also on Twitter as @radek_benkel (ATM same content here and there).
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
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
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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.
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.
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
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
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/
I like writing software, even if I don't get to do it much anymore. Kubernetes. Star Wars nerd, Expanse fan, dad, dork.
CS professor at UT Austin, does research in programming languages & formal methods.
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Physician. Honorary Professor of Geriatric Medicine. Delirium. Dementia. Quality improvement. Book lover. Northerner. Mum to daughter with PKU.
Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
CEO Stanza Systems. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
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
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/
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
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.
I research programming languages and turn Category Theory into code
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.
actually just on Mastodon: https://discuss.systems/@adrian
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; Vice-chair RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸
Programming language researcher at Microsoft.
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
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
Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
Sr. Distinguished Engineer @nvidia
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
Professor, Software Technology, Utrecht University
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.
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
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
Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
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.
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
phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
An idle singer of an empty day
https://www.stairwellbooks.co.uk/product/solstice/
Professor of Software technology for learning and teaching, Utrecht University
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/
Thomas L. Phillips Professor, CS@Virginia Tech. Data science, machine learning, urban analytics.
HCI academic (retired) . Here for #politics #fbpe #RejoinEU #climatechange #ukulele #cats #bassguitar #space #gardening #IAmEuropean
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
haskell hacker, vicar’s wife, accidental banker
Curious about software and computing. I consume skeets via curated lists hoisted as feeds :)
[he/him]
http://rvprasad.com
Professor of Computing Science at the University of Glasgow.
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
AI, deep learning, numerical, functional programmer.
Looking for a job!
Uilleann piper, highland piper, extreme Gaelic music enthusiast.
https://jmerritt.blog
Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
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.
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Associate professor (Reader) at Edinburgh, Informatics. Networking, security & systems research. Ex-NetApp. Foodie. Dad. 🏴🇬🇧←🇩🇪←🇯🇵
https://micchie.net
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Coder. Communicator. Creative.
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.
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
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
Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
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
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
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
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
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
