semi-interactively explains how TLS works, very cool

an extremely based frontend manual from the GOV.UK

a paper explaining some reasons not to trust Matrix. includes pearls like “a homeserver can silently add user to a E2EE group and decrypt all the following messages and that’s not considered a vulnerability”.

Report about software found on North Korean smartphones.

sadly, doesn’t provide links, but most is googlable

Enables std debug assertions + presents an interface for building with a sanitizer.

With some partial evaluation and specialization hints, it is possible to get pretty decent speedups on interpreters by turning them into compilers.

one of my favourite RFCs probably

Allows you to find Unicode characters by drawing them.

Comparison between different runtimes and with native code.

About why free functions are important. I find verb/noun framework from this article quite useful.

The site contains all the lectures, project materials and tools necessary for building a general-purpose computer system and a modern software hierarchy from the ground up.

Category Theory Illustrated is a primer in category theory and other mathematical theories that is made to be really accessible to people with no prior exposure to the subject, without being dumbed down, by utilizing visual explanations.

In this blog post we explore how to write a type level contains operation for HList inspired type lists without running into overlapping trait implementations

What if everything you think you know about addiction is wrong? One of Johann Hari’s earliest memories is of trying to wake up one of his relatives and not be able to. As he grew older, he realized he had addiction in his family.

The new Riptide garbage collector in WebKit leads to a five-fold improvement in latency in the JetStream/splay-latency test.