You can also also view the full archives of micro-posts. Longer blog posts are available in the Articles section.
Obuscated C Christmas programs, with some tricks. #clang
Computational Category Theory (PDF, 263 pp.).
I have nothing to delete (I already did this a lot ), and I missed the deadline. See you next year for the deletion day!
Refinement types give us the ability to define validation rules, or more commonly called predicates, at the type level. This means we get compile-time validation whenever the values are known at compile-time. — Parallel typeclass for Haskell
Aside from the compilation aspect, I think that assert like statements (in Stata or Python) are very close to the above statement in statistical programming.
Whenever I hear someone emphasize the speed of their just-released scientific software, my strong Bayesian prior is that they are really telling me their code is not only full of bugs (all software is!) but that it’ll be really hard to find and fix them… — Software and workflow development practices
Jupyter Notebooks as PDF. Surely an interesting option for those using Jupyter notebooks extensively. Of note, it will install Chromium since the NB -> HTML conversion is performed without Latex.
After a few days of use, I found that emacs-jupyter really is an amazing package. #emacs

Switching to Doom Emacs. Nothing really fancy about Doom capabilities and philosophy, but in case you’re interested in switching too, here are the instructions to install it! #emacs