2024-07-01
Paul Nathan
Initial work on the Housecarl system is largely complete, leaving only the SaaS elements (external auth & billing) under development. Billing is being routed through Stripe; external auth is the usual "Login with Google" and "sign up with email" modes.
The core algorithm for Housecarl is complete, along with conventional username/password authentication and multitenancy. Repeated testing has not revealed substantive issues.
The API is being ported to gRPC rather than REST, with a translator installed in the front for conventional REST use. Protobufs will be published as part of release process and included in customer tarballs for on-prem delivery.
Some docs have been generated with the help of LLMs and reviewed for correctness.
Claude Code LLM has been enlisted to try to synthesize a TLA+ model of Housecarl. It would be interesting to have a console where a live Housecarl model is set up in TLA+, Lean, or another system, and the operators & admins are able to query it for "does this property hold". At a general principle level, this is inline with the philosophy behind Housecarl.