2026-02-03T22:40:06Z https://yabu.me Zer0dyn https://yabu.me/npub10efq6e6cecsdvkaqjvsg3nxe9z8c4kwu8sj82yf5mfvth3xmypnqmj68y7 https://yabu.me/nevent1qqsx35xj70pdjx2fzy5z8v2fynf5n4dvsm5dkektz8ksest5gzm29qczypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvewfq5e #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/700/840/223/082/original/2aba55d5d5326234.mp4"></video><br/> 2026-01-27T23:40:18Z https://yabu.me/nevent1qqstj7uj5hxhmte09x5p37aqdnyt0cygwklcvn8xy9uehhzwcht3ykczypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvjdvdwk #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/622/849/774/700/original/2ecef6c3003342bd.mp4"></video><br/> 2026-01-27T23:20:25Z https://yabu.me/nevent1qqsx6y7pr78ppn3xvet7kchrehhxqdnfv3z8nxwe9xf59rla5f8r6vczypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvsf5ud6 #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/621/139/588/582/original/5cca2347188d8d5d.mp4"></video><br/> 2026-01-27T23:19:55Z https://yabu.me/nevent1qqsgns9ynwankjg5e2f859kkllcuzzs80tlq9jjet49y3tt7cx3842szypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvngg7xx #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/611/309/930/474/original/a1a2d5ee22c3916d.mp4"></video><br/> 2026-01-27T23:17:26Z https://yabu.me/nevent1qqsvas29zp9t7pule0whpl5cvp06s2vqmqzfe9ycelgqx5735d2nxtqzypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvpx99lx #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/594/208/394/054/original/16a408b50fb868a8.mp4"></video><br/> 2026-01-27T23:13:09Z https://yabu.me/nevent1qqsqfaj0eghjjt5yu06mq3xa5cz4w0jhzzee9tg52dddzpslgwfge0czypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxv5p6ewn #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/461/632/760/638/original/5c514221188d7b95.mp4"></video><br/> 2026-01-27T22:39:24Z https://yabu.me/nevent1qqsr5g2fn99xdpd4fhmzr9trtysjxdvq7rmkt5wr546er5uja9tx7qczypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvag5h3p #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/432/405/733/383/original/0d3576e53d18dd6f.mp4"></video><br/> 2026-01-27T22:31:56Z https://yabu.me/nevent1qqstkgnsu2f6yy5n6y90qv4nzdjz07dvs3guv0k6k35hqu0g63uxjegzypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvuh60vc #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/424/302/156/972/original/963a6329fcfafa61.mp4"></video><br/> 2026-01-27T22:29:51Z https://yabu.me/nevent1qqs8x9kzyznvll0xtzu82wq4kelkqqne34j57gx4zxj5ulad78t33gqzypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvrxf83g #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy <br/><br/><a href="https://www.youtube.com/watch?v=3E6-O0EuBc8">https://www.youtube.com/watch?v=3E6-O0EuBc8</a> 2026-01-27T22:20:53Z https://yabu.me/nevent1qqsvrwfannsdj8x2gm6xprk4kse6cl9pmz4rklsgw97unrs08rqpcvczypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvm8dnd0 #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/324/855/899/149/original/7e84cbcd79bb9847.mp4"></video><br/> 2026-01-27T22:04:34Z https://yabu.me/nevent1qqsweewtrtgkl6mqzedx0nszp9q9vxp6a7ndgadxrfh9k96x568a8uszypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxv76yxjf #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/305/817/629/399/original/2a74d7c94d1edda6.mp4"></video><br/> 2026-01-27T21:59:46Z https://yabu.me/nevent1qqs9tx5y6evfqwglt8lmlv4zalrtk7ethkrmj85hzmrlzjrh3ydd5rszypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxveewvs3 #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme #comedy<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/296/055/136/592/original/fab1a26ba2fd8cf4.mp4"></video><br/> 2026-01-27T21:57:16Z https://yabu.me/nevent1qqsdjz2klfff8sfvrdaxtda2q56yqav0wxj3df0xksukgh4jajpx3tgzypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvphru6w #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/969/280/952/059/958/original/0e0d31f5d680a588.mp4"></video><br/> 2026-01-27T21:53:24Z https://yabu.me/nevent1qqsvfd0qkpk58cn0cgtvgyfggfaa9664cn676k887e0vpjwdycfn88qzypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxv52u3sk #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature #meme <br/><br/>How it feels to be a man in this generation.<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/965/399/040/463/887/original/17a0f0f0cc941bcd.mp4"></video><br/> 2026-01-27T05:26:58Z https://yabu.me/nevent1qqsgc8649al9p38hjr0e4kukv3tdy3cx5ntsjq52f2gmuqgnn5ztw8qzypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvhuq6un #computerscience #philosophy #logic #physics #art <br/>#business #biology #nature<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/960/565/045/067/806/original/79e548d47e11a9fb.mp4"></video><br/> 2026-01-26T08:58:02Z https://yabu.me/nevent1qqsq7c6lr3zw85zvk4lmwdh2cwvgkmx7j29awst8dfr2v2tepcxk9wszypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvtnhlqu #memes #real #art #philosophy #physics #politics #logic<br/> <img src="https://media.mathstodon.xyz/media_attachments/files/115/944/262/494/872/784/original/08c90150ba3e263c.png"> <br/> 2026-01-23T11:52:34Z https://yabu.me/nevent1qqs27y9vkewlp6px7tlwfgeweaushxzju2yvpqaatp4zvv5dcw4vr9qzypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxvdmjt97 #linux #microshit #microsoft #computerscience #philosophy #logic #physics #art<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://media.mathstodon.xyz/media_attachments/files/115/943/970/497/182/381/original/4e05127c43030b66.mp4"></video><br/> 2026-01-23T10:39:20Z https://yabu.me/nevent1qqsxtu2886lj20a6yj0a74d04hcvgjqj5yej6er6tfuaj8crfuqnlkczypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxv7t96q9 In reply to <a href='/nevent1qqsv8lfatx2w3surs0hy8svrkzd9s9fhdaz4mer4czq6nyg6gfmlxrsj5tnqc'>nevent1q…tnqc</a><br/>_________________________<br/><br/>Nice, I found out I already follow Martín but didn&#39;t realize he was an expert in constructive mathematics specifically. Wasn&#39;t paying close enough attention. I&#39;ll look into their work more carefully now. Thank you again 2026-01-20T06:50:09Z https://yabu.me/nevent1qqsf3y84tkygjssyxawldayuhv83d3ue8ydtam63xh3pf55z0exxxlszypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxva3p5z5 In reply to <a href='/nevent1qqsr0tg6yt7rjc580fwtsnvg0kjdw6rq6ym0vherjzl9sd6qugu3ejg5e0h69'>nevent1q…0h69</a><br/>_________________________<br/><br/>Thank you for this, I appreciate it. I will check their work. 2026-01-20T06:35:46Z https://yabu.me/nevent1qqs8szjv8sgrp0rmxacsx8c2c0yj22p55q3qc872y6377tvp2rl0cagzypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxv3whj40 In reply to <a href='/nevent1qqsp6tfmsedgyuqmqfhkysfn0h5l0uxae86jcjp3405ff08xseu6gqq4ym8vr'>nevent1q…m8vr</a><br/>_________________________<br/><br/>That&#39;s fair. I&#39;ll learn the language to access the material without losing my accent, even if I&#39;m not fully sold on the philosophy behind it. I will have a utilitarian stance for now, but I&#39;ll keep exploring alternatives on the side. 2026-01-20T06:16:05Z https://yabu.me/nevent1qqs2a3sa08nthnce8hd4pz97kt2kekx9ujwa00z0qs54a9nq70e09pczypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxv7qqga0 (1/2):<br/><br/>Accidentally Constructivist: Asking the Wall if the Moon is Cheese <br/><br/>I&#39;m learning about formal proofs and logic, and honestly, a lot of it feels off. Maybe it’s my background in CS (I dropped out of community college, but the intuition stuck). <br/><br/>First, Proof by Contradiction feels weird. Just because something is &#34;Not False&#34; doesn&#39;t necessarily mean it&#39;s True. It’s just... Not False. It&#39;s like saying just because I didn&#39;t lose, I must have won. But what if it&#39;s a draw? Why does the lack of a counter-example suddenly count as absolute proof? It feels like we&#39;re conflating &#34;undisprovable&#34; with &#34;true.&#34; Gödel literally proved that truth is bigger than proof, so why do we pretend the binary covers everything?<br/><br/>And Vacuous Truth seems preposterous. Wdym &#34;from falsehood follows anything&#34;? How can you have a valid proof where the contra-proof is equally valid? &#34;All unicorns are purple&#34; is True, but &#34;All unicorns are green&#34; is also True? What kind of Schrödinger&#39;s cat logic is that? It feels like asking a wall if the moon is cheese. The wall says nothing, so logic assumes &#34;Yes.&#34; To me, logic is looking for Compliance (did I break a rule?), but I’m looking for Content (does this actually exist?).<br/><br/>I also have issues with Set Theory, specifically the Empty Set. Math admits that Infinities can differ (Reals &gt; Naturals), so why is &#34;Nothing&#34; always the same? In ZFC, an empty set of apples is identical to an empty set of oranges. That feels wrong. Think about the Zero Vector in physics. It has zero magnitude, but it still has direction (2D vs 3D). It remembers where it came from. The Empty Set should be the same, it should keep a trace of what it’s empty of.<br/><br/>#math #logic #constructivism #philosophy 2026-01-20T05:34:54Z https://yabu.me/nevent1qqs2hnpfz3fnnl3vh7nj0g2pswjaj473w7nrm084dpyk7t7spqfsv0czypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxv066lmq In reply to <a href='/nevent1qqs0k69krr4t3c6mzrnna9utk2hqwc053juny2gkdfnk3cdu9vy68dgy4w36j'>nevent1q…w36j</a><br/>_________________________<br/><br/>Thanks for the link to the blog.<br/><br/>It looks like they explicitly cite &#39;moderation&#39; and &#39;screening&#39; as the reason, though they don&#39;t elaborate on what exactly they are screening for. I assume the &#39;why now&#39; is likely due to the recent flood of AI slop.<br/><br/>If that’s the case, they could just partner with multilingual detection tools like Turnitin or GPTZero. That would reduce the moderator workload significantly without restricting the languages scientists can use <br/><br/>I still don&#39;t fully understand their decision, because the effect will be losing significant market share. If their motive is helping America or themselves, they should want arXiv to be open to everyone so that they remain the center of scientific discovery, rather than pushing researchers elsewhere. 2025-12-22T15:37:05Z https://yabu.me/nevent1qqsfuxlyhnvva76zc9079rynk3mjy0724kjfj0p8690hv8nk2aenzgczypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxv835mew In reply to <a href='/nevent1qqszy4s8sl50clqak09cd5s72jl398kvhcyzpaed46s4pu3334hcwfc67y7er'>nevent1q…y7er</a><br/>_________________________<br/><br/>Fair point. I don&#39;t know how arXiv operates financially; to be honest, I have no idea of the ins and outs of arXiv. However, if cost is the issue, why shift the burden to the author? Perhaps use decent automated translation tools like DeepL or Google Cloud. Maybe have arXiv implement a &#39;Translate&#39; button on the site for readers. I know it&#39;s not going to be perfect, but it would be better than nothing.<br/><br/>I see. If that&#39;s the case, then I meant &#39;put on the arXiv&#39;, my bad (I have no experience with arXiv other than reading/skimming papers put on there).<br/><br/>If arXiv is just a platform where people put papers up, then why is it concerning itself with translation? It seems to me that they&#39;re basically a storage unit or repository. If a paper that gets put on arXiv is groundbreaking, I would hope the scientific community would translate it. Grothendieck didn&#39;t translate his own work to English, yet it spread because the ideas were vital.<br/><br/>I&#39;m not really familiar with arXiv, so I don&#39;t understand why they are mandating English upfront. Is arXiv betting that they can predict what is &#39;valuable&#39; enough to be worth reading? Does that mean if something isn&#39;t in English, we should discard it? If that&#39;s the case, it feels kind of bigoted. Maybe I&#39;m missing something, I&#39;m quite ignorant and I&#39;m not in proximity to the scientific community, so maybe that&#39;s where my confusion is, but I just don&#39;t get it. 2025-12-22T14:34:44Z https://yabu.me/nevent1qqswd28cskqulp7mgycysp6h2q3nlqkqm9nr5vuluq3ux6amefeqlmgzypl9yrt8tr8zp4jm5zfjpzxvmy5glzkems7zgag3xnd93w7ymvsxveh9zll In reply to <a href='/nevent1qqspcn8lwscvc4sumgsukvfxca4vnkgfj5dlnjxwzaandejxrnz90as4n4f5y'>nevent1q…4f5y</a><br/>_________________________<br/><br/>Why can&#39;t they just translate the papers themselves after they&#39;ve been published? If they deem a paper to be useful, then they could translate it themselves.<br/><br/>That said, I could see how a common language would make collaboration efficient, like the metric system. Unfortunately, America doesn&#39;t follow that, yet they expect others to speak their language.<br/><br/>I think perhaps having a short summary of the paper in multiple languages would be good, but translating the whole thing into English seems like they&#39;re trying to bully others. It&#39;s not like the rest of the world is asking people who upload papers in English to translate them into other languages. It seems unfair.<br/><br/>Also regarding AI slop, I think they could just incorporate the same technology that checks students work for AI like <a href="https://gptzero.me/">https://gptzero.me/</a> or something like that. Personally, I do use AI to help fix my grammar cause i&#39;m quite weak on language oriented subjects plus I didn&#39;t grow up in America and I&#39;m dyslexic for those reasons, I don&#39;t think AI writing is completely bad, it been useful in that regards for me but I could see how it would be bad regarding research papers. 2025-12-22T13:21:08Z