Pointed Set blog
2021-03-06:
Does this count as a self-hosting compiler?
2020-02-06:
A practical difference between Props and Types in Lean
2018-06-09:
Exploring syscalls with GCC and GDB
2018-05-18:
The simplest system call: exiting
2018-04-10:
Hand-crafting an ELF file