Viewing profile — eddiepete

I wonder how formal methods can help us move faster with GenAI. Is it that they can help write formulas faster? That they can help ensure formulas match the system they're modeling…

My idea is admittedly half-baked, but I've been thinking of the concept of an alternative web. I don't know how it would work. Ignoring implementation for a second, what if you cou…