Hacker News
- Where do type systems come from? (2017) http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from 185 comments
- Where Do Type Systems Come From? http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from/ 164 comments
- Id Software Programming Principles http://blog.felipe.rs/2017/02/25/id-software-programming-principles/ 76 comments
- How to Build a GCC Cross-Compiler for the Raspberry Pi http://blog.felipe.rs/2015/01/20/how-to-build-a-gcc-cross-compiler-for-the-raspberrypi/ 16 comments
Lobsters
- std::optional and non-POD C++ types http://blog.felipe.rs/2021/09/19/std-optional-and-non-pod-types-in-cpp 9 comments c++
- Demystifying JOIN Algorithms http://blog.felipe.rs/2019/01/29/demystifying-join-algorithms/ 7 comments databases
- Monorepo First, Submodules Later http://blog.felipe.rs/2017/07/11/monorepo-first-submodules-later/ 2 comments vcs
- Where do Type Systems Come From? http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from 21 comments compsci , programming
- id Software Programming Principles http://blog.felipe.rs/2017/02/25/id-software-programming-principles 6 comments practices
- std::optional<T> and non-POD C++ types http://blog.felipe.rs/2021/09/19/std-optional-and-non-pod-types-in-cpp 5 comments cpp
- std::optional<T> and non-POD C++ types http://blog.felipe.rs/2021/09/19/std-optional-and-non-pod-types-in-cpp 5 comments programming
- Demystifying JOIN Algorithms http://blog.felipe.rs/2019/01/29/demystifying-join-algorithms/ 5 comments programming
- Where do Type Systems Come From? http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from/ 21 comments programming
- id Software Programming Principles http://blog.felipe.rs/2017/02/25/id-software-programming-principles/ 88 comments programming