2026-10-25T04:47:08Z https://nostr.now julesh https://nostr.now/npub1whrara5n38jvwcnkhwz346nl2sn969zu0guk0pvfeltzecn2axesdzqc2t https://media.mathstodon.xyz/accounts/avatars/109/257/794/123/587/158/original/857cdd886276b33c.png https://media.mathstodon.xyz/accounts/avatars/109/257/794/123/587/158/original/857cdd886276b33c.png https://nostr.now/nevent1qqsdygkrg2f0v9eg8nzpsfzc2e0jtg7yytchafm7zh4pt8zzdjyhe2szyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxvzcz9a Haii<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/117/367/776/623/364/426/original/addb42070345fd85.jpg"> <br/> 2026-10-01T21:29:11Z https://nostr.now/nevent1qqsyauujevphyyz5f2qcatu65f8d8v03m07fp383k8n308k3ptgaycszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxgut7t0 In reply to <a href='/nevent1qqswy48k9swsvfkftqv9zxt2x84rlm3nmw0sjdqycyenp88f3gxujfq2vtgfs'>nevent1q…tgfs</a><br/>_________________________<br/><br/>When you put it like that, there is one recognisable historical parallel: Galois 2026-09-24T10:35:07Z https://nostr.now/nevent1qqsxlhtpacrp08vwxl7z49l339h3fm7ay8uhl7q9desw87ccvyuy6tgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxypcrl9 We had a very close encounter with a very inquisitive fops<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/117/305/171/003/592/728/original/46dd3f5821b37397.jpg"> <br/> 2026-09-20T20:08:09Z https://nostr.now/nevent1qqsyesnll6hxyjgq2aq92c92y7pnq04303hzx2zv7qnlxxtyh3kfhxczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxq0fpv7 In reply to <a href='/nevent1qqs222v723dxw6mdaxm3q9p3ltt97lp6tm2ptel7vxq3a577zv8hdxce05ppd'>nevent1q…5ppd</a><br/>_________________________<br/><br/>Congratulations on writing a twoot that could be easily misattributed to Einstein 2026-09-03T17:17:24Z https://nostr.now/nevent1qqsgc7qg4vxssgs5lu7fwzmkan0k7pc3u0n0fqp3el9fdca55mq3amqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx3ljfus I feel like enough time has passed that somebody could get away with making a new sketch about the Spanish Inquisition. For sure nobody would expect it. 2026-08-15T19:19:16Z https://nostr.now/nevent1qqsvdqqtek8f53he2fnnnnvrgj8usx2pm303tpwlzgd4mjtkg0nmtyczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxpekran Help the sun has been eaten by a giant catgirl<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/117/083/918/628/218/027/original/716176011e80f2c3.jpg"> <br/> 2026-08-12T18:20:32Z https://nostr.now/nevent1qqswpxec0m6vjget7as9k2k64n0x9h3fvemqdpzwdgmwstsmn8y6zkgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxn678wj In reply to <a href='/nevent1qqsp6c6flsujgjass5ldenr5uynssn8hwnsr93helacf68x97s3m9fg37v6hy'>nevent1q…v6hy</a><br/>_________________________<br/><br/>I think I never knew that the Tarski high school algebra axioms even had finite models at all, but now I think about it it&#39;s not really any more weird than the existence of finite fields 2026-08-11T19:27:21Z https://nostr.now/nevent1qqspts60v9yzt3uzxm5mee9wwlj6789a3etfy0e976rpt6ww0086glszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxqpxvum In reply to <a href='/nevent1qqsd0wvpgwvw6tfjrmm8t4vrkaymv2kftctuzdmc8wfhdeuvu3mgplgem7nyg'>nevent1q…7nyg</a><br/>_________________________<br/><br/>Mildly interesting side comment, at some point Paul did start taking acid but John and George still made fun of him for being a &#34;casual&#34; user and not taking it seriously as a lifestyle, and this is the secret meaning of Day Tripper 2026-08-08T11:07:32Z https://nostr.now/nevent1qqsy9ckcv2p6qwe7zrzd8g0cwx90xk5dnqcd6m6l9mfy87lft4rka3czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx3lh7sn Just realised you can swap the tunes between<br/>If I stay there will be trouble / If I go there will be double<br/>and<br/>Generals gathered in their masses / Just like witches at black masses 2026-08-06T10:19:29Z https://nostr.now/nevent1qqsfus7c7tq8802nezfzjydhd3sttw7n5uzqqtmk453793pwtekyu6czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxxht3hw Holy shit I have a linux machine and I can finally play a bunch of games, I&#39;ve wanted to play Satisfactory for literally years<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/117/038/793/800/806/278/original/1eff911f1d17601a.jpg"> <br/> 2026-08-04T19:05:07Z https://nostr.now/nevent1qqsdyzvnhqq3jj5a44vq9fqprvvue9tyn4p2kj4zae4ftrwvk3tnpcszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxcyyc99 With a push (and a lesson) from my brother, I have decided to seriously practice piano again and try to finally break through the skill ceiling that I&#39;ve at for more than half of my life now. I&#39;ve committed to do 5 minutes of Hanon exercises per day. I need to fundamentally rebuild my technique from scratch, to use the muscles in my fingers and upper arm but not the muscles in my wrist; and I need to finally learn to play perfectly evenly in volume across all my fingers and when turning 2026-08-02T15:30:50Z https://nostr.now/nevent1qqspsj92ua5an3wysf9dce55fua4szmx5x2dch50h2xt644a345k8zgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxlmscs0 Is there an algebraic geometry way of thinking about the opposite category of commutative monoids? 2026-07-29T10:56:40Z https://nostr.now/nevent1qqszpa9fz20xqtkyvv89tkrf4lydwgntt3j7q2a6m04qasv4amvx8sczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxkcnn2k It is time now for a new FSF-like organisation to lead in the governance of an ecosystem of open source software that takes a zero tolerance approach to AI, comparable to the FSF&#39;s zero tolerance approach to closed source. I imagine that the very first item on the todo list would be a hard fork of the Linux kernel. 2026-07-21T18:15:07Z https://nostr.now/nevent1qqsp83f857290k7qwks7zlynky5pprgy8h08j6727jgt9c7cu8kzt6szyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxgxgd68 They have one teensy little radiological incident last time and suddenly it&#39;s health and safety gone mad<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/116/938/049/233/260/916/original/d4eb3d2fcee4930f.jpg"> <br/> 2026-07-18T00:04:34Z https://nostr.now/nevent1qqs0rq0ewafy35pmhgc0uqff3xj3dhkxs8eycum6768q7uqspqxwkgszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxg2jhka I&#39;m hot (caught the sun)<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/116/936/135/418/027/966/original/78edb5efdc08ce88.jpg"> <br/> 2026-07-17T15:58:01Z https://nostr.now/nevent1qqsp8kvqdr8ngejgdqm0ngrvprqdmt3gzcug3szwkcfghy58pc6ve7czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxytuq3e Gender levels are off the charts<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/116/931/804/903/623/859/original/e4ecedfecc6cd0fd.jpg"> <br/> 2026-07-16T21:35:57Z https://nostr.now/nevent1qqsz2h28lqzya9ac77erkamghrprxfe68c9wzva7a8rcvvdctk3q7uqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxj93ayu In reply to <a href='/nevent1qqsy9fx7fte5nzypfshzzs5zmpuj3aee5zdhh64lup6kcrdlfmw354qken7dx'>nevent1q…n7dx</a><br/>_________________________<br/><br/>My Neighbour Naruto 2026-07-16T13:20:33Z https://nostr.now/nevent1qqsy9fx7fte5nzypfshzzs5zmpuj3aee5zdhh64lup6kcrdlfmw354qzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxw2u82d My Neighbour Tomato 2026-07-16T13:19:36Z https://nostr.now/nevent1qqsxvfcwpu7445emls0nnddgyp4sp6kap976284lq263waatvqxn9eqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxwc8tmq What&#39;s that hashtag people use? Trams on trains? That makes no sense at all, the gauge would be wrong<br/><br/>(with <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1d0dtnmdfvth60mxf4efuarzek5e9jw5yww6kfam248gtgjrz5dwq7x5zz4" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Zanzi @ Monoidal Cafe</span> (<span class="italic">npub1d0d…5zz4</span>)</a></span>)<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/116/929/828/537/277/242/original/fa7e7fddefa9b2ae.jpg"> <br/> 2026-07-16T13:14:23Z https://nostr.now/nevent1qqs0v0g50z2zw5e23j0n4kmev3zjhmpd7mg3juel52nzelryla7dchczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxr7rdj9 In reply to <a href='/nevent1qqsqvqr7p2dsv7gwqfaeukazncf8whp9c0grw0282454tcn0ul3teqcl5wmp6'>nevent1q…wmp6</a><br/>_________________________<br/><br/>I wish I knew where I could put my papers that will outlive me paying my hosting bills, because I am no long sure that the arXiv is it 2026-07-15T10:10:15Z https://nostr.now/nevent1qqsqvqr7p2dsv7gwqfaeukazncf8whp9c0grw0282454tcn0ul3teqczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx8vg5ha Time to add &#34;backup all of my arXiv papers&#34; to my migration todo list, I guess 2026-07-15T10:02:27Z https://nostr.now/nevent1qqsgp9x5jxxfdznvc4wuanvkxqcp3edppdx7ey7u5mxyce4f20kh9lgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxghv7j5 *Salutes the Mexican embassy who are flying the intersectional pride flag* 2026-07-14T15:14:42Z https://nostr.now/nevent1qqsyek306u6cvmeamvhrm9h2xhsesta44tl4av40w0cl92fqmpduzegzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxmvjesd There will be no thread this morning; I had 1 hour of sleep and I think I am probably still a bit drunk 2026-07-09T08:29:55Z https://nostr.now/nevent1qqsq9lrq4mulxr5ach6gn0qtlmxx7nvxu4sljt2h883yeravfe8043czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx66rzyf In this paper we improve the bound on the value of Dylan&#39;s constant 𝐷. This value, first defined by Dylan [1963], is the number of roads that a man must walk down.<br/><br/>We briefly recap the history of Dylan&#39;s constant. Although it is not a priori obvious that a man must walk down a finite number of roads, a relatively elementary nonconstructive proof that 𝐷 is finite, using the pigeonhole principle, was quickly given by Marrow, Stookey and Travers [1963]. The first explicit bound, a stack of exponentials of height 5, was found by Wonder [1966]. This bound was significantly improved by Baez [1976] to 𝐷 ≤ 420 using methods of higher category theory. Although this bound remains the best known currently, Adams [1980] conjectured that 𝐷 = 42 based on extensive computer calculations. 2026-06-28T20:42:54Z https://nostr.now/nevent1qqsph9nakq4e0d77w8sytpxkule8zd6s6q000pca6eqjzcet8xrl2wqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxr0008f In reply to <a href='/nevent1qqs93zc474ml4zpdchpma8t7qqqxh8w7u4qhnhsxdez7a47s60st6jgw4ydvc'>nevent1q…ydvc</a><br/>_________________________<br/><br/>In theory a dot matrix printer could print 1 page in the time a laser printer could print like 20 pages, but in reality a dot matrix printer could print 1 page in the time that a laser printer can tell you that it&#39;s out of cyan 2026-06-27T18:06:35Z https://nostr.now/nevent1qqs93zc474ml4zpdchpma8t7qqqxh8w7u4qhnhsxdez7a47s60st6jgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx3zmf74 Why are there open source 3d printers but no open source 2d printers? Surely a dot matrix printer wouldn&#39;t be *that* hard to make and it would be able to handle 99% of things most people need 2026-06-27T18:02:48Z https://nostr.now/nevent1qqsznc2p36y8s7mrgr4fmtt4wgex79nxxeev60qpatlkymcjqcjrzjgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxtc5ay2 In reply to <a href='/nevent1qqsxmc5ydsr5xa7lpaaawwnt2akaxexclfhzqqgd9dz4tu9r8ww599cn5cdxx'>nevent1q…cdxx</a><br/>_________________________<br/><br/>(This is your periodic reminder that if you ever visit the UK you should *really* use a vpn, unless you want this list of 48 government agencies to be able to see your stuff without a warrant<br/><a href="https://en.wikipedia.org/wiki/Investigatory_Powers_Act_2016#Authorities_allowed_to_access_Internet_connection_records">https://en.wikipedia.org/wiki/Investigatory_Powers_Act_2016#Authorities_allowed_to_access_Internet_connection_records</a> 2026-06-22T20:55:04Z https://nostr.now/nevent1qqsxmc5ydsr5xa7lpaaawwnt2akaxexclfhzqqgd9dz4tu9r8ww599czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxu5sr3s RE: <a href="https://mstdn.social/@hkrn/116792861660199455">https://mstdn.social/@hkrn/116792861660199455</a><br/><br/>I have been thinking about setting up a VPS to practice in advance of a VPN ban in the UK (or a requirement to use government id, which for me is an unbreakable red line equivalent to a ban). But, perhaps it will not be necessary after all?<blockquote class="border-l-05rem border-l-strongpink border-solid"><div class="-ml-4 bg-gradient-to-r from-gray-100 dark:from-zinc-800 to-transparent mr-0 mt-0 mb-4 pl-4 pr-2 py-2">quoting <br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Article"><a itemprop="url" href="/note1j7rky9w4c72mc0c2at8jyrhckshhd4ujldy7a47zuha6dwu77x7s2v2uhw" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1">note1j7r…2uhw</a></span><br/> </div> Mullvad to China: Block This. We Dare You<br/>L: <a href="https://michael-dev-tech.github.io/Website/mullvad.html">https://michael-dev-tech.github.io/Website/mullvad.html</a><br/>C: <a href="https://news.ycombinator.com/item?id=48627024">https://news.ycombinator.com/item?id=48627024</a><br/>posted on 2026.06.22 at 03:43:52 (c=0, p=4) </blockquote> 2026-06-22T20:43:24Z https://nostr.now/nevent1qqszn7fynrn5ce5f4p4daxnyqcvq7p9z39luxzxp8c0eezugxn8522szyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxc0jxjn In reply to <a href='/nevent1qqsttr6znq0hjgsahu5jfpvt3uayrggmqxtgp7t0wf8el98ae55ammshvnzwv'>nevent1q…nzwv</a><br/>_________________________<br/><br/>I also agree with that, guess it&#39;s just different levels of tolerance for &#34;overhyped&#34;<br/><br/>Right now I think of LLMs as being like the steam engine, ie. they changed the world beyond recognition before being completely obsoleted by internal combustion engines, jet engines, electric motors etc 2026-05-29T17:51:58Z https://nostr.now/nevent1qqs2hmmsdewdhvuvxz3493ue0hltxg6k0vyumeauhcve9chwvztdtqqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx6nwm9d RE: <a href="https://mastodon.social/@ZachWeinersmith/116584276117791530">https://mastodon.social/@ZachWeinersmith/116584276117791530</a><br/><br/>I am firmly an A3, which is a difficult position to live with<blockquote class="border-l-05rem border-l-strongpink border-solid"><div class="-ml-4 bg-gradient-to-r from-gray-100 dark:from-zinc-800 to-transparent mr-0 mt-0 mb-4 pl-4 pr-2 py-2">quoting <br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Article"><a itemprop="url" href="/note1ckn0km8zwe4u04nxz6yyj3kd8n3egc9sp9sgpqv3w5meqmu5zx6ser7l4p" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1">note1ckn…7l4p</a></span><br/> </div> Which is closest to your view?<br/> <img src="https://files.mastodon.social/media_attachments/files/116/584/273/703/009/784/original/4b259f968de7edcd.png"> <br/> </blockquote> 2026-05-29T16:52:14Z https://nostr.now/nevent1qqsve5azjgzj3pv5tdf63y4smltqzmf48g4uh3zmwfk9thxmmqxf64gzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx8kegry In reply to <a href='/nevent1qqspeqy8h3nzw0q2du8dvknua2qpcu7hfa0kq2ngyf8khwxn3rgyfygvhv7uv'>nevent1q…v7uv</a><br/>_________________________<br/><br/>Natural language communication, and associated things like common sense reasoning 2026-04-28T10:45:27Z https://nostr.now/nevent1qqstwhye0606kz3w9g3cvsu3xpnhlhyp7cadrfulc2fc4e6fel90xpczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx9ykec9 In reply to <a href='/nevent1qqsq8at0k2245ay2y7zkfvyztgfkj7mr0h45ns50u85sun0rmhr8nrgdmsqug'>nevent1q…squg</a><br/>_________________________<br/><br/>I think that disagreeing with &#34;LLMs are now central to computer science&#34; would be ahistorical, and probably held mainly by people who grew up in the AI winter. For the vast majority of the field&#39;s existence this was *the* flagship problem. 2026-04-28T10:15:11Z https://nostr.now/nevent1qqsq8at0k2245ay2y7zkfvyztgfkj7mr0h45ns50u85sun0rmhr8nrgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxayqdaz Unpopular opinion: Computer science syllabuses were designed back in a time when working AI was nothing but scifi. A course that does not teach a deep and practical understanding of how LLMs work is no longer representative of computer science, and you need so much material to do so that massive compromises will need to be made in other parts of the syllabus 2026-04-28T10:12:11Z https://nostr.now/nevent1qqsflxww4cfmf25zeplfdy2erwf6kwyjt29c7as8pqtvnw3mp24vvjszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxthkjq8 In reply to <a href='/nevent1qqsqazkf4lsy6dfggkf8jhy0y5539nk06sehyj3nk783jchvkqylf9sk9xks3'>nevent1q…xks3</a><br/>_________________________<br/><br/>Does this mean the EU will be able to do something without it getting vetoed now? 2026-04-12T19:53:05Z https://nostr.now/nevent1qqsqazkf4lsy6dfggkf8jhy0y5539nk06sehyj3nk783jchvkqylf9szyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx9uwfl5 🇭🇺!!! 2026-04-12T19:51:38Z https://nostr.now/nevent1qqsvkdzsjga8ga0vmua4kh5mzuq65ulp8fzhxa2cvjljggwrczs6zvqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxcrp96a In reply to <a href='/nevent1qqsf0v4z44jjk0skn62gqya8tamnuwqh5x07hl2a56gcy8fw9z54y3qef5jtq'>nevent1q…5jtq</a><br/>_________________________<br/><br/>I wonder what it would take to hook up an old school mechanical typewriter as a keyboard, those take a lot of force to press 2026-04-01T23:48:40Z https://nostr.now/nevent1qqswls83q8p2txz9uum0r55caq2t9w9cg46gqzfq7zf0hgzrg43j24qzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxzwktjp In reply to <a href='/nevent1qqs298exmkwzeergcd834f9pks26sh6u4m2vztt8edkmpcdkvzaesgcm3ns4l'>nevent1q…ns4l</a><br/>_________________________<br/><br/>No doubt they will say it&#39;s impossible because a bunch of contracts are already signed, or some other thinly veiled excuse 2026-03-15T17:45:45Z https://nostr.now/nevent1qqsx8l9egh5phn7xqd36flu6uk69ryx28w5l3saggsf84njmfvwgt0qzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxs4zxz0 The greatest bamboozle that the English language ever pulled is using the same word for legal rights and actual rights. The second-greatest is using the same word for proof-objects and actual proofs 2026-03-09T16:57:36Z https://nostr.now/nevent1qqsdmjem6sffddq7z5u287dc3xhhqknwlkzdl094a2h8kupk4mr8svczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxk74cuw In reply to <a href='/nevent1qqsyr5l3k6a07ff3tg788zrht9jevwxym32mkxz08pugl6ec96pysrg7vpgr5'>nevent1q…pgr5</a><br/>_________________________<br/><br/>Quick question, why can&#39;t I find any Pythagorean triples but for cubes or higher exponents? 2026-02-23T21:31:25Z https://nostr.now/nevent1qqswxuq3nvh9uwpg322pp5zp3ftnnjpacq5utkq022mdy4n7w2sfdkczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxfhdhak Starting writing the introduction paragraph of a blog post after finishing the rest of it, and my muscle memory literally typed &#34;In this paper&#34; before I could stop it 2026-02-19T14:44:18Z https://nostr.now/nevent1qqszhesfld0dzpnv5t0006vtuhw7vvlqkr9xrtsy7uptqwqn2uryesqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxwjqu8y In reply to <a href='/nevent1qqs8vc0xs9p8pqjfggffxzskxdvtvc82q6wt3xgglnl038ceqjmm0fs2xa4tx'>nevent1q…a4tx</a><br/>_________________________<br/><br/>I wonder if there&#39;s some model theoretic universality result that all finite (or not too big) commutative rings embed into one specific commutative ring that involves numbers, like the ring of rationals or something like that? 2026-02-16T21:22:17Z https://nostr.now/nevent1qqs2fhj4ey6pd35lwdrlfcr8253clurnrh04l4y2l9nev2uuped3nqszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxlaalc7 In reply to <a href='/nevent1qqstrygzhvt0vqsej3tvwlkfuyvuwu3s97t7pleq6a2yspes3trdwpq9xmwld'>nevent1q…mwld</a><br/>_________________________<br/><br/>I wonder what this looks like for rings that have very little to do with numbers, like boolean rings or rings of functions 2026-02-16T20:56:15Z https://nostr.now/nevent1qqsvs93s7nshmd2nhxfz7p3knuk6rz6k85kmee5s9n5whgam4ndgjqqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx82fnqe Today I learned that during the ice age there was a really big river in Doggerland that included the Rhine, the Seine and the Thames as tributaries. Or I guess you could say, the Rhine continued and gained the Seine and Thames as tributaries<br/><a href="https://en.wikipedia.org/wiki/Channel_River">https://en.wikipedia.org/wiki/Channel_River</a> 2026-01-24T00:22:20Z https://nostr.now/nevent1qqsd868m5n7uu0tyefyfydnvr8fhrte6m54w95eajeqfzaxl5pgcr9czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxk09660 &#34;Lines of code&#34; is a metric invented by languages without pattern matching, to sell more verbosity 2026-01-14T12:28:52Z https://nostr.now/nevent1qqsvtmknlx7ylj4nzlf9289wfrcdnvdw74nplwzhp20nu5r4frhdmcgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx4fraq8 I thought the point of python was to sacrifice both speed and theoretical discipline in order to maximise user friendliness, but honestly it&#39;s not even very user friendly, I could do better 2026-01-14T12:19:15Z https://nostr.now/nevent1qqsp77hq7lekqxgwx2cy0gclgsm9smxyntw3um5vy3kc90grh7ql58czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxd6pf9x In reply to <a href='/nevent1qqs0t7jh63e4p72yutj2q2tzpt2y3k2kxn3c7vg6g7mcxrnqxf8e6dgs4j8a2'>nevent1q…j8a2</a><br/>_________________________<br/><br/>This is definitely true for keyboard instruments and most ensembles, but most non-keyboard instruments have a &#34;natural&#34; key (eg. G for violin, which causes the lowest string to resonate on the fundamental and the next string to resonant on the 5th), and I reckon some very pedantic people playing solo instrumental music must tune a few cents off the standard tuning to match that 2025-12-26T13:07:44Z https://nostr.now/nevent1qqsfs6xpva6gzenzqx9klnlqjdc2wprmc0gdwtfa7lmvqygt4tnganqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxw3j50q In reply to <a href='/nevent1qqsdrm5ekufcwq6u0qkxj08zurwz6v45xgzcasl2e2lfpx8r9edzrzqe7k7f5'>nevent1q…k7f5</a><br/>_________________________<br/><br/>A discrete manifold equipped with an approximate scalar field? That sounds like it could be useful for some other stuff too 2025-12-26T11:06:23Z https://nostr.now/nevent1qqs8ewcn9ne4wjpwy2hfk6rympy0u43y72fa8jv0vtyph9vgk8l4ajqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx0zsu3d In reply to <a href='/nevent1qqst80yxddnx2ht2j6d522s7ha63mqxf860hz57xdj459829n3pp9wsm3pqrh'>nevent1q…pqrh</a><br/>_________________________<br/><br/>&#34;up to and including&#34;, you forgot to include the counts from days 1 and 2 in day 3 2025-12-25T16:50:12Z https://nostr.now/nevent1qqsxgf2gnt2kce2fm7gtwy9a55rjm5xrhj8naydrxsrjpa4zfpjtv5czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx2hhv3a In reply to <a href='/nevent1qqs8acrue3nnhjtmp76cfa86kygf0rxwyg9mc0z9k55uuwygh7kv23g96zz50'>nevent1q…zz50</a><br/>_________________________<br/><br/>Note that this assumes that every pair of 1 partridge in 1 pair tree counts as a single gift 2025-12-25T14:41:08Z https://nostr.now/nevent1qqsr9xme46rv7fugllndxuft3x0lgdra9zp2hz9209xyd6lh9m56zjgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxyd7pw6 In reply to <a href='/nevent1qqs0eh93ehmjqxr25zhryp9utve3vyl0nat2qgqcrddk5fvapdmu3fqfyssct'>nevent1q…ssct</a><br/>_________________________<br/><br/>Today is the first day of Christmas so you should only expect a(1) = 1 gifts 2025-12-25T13:32:19Z https://nostr.now/nevent1qqs8acrue3nnhjtmp76cfa86kygf0rxwyg9mc0z9k55uuwygh7kv23gzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxyekcr6 In reply to <a href='/nevent1qqsxs93favnuqk85x7kk6s98ejy2q6pgts3p5kk280e7j9qken7pm0qsmrnn0'>nevent1q…rnn0</a><br/>_________________________<br/><br/>Also public service announcement that today is the *first* day of Christmas. The 12th day of Christmas, aka Twelfth Night, is January 5. Advent is something different. 2025-12-25T10:44:44Z https://nostr.now/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://nostr.now/nevent1qqsr8tj8h92rzgt08t7gxvz0tu55rmymlcg3ertmugh6skfvdklr64gzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxz2yvah In reply to <a href='/nevent1qqspcn8lwscvc4sumgsukvfxca4vnkgfj5dlnjxwzaandejxrnz90as4n4f5y'>nevent1q…4f5y</a><br/>_________________________<br/><br/>It didn&#39;t occur to me before to switch to HAL, I&#39;ll actually think about that now 2025-12-22T13:12:42Z https://nostr.now/nevent1qqsqquhqp6g9fxcputykpmuy22dgsswuvhy8zg0m9ejnq0dl8t78f0czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx8ln0vy In reply to <a href='/nevent1qqsv5kfqer62zcgdn2c0cuj3p526whchkz7vevq3u8hmc8kutu952usetw3qn'>nevent1q…w3qn</a><br/>_________________________<br/><br/>I&#39;m not sure I have that much to say, especially not that you haven&#39;t already said. To be honest, I feel like doing interdisciplinary research is so difficult that if you&#39;re in a position where advice from a blog would help you, you&#39;ve probably already failed 2025-12-21T21:01:43Z https://nostr.now/nevent1qqstpdxrv0d8z8nqznsp636874lj2dnmu62385z7xjyqywwzl73lrfqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxz2vf9d In reply to <a href='/nevent1qqsprt0y6xumqp893xs4xkevulqg2vxd3hjhlqhuua2q5ffcuh832rquk77t0'>nevent1q…77t0</a><br/>_________________________<br/><br/>I had to scan back through my blog to see if I&#39;d forgotten anything, but no, I never wrote about it. Well, pretty sure I wrote a few twitter threads about it, but it would be easier to write it again than to track those down 2025-12-21T14:53:35Z https://nostr.now/nevent1qqsd9dugzxunaxrtkscntm0em0dluc3kedx7ys66wyze9fat80zly6qzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx3h7896 In reply to <a href='/nevent1qqsr6rv8m2je57gvrr85nf79ntzzmccsgp329l5naqezw233q47atwchprzwp'>nevent1q…rzwp</a><br/>_________________________<br/><br/>I submit {me, Philipp Zahn} (with several other people joining at various points) as a successful ACT collaboration. My experience broadly matches yours, this collaboration is more than a decade long and required very much meeting each other half way 2025-12-21T13:58:21Z https://nostr.now/nevent1qqst54h2ehzpwjzn4thg4whrp2xxshwhqca0k3c6s6rplmrssn7la9qzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx0jds6k In Soviet Russia, snoot boops you 2025-12-20T15:50:04Z https://nostr.now/nevent1qqs09q3vuur5065furmes0ez538dv8pt4v24lmjev6f8tulv6u25csszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxkxfkpy What the LaTeX feature of Mathstodon is supposed to be used for: Writing formulas that appear beautifully typeset (except to people on any other server and anyone using any client except the web client)<br/><br/>What I actually use it for: quick access to the → unicode symbol for talking about my train journeys 2025-12-15T12:24:00Z https://nostr.now/nevent1qqsvukvsrpvvzqumqvkurffdsv0xa4t5d36k2rdjmlmp3ysu258rjeszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxq20n66 It&#39;s funny how a bunch of my local mastodon discourse today is about how the &#34;u&#34; sound doesn&#39;t exist in American, that&#39;s a thing I&#39;ve joked about for years. Waaaay back in the day my twitter display name was &#34;Categories with Jules&#34; and only after like 2 years I got rid of that because I suddenly discovered that anyone who learned USEn just didn&#39;t get the joke (because they would pronounce this nLab page as &#34;categories with dools&#34;, which amuses me to this day)<br/><a href="https://ncatlab.org/nlab/show/category+with+duals">https://ncatlab.org/nlab/show/category+with+duals</a> 2025-11-18T11:17:57Z https://nostr.now/nevent1qqsycs4hugzaa0qlm7lzydlav36ttxruq6vnx6wa08vva7vvh0cdv4gzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx73m9xh In reply to <a href='/nevent1qqsz9mzndq0n34a56rx402qevppl2htcwkrgjfnp4xf9xzkvuyqqapq6s6eg8'>nevent1q…6eg8</a><br/>_________________________<br/><br/>This is the orange site, if you don&#39;t expect the worst from it then you haven&#39;t been around it long enough 2025-10-23T21:51:20Z https://nostr.now/nevent1qqs0rzm9ukdhhc0wml0v2um2463wnknksztefmuv9al0lzyjv7m6dwgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxkmkyz0 In reply to <a href='/nevent1qqs26apu5vccv5k03wvpgss7lt3dfjvwkmpkwnghu36296peg5t05zsx98f37'>nevent1q…8f37</a><br/>_________________________<br/><br/><a href="https://news.ycombinator.com/item?id=45677397">https://news.ycombinator.com/item?id=45677397</a><br/>(but nothing especially worth seeing there) 2025-10-23T20:33:53Z https://nostr.now/nevent1qqs22d06uhysfdf589c03aluu7yv5lh7ar792q8347n2xgvyqapzffqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxxlurme In reply to <a href='/nevent1qqsy4hqdr7lfga27zedzgh9x6428qlcefn93lgngs6atfges0l22usq5w2l4w'>nevent1q…2l4w</a><br/>_________________________<br/><br/>She does have a daemon, you just can&#39;t see or interact with it 2025-10-22T16:58:36Z https://nostr.now/nevent1qqsqx5w3hgesjg5675el3yneyqh248lxp6ne63vtrgatpe94smzmv6szyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxlwt8xa Big shoutout to the community of people who could be developing better ballistic missiles or earning a fortune as quants but instead are saving frames in super mario 64 tool assisted speedruns<br/><br/><a href="https://www.youtube.com/watch?v=_yx0eutBwII">https://www.youtube.com/watch?v=_yx0eutBwII</a><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/396/904/348/980/713/original/a546437906d8786b.png"> <br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/396/905/151/410/243/original/2c971f3473c99180.png"> <br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/396/906/387/838/030/original/258420204396ade0.png"> <br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/396/907/177/808/101/original/535ba346b61cf345.png"> <br/> 2025-10-18T19:53:07Z https://nostr.now/nevent1qqs9657nepe6v768pfcznsslu4m8ygydn6jmma4a6askcx9dnyrg9tczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx4n8jvl In reply to <a href='/nevent1qqszvzeuwkkkc8t6ug9jqas03mmx2d6fkvqw5vuazazcjl3euteuj4cw6mvxq'>nevent1q…mvxq</a><br/>_________________________<br/><br/>It could still work if you firmly think of them as open-ended projects with no defined endpoint 2025-10-07T16:22:35Z https://nostr.now/nevent1qqst54esqgsaw44zx9tj77h2d94pkyfaq9xvdhjct4wlsf2rdxrkulgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx5apgxh In reply to <a href='/nevent1qqsvq9e6zvrxmrywrl9z22t77saep7sqlz0z6x0emgsf83rvuydctkgd7wu3g'>nevent1q…wu3g</a><br/>_________________________<br/><br/>Is it feasible to say all of the above, all interleaved in a random order 2025-10-07T15:08:21Z https://nostr.now/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://nostr.now/nevent1qqsxe4n6u2c0xg52c4ml42kppzu74ztfmfh0uyynw36qcv2m53r26ugzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxakpxz3 It&#39;s called Prolog because something something mumble profunctors 2025-09-22T16:46:10Z https://nostr.now/nevent1qqstcnvv27t3hekxcd0cl3rrpj4993ry20v82u9suyxshynwrrcpqugzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxh3203m In reply to <a href='/nevent1qqszgt29fqljjq8k9f3dr4dvqcgw5gn7jmz3y68tckll7r7lxm7vlwqz9mh0y'>nevent1q…mh0y</a><br/>_________________________<br/><br/>It&#39;s like when your cat goes missing but shows up a few days later after a mystery adventure 2025-09-07T12:13:30Z https://nostr.now/nevent1qqsxf2a3vrju85kl4ta9e85wznh6qq9dyyw4lh6mncp7nk28j8puq9szyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxrnxp3h In reply to <a href='/nevent1qqsg75fgyacu7jy6u864gqjvxmnc40fa3pyzvpm7v25m55up2dd733g07glep'>nevent1q…glep</a><br/>_________________________<br/><br/>So I dug up a file where I was playing around with doubly linked list contexts like 6 months ago and it turns out that I already had a bit of lambek calculus worked out there. I should probably finish this and write up a blog post...<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/113/545/855/045/800/original/27f2f0b316219d72.png"> <br/> 2025-08-29T18:49:55Z https://nostr.now/nevent1qqszcml2wtjsw3jkgpln2hpau2rz0xzqarj3whdn5m0lttlc6wq6f8czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxplwd5c In reply to <a href='/nevent1qqsw72a8gm39camun4dtzljfvp3hd9q9pzfkj59tpr62l8vc5anvy6qc4tvqw'>nevent1q…tvqw</a><br/>_________________________<br/><br/>In theory I could do lambek calculus in this style, CFGs not sure. In practice I think it would run into an annoying problem that if your monoid operation is noncommutative + left closed + right closed then to write the rules you need your context to be a doubly linked list, which is not a recursive datatype so it&#39;s probably beyond the capability of current generation type checkers<br/><br/>For semantics, the composition product of endofunctors turns out to be closed on one side and *coclosed* on the other side (these are called right and left kan extension and are very scary), I don&#39;t know whether it works out to be a model of lambek calculus, but it&#39;s at least very close 2025-08-28T23:17:25Z https://nostr.now/nevent1qqsrrd8evpsnw3nhykku8g6azy7lx8zptzf8jjqsy82z4h8er9969yczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxhc2p8f In reply to <a href='/nevent1qqsrwde049084ag09egeqkt6vfuhhhwxd6flah430gpmclad4hk8qyczxvk42'>nevent1q…vk42</a><br/>_________________________<br/><br/>Yeah. Specifically in this case it was functor composition (ie. the monoidal product from &#34;a monad is just a monoid in the category of endofunctors what&#39;s the problem&#34;), which is noncommutative 2025-08-28T21:34:21Z https://nostr.now/nevent1qqsp04ccv7kpyx4wrnjdcqnlxqc4fcf598jc9r0vz33sgh5xdaxaqgszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxsaslte For a while I&#39;ve been struggling with how &#34;abstract syntax&#34; means so many different things in a modern compiler pipeline, but I finally came up with a good naming scheme:<br/>raw syntax: the character string read in from the file<br/>rare syntax: after lexing and parsing, but no static indexing<br/>medium rare syntax: statically well scoped<br/>well done syntax: statically well typed<br/>overdone syntax: the object code produced by the backend 2025-08-28T16:49:09Z https://nostr.now/nevent1qqsyw4rpmere7npmkrdnr56r3pk59wemtmy422rzlp2k9x49tzz5taqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx33txux Me and <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1d0dtnmdfvth60mxf4efuarzek5e9jw5yww6kfam248gtgjrz5dwq7x5zz4" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Zanzi @ Monoidal Cafe</span> (<span class="italic">npub1d0d…5zz4</span>)</a></span> are mostly done with implementing a noncommutative lambda calculus where types denote endofunctors, terms denote natural transformations, tensor denotes endofunctor composition and arrow denotes right kan extension 2025-08-27T15:39:41Z https://nostr.now/nevent1qqsqmqnsdky24f8wc5n3l6tgpdese76td8uvw698u4ctgpx6ungc3vszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxnjvl2d In reply to <a href='/nevent1qqsv9kw5tr26ac7wllzdqjp23dm5p32ww3h5jeha8vg5g8gkymg2jlsm3mv7q'>nevent1q…mv7q</a><br/>_________________________<br/><br/>In applied category theory symmetric monoidal categories are *the* unifying concept, virtually all kinds of open systems/networks/processes/etc collect into morphisms of symmetric monoidal categories<br/><br/>I have a low level explanation too. Operads describe patterns of compositionality, but operads are technically very difficult to work with (here I&#39;m technically talking about 2-operads and their pseudo-algebras). In a wild coincidence, lots of useful operads turn out to be representable by structured monoidal categories, which are much more tractable to work with. An important example is hypergraph categories (symmetric monoidal categories in which every object is a special commutative frobenius algebra), which are equivalent to algebras of an operad that describes a very common sort of many-to-many composition 2025-08-13T11:10:45Z https://nostr.now/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://nostr.now/nevent1qqszpw340hkrhmxmrlvpv2h2gtmwz43lyh3fhag66c02tvfp3fa8qtgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx67zghf &#34;Hey Socrates, what do you want for dinner?&#34;<br/>&#34;All I know is that I know nothing&#34;<br/>&#34;Goddamn it Socrates&#34; 2025-08-08T19:27:06Z https://nostr.now/nevent1qqsr805zc8avksmfn6alu9xmztw9dcq59ujc0t3mgqtx4hprnfs7vygzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxhuazx5 My thoughts about this just clicked. I have seen a bunch of cases of professed non-programmers building pretty big things entirely by vibe-coding, and they work fine. This allows people to participate in creation without years of training, and in the end that is not a bad thing<br/><br/>There are a bunch of other systems like this, that allow non-experts to simulate being able to do the real thing. Playing a shooter with aimbot. Playing guitar with 3 chords. Driving automatic.<br/><br/>These are all perfectly good things that allow amateurs to match the performance of experts, and none of them are bad things. But if you don&#39;t take the hit and switch over to the real thing sooner or later, you&#39;ll be a novice forever. 2025-08-06T09:50:10Z https://nostr.now/nevent1qqs03plp224mhtk0zga3gw04h8zndwaqefx4ayze32upr4v8schh4qqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxkfagxp ibuprofunctor 2025-07-20T15:00:44Z https://nostr.now/nevent1qqszkfl58qjcz3z7jx4fy4ue36rw2ysztucnklykc87xtnmahjahdtczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxe97hm3 In reply to <a href='/nevent1qqstwe0tqukypkss7mf2zlqpdthmmdqxcdewpdfymf8c7nefjlyxctsd8tz46'>nevent1q…tz46</a><br/>_________________________<br/><br/>Ah yes, UK academia<br/><br/>I think we only have 6. Of which I&#39;ve done 0 in the last few years 2025-06-27T21:04:12Z https://nostr.now/nevent1qqsx2sn2jh4ujvahs6gycxrglh88763vmnrtmryy83q6yhu9vw4qrtszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxuuhcu0 In reply to <a href='/nevent1qqs96vmzq3nuk3zpta0rj2g0vrha3cf5sea3htwxan3lyuf9xqec0xs0upnr0'>nevent1q…pnr0</a><br/>_________________________<br/><br/>Studying HoTT is all cool and good, but they keep trying to redefine standard terminology in nonstandard ways that don&#39;t make sense in most models 2025-06-27T13:43:04Z https://nostr.now/nevent1qqs9wqfrns29qpkkcgndja35z69yrvufmdjr3cvqrjsggk8ga8jdj8czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxpx0npq Back in the day when someone sent you a meno they could see that your inbox is overflowing all over the desk and floor. I think we should bring back that feature 2025-06-25T19:08:59Z https://nostr.now/nevent1qqsw6gpd2hrw3ndrj0cnxq7vj7pvuqqrge29tjv22wp40cdpvlfyupgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxn7genz In reply to <a href='/nevent1qqs8t2w8zgw2erats3sn42hwd3a2xmm3fwm8kqmt5aupypv200xpm4cv5yrfe'>nevent1q…yrfe</a><br/>_________________________<br/><br/>Here&#39;s the standard answer: the von Neuman-Morgenstern expected utility axioms are equivalent having real-valued utility, and *you* try doing any nontrivial modelling without using any calculus 2025-06-05T10:43:13Z https://nostr.now/nevent1qqsterf4um7dztxj3vzyhp6fzasn6gpu02uk9tvrgtarkftvkm43mygzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxf7sp9p We should launch another deep space probe carrying a golden record with Never Gonna Give You Up 2025-05-18T17:05:13Z https://nostr.now/nevent1qqsy0nap5vjkgjd4uxxnt9d2m8yzan20h5y5fqal73kq4ns6j8mc69szyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxyw2scc In reply to <a href='/nevent1qqspsuw8tpaa7plpeq5eeu6p0smhmqs4d60zqeg8ae38efzhaf8v80qwu36m8'>nevent1q…36m8</a><br/>_________________________<br/><br/>Nice! Unlike last year I&#39;m going to make an effort to hang around for this, if I&#39;m allowed to. Naturally I&#39;m very interested in the economic part 2025-04-23T17:29:11Z https://nostr.now/nevent1qqsg7wvwx8dh37a3f0w5kvv0zu245u4rqlaa44n6rwgmjfhwjct366czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxt9jca0 In reply to <a href='/nevent1qqsxxx626xycm30syct59v9fqga2djfp4lrlp8g5c97ludecr5knjgq7r9735'>nevent1q…9735</a><br/>_________________________<br/><br/>Glad I&#39;m not the only person who noticed, this was *obviously* written by AI 2025-04-19T13:00:14Z https://nostr.now/nevent1qqsrlm27k8sa9vmzsttufhztfenum3ym9x93x95s526fphzctvv57zgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxxyhljz In reply to <a href='/nevent1qqsgknrsq445hwme4jt375rpra2dsuxehhsynha2hf2rs2du3kscfdgvxhuvp'>nevent1q…huvp</a><br/>_________________________<br/><br/>Incidentally the theoretically optimal way to play the chicken game is to cut off your steering wheel, for example by passing a law mandating tit-for-tat tariff escalation and now allowing politicians any discretionary choice in the matter. Whether that would actually work in the present situation is a different matter, applied game theory is hard. 2025-04-08T15:27:06Z https://nostr.now/nevent1qqsgknrsq445hwme4jt375rpra2dsuxehhsynha2hf2rs2du3kscfdgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxml73sf I spent 24 hours thinking people talking about &#34;the chicken game&#34; were talking about modelling tariff brinksmanship<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/114/303/024/553/009/589/original/0a86ce2c1dc168e4.png"> <br/> 2025-04-08T15:22:58Z https://nostr.now/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://nostr.now/nevent1qqsyt2cul8g98735dkq5t8p4ka42jadedm9hge0rjqnkxyxa4lwxp0szyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mx7hrv9n In reply to <a href='/nevent1qqspmdh8qczg5ch8lr3y4zkmfvys4ev57qmwxqds582wx5ah7wvl05s7th0n8'>nevent1q…h0n8</a><br/>_________________________<br/><br/>My first thought is to wonder what is a &#34;quasi-octagon&#34;, ie. what shape has this thing as its symmetry group? 2025-03-25T18:06:02Z https://nostr.now/nevent1qqsfnx3vuezuqre0qc33x0nnhmgs2ykdz5l6lg43maq24ahj56guwtczyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxkxqmpr In reply to <a href='/nevent1qqstzrraquyvwp2rj36v2n240z05hxq8nhhltgjzdpx6xxawvlhrv7gtd70cp'>nevent1q…70cp</a><br/>_________________________<br/><br/>The article I linked has a lot to say about that. One of the main underlying causes is that the Scottish government pays for Scottish students to study in Scotland, but they amount they pay hasn&#39;t been adjusted for inflation in a very very long time, so universities now make quite a big loss on every single Scottish student 2025-03-16T17:52:05Z https://nostr.now/nevent1qqsrp5943eykrza4t6f0a834hze4qyfx58kqq63ls2zg09579r0h77gzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxv358h2 <a href="https://www.bbc.co.uk/news/articles/cddynyz9q6po">https://www.bbc.co.uk/news/articles/cddynyz9q6po</a><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/114/173/301/214/753/739/original/7b8dea33deb86b6f.png"> <br/> 2025-03-16T17:32:14Z https://nostr.now/nevent1qqs9v7eyx3tryu09ls93sd9vfak4cd6t4mc5rswejewfnpdplvut2dgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxfp8gsj Ah yes, a letter of support for the NIH, that&#39;ll learn the bastards for sure 2025-02-21T20:31:31Z https://nostr.now/nevent1qqspuhdd3h0mxggemv78wdnsnpj05z0l7s4evf9zk6f4eydsqlxprhszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxyyh0m8 Time to write a game theory test<br/><br/>All else fails I can go with this: &#34;Submit a number between 0 and 100. Everybody who jointly chooses the highest number will get a mark of 0, everybody else will get the mark that they chose&#34; 2025-02-18T14:20:26Z https://nostr.now/nevent1qqsq5n70p5nlaryx0ad7r5s8m692ukelkjezd006gpqeumhw99fsluszyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxjazhp0 In reply to <a href='/nevent1qqsf7rhwc7l5ldg90lxcztyq2qh7u5jxwwd034qyp35nfcf6qgdhcsgr3gyz8'>nevent1q…gyz8</a><br/>_________________________<br/><br/>In practice I&#39;m currently more worried right now about running Android on my phone than OSX on my laptop, but yeah. Gonna need to replace both of them at some point 2025-02-15T18:30:52Z https://nostr.now/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://nostr.now/nevent1qqsx7sckzv25cm3jumnfwy25hdhzfja6xm2axh4whsz6kk7e3ypttvqzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxj4r5gf Inside you there are 2 wolves, 1 goat and a cabbage, and you need to cross a river 2025-02-11T09:46:02Z https://nostr.now/nevent1qqsxmft0qzsk6yq5m0vreghjqxxu0x472tn8kfg267tkdq5qsq29yzgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxum49pf In reply to <a href='/nevent1qqsd7fednhvv0jm2h3sycu6g243786255jkcna6j3zcj5uxyup593ugm4uxdq'>nevent1q…uxdq</a><br/>_________________________<br/><br/>Technically it&#39;s too early to say for sure that the US doesn&#39;t have a king, in order to be not-a-king it is necessary to either lose power without dying, or die but be succeeded by someone who is not your child 2025-02-06T23:00:07Z https://nostr.now/nevent1qqsrtl4j93u4vuq57glf85ynqg3kp7f6ykpuccdswlrmpwv8qe59uwgzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxxhr64l Programming languages train you to not want what they don&#39;t provide, which is why programmers should learn a wide variety of different styles in order to not take any shit from language designers 2025-02-05T15:14:17Z https://nostr.now/nevent1qqs036lw8m9c6e4pueqx8tu44arp7ldql9x2u8stfng50q3lylysl4czyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxlwnqwq In reply to <a href='/nevent1qqs96uy5k2x6zne8wlye73l0w5ylw6j744jd455npkw24k3aplkxpuq5hu4hr'>nevent1q…u4hr</a><br/>_________________________<br/><br/>So dependent types are types indexed by values, and if you index a type by a value that happens to be the result of a function call applied to a variable, the typechecker almost invariably chokes because it can&#39;t do even trivial equational reasoning. There are multiple different design patterns to work around the problem, but none of them are pleasant 2025-02-05T12:47:33Z https://nostr.now/nevent1qqsgvp0s6kzhxvqy2uxc9krhvmxz03ysku68pjk973ezqj0j5epgn3gzyp6u050kjwy7f3mzw6ac2xh20a2zvhg5t3arjeu9388avt8zdt5mxklktp8 The crazy thing about Lean is that from a technically slightly inferior foundation they&#39;re successfully hacking stuff that&#39;s obviously decades away from being feasible to engineer properly. Like, literally nobody knows how to make a typechecker that doesn&#39;t totally shit itself as soon as you put a function call in an index, but they apparently just ignore the problem and charge forwards. It&#39;s genuinely impressive, it reminds me of Youtube videos like &#34;Can you beat Dark Souls using only a wet pool noodle?&#34; 2025-02-05T12:34:12Z