---

_{Oct 1, 2023}

Faster Custodial Data Processing

Solving the T+1 problem

Using modern container orchestration technology, we propose a compute appliance that custodians or financial institutions can plug directly into their data centers to securely and efficiently run consumer-controlled workloads right next to the data they need to process.
More

---

_{Sept 1, 2023}

Tax Code as Computer Code

Accurate, comprehensive tax advice

Proof's goal is to transcribe the entirety of the US Tax Code in Catala, and begin releasing automated tools to leverage it, so that anyone can programmatically ensure their compliance with tax laws, and automatically discover new financially advantageous tax strategies.
More

---

_{Jan 31, 2024}

Productivity as Code

A framework to make it easy to build productivity as code tools.

We started fiddling with the idea of kanban as code a couple of months ago. It would be cool to keep a bunch of markdown files in a series of folders that can be rendered as a kanban board. I started writing it in typescript + vue, with the idea that I could easily embed it in a service for using it in the traditional way, but also as a vscode plugin for using it right in my IDE. And the tasks are right beside the application code, as easy to read and edit as this article. Read more at Tom O'Reilly's blog.