Daily lobste.rs News for 2021-08-29
29 Aug 2021 -
1 minute read
My tiny side project has had more impact than my decade in the software industry (comments)
Kaitai Struct: declarative binary format parsing language (comments)
Making Reasonable Use of Computer Resources: Part 2 (comments)
Introduction to Homotopy Type Theory and Univalent Foundations (HoTT/UF) with Agda (comments)
Dynamic content for GitHub repository templates using cookiecutter and GitHub Actions (comments)