Jeremy Gibbons @jer_gib
Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected] cs.ox.ac.uk/people/jeremy.… Oxford Joined September 2014-
Tweets4K
-
Followers2K
-
Following259
-
Likes22K
I am giving a keynote talk at the ICFP 2025 conference in October in Singapore where I will talk about the deep connection I feel between functional programming and hardware design. I'll present examples like the sorting network below, which is a butterfly network that has its…
After years of complaining about cancel culture, the current administration has taken it to a new and dangerous level by routinely threatening regulatory action against media companies unless they muzzle or fire reporters and commentators it doesn’t like. yahoo.com/news/articles/…
“The free, open access communications paradigm we have did not arrive like magic. It was the product of a fair amount of political wrangling” - that's why we must continue our fight for the web. 🙏 @washingtonpost for reviewing 'This Is for Everyone' washingtonpost.com/books/2025/09/…
“The free, open access communications paradigm we have did not arrive like magic. It was the product of a fair amount of political wrangling” - that's why we must continue our fight for the web. 🙏 @washingtonpost for reviewing 'This Is for Everyone' washingtonpost.com/books/2025/09/…
Workshop proceedings for @programmingconf are now available: drops.dagstuhl.de/entities/volum… Thanks to Roly and the amazing team at OASIcs for putting everything together and getting it published!
"The point escaped me. I didn't know why he thought this was better than ABC, and why he had done the whole project" - Lambert Meertens on Python :-) It was fun watching the Python documentary at WG 2.1 meeting last week with Lambert. youtube.com/watch?v=GfH4QL…
Oxford has 7 faculty positions, across all of CS. Two are tutorial fellowships with undergraduate teaching responsibilities; five are on the part-time professional master's programme (where I teach). Closing date 17th December. Happy to discuss. cs.ox.ac.uk/aboutus/vacanc…
The Call for the 2026 International Symposium on Functional and Logic Programming (FLOPS) is open - the symposium is May 26-28 in Akita, Japan. Deadline for the CfP is Dec 8 (abstracts) / Dec 16 (submissions). Send us your best on the best of both worlds! functional-logic.org/events/flops/2…
This is super interesting. Usually you buy full albums, but this new format could theoretically be used to distribute individual songs, a sort of promotional single recording sent to radio as a way to build interest in an upcoming full-length release. Could be huge.
This is super interesting. Usually you buy full albums, but this new format could theoretically be used to distribute individual songs, a sort of promotional single recording sent to radio as a way to build interest in an upcoming full-length release. Could be huge.
Alexander Dinges and Ralf Hinze present a dramatic pearl about binary search with Agda. cambridge.org/core/journals/…
Ralf Hinze and Dan Marsden present a graphical calculational technique based on string diagrams, and use it to explain the theory of monads. cambridge.org/core/journals/…
In Education Matters, Kenichi Asai presents OCaml Blockly -- an educational block-based programming environment for beginners, like Google Blockly -- but for OCaml! cambridge.org/core/journals/…
J.P. Bernardy and P. Jansson present a new Haskell-embedded domain specific language for naturally expressing tensor computations using natural index notation. cambridge.org/core/journals/…
Aug 20, join José Pedro Magalhães (@dreixel), Managing Director & Head of Core Strats @StanChart, for the #ACMTechTalk "Functional Programming in Financial Markets." Jeremy Gibbons (@jer_gib), Prof of Computing @UniofOxford, will moderate. Register (free): bit.ly/3UPg8WS
R.I.P. Tom Lehrer If no one is going to post the story of the 84-year-old Lehrer writing a letter to 2 Chainz, I guess I'll have to
This is one of my favourite things to think about. The three ways of reasoning of deduction, induction and abduction correspond to which arrow is missing in the composition diagram. If f, g and h are functors with h = g . f. if h is missing then you can retrieve it by deduction…
American confused by the presence of clouds in the UK
Oxford Mathematician & computer scientist Ursula Martin appointed Dame Commander of the Order of the British Empire (DBE) for services to Science & Education in King's Birthday Honours. @UHMMOxford led the first studies of Ada Lovelace's mathematics. maths.ox.ac.uk/node/71878
Why have they put the Russian flag on this?
Why have they put the Russian flag on this?
Congratulations to Dame Ursula Martin!
Congratulations to Dame Ursula Martin!
I was recently reminded of this old post, highlighting how broken IEEE NaNs are. Really, ML and its descendents had the right idea here, and everything else is kinda broken. blog.janestreet.com/making-somethi…
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
julesh @_julesh_
10K Followers 135 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Derek Dreyer @HerrDreyer
3K Followers 203 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Andrew Myers @AndrewCMyers
5K Followers 296 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
deech @deech
5K Followers 1K Following
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Nick @Nick31298367
1 Followers 46 Following
MelissaDabiri @MeliissaDabiri0
856 Followers 2K Following Sales Director at Ripple. Be the business. UCL #Ripple #XRP #XLM #|socoin20022 #NESARA #GESARA Awaken The New Financial System (WEB3 System)
Iva Hilpert @IHilpert27161
50 Followers 2K Following
IrisBarrie @6cPwJ3ay7q7UP6v
15 Followers 602 Following
INTOUCH FOUNDATION @mukisabrian510
942 Followers 7K Following 🤲 Small steps, big impacts Humanity in Action | Supporting Children & Families | Real life stories ¦ Real impact | 🫶 Donate | 🔔 Share | inspire 🌎
Elijah Shen @ElijahShen1
5 Followers 71 Following
HH Sheikh Mohammed @hh_sheikh75715
8 Followers 510 Following
Christa Muniz @ChristaMuniz90
742 Followers 7K Following
Nasser Ali @nassersala
265 Followers 232 Following THE FUTURE OF AI IS ALGEBRAIC and Nikon Z9 is the best camera ever made
Jan Decat @maskedattention
45 Followers 1K Following he/him. Mostly here for math/compsci news and resources.
juan @0_zeitgeist
57 Followers 292 Following
mohajer @rejahom
11 Followers 2K Following
Anish Tondwalkar @dlbydq
799 Followers 576 Following chief scientist at @d_model_ai | past: @openai, @googlebrain | missing punctuation = humor | present punctuation = humor ||
makingcolorblue @makingcolorblue
0 Followers 2K Following
Donato Quiccione @Piovego_
53 Followers 615 Following We chose to do these things not because they are easy, but because we thought they were easy. PhD student | Applied Topology ∩ Neuroscience
Taylor Sohns- CFP®, ... @LifeGoailInvest
124 Followers 1K Following The CNBC of X' - Wall Street Vets Simple Education on Markets & Economy
Michael Haufe @mlhaufe
177 Followers 232 Following Programming Language Theorist Software Systems Engineer USMC war veteran https://t.co/s25CQwWEUg
kkssxx xx @dmcyer
0 Followers 42 Following
ashish mishra @aegisAshish
147 Followers 388 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.
DevOps @TalaqAldhulayi
508 Followers 4K Following Entrepreneur and post-doctoral master's student in Artificial Intelligence and Machine Learning (catchGPT). @talaqalotaibi حسابي 2010
Saeid Akbari @saeidscorp
6 Followers 20 Following
Daniel Andem Edma Arm... @Jeffrey070311
424 Followers 4K Following
Alexander Codes @alexander_codes
926 Followers 2K Following Data Engineer ⌨️ | Tinkerer 👨💻 | Blogger 📖
Arnab Ray @aurnobray
39 Followers 245 Following Software engineer @_groww. Previously @udaandotcom @workatflipkart @emc. Distributed Systems | Programming Languages | History | Photography.
CachorroAzul @cachorroazul84
85 Followers 3K Following Gosto de programação | Avatar criado por catalyststuff - https://t.co/iVkznMbel0
Mohammad Alaggan, Ph.... @m_aggan
2K Followers 4K Following Sr. Software Development Engineer at @AWSCloud (CloudFront). Opinions are my own.
TronNova @EstellaNol87016
14 Followers 679 Following Secure Daily Crypto Earnings Made Easy! Target 50-100000 USDT per day. Rapid returns on a reliable platform. Start farming today! 💰🚀🛡️
Dmitry Skvortsov @DVSkvortsov
4 Followers 141 Following
ewind @ewind1992
15 Followers 213 Following
wander lelis @WanderleiA87347
65 Followers 2K Following um dia de cada vez noz chega onde noz quer chegar...forever
Ordeeekfon @Ordeeekfon4635
14 Followers 370 Following
Sleeffur @Sleeffuru0Y0m
115 Followers 7K Following
Mlecchaslayer @Mlecchasla75893
194 Followers 7K Following
Ushan Mithma @ushanmithma
45 Followers 1K Following
AxonDAO @AxonDAO
63K Followers 2K Following The Decentralized Science Operating System | Building the future of #DeSci 🌐 NVIDIA Inception | $AXGT token updates 👉 https://t.co/2kBnbzEIao
Marcus @t1tus_aurelius
19 Followers 419 Following
Linda James @LindaJames92231
1 Followers 232 Following
Tom Moertel @tmoertel
291 Followers 186 Following Software Guy into programming language theory and data analysis. Ex-Googler (2014–2024).
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Erik Meijer @headinthebox
31K Followers 2 Following
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
julesh @_julesh_
10K Followers 135 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Derek Dreyer @HerrDreyer
3K Followers 203 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Andrew Myers @AndrewCMyers
5K Followers 296 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Dr Eugenia Cheng --no... @DrEugeniaCheng
26K Followers 0 Following Pure Mathematician+pianist. Grieving involuntary childlessness. Author: Unequal: The mathematics of when things do and don't add up, out 2025
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
〚Dan R. Ghica〛 @danghica
1K Followers 312 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Ron Garcia @rg9119
2K Followers 429 Following Transmogrifies coffee into LaTeX at University of British Columbia
Hilary Campbell @HilaryJCampbell
1K Followers 1K Following Conductor and Chorus Master. MD @blossomstchoir @BristolChoral @WLondonChorus Associate Conductor @excathedrachoir DoM @KelloggOx
weird medieval guys B... @WeirdMedieval
614K Followers 172 Following by @tochterzwiebel // listen to my podcast with @aranptappers and ORDER MY BOOK OUT NOW // [email protected] for enquiries
Larry the Cat @Number10cat
870K Followers 145 Following Chief Mouser to the Cabinet Office. 18 year old tabby. Living with my sixth Prime Minister. Unofficial. I am the media, miaow.
Jimmy Koppel @jimmykoppel
3K Followers 302 Following Making every Claude Code user a 100x developer @ccdotdev. Turning good software engineers into great at https://t.co/r6u0DWASrS . Ph. D. in PL from @MIT.
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
cats with jobs 🛠 @CatWorkers
2.1M Followers 310 Following Good cats being workers • Unionized • Merch: https://t.co/eB4eSBdbRP
Bor-Yuh Evan Chang @bechang
604 Followers 391 Following Associate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.
Lambda Days @LambdaDays
3K Followers 990 Following 📅 Save the date for 2026: 11-12.06 Celebrate with us functional languages like #Haskell #Scala #Elm #Elixir #Gleam #Clojure 🦋We're on other platforms too📅
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.
Terrible Maps @TerribleMaps
1.7M Followers 1K Following The home of terrible maps with a pinch of humour [email protected]
Juuso Haavisto @osnnr
526 Followers 271 Following DPhil student in array programming languages @UniofOxford, operating system development at https://t.co/1lnFbKvkUA #BQN #NixOS
Steve McKeever @SteveMcKeever
98 Followers 216 Following Academic (PL, FP and OCaml) - https://t.co/AOELvXyGqR, Daddy and Endurance fiend. Attempting to learn Swedishness...
James Noble @jameskjx
1K Followers 564 Following
Jonathan Brachthäuse... @__protected
838 Followers 387 Following Researcher in computer science, all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa), JunProf. at Uni Tübingen. https://t.co/lvCLTiKbL1
Phil Freeman @paf31
5K Followers 262 Following
PLRG :: Bristol @PLRG_bristol
124 Followers 127 Following This is the twitter of the Programming Languages Research Group at the University of Bristol. https://t.co/TXmuMW96It
Steffen Zschaler @szschaler
625 Followers 630 Following Reader in Software Engineering. MDE, Languages, SE & Theatre. Director @the_mde_network. All views my own and not of @kingscollegelon.
Seen and Unseen @seenunseenmag
1K Followers 191 Following Discover a world that is greater, more full of meaning and sense than you ever imagined. 📰 Mag | 🎧 Podcasts: Re-enchanting, S&U Aloud, Godpod | 📩 Newsletter
Niki Vazou @nikivazou
3K Followers 464 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.
The Haskell Interlude @HaskelInterlude
598 Followers 11 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
Arie van Deursen @avandeursen
4K Followers 706 Following Professor in Software Engineering at TU Delft. Opinions are my own. He/him. Mastodon: https://t.co/nvGT1DkusE
Oege de Moor @oegerikus
6K Followers 603 Following CEO and founder of XBOW. Previously: Founder of GitHub Next, founder of GitHub Copilot, CEO and founder of Semmle (GitHub Advanced Security), prof at Oxford.
Susan Kare @SusanKare
26K Followers 520 Following Designer of icons and graphics, now at @Nianticlabs. Enjoy creating prints and murals and crafts. Please visit https://t.co/tMQ43SF1Oe
nrnrnr @nrnrnr
172 Followers 99 Following
Alastair Donaldson @afd_icl
3K Followers 428 Following Professor of Programming Languages at Imperial College London
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.
Threatening Music Not... @ThreatNotation
332K Followers 12 Following Cataloguing threatening music notation. DM submissions welcome—please include source whenever possible.
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Incunabula @incunabula
98K Followers 390 Following Bibliophile. The history of writing and of the book - across ALL cultures, from cuneiform 𒀁 to scroll 📜 to codex 📖 to Kindle.
VélociPListe @anormalform
726 Followers 1K Following pro: @[email protected] perso: @[email protected]
Aggelos Biboudis @biboudis
2K Followers 473 Following Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
CyberCat Institute @CyberCatInst
2K Followers 107 Following Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
Ulrik Buchholtz @UlrikBuchholtz
424 Followers 204 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham
vardifest @vardifest
45 Followers 1 Following Vardifest: "On the Not So Unusual Effectivenss of Logic"
ETAPS Conferences (no... @ETAPSconf
347 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
Max ⊶ New @maxsnew@... @ProfMaxNew
1K Followers 208 Following 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 ⚜️
Oxford University Ukr... @oxford_ukraine
2K Followers 40 Following Official Twitter of Oxford University Ukrainian Society
Andrey Mokhov @andreymokhov
2K Followers 181 Following From engineering to abstract mathematics and backTrends for United States
You might like
