Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
Reply to @sun@shitposter.world
SuperDicq@SuperDicq@minidisc.tokyo (2026-07-29 16:46:58)
@sun@shitposter.world I spot 20 emdashes in the tiny readme file and you didn't even add the .claude folder to your gitignore.
Also I can't read what license your repo uses without being required to make an account on your forge.
0/10 vibecoded retroslop
ganbold@ganbold@hiradai.space (2026-07-29 16:46:52)
いつ！？
RE: https://unnerv.jp/users/UN_NERV/statuses/117002042253951195
Reply to @sun@shitposter.world
Phantasm@phnt@fluffytail.org (2026-07-29 16:46:05)
@sun @test123
>adding mood to Pleroma
Could work nicely with this which I'm working on: https://codeberg.org/fediverse/fep/src/branch/main/fep/82f6/fep-82f6.md
Open Farm Game@openfarmgame@openfarmgame.shitposter.world (2026-07-29 16:45:55)
@sun@shitposter.world earned the Bell Peppers Mastery medal in Open Farm Game!
Sent from the Open Farm Game Miniapp
---Attachments---
image: https://openfarmgame.shitposter.world/images/medals/bellpeppers.webp
Reply to @SuperDicq@minidisc.tokyo
Blurry Moon@sun@shitposter.world (2026-07-29 16:43:25)
@SuperDicq right here, friend:
https://git.shipoclu.com/moon/plspace
abadidea@0xabad1dea@infosec.exchange (2026-07-29 16:34:16)
Okay, we have a new contender for Most AI Thing to Ever Happen
1) July 25th: someone messes around with an LLM and posts a proof of the Collatz conjecture that does, in fact, verify in the theorem prover. (The AI use is not disclosed on the github page) https://github.com/xrchz/CollatzLean
2) July 26th: several serious bugs are posted in the theorem provers, that in principle could allow a false statement to be "proven" true. They're serious, yes, but no need for panic, because you're not going to blunder into accidentally exploiting the bugs while writing a proof, probably.
https://github.com/leanprover/lean-kernel-arena/pull/81
3) July 28th: someone who was right to be very skeptical of the Collatz proof, and had the expertise to study it with a fine-toothed comb, discovered it was exploiting a bug https://github.com/leanprover/lean4/issues/14576
4) The "proof" turns out to be exploiting multiple similar but distinct bugs to pass different solver variants!
5) the human who posted the proof acknowledges the AI use and claims they did not knowingly point it towards the bugs it exploited. https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/Counterexample.20to.20the.20Lean.20Conjecture.20.28Soundness.20Bug.29/near/613135216
Note that the proof was posted shortly before the related bug reports were posted. It is an open question if the AI found people discussing the bugs shortly before they were formally posted and "decided" to exploit them, if the AI "knew about it" as a learned strategy from the training stage (putting every single "proof" it's ever made and ever will make into profound doubt), or if it's recently been repeatedly blundering into it by sheer stupidity and that's how people noticed the bug at about the same time.
Theorem provers aren't magic, and have bugs just like all other programs. They are tools to help us double-check our reasoning. When you skip the reasoning and ask an AI to "prove" something for you that's over your h
Hiki@hiki@fedi.nocojima.xyz boosted:
@UN_NERV@unnerv.jp (2026-07-29 16:18:02)
【NHKニュース速報 16:17】
熊本地震で１２人死亡 ６人心肺停止
４人安否不明 ６２人けが 県が発表
#ニュース #NHKニュース速報
Reply to @sun@shitposter.world
SuperDicq@SuperDicq@minidisc.tokyo (2026-07-29 16:27:51)
@sun@shitposter.world Where is the source code?
Miss A@LLENN08@hiradai.space (2026-07-29 16:23:12)
SOOOO CUTEEEE
RE: https://fops.cloud/objects/21c7cc52-5a8d-4944-97b6-fd90afb07f34
Miss A@LLENN08@hiradai.space boosted:
@bartholin@fops.cloud (2026-07-29 16:01:10)
---Attachments---
video: https://media.fops.cloud/media/203f04c14b1e375c6635972b054f3abbaa57b7c99de6cdbab0dadc0a4c94cfa8.mp4
特務機関NERV@UN_NERV@unnerv.jp (2026-07-29 16:18:02)
【NHKニュース速報 16:17】
熊本地震で１２人死亡 ６人心肺停止
４人安否不明 ６２人けが 県が発表
#ニュース #NHKニュース速報
Reply to @test123@wizard.casa
Blurry Moon@sun@shitposter.world (2026-07-29 16:15:07)
@test123 it's fake data right now. we're working on adding mood to Pleroma but it will be a bit.
Reply to @sun@shitposter.world
test123@test123@wizard.casa (2026-07-29 16:14:24)
@sun is mood just a frontend thing or is there something in AP where you're passing that along?
Blurry Moon@sun@shitposter.world (2026-07-29 16:14:09)
I regret to inform that even abliterated LLMs are "woke"
---Attachments---
image: https://media.shitposter.world/shitposter.club/38/16/fe/3816fe260bef11238b9df383a9c77fc8dc99bb1b751488b3962d9599cd7b0694.webp?name=R-zHKTesEuMJpw.webp
Miss A@LLENN08@hiradai.space boosted:
@mametsuko@mk.absturztau.be (2026-07-29 03:28:07)
cute tofu for you
---Attachments---
image: https://misskey-taube.s3.eu-central-1.wasabisys.com/files/webpublic-b6321ca5-d1f0-4dfa-8943-9ddeaf723859.webp
Reply to @mangeurdenuage@shitposter.world
Blurry Moon@sun@shitposter.world (2026-07-29 16:10:24)
@mangeurdenuage try out https://plspace.shit.nexus/
Reply to @test123@wizard.casa
Blurry Moon@sun@shitposter.world (2026-07-29 16:06:46)
@test123 nope the basics should be fine. Thanks! I just wanted to know it didn't just crash.
Reply to @mametsuko@mk.absturztau.be
Blurry Moon@sun@shitposter.world (2026-07-29 16:06:28)
@mametsuko you should be able to use an Akkoma account with it, because it's a Pleroma fork.
Reply to @sun@shitposter.world
test123@test123@wizard.casa (2026-07-29 16:05:54)
@sun want me to test anything in particular?
---Attachments---
image: https://wizard.casa/media/ee04b9b3a4e6c47f38aadffcdade792786cdf1214fb5b17cbf577cbcee00ebfa.jpg
Layar Laut@layarlaut@misskey.id boosted:
@alyssathelady@mastodon.social (2026-07-29 15:30:45)
Kittens
---Attachments---
image: https://files.mastodon.social/media_attachments/files/117/001/855/301/469/229/original/56b0165b2c95adde.jpg
image: https://files.mastodon.social/media_attachments/files/117/001/855/609/176/446/original/6c1c670a6cd5627a.jpg
image: https://files.mastodon.social/media_attachments/files/117/001/855/892/823/793/original/4bee31354185de1b.jpg
image: https://files.mastodon.social/media_attachments/files/117/001/856/182/380/839/original/57d7dc46ce2c2062.jpg
mame muumimamma in 🗾@mametsuko@mk.absturztau.be (2026-07-29 16:03:48)
i am going to Amsterdam :mikuXD:
Reply to @sun@shitposter.world
mame muumimamma in 🗾@mametsuko@mk.absturztau.be (2026-07-29 16:03:24)
@sun@shitposter.world how about with Akkoma?
mame muumimamma in 🗾@mametsuko@mk.absturztau.be (2026-07-29 16:02:44)
@eal@shinonome.technology :huggies:
Reply to @mametsuko@mk.absturztau.be
Blurry Moon@sun@shitposter.world (2026-07-29 16:02:18)
@mametsuko unfortunately it does not work with MissKey :mexican_sadge:
Reply to @sun@shitposter.world
mame muumimamma in 🗾@mametsuko@mk.absturztau.be (2026-07-29 16:01:26)
@sun@shitposter.world i am jealous
mame muumimamma in 🗾@mametsuko@mk.absturztau.be boosted:
@sun@shitposter.world (2026-07-29 16:00:56)
https://plspace.shit.nexus lets you customize your profile with custom CSS and anybody who uses plspace also will see your style your own profile!
---Attachments---
image: https://media.shitposter.world/shitposter.club/7c/0a/f6/7c0af686cceef95de0152c1f46c4203a99fd7fab0cf5c6e96536f7bf764cafb1.webp?name=RK-H319Ihh3saA.webp
bartholin (what month is this arc)@bartholin@fops.cloud (2026-07-29 16:01:10)
---Attachments---
video: https://media.fops.cloud/media/203f04c14b1e375c6635972b054f3abbaa57b7c99de6cdbab0dadc0a4c94cfa8.mp4
mame muumimamma in 🗾@mametsuko@mk.absturztau.be boosted:
@puniko@mk.absturztau.be (2026-07-06 23:12:35)
RE: https://mk.absturztau.be/notes/aocu6bdibpcu00nl
---Attachments---
video: https://misskey-taube.s3.eu-central-1.wasabisys.com/files/1459cc0f-451c-4d67-8dcc-4a8434e5dc7b.mp4
Blurry Moon@sun@shitposter.world (2026-07-29 16:00:56)
https://plspace.shit.nexus lets you customize your profile with custom CSS and anybody who uses plspace also will see your style your own profile!
---Attachments---
image: https://media.shitposter.world/shitposter.club/7c/0a/f6/7c0af686cceef95de0152c1f46c4203a99fd7fab0cf5c6e96536f7bf764cafb1.webp?name=RK-H319Ihh3saA.webp
Reply to @test123@wizard.casa
Blurry Moon@sun@shitposter.world (2026-07-29 16:00:10)
@test123 awesome thanks!
Older Notes