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”.

a fun implementation of *Kanren with nice Haskell interoperability. showcases some fun Haskell featues.

a fun way to serialize binary data to pronouncable identifiers

Report about software found on North Korean smartphones.

Something about tying abstract models to Rust programs, looks useful.

one of my favourite RFCs probably

A paper about choosing “nothing-up-my-sleeve” numbers while having stuff up your sleeve.

A very nice paper about fuzzing Rust compiler by generating custom MIR. Found some bugs in both rustc and LLVM, but notably not in Cranelift.

How to spin before sleeping so that it actually helps and not harms?

A paper about message-passing memory allocator: could be useful for actor systems.

Detailed explanation of futexes, including some possible pitfalls.

Paper about how IT in healthcare in general and IT security in particular is done by people who don’t actually use it, listing different problems and workarounds that end up being used in the field.

Sacrificing convenience for security leads you to having neither security nor convenience.

Abstract: Polymorphic inline caches (PICs) provide a new way to reduce the overhead of polymorphic message sends by extending inline caches to include more than one cached lookup result per call site. For a set of typical object-oriented SELF programs, PICs achieve a median speedup of 11%.

In August 2015 the U.S. National Security Agency (NSA) released a major policy statement on the need for post-quantum cryptography (PQC). This announcement will be a great stimulus to the development, standardization, and commercialization of new quantum-safe algorithms. However, certain peculiarities in the wording and timing of the statement have puzzled many people and given rise to much speculation concerning the NSA, elliptic curve cryptography (ECC), and quantum-safe cryptography. Our purpose is to attempt to evaluate some of the theories that have been proposed.