~/cstml/links
A place to categorise, keep track, and share links.
- cstml.dev is born
- [:CS:]
- Supabase
- [:WW:FOSS:]
- Getting started with GraphQL
- [:WW:JS:]
- Candle made only with CSS
- [:WW:]
- HTML is all you need
- [:WW:]
- Profunctors, Arrows & Statical Analysis
- [:HS:CS:PL:]
- Programming in Lua
- [CS:PL:]
- Computer Networking Notes
- [:CS:]
- OpenBBTerminal
- an openSource investment terminal written in Python [:US:]
- 0xAX/linux-insides - book
- [:CS:UN:B:]
- Crypto-Gram - May 15, 2022
- [:CS:CR:NL:]
- Introductory resources to type theory for language implementers
- [:CS:TT:HS:]
- Koka Language
- [:CS:PL:]
- 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:]
- 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:]
- Should you commit ego death?
- Sisyphus 55 [:PH:]
- 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
- [: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:]
Tags
- 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
- JS: Javascript
- 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
- FOSS: Free Open Source
Why?
Because any other way of keeping track of links has proved impossible.