Theori Security AssessmentinTheori BLOGWinning the AIxCC Qualification RoundIn August, Theori’s CTF team, as part of the Maple Mallard Magistrates, won Defcon CTF for the 3rd year in a row–the first team ever to do…Sep 241
Aarav JoshiinPuzzling MysteriesInside DARPA: The Terrifying Truth Behind the Tech That Controls Our WorldFrom Killer Robots to Human Gene Editing — Discover the Dark Secrets of the U.S. Military’s Most Advanced and Controversial AgencyOct 111
Émilia HoarfrostDiscussing DARPA’s TRACTOR: On Translating Legacy C Code To RUST Using LLMsDARPA wants to fund TRACTOR with 14 millions USD to translate legacy C and C++ to Rust using LLMs, as memory issues account for 70% of bugs…Aug 25Aug 25
Jessica Moon, PhDA Quick Peek Inside DARPAKey Insights from a Fireside Chat with Stephanie Tompkins, DirectorAug 30Aug 30
Michael R. McBrideWhy the US Government Spent Millions Trying to Weaponize MemesMilitary Memetics and the strange story of the SMISCJul 5, 2017Jul 5, 2017
Theori Security AssessmentinTheori BLOGWinning the AIxCC Qualification RoundIn August, Theori’s CTF team, as part of the Maple Mallard Magistrates, won Defcon CTF for the 3rd year in a row–the first team ever to do…Sep 241
Aarav JoshiinPuzzling MysteriesInside DARPA: The Terrifying Truth Behind the Tech That Controls Our WorldFrom Killer Robots to Human Gene Editing — Discover the Dark Secrets of the U.S. Military’s Most Advanced and Controversial AgencyOct 111
Émilia HoarfrostDiscussing DARPA’s TRACTOR: On Translating Legacy C Code To RUST Using LLMsDARPA wants to fund TRACTOR with 14 millions USD to translate legacy C and C++ to Rust using LLMs, as memory issues account for 70% of bugs…Aug 25
Jessica Moon, PhDA Quick Peek Inside DARPAKey Insights from a Fireside Chat with Stephanie Tompkins, DirectorAug 30
Michael R. McBrideWhy the US Government Spent Millions Trying to Weaponize MemesMilitary Memetics and the strange story of the SMISCJul 5, 2017
Inder Singh ChandelGovernment is Adopting Rust?C and Rust are often compared as low-level programming languages, with debates about which is better. Rust is praised for its memory safety…Aug 19
Robert LawrenceinMetaScientificThe Heilmeier Catechism’s Ongoing LegacyARPA-H goes online in 2023 and borrows from DARPA’s longtime guiding principleApr 4, 2023
Aardvark InfinityinAardvark InfinityEnhancing DARPA Cybersecurity: The Strategic Mandate of the ENTP Red Team GPTThe Defense Advanced Research Projects Agency (DARPA) is at the forefront of developing cutting-edge technologies to maintain and advance…Aug 14