husband, father, security researcher. All thoughts and opinions are my own.

Joined February 2009
110 Photos and videos
Cheap code means formal verification is reasonable now — Antfly Blog antfly.io/blog/agent-formal-…

28
Assessing Claude Mythos Preview’s cybersecurity capabilities | red.anthropic.com red.anthropic.com/2026/mytho…

26
Microsoft’s ‘unhackable’ Xbox One has been hacked by 'Bliss' — the 2013 console finally fell to voltage glitching, allowing the loading of unsigned code at every level | Tom's Hardware -- tomshardware.com/video-games…
84