RDLTR

Short for Read Later. Save links from any browser or phone. Click to save, read to clear. The full tour

One topic. Every takeSeek and you shall find

Reading up on powdr

1 deep · digging since jul 22

  • georgwiese.github.io favicon
    A new software engineering paradigm – Blog

    Using formal verification, AI agents can generate code and machine‑checked proofs, removing the need for human code review and overcoming the AI‑generated‑code bottleneck.