One topic. Every takeSeek and you shall find

Reading up on Agda

2 deep · digging since sep 12

  • chriskiehl.com favicon
    It's still OK to enjoy programming - Blogomatano

    The author contends that programming for fun remains valid and rewarding as a hobby, separate from AI-driven changes in professional software development, and encourages disconnecting from doom-stream negativity.

  • ddebruce.github.io favicon
    Introduction - Hegel's Logic in Cubical Agda

    This introduction outlines a Cubical Agda tutorial that formalizes fragments of Hegel’s Science of Logic, detailing navigation, reading tracks, and verification sections.

read later

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

Close tabs. Keep links.