Domain-specific hyperspecialization (for SAT) 🥇 Winning the SAT track at SC26 with LymphoSAT

There's No Excuse For Boring Presentations Anymore

Frameshift resilient fuzzing

Liminal Bugs

Academic Arbitrage in the LLM Era

Solving CTFs with AI Agents

hello world