The Resilience of the Internet in Ukraine

The Dirty Pipe Vulnerability, discovered by Max Kellermann. “This is the story of CVE-2022-0847, a vulnerability in the Linux kernel since 5.8 which allows overwriting data in arbitrary read-only files.”

Bonak is a research project that formalizes semi-cubical types in Coq. By Ramkumar Ramachandra and Hugo Herbelin.

A tree clock data structure for causal orderings in concurrent executions, by Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, and Mahesh Viswanathan. “]e e introduce tree clocks, a new data structure that replaces vector clocks for computing causal orderings in program executions.”

Ristretto is a technique for constructing prime order elliptic curve groups with non-malleable encodings.

jmsdelim, a LaTeX package for compositional delimiter sizing.

Kurzwellenempfänger “Coke”, von Günther Zöppel.

EEG Cat Ears, by Jazz DiMauro. “I built mind-controlled ears as a way to learn how to build my own Arduino-based designs.”

Golf Horse: Shorter Worldlists for a Better World

wordlexpr: compile-time wordle in c++20, by Vittorio Romeo.