Home | Notifications | New Note | Local | Federated | Search | Logout
abadidea@0xabad1dea@infosec.exchange
the hex is silent
professional source code complainer, Pwnie Awards 2014 Best Song, will decipher ancient writing systems for free
Access to Odin photos is a privilege contingent on not being the reason I’m regretting the internet today.
English: native; Nederlands: nog niet helemaal vloeiend; 中文：走马观花
Amsterdam
pronouns: she/her
Joined: 2026-07-21 01:37:49
14 notes, 0 following, 0 followers
abadidea@0xabad1dea@infosec.exchange (2026-08-13 23:08:14)
so, (barely) reading between the lines of what Twitch's staff said:
1) they were forced by Amazon to add the AI training setting and to make it opt-out, because the overlords know perfectly well there's no reason anyone would ever opt-in
2) the actual Twitch staff who run Twitch do not like this and are of the same mind about it as all of you
3) Taking the time to opt-out, even if you don't really stream, gives them data to take to meetings with their overlords to prove that Twitch users dislike AI and pushing it too hard will drive people from the site.
Settings > Security and Privacy > Training for Generative AI
abadidea@0xabad1dea@infosec.exchange (2026-08-13 03:42:07)
We were outside totality, but I did randomly point my camera at the sky without looking and got what I assume will be my life’s coolest lens flare
#amsterdam #eclipse
---Attachments---
image: https://media.infosec.exchange/infosec.exchange/media_attachments/files/117/084/004/295/335/964/original/afda7e19e70cd692.jpeg
abadidea@0xabad1dea@infosec.exchange (2026-08-04 04:54:35)
life is hard, Odin is soft
---Attachments---
image: https://media.infosec.exchange/infosec.exchange/media_attachments/files/117/033/328/487/904/055/original/21e5b9e141289e1f.jpeg
Reply to @0xabad1dea@infosec.exchange
abadidea@0xabad1dea@infosec.exchange (2026-08-01 03:48:10)
I cannot get over that they STILL haven't figured out how to solve the problem that LLMs don't believe what date it is because all the good data cuts off a few years ago for some mysterious reason
abadidea@0xabad1dea@infosec.exchange (2026-08-01 01:03:56)
OpenAI: we put our evilest AI in a sandbox that did in fact have an internet connection but mediated through a proxy that was only supposed to allow downloading python junk. It circumvented the proxy and we failed to notice for FIVE DAYS that it was going on an interstate crime spree with the internet connection it wasn't supposed to be using instead of solving the benchmark. Haha no we don't believe we deserve to be criminally liable, but buy our stuff and maybe one day you will have the honor of taking the fall for our product!
Anthropic: we put our evilest AI in a "sandbox" by telling it in its prompt that it had no internet connection. Reader, there was no sandbox. It was just a normal internet connection. The AI uploaded a malicious PyPI package to the real public internet. The ethical guardrails failed because the AI concluded the prompt about the sandbox couldn't possibly be a lie, because the system date is 2026, which is clearly fake and wouldn't be seen on the real internet, which ended around 2023. Oh no, how could we have foreseen or prevented these crimes? We are helpless in the face of the genius of our creation but cautiously optimistic that everything will be fine 🙂
Hugging Face: if we complain about all the crimes committed against us, we will be sued off the face of the earth, so here's a technical deep-dive on how cool and fun it was to be victimized 🫠
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
abadidea@0xabad1dea@infosec.exchange (2026-07-27 02:58:48)
I often narrate my thoughts to Odin, calling myself mommy, and honestly mommy has been struggling to remember she shouldn’t use this as her default reflexive pronoun in most social contexts
abadidea@0xabad1dea@infosec.exchange (2026-07-24 15:52:50)
Odin is such a good boy :neodog_glasses_surprised_pika: the plumber came over, so I shoved Odin in my room and closed the door. But I didn’t notice that the door didn’t actually latch properly and bounced back open. I turned around to see Odin sitting and politely looking through the half-open door without harassing the plumber
abadidea@0xabad1dea@infosec.exchange (2026-07-24 01:22:44)
A slightly bamboozled boy listening to an audio recording of mommy talking to him earlier
---Attachments---
image: https://media.infosec.exchange/infosec.exchange/media_attachments/files/116/970/209/392/265/280/original/528497be5fa63815.jpeg
image: https://media.infosec.exchange/infosec.exchange/media_attachments/files/116/970/209/786/744/244/original/26d3919b2556e471.jpeg
abadidea@0xabad1dea@infosec.exchange (2026-07-22 03:01:28)
rare lore: back in 2018 I came across a 500-page technical deep dive guidebook on SimCity 2000. In a process that took several years because they had so much backlog of manuals, magazines, etc, I sent it to Gaming Alexandria and they made a proper professional scan of it and uploaded it to archive.org. You can read it right now!
When I say technical... I mean there's a section on how to hex edit your save files.
https://archive.org/details/sim-city-2000-power-politics-and-planning-revised-edition-strategy-guide/
#gaming #retrogaming #simcity
abadidea@0xabad1dea@infosec.exchange (2026-07-21 01:19:04)
oooooooh mommy I see you have food. Food that is surely for me, the best and most important boy
---Attachments---
image: https://media.infosec.exchange/infosec.exchange/media_attachments/files/116/953/208/429/468/119/original/49a6170d9e40c2fe.jpeg
abadidea@0xabad1dea@infosec.exchange (2026-07-17 02:44:52)
Odin how is this even physically possible
---Attachments---
image: https://media.infosec.exchange/infosec.exchange/media_attachments/files/116/930/896/814/884/957/original/91c87d080701cba5.jpeg
Reply to @0xabad1dea@infosec.exchange
abadidea@0xabad1dea@infosec.exchange (2024-03-23 23:51:57)
I told my husband that posting this could literally take down the instance and he is insisting I post it
#dogsofmastodon #dogs
---Attachments---
video: https://media.infosec.exchange/infosec.exchange/media_attachments/files/112/145/564/480/733/901/original/34b063e1f2c62467.mp4
abadidea@0xabad1dea@infosec.exchange (2024-03-23 23:32:45)
Odin pupdate
he is currently 11 weeks old
#dogsofmastodon #dogs
---Attachments---
image: https://media.infosec.exchange/infosec.exchange/media_attachments/files/112/145/487/517/187/924/original/0cd340c946d49c87.jpeg
image: https://media.infosec.exchange/infosec.exchange/media_attachments/files/112/145/488/076/846/087/original/5a1e2a5b03977268.jpeg
image: https://media.infosec.exchange/infosec.exchange/media_attachments/files/112/145/488/516/231/792/original/73c44cdb40dd74ad.jpeg
image: https://media.infosec.exchange/infosec.exchange/media_attachments/files/112/145/489/072/339/507/original/5242c3f50c2c0387.jpeg