Deciding Parity Games in Quasipolynomial (PDF),
by Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, and
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.)
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.