Welcome to my forest of notes.
I enjoy building infrastructure which exemplifies the phrase: “What doesn’t exist can’t break”. For me this means ensuring reliability by solving a problem in the simplest possible way.
I’m currently working for Microsoft as a research engineer on the CCF project which can be summarised as a sensible distributed confidential ledger using TEEs.
This project is built using my TKF (Typst knowledge forests) tool which is based on Jon Sterling’s forester.