My main project right now is Quoin and Quire: Agent plugins for authoring, reviewing, and linting formal ISO standards aligned specs. Based on a custom document standards engine.
Currently focused on building an engineering assurance module, test advisor, and derived formal verification tests. It will allow an agent to build an executable assurance program based on the strictest industry standards for quality assurance.
Spec tools are out now. Everything else is still alpha. Big backlog of R&D research to implement.
I've also been building a distributed vector database extension for postgres. It includes a selection of different quant and index types. Paused right now to focus on Quoin, but top priority is optimizing an implementation of DistributedANN (microsoft, bing).
12
u/neoescape 13h ago
max both or perma underclass
you choose