Zer0dyn

https://mathstodon.xyz/@Zer0dyn

Public Key

npub10efq6e6cecsdvkaqjvsg3nxe9z8c4kwu8sj82yf5mfvth3xmypnqmj68y7

NIP-05 Address

zer0dyn_at_mathstodon.xyz@momostr.pink

Profile Code

nprofile1qqs8u5sdvavvugxktwsfxgygenvj3ru2m8wrcfr4zy6d5k9mcndjqesprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntq8msxx

Publishing to

relay.momostr.pink

Author Public Key

npub10efq6e6cecsdvkaqjvsg3nxe9z8c4kwu8sj82yf5mfvth3xmypnqmj68y7

Show more details

Last Notes

2026-01-27 23:40:18 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://media.mathstodon.xyz/media_attachments/files/115/969/700/840/223/082/original/2aba55d5d5326234.mp4

2026-01-27 23:20:25 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://media.mathstodon.xyz/media_attachments/files/115/969/622/849/774/700/original/2ecef6c3003342bd.mp4

2026-01-27 23:19:55 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://media.mathstodon.xyz/media_attachments/files/115/969/621/139/588/582/original/5cca2347188d8d5d.mp4

2026-01-27 23:17:26 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://media.mathstodon.xyz/media_attachments/files/115/969/611/309/930/474/original/a1a2d5ee22c3916d.mp4

2026-01-27 23:13:09 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://media.mathstodon.xyz/media_attachments/files/115/969/594/208/394/054/original/16a408b50fb868a8.mp4

2026-01-27 22:39:24 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://media.mathstodon.xyz/media_attachments/files/115/969/461/632/760/638/original/5c514221188d7b95.mp4

2026-01-27 22:31:56 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://media.mathstodon.xyz/media_attachments/files/115/969/432/405/733/383/original/0d3576e53d18dd6f.mp4

2026-01-27 22:29:51 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://media.mathstodon.xyz/media_attachments/files/115/969/424/302/156/972/original/963a6329fcfafa61.mp4

2026-01-27 22:20:53 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://www.youtube.com/watch?v=3E6-O0EuBc8

2026-01-27 22:04:34 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://media.mathstodon.xyz/media_attachments/files/115/969/324/855/899/149/original/7e84cbcd79bb9847.mp4

2026-01-27 21:59:46 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://media.mathstodon.xyz/media_attachments/files/115/969/305/817/629/399/original/2a74d7c94d1edda6.mp4

2026-01-27 21:57:16 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme #comedy
https://media.mathstodon.xyz/media_attachments/files/115/969/296/055/136/592/original/fab1a26ba2fd8cf4.mp4

2026-01-27 21:53:24 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme
https://media.mathstodon.xyz/media_attachments/files/115/969/280/952/059/958/original/0e0d31f5d680a588.mp4

2026-01-27 05:26:58 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature #meme
How it feels to be a man in this generation.
https://media.mathstodon.xyz/media_attachments/files/115/965/399/040/463/887/original/17a0f0f0cc941bcd.mp4

2026-01-26 08:58:02 UTC

#computerscience #philosophy #logic #physics #art
#business #biology #nature
https://media.mathstodon.xyz/media_attachments/files/115/960/565/045/067/806/original/79e548d47e11a9fb.mp4

2026-01-23 11:52:34 UTC

#memes #real #art #philosophy #physics #politics #logic
https://media.mathstodon.xyz/media_attachments/files/115/944/262/494/872/784/original/08c90150ba3e263c.png

2026-01-23 10:39:20 UTC

#linux #microshit #microsoft #computerscience #philosophy #logic #physics #art
https://media.mathstodon.xyz/media_attachments/files/115/943/970/497/182/381/original/4e05127c43030b66.mp4

2026-01-20 06:50:09 UTC

- reply

Nice, I found out I already follow Martín but didn't realize he was an expert in constructive mathematics specifically. Wasn't paying close enough attention. I'll look into their work more carefully now. Thank you again

2026-01-20 06:35:46 UTC

- reply

Thank you for this, I appreciate it. I will check their work.

2026-01-20 06:16:05 UTC

- reply

That's fair. I'll learn the language to access the material without losing my accent, even if I'm not fully sold on the philosophy behind it. I will have a utilitarian stance for now, but I'll keep exploring alternatives on the side.

2026-01-20 05:34:54 UTC

(1/2):
Accidentally Constructivist: Asking the Wall if the Moon is Cheese
I'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).
First, Proof by Contradiction feels weird. Just because something is "Not False" doesn't necessarily mean it's True. It’s just... Not False. It's like saying just because I didn't lose, I must have won. But what if it's a draw? Why does the lack of a counter-example suddenly count as absolute proof? It feels like we're conflating "undisprovable" with "true." Gödel literally proved that truth is bigger than proof, so why do we pretend the binary covers everything?
And Vacuous Truth seems preposterous. Wdym "from falsehood follows anything"? How can you have a valid proof where the contra-proof is equally valid? "All unicorns are purple" is True, but "All unicorns are green" is also True? What kind of Schrödinger's cat logic is that? It feels like asking a wall if the moon is cheese. The wall says nothing, so logic assumes "Yes." To me, logic is looking for Compliance (did I break a rule?), but I’m looking for Content (does this actually exist?).
I also have issues with Set Theory, specifically the Empty Set. Math admits that Infinities can differ (Reals > Naturals), so why is "Nothing" 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.
#math #logic #constructivism #philosophy

2025-12-22 15:37:05 UTC

- reply

Thanks for the link to the blog.
It looks like they explicitly cite 'moderation' and 'screening' as the reason, though they don't elaborate on what exactly they are screening for. I assume the 'why now' is likely due to the recent flood of AI slop.
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
I still don'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-22 14:34:44 UTC

- reply

Fair point. I don'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 'Translate' button on the site for readers. I know it's not going to be perfect, but it would be better than nothing.
I see. If that's the case, then I meant 'put on the arXiv', my bad (I have no experience with arXiv other than reading/skimming papers put on there).
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'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't translate his own work to English, yet it spread because the ideas were vital.
I'm not really familiar with arXiv, so I don't understand why they are mandating English upfront. Is arXiv betting that they can predict what is 'valuable' enough to be worth reading? Does that mean if something isn't in English, we should discard it? If that's the case, it feels kind of bigoted. Maybe I'm missing something, I'm quite ignorant and I'm not in proximity to the scientific community, so maybe that's where my confusion is, but I just don't get it.

2025-12-22 13:21:08 UTC

- reply

Why can't they just translate the papers themselves after they've been published? If they deem a paper to be useful, then they could translate it themselves.
That said, I could see how a common language would make collaboration efficient, like the metric system. Unfortunately, America doesn't follow that, yet they expect others to speak their language.
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're trying to bully others. It'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.
Also regarding AI slop, I think they could just incorporate the same technology that checks students work for AI like https://gptzero.me/ or something like that. Personally, I do use AI to help fix my grammar cause i'm quite weak on language oriented subjects plus I didn't grow up in America and I'm dyslexic for those reasons, I don'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.