Deciding Parity Games in Quasipolynomial (PDF), by Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, and Frank Stephan.
A short proof of correctness of the quasi-polynomial time algorithm for parity games, by Hugo Gimbert and Rasmus Ibsen-Jensen.
Succinct progress measures for solving parity games, by Marcin Jurdziński and Ranko Lazić.
Multicollisions in Iterated Hash Functions: Application to Cascaded Constructions (PDF, 2004), by Antoine Joux. “We show that finding multicollisions, i.e. r-tuples of messages that all hash to the same value, is not much harder than finding ordinary collisions, i.e. pairs of messages, even for extremely large values of r.”
selfie, an educational software system of a tiny self-compiling C compiler, a tiny self-executing MIPS emulator, and a tiny self-hosting MIPS hypervisor. (And a RISCV port of that.)
Oberon 07, translates Oberon to JavaScript code ready to be run in web browser or nodejs.
Bracmat is software for exploration and transformation of uncharted and complex data, a programming language with powerful pattern matching.
The Other Half, Jason Scott had a major heart attack—for a week.
hypochondriapp, are you feeling well?
SNAKISMS, by Pippin Barr.