Post

At bookwyrm.ai we've been performing experiments in Neural-symbolic programming and we're getting amazing results. Generative AI driven by both specification and formal verification.

gavin.codes

@gavin.codes

Generative AI is finally making software verification not just practical, but it a requirement (pun intended). AI slop is a serious problem, but it is also an opportunity.

11/12/25, 7:34 am0 reposts1 like

gavin.codes

@gavin.codes

11 Dec 2025

In the very near future code will be organised more around contract than implementation, just as currently we organise around high-level constructs and not machine code.