Why Nostr? What is Njump? Join Nostr

Jeremy Gibbons

https://functional.cafe/@jer_gib

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly [@jer_gib](https://types.pl/@jer_gib ).

Web: https://www.cs.ox.ac.uk/people/jeremy.gibbons/
Twitter: [@jer_gib](https://functional.cafe/@jer_gib )
Blog: https://patternsinfp.wordpress.com/
Youtube: https://www.youtube.com/playlist?list=PLqFG9BDHUhiA1k3YXFb9U8HktruQ1tG97

Public Key

npub1349jhlr98dlp98leeyw2qyps5tkfxrhpkvrvyzhjnd6rua46mf8qpva38f

NIP-05 Address

jer_gib_at_functional.cafe@momostr.pink

Profile Code

nprofile1qqsg6jetl3jnklsjnluuj89qzqc29mynpmsmxpkzptefkap7w6ad5nspzpmhxue69uhkummnw3ezuamfdejsz9rhwden5te0wfjkccte9ejxzmt4wvhxjmcl00rzr

Publishing to

Author Public Key

npub1349jhlr98dlp98leeyw2qyps5tkfxrhpkvrvyzhjnd6rua46mf8qpva38f

Show more details

Last Notes

2026-10-23 08:02:22 UTC

- reply

If only there were some extremely well financed companies with a sudden interest in mathematics, who might donate some funds to support this

2026-09-09 14:47:46 UTC

We have two Associate Professorship with Tutorial Fellowship positions open, one at Wadham College and one at Christ Church. Despite the odd names, these are our standard academic faculty positions. Both also have quite generous additional housing allowances. Closing date 16th Dec. Happy to answer any questions. https://www.cs.ox.ac.uk/aboutus/vacancies/vacancy-faculty-hiring.html

2026-06-26 18:18:56 UTC

Sent off to the publisher today. At last! Still got the index, the solutions to exercises, and a proofread to go. But the end is in sight.
https://files.functional.cafe/media_attachments/files/116/817/781/342/594/500/original/6c0cbfaf7a264c47.jpg

2026-06-25 14:40:42 UTC

- reply

When the monoid is sequences with concatenation, the star gives infinite periodic sequences (or the empty sequence). Those aren't *the* maximal events, but they are maximal.