The Plain Text Project.

(…) code should be as evident and transparent as possible in it’s intent and declarative programing (therefore functional programming) help us achieve this goal more effectively and efficiently than imperative programing. — Why I use typed functional programming

♪ London After Midnight · Demon

Running GUI Linux in a virtual machine on a Mac. #apple

PDF processing and analysis with open-source tools.

♪ Dead or Alive · You Spin Me Round (Like a Record)

If you just want the executive summary, here it is: these are definitely interesting algorithms from an arithmetic complexity theory standpoint – especially for the case of 4×4 matrices over finite fields, where (to the best of my knowledge) Strassen’s algorithm from 1969 was still the reigning champion. These algorithms are also practically relevant, meaning that not only do they have better asymptotic lower bounds than Strassen’s algorithm, they are still algorithms you might actually use in practice, unlike essentially everything else that has been written on the topic in the last 50 years: these algorithms are correct, and will in principle win over Strassen’s algorithm with large enough matrices, but that cut-off is well beyond the sizes that anyone is actually doing computations with. — On AlphaTensor’s new matrix multiplication algorithms

Partitioning in Postgres, 2022 edition. #database

An open-source tribute to the macOS Drift screensaver. I always enjoyed the “flame” screensaver, but that may well do the job as well! #apple

♪ Front 242 · Headhunter