| Contact | Branding |
| 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) |
| 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 |
| Mon 28 Apr 2025 | “Code is law” misconstrued as Legal Formalism |
| Mon 26 May 2025 | Fixed point and real arithmetic are more different than you think |
These are posts that I made a good start on, may contain some useful information, but are unfinished.
| 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 |