Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Papers from the computer science community to read and discuss.

Fast JVM launching without the hassle of persistent JVMs.

PlusCal formulations of various solutions of the critical section problem like Lamport's Fast Mutual Exclusion algorithm or Dekker's algorithm to perform model checking on these algorithms.