Christian, functional programmer, bass player, increasingly absent-minded prof. Also @jer_gib@functional.cafe
Joined September 2014
- Tweets 4,254
- Following 252
- Followers 2,254
- Likes 21,786
92 Photos and videos
Pinned Tweet
7 Nov 2022
Just in case this Norwegian Blue shuffles off its mortal coil, you can find me @jer_gib@types.pl on Mastodon.
2
13
Jeremy Gibbons retweeted
1
22
138
3,749
Jeremy Gibbons retweeted
FP friends -- I'm pleased to announce that JFP is establishing the Richard Bird Distinguished Dissertation Award, to recognise an outstanding PhD dissertation in functional programming. Please share! tinyurl.com/jfp-bird-award
1
8
31
1,776
Jeremy Gibbons retweeted
7 Mar 2021
Friends don't let friends use dynamic types
22
318
1,874
Jeremy Gibbons retweeted
Apr 30
Having been part of the industry for 50 years, I can confidently report that none of this is true.
Sure, writing code has a non-zero cost; this is true of any artifact.
But you know what costs even more, Jonathan?
Writing bad code; writing unnecessary code; writing more code than you really need simply because you think you might need it someday or you are too lazy or sloppy to clean up after yourself.
Anything that costs nothing is often worth nothing as well, and results in significant unintended consequences.
Apr 30
For 50 years, software engineering ran on code rationing. Writing code was expensive, so we rationed it carefully through roadmaps, RFCs, prioritization meetings, and scope reviews.
This created a role: the No Engineer. No, that won't scale. No, we don't have bandwidth. No, that's out of scope. No, we need a design doc first. The No Engineer was valuable for 50 years. Every "no" saved real money. Their judgment was the rationing system.
LLMs will be the end of code rationing. Code is cheap now. And while the No Engineer is explaining why something can't be done, the Yes Engineer has already shipped three versions of it.
If you're a Yes Engineer, the next decade is yours.
85
238
2,314
132,985
Jeremy Gibbons retweeted
perfect time to deploy my all time favorite meme
Apr 18
Becoming successful is not luck. It’s math.
If your probability of success is 1/100 and you try 100 times, you have a 100% chance of success.
Community note
The post encourages persistence, but the stated probability is inaccurate. For independent trials with 1/100 success chance each, the probability of at least one success in 100 tries is about 63%, not 100%. Calculation: 1 - (0.99)^100 ≈ 0.634
en.wikipedia.org/wiki/Binomial_… math.stackexchange.com/questions/1885…
29
1,098
10,773
229,792
Jeremy Gibbons retweeted
Looks like a great book on formal methods coming up in April 2026 .. Formal Methods, Informally by Emeritus Professor Carroll Morgan, based on the former course CS6721 (In)-Formal Methods.
link: cambridge.org/highereducatio…
The ToC looks great (see attached image) ..
5
42
276
45,992
Jeremy Gibbons retweeted
Our lab will host FLOPS 2026 at the end of next month. A discounted registration option is now available for student volunteers. We hope to see many student participants in Tsukuba!
functional-logic.org/events/…
7
6
776
Do you have new research ideas in array-oriented programming? Then submit your work as a full paper or extended abstract to ARRAY 2026 by April 1 AoE! For more info about ARRAY 2026 and the submission process see pldi26.sigplan.org/home/ARRA….
5
13
1,195
Feb 10
Or, y'know, a cab?
One of the most obvious use cases for autonomous vehicles is for seniors who want to maintain independence but are no longer safe behind the wheel.
We need to facilitate the rollout of AVs *as fast as possible.*
1
308
Jeremy Gibbons retweeted
Feb 10
German place-names rendered into English (morphologically reconstructed from historical forms)
88
172
3,112
524,259
Jeremy Gibbons retweeted
If you want to say hi during my UK trip, I'll be visiting/speaking at the following places. Grab a slot on my schedule!
ALT | Date | Day | Venue | | ------ | ------ | --------------------- | | Feb 09 | Mon | U Edinburgh | | Feb 10 | Tue | U Edinburgh | | Feb 11 | Wed | SPLS @ St. Andrews | | Feb 12 | Thu PM | Strathclyde | | Feb 13 | Fri | U Glasgow | | Feb 17 | Tue | Imperial College | | Feb 18 | Wed | King's College London | | Feb 19 | Thu PM | Cambridge U | | Feb 20 | Fri | Cambridge U | | Feb 23 | Mon | U Oxford | | Feb 25 | Wed | S-REPLS @ Bristol | | Feb 26 | Thu | U Bristol |
1
1
14
1,623
Okay so, we just found that over 50 papers published at @Neurips 2025 have AI hallucinations
I don't think people realize how bad the slop is right now
It's not just that researchers from @GoogleDeepMind, @Meta, @MIT, @Cambridge_Uni are using AI - they allowed LLMs to generate hallucinations in their papers and didn't notice at all.
It's insane that these made it through peer review👇
280
1,396
6,300
1,002,236
Jeremy Gibbons retweeted
11 Nov 2025
We're delighted to announce that the JFP Special Issue on Program Calculation is now complete, and contains eleven papers that are freely available to read online! tinyurl.com/JFP-prog-calc
3
14
80
9,605
Jeremy Gibbons retweeted
6 Nov 2025
Torpenhow Hill in Cumbria supposedly means “Hill Hill Hill Hill.” Each part comes from a different language: Old English, Brythonic, Norse, and modern English. Basically, four groups saw the same hill and each decided to label it “hill” again.
13
24
440
58,812
Jeremy Gibbons retweeted
23 Oct 2025
From now on, I'm only publishing in Nature Cell and Science
cellnatsci.com/
15
39
408
46,397
Jeremy Gibbons retweeted
19 Oct 2025
me every day
2
5
1,030
Jeremy Gibbons retweeted
12 Oct 2025
The plan? At dusk, 50 people went to San Francisco's longest dead-end street and all ordered a Waymo at the same time.
The world's first: WAYMO DDOS
299
1,500
30,863
2,111,267