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
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
Golf Horse: Shorter Worldlists for a Better World
wordlexpr: compile-time wordle in c++20, by Vittorio Romeo.