One topic. Every takeSeek and you shall find

Reading up on CompCert

2 deep · digging since dec 24, 25

  • proofsandintuitions.net favicon
    When the Hard Part Stops Being Hard

    Using an LLM to mechanize proofs in Lean cut months of work to weeks, showing that PL research can now be produced far faster, reshaping publication expectations.

  • news.ycombinator.com favicon
    Test, don't just verify

    Testing is argued to be more practical than formal verification, but commenters are divided on AI’s role in making verification mainstream.

read later

For all the tabs you promised to read.
Save to read. Read to clear.

Close tabs. Keep links.