The TLA+ Video Course : if you ever had to design a distributed system and spend the sleepless night thinking about edge cases TLA+ is a godsend. You just spec your system & go. It also gives a huge decrease in cognitive load when you're implementing your system against a TLA+ spec. The hard stuff is already done. You can just glance at the spec to see what preconditions must be checked before an action is performed. No pausing halfway through writing a function as you suddenly think of an obscure sequence of events that breaks your code.
ReLaXed : generate PDF from HTML. It supports for Markdown, LaTeX-style mathematical equations, CSV conversion to HTML tables, plot generation, and diagram generation. Many more features can be added simply by importing an existing JavaScript or CSS framework.
Quantum algorithms: an overview : survey some known quantum algorithms, with an emphasis on a broad overview of their applications.
VPS Comparison : this provides a very good overview of the different VPS provider out there. Obviously not complete, but hey, I would love to see a benchmark community driven website maintaining comparison for the different providers. Not just VPS, cloud / paas / lambda etc..
Scale-free networks are rare : the ideal scale-free network does not really happen that often in the wild ( of the internet). Maybe its time to go beyond this concept and explore other more realistic avenues for real-world networks ( I'm looking at your distributed network of microservice)
Data Mining OCR PDFs : extracting info from PDF is a nightmare, it's even worse when you have to do OCR and I always considered that tabulation was a no go territory. But looks like somebody actually spent the effort to make it work and it's impressive.
An Introduction to BeeGFS : Fraunhofer distributed parallel file system for HPC system. Mainly a concurrent of Lustre I would say. This had potential and they are making a foray into the business side of storage. Let's see how well they fare. [website]
