I built the world's first self-hosting Rust compiler from a hex seed bootstrap! ourc currently passes 54% of Rust's test suite. Kiss trusting trust goodbye! The compiler of tomorrow is not a 200mb blob of trust. It's a chain you build on your local disk. https://t.co/SyLUJZ9ye0
This works for anything, not just state machines! What you want to do is identify all the implicit constraints of any part of your code. Create an implicit constraint ledger; and then ask your agent to identify the induced properties of the constraints you’ve identified. The properties of your code are derived from its constraints. You build features on those properties.
THANK YOU JESUS
“PET/CT Scan Interpretation
The findings are favorable: No suspicious FDG-avid cancer is identified anywhere in the areas examined.”
I have no cancer!
I built a 23,000 parameter model that learns a universal machine. This means it’s a transformer that can do any computation. It is the smallest model from any published source to exhibit this behavior. Train it in your browser here! https://t.co/aReKoq7ZTL
@EricYoungArt@MitadasOlavo@PageauJonathan But the norm or the rule, can’t be made to be the exception in the normative sense, but can only be exceptional by an act of horror. The ubiquity of horror doesn’t overcome the norm, in fact it can’t if horror means to have any meaning. And for pity’s sake it must.
I am once again reminding everyone that the Truth is not an idea, theory, or concept. The Truth transcends human understanding because the Truth is God, who cannot be known with the mind, but only experienced through the nous.