Out of anyone I track, @_chenglou really leans into the affordances of LLMs and then asks what we can do with this newfound affordance. I've adopted generating Quint proofs for complex state management. What other guardrails can we enable that was previous onerous? x.com/_chenglou/s...

1 likes 2 replies