Posts
4441
Following
738
Followers
1657
"I'm interested in all kinds of astronomy."
repeated
Edited 26 days ago

I find this compelling, but my economic clue is subprime (pun intended). I would love to read critique on their arguments.

https://www.groundbrkr.com/p/the-second-derivative-why-no-one

0
2
0
repeated
repeated

As promised, DarkSword Kernel Exploit writeup is now live at https://therealclarity.github.io/blog/clearsword/
This goes over the root cause, what happens on the Kernel side and how the kernel exploit is implemented.
Hope it helps anyone looking to understand it! :)

0
3
0
repeated

Vegas in August = Hacker Summer Camp.
We'll be at Black Hat, B-Sides LV, and DEF CON 34.

Highlights: a demo of our upcoming Malware Analysis Add-On, a hands-on DLL sideloading workshop (40 seats, register now), a live look at Teams' new Git-native workflow, and recruiting. (Yes, we're hiring!)

👉 Find the full rundown and where to catch us: https://hex-rays.com/blog/hex-rays-hacker-summer-camp-2026

0
1
0
repeated

A new article by @XC3LL ! Yes, we are live again! 🦉

In this post we RE a sound protocol (yes soundwaves!) used by Eufy to sync its security video doorbell and also we recover wifi credentials from its flash memory.

From your doorbell to your home network => https://adepts.of0x.cc/eufy-doorbell-hacking/

0
4
0
repeated
repeated
repeated

I'd like to introduce Kuna, a new Rust-based decompiler that explores a highly experimental direction: self-refining decompiler development and usage. Or: a decompiler constantly improved by agents, made for agents.

Kuna rivals the best in structuring now. Let's talk about it.1/

1
4
0
repeated

I am baffled why people are going "oh no what is to be done" about openai breaking into a competitors computers, when it is incredibly obvious: Charge them under the CFAA. "Oh but their research". Sandbox it from the Internet. "Oh it's too hard to do that". Skill issue, get good.

As I said: Weird that Robert Morris got charged for all of the computers his worm broke into. After all, he didn't do it, the computer program did it, that's completely different, apparently. https://en.wikipedia.org/wiki/Morris_worm

2
17
0
I like that cargo whips the LLMs butt so I don't have to
0
0
1
repeated

russia’s FSB reported bringing charges against Telegram founder Pavel Durov for facilitating terrorist activity and placing him on the international wanted list.

According to the security service, the administration of the messaging app fails to delete channels and bots that, according to the russian side, are used to coordinate terrorist attacks and acts of sabotage in russia.

https://en.interfax.com.ua/news/general/1188849.html

0
2
0
repeated

Ghidra SNES: Ghidra extension for loading and working with SNES ROMs https://github.com/joshleaves/ghidra-snes

0
3
0
repeated

"you type fast" i have to type fast or i can't get the thoughts out before the buffer gets cleared and they get replaced with different thoughts

5
16
2
repeated

The US will try anything but gun control

6
10
0
Some tracks can't be saved even by a schrantz remix

#KylieMinogue
0
0
1
repeated

RE: https://infosec.exchange/@raptor/116941213445764051

In light of the recent news on the demise of conference videos on , I’m happy to announce that I’ve uploaded the videos of my two talks here:

INFILTRATE 2019 - Marco Ivaldi - A bug’s life: story of a Solaris 0day
https://youtu.be/e6hYrFHkXcU

INFILTRATE 2020 - Marco Ivaldi - The INFILTRATE effect: 6 bugs in 6 months
https://youtu.be/G8vhifVUmg4

For older videos, see also the @InfoCon archive:
https://infocon.org/cons/Infiltrate/

1
4
0
repeated

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!

⚠️⚠️[IMPORTANT EDIT: it was later clarified that the person who originally posted the proof was already aware that it was buggy, and chose not to be clear about this up front, as a humorous way to file a bug. It's pretty clear from the discussion threads that plenty of qualified people did not immediately realize it was meant to be a bug report.]⚠️⚠️

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 head, you're entering an adversarial pact with the monkey-pawed Devil of Customer Satisfaction.

my initial source for investigating this myself: https://lipn.info/@mevenlennonbertrand/116997927457012577

11
26
0
[RSS] ColdFusion Under Fire: Breaking Down CVE-2026-48283 and CVE-2026-48313

https://horizon3.ai/intelligence/blogs/coldfusion-critical-cves/
0
0
1
[RSS] The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes

https://blog.silentsignal.eu/2026/07/28/the-cipher-behind-qsyrupwd-reconstructing-ibm-i-password-hashes/

IBM may be overselling their local password protection: my old friends show some neat #IBMi reversing tricks to reveal how the platform hashes passwords at different security levels (QPWDLVL)
0
0
1
Show older