HNHacker News
TopNewBestAskShowJobs

MiniMax42

11 karma · joined April 9, 2016

submissionscomments
MiniMax42··on Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
> a chance of failure

Well, technically, no chance of failure. The chance of failure is absolute zero. Not close to zero, absolute zero. There will be no failure if the assumptions of the model are correct.

The real catch here is in the assumptions.

How long do you have before you need to have a solution? An hour, a year, a century? Too bad, almost sure convergence only provides a guarantee if you wait an infinite amount of time.

And then there's the question of the probability space you assume. (The sigma algebra.) Which things do you assume to have probability zero from the start and is that realistic?

MiniMax42··on MSL: A New Programming Language for Text Editing and Fact Verification [pdf]
The MSL specification is more specific on how the knowledge-containing text should be stored. It provides the 'schema' and the semantics, based on Lisp syntax. It looks like MSL is intended to be the foundation for an API that Mimix plans on building.
MiniMax42··on MSL: A New Programming Language for Text Editing and Fact Verification [pdf]
A more accurate title would be 'MSL: A Lisp-like stream-based data format for history of text based on a hierarchical key-value store'.

The idea behind the format is that analysis can be done on it to uncover useful insights about the text.

MiniMax42··on Streaming Video and Audio with Low Delay
Also, for real-life auctions where online bidders can participate