Here is a taste of what I like to work on and think about as it relates to code.
🔭 Open Source
- Re-writing Strut to be re-launched with a focus on rapid, non-linear presentation authoring and note taking.
- Working on language and storage system agnostic schema definitions.
- Prototyping centralized logging and real-time detection systems
✍️ Currently Writing
- The lost half of domain modeling
- Why programming languages are tied up in incidental details
- Encoding the why into programs
- Expressing policy and regulatory commitments using structural types
- Why string, bool, int, etc. are not types*
- The need for nominal, structural, conceptual, computational and storage types
- Why invariants and assertions are a sign that your language, type system or design is lacking
- The merit behind the statement "OO Design is Bad Design"
🤔 Currently Thinking About
- How to improve software interoperability
- Counterfactuals in ML
- NFTs and their use in determining the provenance of digital goods
- ∞ Meta
- 2021 - Present: Working on infrastructure to uphold commitments to user privacy
- 2016-2021: Building & designing products to protect the community from harm. Both online and offline.
- 2015: Briefly (6mo) maintained FB's deletion framework while it was homeless.
- 2014-2016: Working to enable FB to respect the laws of the countries in which it operates
In my darker days (circa 2004), I created a website to book exotic dancers.