Links

• 2025-03-31
  • One Billion Row Challenge in Golang - From 95s to 1.96s - :GO:
  • Giving up the dylib dream - :CS:
  • Interaction nets :CS:PL:
• 2025-03-03
  • Feather Icons - Simply beautiful open source icons - :FE:
• 2025-02-08
  • cstml.dev is born :CS:
• 2023-08-17
  • Supabase - :WW:FOSS:
• 2022-11-18
  • Getting started with GraphQL - :WW:JS:
  • Candle made only with CSS - :WW:
  • HTML is all you need - :HN:WW:
• 2022-05-24
  • Profunctors, Arrows & Statical Analysis :HS:CS:PL:
• 2022-05-19
  • Programming in Lua - :CS:PL:
• 2022-05-18
  • Computer Networking Notes - :CS:
  • OpenBBTerminal - an openSource investment terminal written in Python :US:
• 2022-05-16
  • 0xAX/linux-insides - book - :CS:UN:BO:
  • Crypto-Gram - May 15, 2022 - :CS:CR:NL:
• 2022-05-12
  • Introductory resources to type theory for language implementers - :CS:TT:HS:
  • Koka Language - :CS:PL:
• 2022-05-11
  • 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
  • MiniAgda: Integrating Sized and Dependent Types - :CS:DT:PA:
  • Unison programming language - The big idea :CS:PL:
  • Haskell weekly - :CS:HS:
  • Zurihac 2022 - :CS:CO:HS:
• 2022-05-06
  • Should you commit ego death? - Sisyphus 55 :PH:
• 2022-05-05
  • 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
• BO: Book
• BS: Business of Software
• CO: Communities
• CR: Cryptography
• CS: Computer Science
• DC: Dev Culture
• DT: Dependent Types
• FE: Frontend
• FOSS: Free Open Source
• HN: HackerNews
• HS: Haskell
• HoTT: Homotopy Type Theory
• IR: Interesting Reads [^go]
• JS: Javascript
• MU: Music
• NL: Newsletter
• PA: Paper
• PH: Philosophy
• PL: Programming Languages
• SE: Software Enigneering
• ST: Standard
• TT: Type Theory
• UN: Unix
• US: Useful Software
• WW: Web
• GO: Golang