Stephen Kell @[email protected] @stephenrkell
"Academic" "computer" "scientist" but really none of those things. I program, think, write, talk, teach... rarely in that order. Mostly I make software slower. humprog.org/~stephen Cambridge / London, UK Joined September 2011-
Tweets4K
-
Followers1K
-
Following282
-
Likes4K
Stephen Kell @[email protected] retweeted
To: the crazy ones, the misfits, the rebels, the troublemakers, the ones who see things differently Subject: you should write an Onward! paper alarmingdevelopment.org/?p=1708
3
32
82
17K
34
I'm going 'on tour' soon... among others, going to be in the Bay Area on Tuesday 7th and Wednesday 8th November. Happy to chat with anyone who's around! Also will have some time in New Zealand and Australia the fortnight after that...
No coincidence that the first such statement comes from one of few institutions retaining a shred of academic self-governance. (But no time for Cam-complacency. The votes were alarmingly close, no doubt owing partly to recent Regent House gerrymandering.)
No coincidence that the first such statement comes from one of few institutions retaining a shred of academic self-governance. (But no time for Cam-complacency. The votes were alarmingly close, no doubt owing partly to recent Regent House gerrymandering.)
Saw a tweet (or was it a toot?) in the last week or so about how apparent AI "advances" are at least partly a function of giant compute resources being owned by few companies -- clearly true. Like a fool, I did not 'like' it. Can anyone help me find it? Looking to mine this seam
Does anyone know a good reference for static analysis taxonomy like "flow-sensitive", "context-sensitive" etc.? I think I absorbed them as folklore, but hopefully they're described somewhere. Some years ago I took on a related question (static vs dynamic) humprog.org/%7Estephen/blo…
Interesting post, interesting discussion but (my take) missing the elephant. Languages grow huge because existing approaches to interop are so dire. This amplifies the incentive to pile all features into one language, rather than express parts of a codebase in languages that suit
Interesting post, interesting discussion but (my take) missing the elephant. Languages grow huge because existing approaches to interop are so dire. This amplifies the incentive to pile all features into one language, rather than express parts of a codebase in languages that suit
Popped into the new West Cambridge library (sorry, "high-intensity study space" -- you can't make it up) and chanced upon some academic texts that seemed a bit too appropriate.
Although it's provocative to label bikes as 'unsustainable', there are lots of interesting observations here about modern manufacturing, materials, and market dynamics all conspiring to worsen long-term value. solar.lowtechmagazine.com/2023/02/can-we…
Keeping Microsoft Teams running has become a daily permacrisis. MS seem to have stopped offering the Linux client (empty dir?!); web one doesn't work in Firefox; Chrome now randomly crashes with GPU-related errors; Android one is now flaky on my old phone. packages.microsoft.com/repos/ms-teams…
A razor-sharp thread well worth reading, not just for the references to "stochastic parrots" and "Hapsburg AI". Declining signal-to-noise is the tragedy of our age, quality being replaced by superficial plausibility... yet S/N was Google's initial strength.
A razor-sharp thread well worth reading, not just for the references to "stochastic parrots" and "Hapsburg AI". Declining signal-to-noise is the tragedy of our age, quality being replaced by superficial plausibility... yet S/N was Google's initial strength.
Just joined Mastodon by following these steps. They rely on an API due to get paywalled off *tomorrow*! fedifinder.glitch.me Also, an additional essential step (for me): switch to "light mode". I really don't know how people live in the dark like that without falling asleep.
It seems common that university courses on operating systems include a bit about how to implement malloc() and free(). But why? It seems out-of-place, needing so much awkward caveating: "we are now [potentially] in user-space"; "unrelated to all that page-table stuff"; etc.
Until today I thought "statistical multiplexing" was an idea basically every computer scientist would know... ... but I notice it doesn't have a Wikipedia page, and the top search results are super-specific to networking, which the idea is not. How giant is my misapprehension?
I spend far too much of my life fighting presentation/diagramming software that doesn't work. Does anyone have a solution that isn't either "I use [Windows/Mac]" or "I mastered Tikz and then wrote a custom UI layer for Inkscape"?
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Laurence Tratt @laurencetratt
4K Followers 310 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Ben L. Titzer @TitzerBL
2K Followers 349 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College London
Steve Blackburn (@ste... @stevemblackburn
2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Simon Fowler @Simon_JF
1K Followers 1K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].
Geoffrey Litt @geoffreylitt
17K Followers 2K Following researching malleable software @inkandswitch / prev PhD @MIT_CSAIL / 🇯🇵🇺🇸
Omar Rizwan @rsnous
9K Followers 1K Following "i am determined to move beyond this way of interacting with systems"
Dan Luu @danluu
45K Followers 44 Following Active on https://t.co/WG71Nrs60M; also trying out https://t.co/fGOzbSxVHi. No longer read replies or notifications here now that tweetdeck is gated.
Thorsten Ball @thorstenball
35K Followers 961 Following Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. @sourcegraph working on @ampcode. Ex-@zeddotdev. Programming where the rubber hits the road.
Toby Murray @tobycmurray
1K Followers 632 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
Baeqer @Baeqer7285
27 Followers 1K Following
Faz Ray @FazRay123
7 Followers 634 Following
Mike Sun @mikesun
193 Followers 515 Following
George Singer @georgewsinger
567 Followers 2K Following Building a portable VR headset designed to replace PCs & Laptops • Runs Linux • Market-leading pixel density (≫ existing headsets) • Premium compute specs
Crootoughth @CrootoughthxBk
23 Followers 2K Following
Mohamed El Shorbagy @elshorbagyx
172 Followers 316 Following CG SWE @Atomica_ai | CE@Ain Shams'25 | STEM Dakahlia '20 Posts in Arabic and English
bright tetteh @bright651
237 Followers 2K Following I am an IT specialist, a computer programmer, an online marketer, an investor, a motivator and a philanthropist.
Alex P @ifesdjeen
15K Followers 1K Following Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals @therealdatabass. Discord: https://t.co/8LwhZom9eQ
Ayush Mahajan @Sinnersdoom
81 Followers 945 Following
A T @iDramedy
328 Followers 6K Following
mikedemarais.eth (on ... @mikedemarais
58K Followers 18K Following 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈 cofounder of @rainbowdotme follow me on fartcaster https://t.co/zWTvLoT8ox
chukwu victory ifeany... @ChukwuVictory5
56 Followers 142 Following
Alex Warth @alexwarth
958 Followers 605 Following Principal Investigator at @inkandswitch Formerly at Alan Kay's research groups (YCR/HARC, CDG, VPRI), and Google Creator of OMeta, co-creator of @_ohmjs
Shefali Sharma @Shefali21
43 Followers 832 Following
Gregory James DUCK @GJ_Duck
24 Followers 58 Following
Will @WilliamBatu
4 Followers 2K Following
MarkSzalma @SzalmaMark
17 Followers 93 Following
izukaitz @izukaitzg
93 Followers 3K Following
Janhavee Shinde @SJanhavee
114 Followers 7K Following
Steven Jones @StevenJones_MCR
7K Followers 4K Following Now mostly at: https://t.co/y48SfuaEKq Professor of HE, #PFHEA, @EducationUoM Author: Universities Under Fire @CDBUni, @Burnage_Academy Views own
Richard Johnson @richinseattle
18K Followers 3K Following Computer Security, Reverse Engineering, and Fuzzing; Training & Publications @ https://t.co/mloVP6rPB7; hacking the planet since 1995; Undercurrents BOFH
Krishna Padmasola @placidex
90 Followers 2K Following
Aili Enray @AiliEnray
7 Followers 153 Following
Yunfei @Yahaha227379
68 Followers 1K Following Creator, CEO @iart.ai , Dreamer& builder of AI visual communication. open to discussion, any kind of communication.
Bernhard Seefeld @seefeld
458 Followers 1K Following Co-Founder @CommonTools - Formerly Google Research, Chrome, Fuchsia, Google Maps, https://t.co/v5YUQOyiiL. Writing at https://t.co/inFs3th9MA
Corey Reece @coreyr
427 Followers 2K Following
Belackarad @belackarad
3 Followers 106 Following
Amelia Wattenberger �... @Wattenberger
33K Followers 5K Following ☁️☀️ please come visit on the other app ☀️☁️ design, LLMs, web dev, data viz, tools for thought ✨ @shv, previously R&D @GitHubNext, design @AdeptAILabs
Mirko Morati @mirkomorati
30 Followers 330 Following Master student in Visual Computing @ University of Verona
Mischan Toosarani-Hau... @AboveVacant
233 Followers 3K Following programmer; debuggers; tools for (embedded) vision+imaging pipelines; systems-level stuff @getsentry; optimism is the belief that we can do (a lot) better
Peter Goodman @peter_a_goodman
878 Followers 375 Following C++ developer specializing in source and binary program analysis and transformation. https://t.co/3qvDBZktU2
Sankha Narayan Guria @ngsankha
961 Followers 754 Following Prof @UnivOfKansas | 🔧 programming languages / type systems / synthesis | PhD @umdcs | Ex- @meta @browserstack @firefox
εεε @eros9k
24 Followers 360 Following
Thomas Amberg @tamberg
2K Followers 4K Following Maker/👩💻engineer. Founder @yaler. Organiser @iotzh. Embracing the future. Becoming a teacher. Moving to https://t.co/8mQZUIrSGl
Umar @Umarkh03
15 Followers 131 Following
Matthew Hannigan @Emmelaich
20 Followers 431 Following Can compare apples and oranges. Content may include traces of whimsy and sardonicism.
Abdelrahman Youssef @Boodyy24
104 Followers 2K Following
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Laurence Tratt @laurencetratt
4K Followers 310 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College London
Steve Blackburn (@ste... @stevemblackburn
2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Jack Rusher @jackrusher
8K Followers 205 Following Ex-Bell Labs/AT&T Research'er making art & technology. Extended bio in pinned tweet. 🐘 @[email protected]
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Geoffrey Litt @geoffreylitt
17K Followers 2K Following researching malleable software @inkandswitch / prev PhD @MIT_CSAIL / 🇯🇵🇺🇸
Omar Rizwan @rsnous
9K Followers 1K Following "i am determined to move beyond this way of interacting with systems"
Justine Tunney @JustineTunney
40K Followers 326 Following I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.
Dan Luu @danluu
45K Followers 44 Following Active on https://t.co/WG71Nrs60M; also trying out https://t.co/fGOzbSxVHi. No longer read replies or notifications here now that tweetdeck is gated.
Gary Bernhardt @garybernhardt
44K Followers 114 Following Execute Program (learn programming tools quickly); Destroy All Software (dense programming screencasts); formerly Deconstruct conference.
Michael Nielsen @michael_nielsen
110K Followers 6K Following Searching for the numinous 🇦🇺 🇨🇦, currently live in 🇺🇸 Research @AsteraInstitute https://t.co/maezekzRUb https://t.co/2dWwZKrvrn
SPLASH Conference @splashcon
3K Followers 287 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
James Noble @jameskjx
1K Followers 565 Following
Steven Jones @StevenJones_MCR
7K Followers 4K Following Now mostly at: https://t.co/y48SfuaEKq Professor of HE, #PFHEA, @EducationUoM Author: Universities Under Fire @CDBUni, @Burnage_Academy Views own
Ewan McG ➡️ @ewan... @ewan_mg
1K Followers 942 Following 🎓Prof @KCL_Law + @CambridgeCBR 🌹Labour law, enterprise law, pensions, corporations, human rights 🌍Make economy democratic, tech safe + reverse climate damage
Julio Merino @jmmv
3K Followers 935 Following Operating systems, build systems, and programming languages. Mostly Unix, Bazel, and Rust. Author of Blog System/5. Creator of EndBASIC, and more.
Cristian Assaiante @cristianrichi3
228 Followers 270 Following PhD student in Engineering in CS @DIAGsapienza | CTF player @TheRomanXpl0it/@mhackeroni | Trainer @cyberchallengIT | Guitarist | Compilers | Rock Climber |
Newspeak House @nwspk
6K Followers 4K Following The London College of Political Technology. Tweets by @edsaperia
Colin Clark @colinbdclark
582 Followers 860 Following Computational media artist, improviser, community-led design researcher. Co-founder of Lichen Community Systems, a non-profit worker cooperative.
Andric @astralwave
3K Followers 2K Following Indie software dev and designer. On a quest to build software that's pragmatic, ergonomic, and collaborative. Building https://t.co/gvSRnhHcF2 with @ideosyncretic
vollmerm @ma_vollmer
676 Followers 678 Following lecturer in @UniKentComp, cs phd from @IULuddy, functional programming and compilers, he/him
Programming Languages... @Glasgow_PL
139 Followers 52 Following This is the account of the Programming Languages Theme at @GlasgowCS, spanning researchers in programming language foundations, systems, and education.
King's Doctoral Stude... @KDSA_kcl
960 Followers 366 Following KDSA represents the vibrant postgraduate research student community @KingsCollegeLon 👩🏽🎓👩🏻🔬👩🦽👩🏾🏭🧑🏼💻🌈👨🏿🎨👩⚕️👩🏾🏫 https://t.co/TPd2wquj6p
Andrew Coles @AndrewIColes
665 Followers 368 Following Reader in Artificial Intelligence @ King's College London; Head of the AI Reasoning and Planning Group. Views not of my employer. @[email protected]
Software Heritage @SWHeritage
4K Followers 2K Following We collect, preserve, and share #software #sourcecode for present and future generations. #swh #softwarecommons #freesoftware #opensource
Russell Group @RussellGroup
51K Followers 1K Following The Russell Group represents 24 leading UK universities. We believe people and ideas are the key to meeting global challenges. Retweets are not endorsements.
Konstantinos Kallas @KonsKallas
1K Followers 535 Following Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they https://t.co/461Ntl9CBc
Heidi L. Williams @heidilwilliams_
6K Followers 413 Following professor @dartmouth + science policy @ifp // leveraging research to promote science and progress
IFP @IFP
20K Followers 39 Following A think tank for accelerating scientific, technological, and industrial progress. Follow our team: https://t.co/CC0MxWfh3X
This Museum Is Not Ob... @NotObsoleteKent
1K Followers 36 Following A Technology Museum In Ramsgate, Kent, Celebrating Obsolete Technology, Open Weekends! School visits in the week also welcome info on website! :-
cohost.org/monadliker @monadliker
3K Followers 3K Following
Giada Pistilli @GiadaPistilli
9K Followers 571 Following Principal Ethicist @HuggingFace | Philosophy Ph.D. @Sorbonne_Univ_ & @CNRS
Dr Liz Morrish @lizmorrish
4K Followers 867 Following UK independent scholar. Critical University Studies. Tweets mostly about Higher Ed issues. Open water swimmer. Also at @[email protected]
CBR @CambridgeCBR
295 Followers 144 Following The CBR, established in 1994, conducts interdisciplinary, evidence-based research on the determinants of sustainable economic development and growth.
Kyle Huey @khuey_
2K Followers 2K Following San Franciscan, Urbanist, now thinking about making debugging awesome @_pernosco_, ex-@mozilla Engineer.
Mark Williamson @mark_undoio
61 Followers 323 Following CTO and Bad Movie Expert @ https://t.co/NA1Be5hq3Z
HasCommissionerJohans... @HasCommissioner
16 Followers 1 Following Find out for yourself: https://t.co/wDFE9Bv3iI
Mostly here now: @dav... @davidthewid
3K Followers 955 Following trying to help computer ppl think more critically about computer, including me artIG@davidthewid Postdoc@CornellTech. PhD@CMU,exNASA/MSR/IntelLabs.
Gabriel Kerneis @GabrielKerneis
244 Followers 68 Following Security researcher (hardware and software architectures, #firmware). Tweets & opinions are my own. @[email protected]
Alex Richardson @arichardson___
10 Followers 22 Following
Programming Language ... @pl_imp_papers
158 Followers 132 Following Interested in programming language implementation techniques. Tag or DM me with blog posts, papers, etc Cover image ©Robert Nystrom https://t.co/YHh2RdV1gA
ResearchPhish parody @PhishResearch
1K Followers 1K Following Parody account of researchfish to commemorate that tweet. we fully intend to be harsh and inappropriate. #ResearchFishGate #BoycottResearchFish
Lee Vinsel @STS_News
8K Followers 1K Following I do technology studies, make Peoples & Things podcast, co-founded @The_Maintainers, and profess Science, Technology, and Society at Virginia Tech.
KCLisDemocratic @KCLisDemocratic
147 Followers 559 Following The KCL Council is the uni's supreme governing body. It appoints itself. Let's get a majority elected by staff + students: sign at https://t.co/JInNtfGm6k
Institute of Computin... @Cambridge_ICCS
524 Followers 325 Following Institute of Computing for Climate Science @Cambridge_Uni - Advancing climate science through computer science, software engineering, data science, and AI.
lowtechmagazine @lowtechmagazine
12K Followers 561 Following Archived account. Subscribe to our newsletter: https://t.co/IdFBkOFGJV
Dan Luu @altluu
4K Followers 1 Following Chatty alt of @danluu. Mainly on https://t.co/V3Q53o3vC3 and https://t.co/00xlxH8ipr.
HaPoC @HaPoComputing
295 Followers 43 Following History and Philosophy of Computing: inter-division commission of the DHST and @dlmpst_iuhpst of the IUHPST
Matthew Parkinson @ParkyMatthew
546 Followers 559 Following Working at Microsoft Research on various programming language things.
Michael Gattozzi @mgattozzi
5K Followers 68 Following I was gifted premium I would never actually buy it. 'A bad programmer' according to the Orange Site, he/him.
Jonathan Dowland (ove... @jmtd
704 Followers 1K Following On Twitter hiatus. Find me on the Fediverse https://t.co/aJ6e2XfpTk @[email protected] Software engineer @RedHat. PhD @computingncl. @Debian. Amateur archivist
John Billings @jnb42
31 Followers 186 Following
KCL UCU still demands... @KCL_UCU
4K Followers 1K Following @UCU. The purpose of a union is to empower members with voice + votes at work. Our values are democracy, equality, inclusion, fairness and justice.
Stephanie Smith @PolicySteph
810 Followers 506 Following Deputy Director of Policy @RussellGroup. Chair of school governors @TheBridgeMAT. All tweets in a personal capacity.
Andy Matuschak @andy_matuschak
60K Followers 2K Following More wonder, more insight, more expression, more joy! Independent researcher; currently exploring tools that augment human memory and attention.
Trends for United States
179 B posts
10,7 B posts
1.369 posts
5.361 posts
17,6 B posts
20,7 B posts
48,7 B posts
23,4 B posts
5.629 posts
128 B posts
17,8 B posts
4.361 posts
You might like
KC Sivaramakrishnan
@kc_srk
4K Followers
Alastair Donaldson
@afd_icl
3K Followers
Laurence Tratt
@laurencetratt
4K Followers
SPLASH Conference
@splashcon
3K Followers
Ilya Sergey
@ilyasergey
6K Followers
POPL 2026
@poplconf
3K Followers
Derek Dreyer
@HerrDreyer
3K Followers
Satnam Singh
@satnam6502
19K Followers
Sarah E. Chasins
@sarahchasins
1K Followers
Cyrus Omar (now mainl...
@neurocy
3K Followers
Sam Tobin-Hochstadt
@samth
4K Followers
Stefan Marr
@smarr
2K Followers
Dominic Orchard
@dorchard
2K Followers
Jonathan Edwards
@jonathoda
4K Followers