andygauge

5 ms·

1. 1.▲
   Authorization for LLM Tool Schemas: Formal Model with Noninterference Guarantees [pdf](raw.githubusercontent.com)

   2 points by andygauge 5mo ago|0 comments
2. 2.▲
   by andygauge 3y ago

   Good to know there's some tolerance for adding primary keys after partitioning something this big. Could you have aborted if it wasn't going to complete within your window?
3. 3.▲
   by andygauge 6y ago

   New startup idea co-founder as a service. Who's in?