A Switch-Level Simulation Model for Integrated Logic Circuits (1981) [pdf]

Formalizing Fermat's Last Theorem

Hackers Had a Live Feed of Every ID Verification Company Scanned for over a Year

US Military disables ad trackers on troops' phones

Solving the Jane Street reverse engineering challenge

Google AI Mode shows same products 21.6% more expensive than traditional search