2026-04-09T19:25:08Z https://yabu.me julesh https://yabu.me/npub1whrara5n38jvwcnkhwz346nl2sn969zu0guk0pvfeltzecn2axesdzqc2t https://media.mathstodon.xyz/accounts/avatars/109/257/794/123/587/158/original/36ca43f59c382f91.jpg https://media.mathstodon.xyz/accounts/avatars/109/257/794/123/587/158/original/36ca43f59c382f91.jpg https://yabu.me/nevent1qqsxs93favnuqk85x7kk6s98ejy2q6pgts3p5kk280e7j9qken7pm0qzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxe62xlq The number of gifts sent to you by your true love up to and including the 𝑛th day of Christmas is<br/>𝑛(𝑛+1)(𝑛+2)/6<br/><a href="https://oeis.org/A000292">https://oeis.org/A000292</a> 2025-12-25T10:39:36Z https://yabu.me/nevent1qqsxpc4sp9gynvqggfee4l0ew6wvjrhmvhamd8cwfrf2g306ghtmvxqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxd3kzhg For some reason I was 100% convinced Wikipedia was based in Sweden, I&#39;m actually horrified to learn that it&#39;s entirely American<br/><br/>So...... rest-of-world alternatives to Wikipedia? 2025-09-29T22:20:31Z https://yabu.me/nevent1qqswkzr67tr9r2pj8runl3y7kngpt3l6nz72cqcpklxl8ff0kk3dd6czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxsdgy6c In reply to <a href='/nevent1qqs2rvampmfhn2vuuleveefdcgkw0l9kx9t5x2yfh2zxvaj9x0s3pfcyra2le'>nevent1q…a2le</a><br/>_________________________<br/><br/>You probably have an unreasonable number of category theorists who follow you... I consider the most important definition I know to be that of monoidal categories. Specifically the one due to Kelly, which only needs 2 coherence diagrams 2025-08-12T22:49:28Z https://yabu.me/nevent1qqs2lpkk5cj9wfjr4udfmscu07qv57ttnt9g9rwaz6ygh4h6e9svn6czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxywsara In reply to <a href='/nevent1qqsztshmh9ydf37k9hm7w3rcmjsswwq345tvtunz73rfnkygds5zxjq6uf0kx'>nevent1q…f0kx</a><br/>_________________________<br/><br/>For those who don&#39;t know, PhD positions in the UK that are not just open to UK citizens (or those with existing residence permits) are rare as hens teeth 2025-04-01T19:37:14Z https://yabu.me/nevent1qqs94yt6qxjetljw45rayyh8lrqcwyr7mqengtjalvpny7lwrzfa6vczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxpjnhnq In reply to <a href='/nevent1qqsvpfja7thg44qqgdlvvhv5tretdar0fw8tua3wlcjk4u0qvpj0gfcm3lyak'>nevent1q…lyak</a><br/>_________________________<br/><br/>I&#39;m thinking of moving my stuff github stuff to codeberg for exactly this reason. Now arXiv, I had not thought about that until now..... 2025-02-15T17:35:32Z https://yabu.me/nevent1qqs9net0pvzk4shr8j3thrsnh0hwnt7fmgthuzcgw90a7pgz8n6e7kszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxsr7cda Prediction: over the next decade or 2 the remaining basic principles of proof assistants will be figured out, and the first minimally viable language will be proudly handed over to the mathematicians, who will then look at the millions of lines of code they&#39;ve already written in Lean and collectively decide to just keep building on that. Only another decade or 2 after that will they learn the meaning of &#34;technical debt&#34; 2024-12-17T17:34:26Z https://yabu.me/nevent1qqsdk3hmzvwwsrt42lmu788r59crzdxg0wp0wdsym4kpqfrtaw6fg5gzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx8cm5ql Basic question but I&#39;m not 100% sure: it&#39;s not possible to have a &#34;reasonable&#34; syntax that captures exactly the total computable functions N → N, right? 2024-11-06T12:26:28Z