UP | HOME

~/cstml/links
A place to categorise, keep track, and share links.

Table of Contents

Time-line

Tags

  • AG: Agda
  • BS: Business of Software
  • CO: Communities
  • CS: Computer Science
  • DC: Dev Culture
  • DT: Dependent Types
  • HN: HackerNews
  • HS: Haskell
  • HoTT: Homotopy Type Theory
  • IR: Interesting Reads
  • MU: Music
  • P : Paper
  • PH: Philosophy
  • PL: Programming Languages
  • SE: Software Enigneering
  • ST: Standard
  • TT: Type Theory
  • US: Useful Software

Why?

Because any other way of keeping track of links has proved impossible.

Author: cstml

Created: 2022-05-15 Sun 08:40

Validate