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

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

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