Tootfinder

ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System
Taesoo Kim, HyungSeok Han, Soyeon Park, Dae R. Jeong, Dohyeok Kim, Dongkwan Kim, Eunsoo Kim, Jiho Kim, Joshua Wang, Kangsu Kim, Sangwoo Ji, Woosun Song, Hanqing Zhao, Andrew Chin, Gyejin Lee, Kevin Stevens, Mansour Alharthi, Yizhuo Zhai, Cen Zhang, Joonun Jang, Yeongjin Jang, Ammar Askar, Dongju Kim, Fabian Fleischer, Jeongin Cho, Junsik Kim, Kyungjoon Ko, Insu Yun, Sangdon Park, Dowoo Baik, Haein Lee, Hy…

ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System
We present ATLANTIS, the cyber reasoning system developed by Team Atlanta that won 1st place in the Final Competition of DARPA's AI Cyber Challenge (AIxCC) at DEF CON 33 (August 2025). AIxCC (2023-2025) challenged teams to build autonomous cyber reasoning systems capable of discovering and patching vulnerabilities at the speed and scale of modern software. ATLANTIS integrates large language models (LLMs) with program analysis -- combining symbolic execution, directed fuzzing, and static analysi…

Series C, Episode 12 - Death-Watch
SERVALAN: The ancient weapons of combat. Use your choice with honour. [Deeta takes both guns and checks them over.] They've already been checked. Don't you trust us? I assure you they're exactly the same.
DEETA: No two guns are ever exactly the same.
https://blake.torpidity.net/m/…

Integrability from a Single Conservation Law in Quantum Spin Chains
Akihiro Hokkyo
https://arxiv.org/abs/2508.20713 https://arxiv.org/pdf/2508.20713…

Integrability from a Single Conservation Law in Quantum Spin Chains
We prove that for quantum spin chains with finite-range interactions, the existence of a specific conservation law known as the Reshetikhin condition implies the presence of infinitely many local conserved quantities, i.e., integrability. This shows that the entire hierarchy of conservation laws associated with solutions of the Yang--Baxter equation is already encoded in the lowest nontrivial conservation law. Combined with recent rigorous results on nonintegrability, our theorem strongly restr…