2026-10-26T16:30:34Z https://nostr.now Matteo Capucci https://nostr.now/npub1lezrwa7qdjfwnfqhyumqr47nyrs2c7vw24p8ddq8uuzn7r7uk9uqkv3yeq https://media.mathstodon.xyz/accounts/avatars/000/289/048/original/b9cf149b7fa7c036.png https://media.mathstodon.xyz/accounts/avatars/000/289/048/original/b9cf149b7fa7c036.png https://nostr.now/nevent1qqst3wnxs4se0xampcgaz4e8m76qg527n0yjcjlhurz2t02q6w4g4rgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs8rxhd5 In reply to <a href='/nevent1qqsgmjxyks75hh45ggm8gaenpwsad9avutye3xe93mkk4f9nqm4gshqc7xcfg'>nevent1q…xcfg</a><br/>_________________________<br/><br/>Yeah uhm it&#39;s hard to disagree here, after all I *am* convinced that CT is useful to math after all!<br/>It just seems to me the kind of application of CT to GLC&#39;s proof is somewhat different than other cases. There&#39;s subjects in math that can work as mercenaries, you hire them for the one job and you owe them no allegiance. CT seems to require a more solid integration in the structure of a theory, certainly a longer term game.<br/>So that&#39;s what I was trying to get at in my OP. 2026-09-21T08:00:07Z https://nostr.now/nevent1qqsyqlxyukfp6yzf3h764nk2t4r0qrezdrt475va5qg9t0gaz0vl9dgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs60nrru In reply to <a href='/nevent1qqspnulsle90sy54nmz8kvzvu2ztga6yd76t8swmpthaml2e45r2dhg85lkky'>nevent1q…lkky</a><br/>_________________________<br/><br/>Well it&#39;s also the outside perception of mathematics, and what transpares by competitions like IMO. Also, afaiu CT is very much isolated in its own corner because we cannot pump out theorems like &#39;real&#39; mathematicians are supposed to do. Maybe I have a false perception. 2026-09-20T11:11:46Z https://nostr.now/nevent1qqstrp6t4c740ns6j2a28e067twdnd72snhjpgjtx9ff8y6uxly8mlqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchswsqz9k Grant Sanderson wrote a guest post on Tao&#39;s blog:<br/>&gt; If math is more than proof, we need to better celebrate the rest of it <a href="https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it/">https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it/</a><br/><br/>It&#39;s really nice! My fav kind of essay about math&#39;s existential crisis are those the put the accent on the inadequacies of current mathematical institutions and socio-scientific practices (prize culture &amp; big problem fetish).<br/><br/>Sanderson also mentions Chow&#39;s notion of an &#39;open exposition problem&#39;, which he defined as follows:<br/>&gt; Solving an open exposition problem means explaining a mathematical subject in a way that renders it totally perspicuous. Every step should be motivated and clear; ideally, students should feel that they could have arrived at the results themselves.<br/><br/>This reminds me of Leinster&#39;s extended definition of &#39;category theory&#39;, from one of my favourite essays<br/>&gt; <a href="https://golem.ph.utexas.edu/category/2010/03/a_perspective_on_higher_catego.html">https://golem.ph.utexas.edu/category/2010/03/a_perspective_on_higher_catego.html</a><br/><br/>Leinster doesn&#39;t give a tweetable definition of what the calls the &#39;second meaning&#39; of category theory, so one might summarize it as &#39;leveraging abstraction to reach clarity&#39;; or &#39;making the trivial trivially trivial&#39;, as some used to say.<br/><br/>After a couple of years in applied category theory, I started accepting that CT was unlikely to make me prove striking results in mature areas of math, and that we should really embrace it&#39;s *clarifying* power as the real value of the categorical approach. This means embracing it in teaching and in exposition, and hopefully one day even in papers and grant applications (current AI turmoil might have the effect of making this much much easier). 2026-09-20T09:30:16Z https://nostr.now/nevent1qqsp7qx4wfuu6l5ks9xxvneclwlxy75h4kq67dkty4hgeg4sppp35eqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchstmzlyw In reply to <a href='/nevent1qqstkferp65knjfeekujw6cm036wwfgakc6l5keuyg36nvv78d9uprqp565h2'>nevent1q…65h2</a><br/>_________________________<br/><br/>hehe :) 2026-08-26T10:05:54Z https://nostr.now/nevent1qqs2ncz53l736r3amwe44223rfpunednqmr0d0gdxnfgact9avxqwmczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchspt78lx be not afraid<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/117/155/615/578/766/198/original/8c5a6e6270bc637a.png"> <br/> 2026-08-25T10:14:13Z https://nostr.now/nevent1qqsqg7mrvnkpwagyl9nckrccr2gyu7jlnrx9yr79kqvmeeaujtq4tcgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsruame7 In reply to <a href='/nevent1qqsdc8hqkzahz6qqnuurw0vxd8kk5sgq0p9wvnsx7ewwhse5u0etruse3fdju'>nevent1q…fdju</a><br/>_________________________<br/><br/>if everything goes to plan, it should be done within a month. then reviewers will bite away, and we&#39;ll see how long that takes. hopefully not too much longer! 2026-08-21T00:27:21Z https://nostr.now/nevent1qqsyrfwg25lh4ep9x4h9209mh5dkn9zrtxv6z7jr0xyzsmyv3mhnemqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsdhlf8m In reply to <a href='/nevent1qqsvmfs96xemyfp69caka3p2c3p2kqmw4m5kyn7pclreqs4z2epsxlqtmp9w7'>nevent1q…p9w7</a><br/>_________________________<br/><br/>and needless to say, so much stuff is inspired or directly taken from the community&#39;s work, the list is too long! 2026-08-21T00:25:34Z https://nostr.now/nevent1qqsvmfs96xemyfp69caka3p2c3p2kqmw4m5kyn7pclreqs4z2epsxlqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsyhuy5j In reply to <a href='/nevent1qqsz5y8vwttaajrp52tp7wjm963lzzz20dy8xtkvrutxhvla385d4jsn75gew'>nevent1q…5gew</a><br/>_________________________<br/><br/>so glad to have you as a beta tester :) I hope it&#39;s gonna get less challenging to read when we are done refining the thing.<br/>we are currently attacking a massive to-do list of ~600 items. we spent most of last week just reading through each other&#39;s parts and heavily annotating them. there&#39;s quite a bit of writing missing, and tons of copyedits.<br/>we are doing this at David Jazz&#39;s parents house in Portugal, which has helped making the whole process less stressful!<br/><br/>also, let me mention that the thesis will also feature two contributed chapters, one from [@ayegill](<a href="https://schelling.pt/@ayegill">https://schelling.pt/@ayegill</a> ) (about continuous-time SDEs) and one by Diptarko Roy and Gregory Neustroev, on &#39;supermartingale certificates for Markov processes&#39;. having heavy-duty stochastic systems in the framework is quite a reality check (if far from definitive), and Dip and Greg&#39;s exposition gives a glimpse of where one could go with some ingenuity. 2026-08-21T00:23:47Z https://nostr.now/nevent1qqspetnch0nsnpga3d64f37x9zv25mtd25qf33vh4mnc9k6v829unsgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchssmgg24 In reply to <a href='/nevent1qqsw95x5xv5kjeh3zr2qf5t0rul0cxm3u7g20m2lxm7ltw3eakekttgrfx79g'>nevent1q…x79g</a><br/>_________________________<br/><br/>oh wow for a moment I thought it was comparing *increase* of all those countries (and was pretty relieved by seeing how good Italy was doing) but no 🤯 2026-08-21T00:14:41Z https://nostr.now/nevent1qqsph4sdlp2cwtztkr2x0tj7uhuvq4hdzyhld6ncxtpz65t0fzxahlczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs5f8huv In reply to <a href='/nevent1qqsp3un7xug87cjqp86cgaq9mum4xdhzrtw3s2rr9tcflyqkagrzm0q6wdhgk'>nevent1q…dhgk</a><br/>_________________________<br/><br/>ah damn. though I mean *real* \infty-category theorists (ie (\infty,\infty)) 2026-08-15T17:14:20Z https://nostr.now/nevent1qqsrc639w5h6pzt870sftuxwrtf0apx5sr6pas3v23m6xsqpe400rjszyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs04ym9w in 10 years, \infty-category theorists will look at 1-category theorists the way 1-category theorists look at set theorist 2026-08-15T16:27:04Z https://nostr.now/nevent1qqsrpxsxe46qdxxyjxm8925xccfphcwt7ppttfm78l5gkh54s3elfpczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsww6vmk so in his latest post (<a href="https://xenaproject.wordpress.com/2026/08/13/the-annals-challenge/">https://xenaproject.wordpress.com/2026/08/13/the-annals-challenge/</a>) Buzzard makes the point that the process of formalizing math usually yields insight on the math itself, which seems very reasonable!<br/>I thought I could ask the chatbots about examples of that, but then why not ask here? <br/>formalizers, blow my mind! 2026-08-14T19:31:46Z https://nostr.now/nevent1qqsp6c6flsujgjass5ldenr5uynssn8hwnsr93helacf68x97s3m9fgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchshsrgda this is wild <a href="https://arxiv.org/abs/2608.08421">https://arxiv.org/abs/2608.08421</a><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/117/075/952/568/809/717/original/e73e77361536aa35.png"> <br/> 2026-08-11T08:35:03Z https://nostr.now/nevent1qqs240tz238lmjynj8pem6aekums3ewdwccx2w95ttn8e07prjfleaqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsq22rxr the language spoken by aibros on X is noticeably diverging from the rest of english and it&#39;s so bizarre 2026-06-09T07:57:17Z https://nostr.now/nevent1qqstgm4jaa756snv2x0f0ke34hajnuzjlhnz6mwvqxeghyltrcww63czyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs8836ph In reply to <a href='/nevent1qqsfs3xka7kfvm54sdljzlnvgagr3m22amhz6sjnh8pj378v2ryjgsc7vcdth'>nevent1q…cdth</a><br/>_________________________<br/><br/>yeah indeed, but it&#39;s been known to work. thanks for the notes :D 2026-05-22T07:25:34Z https://nostr.now/nevent1qqs0l055uncp8cdykt97r5njyau98wyaajxmkhdzez88hwswujudwrqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs9a4eq4 In reply to <a href='/nevent1qqspq65jl4k0k2udj5zsq0f3hlxqnkjdgkjt4prvfuzdtje2tzdzktg7tkmns'>nevent1q…kmns</a><br/>_________________________<br/><br/>is this a quasicrystal? it&#39;s the projection of a high-dimensional lattice so it&#39;s not unlikely 2026-05-22T07:16:42Z https://nostr.now/nevent1qqspunr8ags5lr8ywy5mkpatg9qra7v5q6lyu3f4p8q0496r9ntdxzgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsuqjjsw In reply to <a href='/nevent1qqs2xkm3z94wcg2wmg39q3ygex6jdzaep8lh42knfc3r4sdq6c20sfg2zzcfe'>nevent1q…zcfe</a><br/>_________________________<br/><br/>you should write &#39;huger numbers&#39;, where you list all the numbers from Elwes&#39; book but + 1 2026-04-29T08:19:25Z https://nostr.now/nevent1qqs2zza9d35lmgp4yal43hd5xeqtcfds4f02ashsnvucfdcppcqphsczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs8ya63a got an automated email from a guy who runs a website posting slopified versions of papers from the arxiv. my last preprint with David was promptly fed to it, with my and David&#39;s name under it. &#34;if you find any errors, just reply to this email&#34;. the rage is immense. 2026-04-07T08:11:21Z https://nostr.now/nevent1qqspf3s5q0lcxafuvzuv85a7a3k4u6shpy56jtltw4z453gf9azlj5szyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsn8s8zy In reply to <a href='/nevent1qqsyvx8f4elxu2u8l67684534480de0agvs9wt4vhh4azvq6yuqy0rswghmp6'>nevent1q…hmp6</a><br/>_________________________<br/><br/>is it bad to emancipate such an institution from a private US university?<br/>the CEO salary is quite embarrassing though, I agree 2026-03-14T11:43:48Z https://nostr.now/nevent1qqsrw7h90vhfp0383lj585cd6pgmhgkqyteajzr0cs73jgcfxxevvygzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs8llh0g In reply to <a href='/nevent1qqsz946yehphekqy4g8a3y3rmmv92tuvefpp27lgqulw06k4cx9l7tstvar4u'>nevent1q…ar4u</a><br/>_________________________<br/><br/>uh I should re-read that... there is definitely something interesting brewing... 2026-03-04T20:06:32Z https://nostr.now/nevent1qqsfrfhc22cf5sd88nzkzs6hyzxakfuq68pg82hs20kxpqcxwjy5krczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsyz9yjf This paper is uber-cool, linking Shannon entropy to groupoid cardinality (it&#39;s also short and elementary, worth a read!).<br/><br/>**Homotopy Cardinality and Entropy**<br/>Andrés Ortiz-Muñoz<br/> We explore connections between homotopy type theory and information theory through homotopy cardinality. We define probability types and random variable types, prove that homotopy cardinality respects dependent sums under truncation and decidability hypotheses, and show that it does not respect dependent products in general. Using the power series expansion of the logarithm, expressed type-theoretically through deloopings of finite cyclic groups, we formulate Shannon entropy as the homotopy cardinality of a type and derive the chain rule for entropy under a trivial-action hypothesis. <br/><br/><a href="https://arxiv.org/abs/2501.10672">https://arxiv.org/abs/2501.10672</a><br/><br/>A very interesting aspect about this is that in Bayesian probability, the only accepted way to build a prior is through the so-called *principle of indifference*, namely the evident fact that &#39;equivalent&#39; outcomes should be assigned the same probability. That is, one *starts* from a 1-truncated groupoid! And these are precisely the ones with the required properties in the preprint. 2026-03-04T17:13:35Z https://nostr.now/nevent1qqsqrcwnrapysf7lc4rl8fy9rqqr5pha4s2gvmyf7v9gjqjfv2a76uczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsaqmdks In reply to <a href='/nevent1qqstsnnx9r22s0z9qnvjutetwhf6q8hgeffwhm2kfxxqkgp768mx0msaksf92'>nevent1q…sf92</a><br/>_________________________<br/><br/>yikes. 2026-01-27T07:40:42Z https://nostr.now/nevent1qqsyv8884w50mwcl6g5g3ql3tmgrfyx6rx87p9elaa2l8p7uzzpq8kczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchslxpmjy In reply to <a href='/nevent1qqs2020jwdt7xhs879ywjxhj9kkurywxr466lr7w3f6w4de6qk37eysaygmwf'>nevent1q…gmwf</a><br/>_________________________<br/><br/>damn the case seems pretty strong then :O 2025-12-15T11:27:15Z https://nostr.now/nevent1qqsry9lggfpjqhzxs4aamepels70ptghyexdz6eukeuk8ws75kcnnlczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsrpyp9z In reply to <a href='/nevent1qqs0qgw62xyctfll8pwwg6dcxlwdnw7clyxmla8jmaxsgtsax3ddg9cagut38'>nevent1q…ut38</a><br/>_________________________<br/><br/>🤯 It never occurred to me the explanation could be this simple! 2025-12-15T11:02:16Z https://nostr.now/nevent1qqsds73ch294h7uf4t9yv9z3gvf22p50mzgrh276zz9z0ysf4flwp8szyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsvlguad In reply to <a href='/nevent1qqsv9lydxv9pcyhnmyrvkhgna29sntjlgvlh6fwuzdh6n30j4cm8cug2p5pmt'>nevent1q…5pmt</a><br/>_________________________<br/><br/>I&#39;ve always been puzzled by the claim the universe might be BH, there something I must be missing: how can the universe be so small and massive to be a BH and yet it contains many things that are less dense than one?? 2025-12-15T04:08:17Z https://nostr.now/nevent1qqsfftse6fsfdycwngtj5uqyrj6dexzg3kdxccm2hjy2aradan40j3czyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs8757lv In reply to <a href='/nevent1qqsfp88kk07dl70scjgspd3pap3wln6wu47cfjz4rpanrsqxyk2e3zgw978x0'>nevent1q…78x0</a><br/>_________________________<br/><br/>🤷 2025-12-10T12:14:16Z https://nostr.now/nevent1qqsday4us37d5lnqkp89lu4d67xrqseese9ey5d05ddyuzzl269ecdqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs69u6xv In reply to <a href='/nevent1qqs8taa5kecq55swjnlsqrfd99u92w4yrhd8lk02q4uy03tcpz6088s3jelyc'>nevent1q…elyc</a><br/>_________________________<br/><br/>weird, it never appeared on my timeline. I suspect you might have &#39;quiet&#39; posts on, meaning your posts are public but do not appear on timelines (I learned of this when I tried to quote boost your AI-in-math toot) 2025-12-10T10:54:19Z https://nostr.now/nevent1qqsqzyyqdghvfshm2qagkgwlvlmsumdwqt5masjelh0p7vyvfw4u2jszyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchse56mty In reply to <a href='/nevent1qqsrea40s20yw3upudaqrudw8fmfrp8zzpt00lx7d8xq83fd2t2r68qtcyltg'>nevent1q…yltg</a><br/>_________________________<br/><br/>uh yeah this was supposed to be a quote-boost of that toot of yours. let me fix that! 2025-12-07T17:28:02Z https://nostr.now/nevent1qqsgemxrs9rxusyxhhjdfscq22st06y2n2dzmsvl9s7kluq92d60q8qzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs6gnkfl A corollary to this is that in the near future we might see easily-automated puzzle-solving lose status compared to human-guided theory-building. I wonder how this will change the social reality of mathematics, especially in the eye of the general public, where puzzle-solving is disproportionately represented... 2025-12-07T15:23:55Z https://nostr.now/nevent1qqsyckp50vpz0z3d0mxajtx86mq5jrw2579zv8ssfjfpwwh34dzpcrczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsfjp9as In reply to <a href='/nevent1qqsq7rwca8remvmph6495mpd2hcv67tu9t2cqy0vt33yfxfuqsqx3csd4erv5'>nevent1q…erv5</a><br/>_________________________<br/><br/>I really like this idea of defining virus as non-living stage of a living organism, the virocell. I&#39;m also very entertained by matters stretching our definitions of &#39;life&#39; and &#39;organism&#39;. Thanks for the pointers! 2025-11-28T14:03:04Z https://nostr.now/nevent1qqsqawlx7cyn3k93ktuhqwf94an5en3fhn2rrcuyqc6dhqmg8rvq6wszyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchswsr5c9 uh is the author ok<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/600/189/130/402/397/original/e972674a992b0154.png"> <br/> 2025-11-23T17:28:45Z https://nostr.now/nevent1qqst9tfpejykpxh6g33j8jq4gr9wnfw7x2hw6ee8t8f32lpz706shhgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs3d0gnd further proof most academic publishing industry is completely parasitic <a href="https://arxiv.org/abs/2511.01675">https://arxiv.org/abs/2511.01675</a><br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/586/945/103/544/575/original/7d2bd1a8f80e0e7c.png"> <br/> 2025-11-21T09:21:27Z https://nostr.now/nevent1qqsgqg574rfpnntkj5l56j7dhp9qlnzf9ru79g70pe2yvkne92z9w5qzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsazfvgp In reply to <a href='/nevent1qqsqkf9pnyesd0844jqymt4ug56rspuzcuflzv80wlpvqmsfahrw6uqj9t8sy'>nevent1q…t8sy</a><br/>_________________________<br/><br/>Thanks! Today and tomorrow. No problem if you&#39;re busy! :) 2025-11-20T09:12:42Z https://nostr.now/nevent1qqs2a38hp3c5xnyn8jzldwgj0fuasctjepus8tna24etdnrwqc5evwszyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchst4vsrl In reply to <a href='/nevent1qqsrmg27vvgchj708x0xudyek4jd86q8xzz0s62uua447pv3m4pthyggpgk48'>nevent1q…gk48</a><br/>_________________________<br/><br/>Thanks for the publicity John, though, for completeness, I should mentioned that me and Jason Brown will also be authoring the thesis, and a few more people will be involved as contributors too. Also, plenty more people will be working on tools that directly or indirectly build on top of (1) and (2), including software and innovative model checking techniques, among others.<br/>If you&#39;re free in the next couple of days, I&#39;ll still be around Edinburgh and I&#39;d be happy to meet up! 2025-11-19T16:10:16Z https://nostr.now/nevent1qqsqq5fulkd7cgetnkrw7376ynn0l9x5z8rrnhvzsjwkcuugr0dqluqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsxvnh2g In reply to <a href='/nevent1qqsv5gndn24fd4z05xhk0smxa6gjvtc8pc3wtgejfylucdksp2zpneqjhxlxn'>nevent1q…xlxn</a><br/>_________________________<br/><br/>Indeed... it also seems his (and Cox&#39;s) derivation of the laws of probability from &#39;logical axioms&#39; is wrong (though one of these axioms is &#39;it should adhere to common sense&#39;, so I&#39;d say the attempt was doomed from the start).<br/>Instead, here&#39;s a nice paper fixing the proof (and much more readable):<br/>&gt; <a href="http://arxiv.org/abs/1507.06597">http://arxiv.org/abs/1507.06597</a><br/>I love how they incorporate a &#39;monoidality&#39; axiom, saying that the probability law on XxY should be a composite of those of X and Y, using the same operation one uses for conjunction. I wonder if one could phrase their theorem as a uniqueness theorem for Markov functors from free Markov categories with conditionals into BR... much like your paper with Fritz and Leinster did for entropy... 2025-11-04T10:42:00Z https://nostr.now/nevent1qqsp4nfmnmgret8tt30a93nvepvs6hl9esmwpjzkffq6t6gjvht4k6gzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchszpegvc In reply to <a href='/nevent1qqs0c44t6was8yyazkzeslpfq8ymxqpzxsljak2eqpkt5739gawunfq506nkn'>nevent1q…6nkn</a><br/>_________________________<br/><br/>he follows such an observation with this take, which is quite funny given that the most interesting developments in logic in the last century or so came from dropping axioms from classical logic (first lem to get intuitionistic logic, then weakening/contraction to get linear logic). and I wouldn&#39;t say IL and LL are just musings of the ivory tower dwellers, since they say quite important things about computation, and e.g. make implication---which Jaynes rightly criticizes for being very unintuitive---much more adherent to intuition<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/484/971/418/792/136/original/7c984f5c918be84c.png"> <br/> 2025-11-03T09:10:43Z https://nostr.now/nevent1qqs0c44t6was8yyazkzeslpfq8ymxqpzxsljak2eqpkt5739gawunfqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsvnxcmm In reply to <a href='/nevent1qqsrqmzyjwletnyxa2ssr07ctssfmy35v5ssjxpajnv4a3vwh82excgkqz9l0'>nevent1q…z9l0</a><br/>_________________________<br/><br/>also insane how sharp Jaynes is about statistics compared to his logical takes, which are at best shallow and at worst just plain wrong---here he complains about the syllogism on the right by apparently saying it is not intuitionistically valid, except it is (it&#39;s again *modus ponens*/cut rule):<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/484/961/846/568/536/original/e1bf761756880334.png"> <br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/484/964/705/030/595/original/c11bd37359a5f73f.png"> <br/> 2025-11-03T09:06:20Z https://nostr.now/nevent1qqsrqmzyjwletnyxa2ssr07ctssfmy35v5ssjxpajnv4a3vwh82excgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsz6gv43 In reply to <a href='/nevent1qqs0nqvhjypztqqypz0amzxqylfyw80u5y02jgjyaym27tjeadqddmg3hgksn'>nevent1q…gksn</a><br/>_________________________<br/><br/>also insane the distrust Jaynes has towards... infinite sets?<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/484/853/122/101/170/original/66879179b80454d3.png"> <br/> 2025-11-03T08:37:40Z https://nostr.now/nevent1qqs0nqvhjypztqqypz0amzxqylfyw80u5y02jgjyaym27tjeadqddmgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsqet4hk insane that &#39;The Logic of Science&#39; came out in 2003 2025-11-03T08:07:32Z https://nostr.now/nevent1qqsxhjlqdcwnymvg56h54syj3sqyjn6wcn5ghktgg9k8lpg65s4kzfczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs2gkvqw very cool finding: planetary tidal forcing on the solar dynami might explain various short period cycles in solar magnetic activity:<br/><a href="https://phys.org/news/2025-08-planets-subdue-solar.html">https://phys.org/news/2025-08-planets-subdue-solar.html</a><br/><br/>this might interest <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>John Carlos Baez</span> (<span class="italic">npub1nf4…nqe4</span>)</a></span>, the paper is quite readable (though I understand very little in the way of solar dynamics): at some point they compare the forcing effect they find to secondary beats in music theory! 2025-10-29T08:13:24Z https://nostr.now/nevent1qqsxamx8r0crp0wgyudvcessfuzn9nfjjewhha8xjy4t49n4wmdtclszyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs5w6p62 In reply to <a href='/nevent1qqs0z5htd0k6sr3wtmw5j6znfkq6yk73d2qlepcqnrnnwcpqc2jg44qezfa03'>nevent1q…fa03</a><br/>_________________________<br/><br/><a href="https://youtu.be/P4iiNpkClRU?si=khmdlB0RsE729DlQ">https://youtu.be/P4iiNpkClRU?si=khmdlB0RsE729DlQ</a> enjoy the ride! 2025-10-25T20:49:05Z https://nostr.now/nevent1qqsw5t3paxrn85sw4nvzh3cmelmhd3kyrrdnqqh0kdj9hl4y4vn8cqqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs55h29f day ruined by learning of Sabine Hossenfelder&#39;s last video contains a very stupid invective about CT... 2025-10-25T09:28:16Z https://nostr.now/nevent1qqsq2dcxa7hzdwayg5y9z2273l0c0cg0qgh6zw0d8sufm99zm05rcrczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsh9p33s In reply to <a href='/nevent1qqsvm3vpaypeq6aqpr6xsvkgkw0kpzllhfgl8f6exrt8lypypdpydrg6jumwt'>nevent1q…umwt</a><br/>_________________________<br/><br/>&#34;We at Holon Labs argue that the prevailing object-centric worldview, rooted in set theory, became dominant not just because of its mathematical elegance, but because it perfectly mirrored the needs of an industrial civilization focused on discrete products, quantifiable assets, and manageable parts&#34;<br/><br/>uh great I didn&#39;t know one can just &#39;argue&#39; historical facts lol 2025-09-08T19:00:55Z https://nostr.now/nevent1qqsfdqsdc8rgj0ncy7tvneftm5u4plsv260lajhzxzf4w8lv9xdxm3gzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsg5h296 In reply to <a href='/nevent1qqsw88j32dd0lshjxyseaef803cvn7eknxv4emcfhp9yj4jwh9v5vugq6e3rr'>nevent1q…e3rr</a><br/>_________________________<br/><br/>in my case I do add the type in the label, but it still doesn&#39;t pick it up (apparently due to a conflict with amsmath) 2025-08-27T10:59:14Z https://nostr.now/nevent1qqsxx3yxgzhhhfjsgytwd5pcfcfepelw6zyjr92zqmfmj9cckgvxnegzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsgszkfa In reply to <a href='/nevent1qqsx2zv05a3qzxs628axaqh9xam0uyadmrz8w4r5qcsfmnqxg7svg4cg9n7nh'>nevent1q…n7nh</a><br/>_________________________<br/><br/>it looks like cleveref used to rely on a way to alias counters that broke in the latest version, someone gave a fix here <a href="https://tex.stackexchange.com/a/750232/124018">https://tex.stackexchange.com/a/750232/124018</a><br/><br/>I&#39;m curious what Tom came up with though, since the conflict with amsmath is pretty conspicuous 2025-08-26T17:25:38Z https://nostr.now/nevent1qqsrkwe427l0uy8nzy6xyyywjuujeppqelwev3skjx0fd82lxeykwgqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchshamq6d In reply to <a href='/nevent1qqs9zal90mpa74hy0gqfe7ltqqzat4agmfmzshwn4l7v9xdej00gw2s5krnmr'>nevent1q…rnmr</a><br/>_________________________<br/><br/>somehow cleveref is broken despite not having been updated in 7 years wtf 2025-08-26T14:23:53Z https://nostr.now/nevent1qqs9zal90mpa74hy0gqfe7ltqqzat4agmfmzshwn4l7v9xdej00gw2szyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsdfuyha &gt; update texlive<br/>&gt; regret it 2025-08-26T14:00:19Z https://nostr.now/nevent1qqs2zw7p6fufxlp9ar0ukqqfgagvq6fp2v6cn436x9zx9w8ygjv25cszyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchss0n7l2 In reply to <a href='/nevent1qqswtsqxc8nchvhm50mtkmasppakukpfzej8zvy9q0zv2szlm6uktnqxqm3th'>nevent1q…m3th</a><br/>_________________________<br/><br/>maybe the other 7 hours are all Eastern religions lol 2025-08-03T18:48:17Z https://nostr.now/nevent1qqsqnjs3gk0vgd5gfzwsnmhk5tpkgjz6fmd9kg7ujpa8mfju0fzvqagzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchssy272q kinda crazy to think space has its own wind, weather, and thus erosion: gas and dust clouds, as well as small compact objects, can be consumed away by stellar wind<br/><br/><a href="https://en.wikipedia.org/wiki/Photoevaporation">https://en.wikipedia.org/wiki/Photoevaporation</a> 2025-08-01T08:36:52Z https://nostr.now/nevent1qqsq3qmcjkv8kzpnzyy8wjy8g5c0qdx3u2vxjcklndquu2km0j3np4szyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs4mug00 guys is it too abstract to witness your existentials<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/114/811/433/751/958/917/original/fe4c625d983ec8d2.jpg"> <br/> 2025-07-07T10:18:20Z https://nostr.now/nevent1qqspmc5vmlre5y4883hmxs4muq30876v8u5ef4a8nj46q7cpzhapnvqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsyun2yv In reply to <a href='/nevent1qqs83vm38x2g0n6hsgcfg4erpfxcft7h393ldh2rvqf784hcfgxhtnqajksez'>nevent1q…ksez</a><br/>_________________________<br/><br/>🤯 amazing! 2025-04-14T11:34:53Z https://nostr.now/nevent1qqsp7prv4h7wf64h3zqrgdj5rkwsdpum3wx7c5z7my2h6au364x2rrgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsy2jydn In reply to <a href='/nevent1qqs84hvkjf65he6e5wdn5htwztxw9ac7ayt5hd8rz75gumyvtltlskgpptwun'>nevent1q…twun</a><br/>_________________________<br/><br/>how the heck do you discern between a stable isotope and one with a gazillion years halflife?? 2025-04-08T17:08:25Z https://nostr.now/nevent1qqs0rzzpv6aewrw0mu0s4z20kxfvpmm7a96fmu5xs6uu354x2rdp8pgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsnnatpr In reply to <a href='/nevent1qqsw0vdzdj86v0c5n84tdm0gzty9dca57sf70swjrvxl4k4jc5r2znqhmexgn'>nevent1q…exgn</a><br/>_________________________<br/><br/>after reading (half of) this now the theorem feels completely trivial so I say good job! 2025-02-08T08:49:15Z https://nostr.now/nevent1qqs25jst7yq6egn5lax6se9n9u6gtrwz8duh4znsyzdrdlu66ahdmwqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchss23n5l freezing cold take: if I have to &#39;login through my institution&#39; to read it, it&#39;s not open-access 2024-12-01T16:01:43Z https://nostr.now/nevent1qqsw5uczdqp0lhf0rh0xcrscukl4wefyr9n2wawpq278wgj95v7z20gzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsl8ck65 In reply to <a href='/nevent1qqszwxxt7wtukqpjkpjt0mxdfspdcpm9atmzk6myddm7exc4v80x5vqwaezr2'>nevent1q…ezr2</a><br/>_________________________<br/><br/>yeah I gave it for granted connected component in a directed graph meant forward-connected, but probably should&#39;ve specified that 2024-11-16T15:36:47Z https://nostr.now/nevent1qqsr6wsafaun522lwd44wrdj920eymwah3w0dhz2ctcxe6xtp6yvlhqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchscjmd09 crackpot papers form a connected component of the citation graph.<br/><br/>corollary: if a paper cites (attributing credibility) a crackpot paper, then it&#39;s crackpot too.<br/><br/>helps shortening reviewing time... 2024-11-15T15:26:39Z https://nostr.now/nevent1qqspn8mt7surfkcjn6ee8qaqqwh8xexgaru873hwlmg4ulj7u6l6a8gzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsquurnm In reply to <a href='/nevent1qqszk2qmxc9wd2f9gn8y7hdsjqvgt87gmv3mfmrg8uprqm2gszyjamsx0fv32'>nevent1q…fv32</a><br/>_________________________<br/><br/>I was indeed tempted to include this extra interpretation of natural number lol do you think one can make it as &#39;elementary&#39; as cardinals/ordinals? i.e. do &#39;dimensional numbers&#39; answer to some basic intuition, which could be appealed to without introducing homotopy theory? 2024-08-29T15:11:15Z https://nostr.now/nevent1qqs837e4ywq83cl5ch7wrn4j4kj972klc7m3rdkcgl9zpy7ald0f6yqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsf8d5fs the dilemma of starting natural numbers at 0 or 1 stems from the fact they abstract both cardinal (which start at 0) and ordinal (which start at 1) numbers. so I guess the best answer is &#39;it depends&#39;. 2024-08-29T12:27:57Z