List
Here are lists of posts/videos/talks/papers that I find interesting.
Posts
- Container
- Jordan Webb - Docker and
the OCI container ecosystem
Some history on container. It’s also an introduction to the OCI ecosystem.
- Jordan Webb - Docker and
the OCI container ecosystem
- Finance
- Martin
Kleppmann - Accounting for Computer Scientists
How to reason about accounting with simple directed graph. Useful with plain text accounting.
- Martin
Kleppmann - Accounting for Computer Scientists
Talks
- C++
- Sean Parent - C++
Seasoning
That’s a rotate! - Jonathan Boccara - 105 STL
Algorithms in Less Than an Hour
A very comprehensive introduction to STL algorithms. - Andrei Alexandrescu - Sorting
Algorithms: Speed Is Found In The Minds of People
A journey of writing a faaaaaast sorting function.
- Sean Parent - C++
Seasoning
- Functional Programming
- Philip Wadler - Propositions
as Types
An introduction on “proofs-as-programs”, given by the Lambda man!! - David Christiansen - A Little Taste of Dependent Type
- Philip Wadler - Propositions
as Types
- General topics
- Bruce Eckel - Polymorphism Unbound
- Dylan Beattie - Plain
Text
How people encode texts, glyphs and emojis. - Dylan Beattie - The Art
of Code
A talk about some experinmental, non-conventional (programming) languages. - Jack Rusher - Stop Writing Dead Programs