100proof

Bug write-ups

   
Tue 23 May 2023 Saving $100M at risk in KyberSwap Elastic
Fri 14 Mar 2025 A questionable design choice in Stacks/Clarity
Wed 02 Apr 2025 Total NEAR Shutdown (guest post by neumo)

General

   
Fri 06 Jan 2023 Why I’m becoming a white hat hacker
Thu 31 Aug 2023 An incredible opportunity to finally prove the value of formal methods
Thu 24 Apr 2025 Abandoning the “code is law” fantasy for good

In progress

These are posts that I made a good start on, may contain some useful information, but are unfinished and pretty low quality.

   
Wed 13 Sep 2023 How to craft a regular expression
Thu 02 Nov 2023 Investigating trading strategies with algebra
Mon 25 Dec 2023 AMMs vs order books