Dominic Orchard
@dorchard
Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
ID: 17989895
http://dorchard.github.io 09-12-2008 12:14:22
2,2K Tweet
1,1K Followers
692 Following
Edward Z. Yang
@ezyang
I work on PyTorch at Meta. Chatty alt at @difficultyang. Currently on parental leave and doing a lot of AI coding, including authoring codemcp.
Nate Foster
@natefoster
professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
junxan
@jmatsushita
Balancing creative/constructive, in human/organisational/technological development
∃
@pwmosquito
Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Edward Kmett
@kmett
Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Cyrus Omar (now mainly on bsky)
@neurocy
🌱 laying foundations for the future of programming @ hazel.org 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Whyzguy
@sanjivaprasad
Wisdom lies in your teeth
ms
@salvoch
Aram Hăvărneanu
@aramh
Mathematical engineer bringing type safety to the cloud @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Piyush
@piyushahuja_in
philosophy, politics, and economics @UniofOxford maths and computing @iitdelhi
Derek Dreyer
@herrdreyer
Get used to disappointment.
allstoalls
@allstoalls
allstoalls
Ron Garcia
@rg9119
Transmogrifies coffee into LaTeX at University of British Columbia
Kamal
@kamalgajera
ओ३म्
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Talaat El Sayed
@talaatalsayed
العمل بلا هدف يشبه سقي التربة بلا بذور
Simon Fowler
@simon_jf
Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].
Michael Peyton Jones🔸
@mpeytonjones
thread the needle, find the path 🔸10% Pledge #132 with @GivingWhatWeCan
Dries Frederickx
@poly_void
Current status: NEET. Jack of no traits and definitely master of none.
Xero
@chaos_xero
Jonathan Aldrich
@jaldrichpl
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.
Joe Cutler
@alpha_convert
CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
Ben Schulz
@schulzb589
3D Geospatial Analyst at Maxar Space Operations. Opinions expressed on this site are my own and do not necessarily represent the views of Maxar Technologies.
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴
Egbert Rijke
@egbertrijke
Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Vanessa McHale
@vamchale
Mainly Haskell, sometimes J/?
Lawrence Paulson
@lawrpaulson
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
Max ⊶ New @[email protected]
@profmaxnew
Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Sourov Chandra
@sourov_tpi
Explorer in camouflage
Ywhorxi
@ywhorxi455
Leosha Trushin
@leoshatrushin1
Highest decoupler | Kotlin @ index.inc | shitpost/acc lurker Epistemic status: fucking around
Cambridge Computer Science
@cambridge_cl
Department of Computer Science and Technology at the University of Cambridge. Also known as the Cambridge Computer Laboratory. Established in 1937.
satty
@sattwyk
swe, dist systems, and popperian - in search of good explanations
Aleth ..
@alethkit
Arnaud Spiwack
@aspiwack
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer. github.com/aspiwack/
Travis Montoya
@travgmont
@hexproofsh | FP enthusiast | low level developer | NixOS
Hawk
@nullcoder_xd
Neshe
@neshepfnctod
MagConnor
@45j01talyl1u425
Software Sustainability Institute
@softwaresaved
The SSI is the first organisation in the world that was dedicated to improving software in research. Follows us at @SoftwareSaved on Bluesky and Mastodon.
Mlecchaslayer
@mlecchasla75893
belal
@barbakh880943
wuc9521
@wuc9521
Clasha Rinox
@clasharino65182
Tom
@tomstructured
CS student. Studying logic and programming languages.
A_Happy_Kid
@addalaraed
Software Engineer based on 🇹🇳. Programming languages enthusiast. Scala & Haskell Enjoyer. C++ Hardcore fan. Turns out Functional Programming isn't that hard.
Jamil Rahmano
@jamilrahmano
جميل رحمانو ممثل مجلس سوريا الديموقراطية في العراق
Sarah jari
@jarisarah3128
aina onnellinen rakastan maatani Suomea
Hipotenüs
@subliminalucgen
only illuminati can follow in wake me △⃒⃘
あかり
@akari449542
一人暮らし 板橋区OL オカズにしたらDMで教えてください ここでえち配信中💙（録画あります） → uc7chats.com/zjzHA
Hilda He
@7br72wthg5lsffo
Reslan Al Tinawi 🇵🇸
@geo_reslan
Data Analytics MSc (23/24) @uniofwarwick via @CheveningFCDO Interested in spatial data 🌍 maps 🗺 remote sensing 🔭 and sustainability ☘️
beka_valentine @ kolektiva . social
@defnotbeka
a dyke who hacks on things. she/xey/ey. [email protected]
Du
@jinzhedu
learn to code, no achievements, just here to learn from others, can't speak English well
Dean Chester
@d_g_chester
Simulation Engineer @ @CornelisHPC | Views are my own
John Backus
@markus_sch49191
asd
Yisus mendez
@yisus2_7182
I don't know how to exit vi. Just curious about that, and that, and that.
λ
@lambda_functor
Dan Plyukhin
@dplyukhin
Actor/model/choreographer working on the Actor Model and Choreographic Programming. Postdoc @imadaSDU, occasional co-host @ttforall, formerly @IllinoisCS.
Liang Wang
@liangwangtech
Alek Boruch-Gruszecki
@abgruszecki
PLT postdoc working with Jan Vitek.
neo
@stankneo
Cyberpunk Metamodernism. Aspiring hyperwrangler. Searching for lcm(∞-axia). CS ∪ CogSci ∪ Complex Systems.
Mohit Tekriwal
@numerics_lambda
Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics.
Shewshesh
@shewsheshii5nf