One topic. Every takeSeek and you shall find

Reading up on Ilya Sergey

1 deep · digging since aug 17

  • 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.

read later

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

Close tabs. Keep links.