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
-
Following260
-
Likes22K
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…
0
2
7
547
0
Jeremy Gibbons retweeted
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…
Jeremy Gibbons retweeted
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.
Jeremy Gibbons retweeted
Alexander Dinges and Ralf Hinze present a dramatic pearl about binary search with Agda. cambridge.org/core/journals/…
Jeremy Gibbons retweeted
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/…
Jeremy Gibbons retweeted
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/…
Jeremy Gibbons retweeted
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/…
Jeremy Gibbons retweeted
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
Jeremy Gibbons retweeted
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
Jeremy Gibbons retweeted
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…
Jeremy Gibbons retweeted
American confused by the presence of clouds in the UK
Jeremy Gibbons retweeted
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
Jeremy Gibbons retweeted
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!
Jeremy Gibbons retweeted
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…
Ichiro Hasuo announces open positions at asst & assoc prof level (but not tenured) at NII in Tokyo. In case there are any refugees out there looking for at least temporary respite... lists.seas.upenn.edu/pipermail/type…
Jeremy Gibbons retweeted
It's the little things that make our day!
It's the little things that make our day!
Graham Hutton @haskellhutt
8K Followers 697 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
19K 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 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Andrew Myers @AndrewCMyers
5K Followers 295 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
15K Followers 333 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)
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
IrisBarrie @6cPwJ3ay7q7UP6v
0 Followers 84 Following
𝐇𝐎𝐏𝐄 𝐈... @shalommukisa
696 Followers 5K Following 🌍 You + Us = A future worth building ¦ Humanity in Action! Supporting Children & Families! Real life stories. Real impact 🫶 ¦ 👇 Be the reason ↓ Donate Now 📥
Elijah Shen @ElijahShen1
5 Followers 68 Following
HH Sheikh Mohammed @hh_sheikh75715
5 Followers 337 Following
Christa Muniz @ChristaMuniz90
662 Followers 6K Following
Rukor @Rukor290229
43 Followers 2K 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
44 Followers 1K Following he/him. Mostly here for math/compsci news and resources.
Ywhatieh @Ywhatieh109358
12 Followers 1K Following
juan @0_zeitgeist
49 Followers 284 Following
mohajer @rejahom
11 Followers 2K Following
Anish Tondwalkar @dlbydq
776 Followers 566 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_
52 Followers 608 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
141 Followers 1K Following The CNBC of X' - Wall Street Vets Simple Education on Markets & Economy
Michael Haufe @mlhaufe
174 Followers 229 Following Programming Language Theorist Software Systems Engineer USMC war veteran https://t.co/s25CQwWEUg
kkssxx xx @dmcyer
1 Followers 42 Following
ashish mishra @aegisAshish
143 Followers 386 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.
DevOps @TalaqAldhulayi
519 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 OROCHI @Jeffrey070311
415 Followers 3K Following
Alexander Codes @alexander_codes
919 Followers 2K Following Data Engineer ⌨️ | Tinkerer 👨💻 | Blogger 📖
Arnab Ray @aurnobray
39 Followers 243 Following Software engineer @_groww. Previously @udaandotcom @workatflipkart @emc. Distributed Systems | Programming Languages | History | Photography.
CachorroAzul @cachorroazul84
89 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
13 Followers 681 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
14 Followers 213 Following
wander lelis @WanderleiA87347
64 Followers 2K Following um dia de cada vez noz chega onde noz quer chegar...forever
Ordeeekfon @Ordeeekfon4635
19 Followers 377 Following
Melon @amrevveejnas
624 Followers 6K Following
Sleeffur @Sleeffuru0Y0m
107 Followers 6K Following
Mlecchaslayer @Mlecchasla75893
196 Followers 8K Following
Ushan Mithma @ushanmithma
44 Followers 1K Following
AxonDAO @AxonDAO
72K Followers 2K Following the Official AxonDAO | Building the future of #DeSci 🌐 NVIDIA Inception | $AXGT token updates 👉 https://t.co/2kBnbzEIao
Marcus @t1tus_aurelius
16 Followers 420 Following
Linda James @LindaJames92231
1 Followers 234 Following
Tom Moertel @tmoertel
290 Followers 186 Following Software Guy into programming language theory and data analysis. Ex-Googler (2014–2024).
Friday Micheal @FridayMich47727
39 Followers 955 Following
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh @satnam6502
19K 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 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Andrew Myers @AndrewCMyers
5K Followers 295 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
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
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 313 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 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
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 ⚜️
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
616K Followers 173 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 146 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 293 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 313 Following Good cats being workers • Unionized • Merch: https://t.co/eB4eSBdbRP
Bor-Yuh Evan Chang @bechang
603 Followers 392 Following Associate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.
Lambda Days @LambdaDays
3K Followers 995 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 217 Following Academic (PL, FP and OCaml) - https://t.co/AOELvXyGqR, Daddy and Endurance fiend. Attempting to learn Swedishness...
James Noble @jameskjx
1K Followers 565 Following
Jonathan Brachthäuse... @__protected
821 Followers 385 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
123 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
627 Followers 631 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
586 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 710 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 602 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.
School of Informatics... @InfAtEd
7K Followers 0 Following School of Informatics, The University of Edinburgh
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 430 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
333K 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 391 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
1K Followers 109 Following Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
Ulrik Buchholtz @UlrikBuchholtz
427 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
346 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
Oxford University Ukr... @oxford_ukraine
2K Followers 40 Following Official Twitter of Oxford University Ukrainian SocietyTrends for United States
94 B posts
132 B posts
55,5 B posts
27,6 B posts
30,3 B posts
47,3 B posts
3.658 posts
16,1 B posts
24,8 B posts
123 B posts
1.503 posts
1.096 posts
3.479 posts
32,1 B posts
2.703 posts
10,8 B posts
7.725 posts
6.223 posts
1.809 posts
You might like
Edward Kmett
@kmett
16K Followers
Graham Hutton
@haskellhutt
8K Followers
Well-Typed
@welltyped
6K Followers
ICFP Conference
@icfp_conference
4K Followers
João Forte Carvalho ...
@bgamari
2K Followers
Tweag
@tweagio
6K Followers
Andres Löh
@kosmikus
3K Followers
Derek Dreyer
@HerrDreyer
3K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
POPL 2026
@poplconf
3K Followers
Joachim Breitner
@nomeata
2K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
Lennart Augustsson
@Augustsson
2K Followers
Dominic Orchard
@dorchard
2K Followers
gelisam
@haskell_cat
1K Followers