2026-10-27T17:28:03Z https://nostr.now Ulrik Buchholtz https://nostr.now/npub1t3pp54h6zklpzr7rh5fp742lsry5f49p5e98nacmz8kz5guc060syem5ef https://media.mathstodon.xyz/accounts/avatars/000/003/086/original/50b5f7e76e549dcc.jpg https://media.mathstodon.xyz/accounts/avatars/000/003/086/original/50b5f7e76e549dcc.jpg https://nostr.now/nevent1qqs9aqty7mp6ss3mahznjaeayfd6j6kfucjnjxayqeqgz3hz4tzrvqczypwyyxjklg2muyg0cw73y864t7qvj3x55xny570hrvg7c23rnplf7ydvfvh I haven&#39;t seen this announced here: My colleague Thorsten Altenkirch launched a new podcast #aboutlogic together with cohost <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub137lz3eems5f0we8m8a70ts6085zv3tvt4k3kevfjgdv6f8ajj7lsh5dqtl" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Deniz Sarikaya</span> (<span class="italic">npub137l…dqtl</span>)</a></span> – I enjoyed the first three episodes with Thorsten, Deniz, and <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1vzxa0v32meu5krw7989cfnladxlel8x5wuqzaquzqmrgedueajuq7fncd7" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Kevin Buzzard</span> (<span class="italic">npub1vzx…ncd7</span>)</a></span>, respectively. Find it in your podcast app (RSS <a href="https://aboutlogic.podigee.io/feed/mp3">https://aboutlogic.podigee.io/feed/mp3</a>) or watch on YouTube (<a href="https://www.youtube.com/@aboutlogic">https://www.youtube.com/@aboutlogic</a>). #logic #mathematics #philosophy #computerscience 2026-01-17T17:16:31Z https://nostr.now/nevent1qqsd3m52qtfgaduuakuk4w6m2htejxrl8zf3fcnam5l2h62t6h3rjnqzypwyyxjklg2muyg0cw73y864t7qvj3x55xny570hrvg7c23rnplf7yu8sdt In reply to <a href='/nevent1qqsv43skgzr4d8lgfffrcct9ye96mf9ytkq5fptwy6cqr4au0amt9lsstvzt6'>nevent1q…vzt6</a><br/>_________________________<br/><br/>“What are they called in some other language?” <br/>In Latin they are called “duris” and “mollis”(hard and soft), which survives into German as “Dur/Moll” (and similar in Danish “dur/mol” and other related languages). [@counting_is_hard](<a href="https://mathstodon.xyz/@counting_is_hard">https://mathstodon.xyz/@counting_is_hard</a> ) <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1zz2mah7y6j4nld7dwedl7eh0yph4swkkv88spuvh0urq32xgz3ws459mhx" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Paul Schwahn</span> (<span class="italic">npub1zz2…9mhx</span>)</a></span> 2025-12-25T14:53:01Z https://nostr.now/nevent1qqs8sachluuq0t5fxe6ad87fyp6kqvswxeelar5fpm838v45jxdtcagzypwyyxjklg2muyg0cw73y864t7qvj3x55xny570hrvg7c23rnplf7a9ensc At the School of Computer Science at the University of Nottingham, we just opened applications for a limited number of PhD studentships. They are open to students of any nationality, but non-home students must be able to cover the additional cost of international tuition fees. Please see here for details on joining us at the Functional Programming Lab: <a href="https://people.cs.nott.ac.uk/pszgmh/phd-advert.html">https://people.cs.nott.ac.uk/pszgmh/phd-advert.html</a> 2025-12-06T14:03:41Z