It is only available in Claude desktop.
It is only available in Claude desktop.
And maybe the goal is not about solutions that spend less tokens?
And maybe the goal is not about solutions that spend less tokens?
I don't yet know if this handles compacted topics (which would introduce deletes on iceberg)
I don't yet know if this handles compacted topics (which would introduce deletes on iceberg)
I wonder if confluent's TableFlow launched about a year back has a similar design. www.confluent.io/blog/introdu...
I wonder if confluent's TableFlow launched about a year back has a similar design. www.confluent.io/blog/introdu...
One additional aspect to ivm, is reasoning about the data in the computed. For a lot of use cases, it is often easy to think of a view/table to move in predictable increments (day, hour, 15 minutes etc). This notion is not modeled as a first class concept in many.
One additional aspect to ivm, is reasoning about the data in the computed. For a lot of use cases, it is often easy to think of a view/table to move in predictable increments (day, hour, 15 minutes etc). This notion is not modeled as a first class concept in many.
Towards the end @vanlightly.bsky.social mentions about alloytools.org finding a data model bug.
Never thought of an intersection between data model and formal verification. Do you have more details on this?
Towards the end @vanlightly.bsky.social mentions about alloytools.org finding a data model bug.
Never thought of an intersection between data model and formal verification. Do you have more details on this?