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

• <2022-11-18 Fri>
  • Candle made only with CSS - [:WW:]
  • HTML is all you need - [:WW:]
• <2022-05-24 Tue>
  • Profunctors, Arrows & Statical Analysis - [:HS:CS:PL:]
• <2022-05-19 Thu>
  • Programming in Lua - [CS:PL:]
• <2022-05-18 Wed>
  • Computer Networking Notes [:CS:]
  • OpenBBTerminal - an openSource investment terminal written in Python [:US:]
• <2022-05-16 Mon>
  • 0xAX/linux-insides - book [:CS:UN:B:]
  • Crypto-Gram - May 15, 2022 [:CS:CR:NL:]
• <2022-05-12 Thu>
  • Introductory resources to type theory for language implementers [:CS:TT:HS:]
  • Koka Language [:CS:PL:]
• <2022-05-11 Wed>
  • CBOR - Standard [:CS:ST:]
  • Vega Trails - Tremors in the Static [:MU:]
  • Arion Docker Compose and Nix [CS:US:]
  • doctest-in-haskell [CS:HS:]
  • Apache Kafka in 6 minutes [CS:US:]
  • devIT - software jobs in the UK [CS:BS:]
  • remote software jobs - [CS:BS:]
  • @rae: Impredicative types and dynamic types - [CS:HS:]
• <2022-05-10 Tue>
  • MiniAgda: Integrating Sized and Dependent Types [CS:DT:P]
  • Unison programming language - The big idea [CS:PL:]
  • Haskell weekly [CS:HS:]
  • Zurihac 2022 [CS:CO:HS:]
• <2022-05-06 Fri>
  • Should you commit ego death? - Sisyphus 55 [PH:]
• <2022-05-05 Thu>
  • crontab generator [CS:US:]
  • GitLab team handbook [HN:SE:DC:BS:]
  • After the first tech job [CS:SE:HN:DC:]
  • HoTTEST Summer School 2022 [CS:AG:TT:HoTT:CO:]
  • 1lab.dev - A formalised, cross-linked reference resource for cubical methods in Homotopy Type Theory [CS:AG:TT:HoTT:]
  • Univalent mathematics in Agda [CS:AG:TT:HoTT:]
  • Introduction to Univalent Foundations of Mathematics with Agda [CS:AG:TT:HoTT:]
  • Logical manifestations of topological concepts, and other things. [HoTT:CS:TT:]
  • Tilde web-chat [CO:]
  • Free interpreter - Monad+ [CS:HS:]
  • The end of the Redis adventure - Antirez [CS:IR:]
  • Writing system software: code comments - Antirez [CS:]
  • On Commenting Code - Terms and Truth-Conditions [CS:]

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

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