Jeremy Gibbons

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.

Public Key

npub1zlulap8uaa3eyusd9j85cnfsemh8as8kd76pu4qsckuuj9z340asrch9ry

NIP-05 Address

jer_gib@functional-cafe.mostr.pub

Profile Code

nprofile1qqsp0707sn7w7cujwgxjer6vf5cvamn7crmxldq72sgvtwwfz3g6h7cpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43q00lru6

Publishing to

relay.ditto.pub

Author Public Key

npub1zlulap8uaa3eyusd9j85cnfsemh8as8kd76pu4qsckuuj9z340asrch9ry

Show more details

Last Notes

2026-02-06 20:26:08 UTC

- reply

@nprofile…xuzd I'm happy that we don't attempt to compete. Your lucky students have achieved escape velocity: they have succeeded. If we had that much money to spare, we should spend it on scholarships to allow more people to enjoy the privilege without incurring crippling debts or having to flip burgers.

2026-01-24 17:45:47 UTC

Last boost: pretty sobering. What use are correct programs when the hardware is not?

2026-01-16 17:48:25 UTC

- reply

@nprofile…xuzd I'm hoping that the new home of JFP will use a skin over ACMART, so it will be easy to send the extended version of your ICFP paper.

2026-01-10 10:32:48 UTC

- reply

@nprofile…t6k2 I don't understand why the Midlands got so much snow when we in Oxford got none. We're not far apart; you're a bit higher than us, but not a lot. I'm not aware that your weather patterns are functionally different from ours.

2025-12-19 17:55:13 UTC

- reply

@nprofile…w8t5 Perhaps there's just a biscuit crumb stuck in the mouse? Do you have a spare USB mouse to use instead?

2025-12-18 17:04:32 UTC

- reply

@nprofile…p67e @nprofile…8v7h ACM's purpose in this ill-advised scheme was evidently *not* to "help you find, understand and use ACM content both more quickly and more deeply". If that had been the purpose, it wouldn't have been behind a paywall. The purpose was clearly revenue generation.

2025-11-14 15:19:48 UTC

- reply

@nprofile…4x5t I tried that without the "--lib". Would that make any difference? For GLFW, I got an error while compiling (not finding Cocoa, iirc). For HGL, it compiled, but when running complained that it couldn't open an X display (do I need to start an X server first?).

2025-11-14 13:37:08 UTC

Haskell gurus: is it still possible these days (on a modern Mac) to run the Haskell School of Expression code from Paul Hudak's book? My attempts to install HGL and GLFW have been unsuccessful.

2025-11-13 20:41:54 UTC

- reply

@nprofile…rrqe Just save next year's paper for two years' time.

2025-11-07 22:24:42 UTC

- reply

@nprofile…rrqe I think we must be talking at cross purposes. I'm not defending UK salaries, and indeed the NHS is creaking at the seams. But you seem to be arguing that better medical coverage for the privileged few is a benefit of the US approach. I think that the consequent greater social inequality is on the other side of the ledger.

2025-11-07 19:49:49 UTC

- reply

@nprofile…rrqe I think you're missing the point. The perk that the NHS represents is not health care for people like you and me, but for the kinds of people you depend on who don't wouldn't be covered by the fancy full health insurance.

2025-10-26 17:56:10 UTC

- reply

@nprofile…stct Maybe that why it's not called WHSmith any more... https://www.theguardian.com/business/2025/mar/28/what-does-wh-smith-new-high-street-name-tgjones-actually-mean-modella

2025-10-25 16:43:34 UTC

- reply

@nprofile…w47d They're available in every convenience store and supermarket in Japan. They're a fantastic invention!

2025-10-06 19:51:52 UTC

- reply

The whole proceedings is now freely accessible from Springer, until the end of November. Follow the referral link at https://trendsfp.github.io/2025/

2025-10-05 15:48:48 UTC

Delighted to announce that the proceedings of TFP2025 are now (finally) published: https://link.springer.com/book/10.1007/978-3-031-99751-8 Thanks to authors and reviewers for making this happen!

2025-10-02 19:34:55 UTC

- reply

@nprofile…hszg @nprofile…6al5 Reinventing literate programming?

2025-06-09 07:41:19 UTC

From the TYPES mailing list, Ichiro Hasuo posts about open positions at assistant and associate prof level (but I think not generally in line for tenure) at NII in Tokyo. He says: "I can certainly speak about my experience: Research is the top priority here. Little teaching (~ one course every two years for me); no undergrad students. You can still recruit and supervise grad students. Speaking Japanese is not needed at all (though it'll help your daily life). I enjoy scientific freedom. Yes, freedom." In case there are any refugees out there looking for at least temporary respite...
https://lists.seas.upenn.edu/pipermail/types-announce/2025/012009.html

2025-06-05 08:04:32 UTC

- reply

@nprofile…r8sr @nprofile…hszg Presumably it does "just work" if you only use git at one end?

2025-05-30 19:14:38 UTC

- reply

@nprofile…6kk0 I was thinking about having some sympathy for those unable to provide clear bug reports.

2025-05-30 09:39:37 UTC

- reply

@nprofile…6kk0 @nprofile…nalw I don't know what kind of bug reports you have in mind, but have you never done tech support for non-techy relatives?

2025-05-14 20:06:37 UTC

- reply

@nprofile…hszg @nprofile…den0 I too am puzzled. Aren't you both using the same (X->R)->TX, where for @nprofile…den0 T is the finite non-empty powerset monad?

2025-03-21 20:34:19 UTC

- reply

@nprofile…59k6 I meant archaic in British English. Perhaps the citations will show British uses before 1850. I don't think I've ever heard it used that way.

2025-03-21 20:17:26 UTC

- reply

@nprofile…59k6 Does Merriam Webster give you dated citations, like OED does? Surely the "to the point" sense is the original, but perhaps now archaic.

2025-01-29 20:45:54 UTC

- reply

@nprofile…6kk0 News today: https://www.ox.ac.uk/news/2025-01-29-oxford-comes-first-medicine-and-computer-science-rankings Those ranking results are thanks to our people, not our architecture. Our house prices are outrageous, our salaries modest (even compared to most UK universities, because most people with the title of Professor don't get the corresponding salary), yet still great people come. I'm sure you could tell the same story.

2025-01-29 20:42:26 UTC

- reply

@nprofile…6kk0 Haven't you answered your own question? Perhaps there are others like you who are not motivated primarily by money, and would choose the Oxford-Cambridge corridor over Palo Alto.

2024-12-27 20:20:41 UTC

- reply

@nprofile…e5g0 See this lovely paper, by my former student Maaike Zwart with @nprofile…49fg: https://arxiv.org/abs/2003.12531

2024-12-17 20:26:21 UTC

Early registration deadline has been extended until this Friday, 20th December for Trends in Functional Programming in Oxford in January. 28 contributed talks, three keynotes, plus Trends in FP in Education!
https://trendsfp.github.io/index.html