Technical PerformanceProof of Mutex: Outspeeding Anubis with Valid PoWSingle 7950X outperforms ~2x Anubis's verification throughput on the same machine. Flamegraph and methodology inside.
Technical Security Risk ManagementMisskey HardeningMy own experience and experiments in improving my Misskey instance's security.
Technical R X86 AbominationDynamically Load Assembler Code in RAn attempt at making R load and execute assembler code on the fly.
Technical Type TheoryLaws of Type ReasoningA language-agnostic introduction to the laws of type reasoning in generic programming.
Technical RustWhy I chose Rust over C and C++A Late Comment on the Recent Rust Situation in Linux Kernel
