<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <updated>2026-10-31T17:23:33Z</updated>
  <generator>https://nostr.now</generator>

  <title>Nostr notes by Jeremy Gibbons</title>
  <author>
    <name>Jeremy Gibbons</name>
  </author>
  <link rel="self" type="application/atom+xml" href="https://nostr.now/npub1349jhlr98dlp98leeyw2qyps5tkfxrhpkvrvyzhjnd6rua46mf8qpva38f.rss" />
  <link href="https://nostr.now/npub1349jhlr98dlp98leeyw2qyps5tkfxrhpkvrvyzhjnd6rua46mf8qpva38f" />
  <id>https://nostr.now/npub1349jhlr98dlp98leeyw2qyps5tkfxrhpkvrvyzhjnd6rua46mf8qpva38f</id>
  <icon>https://files.functional.cafe/accounts/avatars/110/853/908/057/317/071/original/d2d2d25541c45944.jpg</icon>
  <logo>https://files.functional.cafe/accounts/avatars/110/853/908/057/317/071/original/d2d2d25541c45944.jpg</logo>




  <entry>
    <id>https://nostr.now/nevent1qqs9wup9d0y037ylqeq55ndcyqws4enwvdsccn2mvnrzya5y5dawgzszyzx5k2luv5ahuy5ll8y3egqsxz3weycwuxesdss272dhg0nkhtdyuk2quad</id>
    
      <title type="html">If only there were some extremely well financed companies with a ...</title>
    
    <link rel="alternate" href="https://nostr.now/nevent1qqs9wup9d0y037ylqeq55ndcyqws4enwvdsccn2mvnrzya5y5dawgzszyzx5k2luv5ahuy5ll8y3egqsxz3weycwuxesdss272dhg0nkhtdyuk2quad" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsxzgwvyemhfzqrlrvktdhgl2xd9nut80h20vqzyuef9tdk8p4dvfqmwnvta&#39;&gt;nevent1q…nvta&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;If only there were some extremely well financed companies with a sudden interest in mathematics, who might donate some funds to support this
    </content>
    <updated>2026-10-23T08:02:22Z</updated>
  </entry>

  <entry>
    <id>https://nostr.now/nevent1qqs2qe5dhga4zwahudsgztj8mykzgt3djzldzqmvl6p23drqj2wpvkszyzx5k2luv5ahuy5ll8y3egqsxz3weycwuxesdss272dhg0nkhtdyupjrtyd</id>
    
      <title type="html">We have two Associate Professorship with Tutorial Fellowship ...</title>
    
    <link rel="alternate" href="https://nostr.now/nevent1qqs2qe5dhga4zwahudsgztj8mykzgt3djzldzqmvl6p23drqj2wpvkszyzx5k2luv5ahuy5ll8y3egqsxz3weycwuxesdss272dhg0nkhtdyupjrtyd" />
    <content type="html">
      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. &lt;a href=&#34;https://www.cs.ox.ac.uk/aboutus/vacancies/vacancy-faculty-hiring.html&#34;&gt;https://www.cs.ox.ac.uk/aboutus/vacancies/vacancy-faculty-hiring.html&lt;/a&gt;
    </content>
    <updated>2026-09-09T14:47:46Z</updated>
  </entry>

  <entry>
    <id>https://nostr.now/nevent1qqsdx0ewc3jj6kmge5rjg9y5g84gvvxrtlk0dseqmgvfh4hmk6thmvqzyzx5k2luv5ahuy5ll8y3egqsxz3weycwuxesdss272dhg0nkhtdyuy4scyn</id>
    
      <title type="html">Sent off to the publisher today. At last! Still got the index, ...</title>
    
    <link rel="alternate" href="https://nostr.now/nevent1qqsdx0ewc3jj6kmge5rjg9y5g84gvvxrtlk0dseqmgvfh4hmk6thmvqzyzx5k2luv5ahuy5ll8y3egqsxz3weycwuxesdss272dhg0nkhtdyuy4scyn" />
    <content type="html">
      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.&lt;br/&gt; &lt;img src=&#34;https://files.functional.cafe/media_attachments/files/116/817/781/342/594/500/original/6c0cbfaf7a264c47.jpg&#34;&gt; &lt;br/&gt;
    </content>
    <updated>2026-06-26T18:18:56Z</updated>
  </entry>

  <entry>
    <id>https://nostr.now/nevent1qqs9w0lqwywrdsckrhdv5f97fgkqwhy3mhkrjser38vvuzs2q5gk00qzyzx5k2luv5ahuy5ll8y3egqsxz3weycwuxesdss272dhg0nkhtdyuaymmuz</id>
    
      <title type="html">When the monoid is sequences with concatenation, the star gives ...</title>
    
    <link rel="alternate" href="https://nostr.now/nevent1qqs9w0lqwywrdsckrhdv5f97fgkqwhy3mhkrjser38vvuzs2q5gk00qzyzx5k2luv5ahuy5ll8y3egqsxz3weycwuxesdss272dhg0nkhtdyuaymmuz" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsqfgnm5eg5nealnmjgaanxq4xy46zgrmdjejc7l48ld7xjz3ad9qg6gu8x7&#39;&gt;nevent1q…u8x7&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;When the monoid is sequences with concatenation, the star gives infinite periodic sequences (or the empty sequence). Those aren&amp;#39;t *the* maximal events, but they are maximal.
    </content>
    <updated>2026-06-25T14:40:42Z</updated>
  </entry>

</feed>