Our great sponsors
-
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
This is a well composed idea. This reminds me slightly of (Rich's?) (Codeq)[https://github.com/Datomic/codeq] although this is really outlining code and scm logic and not syntax trees etc. I think I was always codeq would add something like this (for doing what you are doing to validate forms) but the input mechanism probably needed more hammock time
Meta uses something very much like this in production. It’s open sourced at https://glean.software/
This is very good work
One of my ideas is "lazy invariant maintenance". It should be possible to layer the tip of execution (what should go on next) with lazy incremental materialized invariants. Let the computer decide what is the most efficient approach to solving the computational problem. In other words everything is a query and queries are layered ontop of eachother in arbitrary directions. I think storage or source of truth should be decided by the software. It might be more efficient to arrange data a certain way to sustain multiple types of queries.
https://github.com/samsquire/ideas4#20-lazy-arrange-or-invar...