Post

1/2 Can we safely let AIs do almost all of the coding? What do we need to avoid getting mountains of slop? * Small control surface [Specification] * Deterministic proof of correctness [Proof assistant]

17/6/26, 7:06 am0 reposts0 likes

gavin.codes

@gavin.codes

17 June

This is essentially a "compiler" for specifications — the dream of declarative programming. The change will be as big as shift as the shift away from assembly. But is this feasible? YES! We've already shown how it can be used for contracts on sequential python. This is the answer to AI slop.