2026-04-29T08:24:28Z https://yabu.me Matteo Capucci https://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/nevent1qqsqrcwnrapysf7lc4rl8fy9rqqr5pha4s2gvmyf7v9gjqjfv2a76uczyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsaqmdks In reply to <a href='/nevent1qqstsnnx9r22s0z9qnvjutetwhf6q8hgeffwhm2kfxxqkgp768mx0msaksf92'>nevent1q…sf92</a><br/>_________________________<br/><br/>yikes. 2026-01-27T07:40:42Z https://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/nevent1qqsfftse6fsfdycwngtj5uqyrj6dexzg3kdxccm2hjy2aradan40j3czyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchs8757lv In reply to <a href='/nevent1qqsfp88kk07dl70scjgspd3pap3wln6wu47cfjz4rpanrsqxyk2e3zgw978x0'>nevent1q…78x0</a><br/>_________________________<br/><br/>🤷 2025-12-10T12:14:16Z https://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/nevent1qqs0nqvhjypztqqypz0amzxqylfyw80u5y02jgjyaym27tjeadqddmgzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsqet4hk insane that &#39;The Logic of Science&#39; came out in 2003 2025-11-03T08:07:32Z https://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/nevent1qqs9zal90mpa74hy0gqfe7ltqqzat4agmfmzshwn4l7v9xdej00gw2szyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsdfuyha &gt; update texlive<br/>&gt; regret it 2025-08-26T14:00:19Z https://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/nevent1qqspmc5vmlre5y4883hmxs4muq30876v8u5ef4a8nj46q7cpzhapnvqzyrlygdmhcpkf96dyzunnvqwh6vswptre3e25ya45qlns20c0mjchsyun2yv In reply to <a href='/nevent1qqs83vm38x2g0n6hsgcfg4erpfxcft7h393ldh2rvqf784hcfgxhtnqajksez'>nevent1q…ksez</a><br/>_________________________<br/><br/>🤯 amazing! 2025-04-14T11:34:53Z https://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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://yabu.me/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