Handy UNIX tools

Jun 8, 2015
1 minute read

autojump and fasd are incredible. Walking the UNIX tree (OK, it’s actually a DAG with symlinks) is pretty much trivial.

Sensing and Intuition

What Does Big Mean?

Astrology for Men

a perfectable programming language

An interactive Lean 4 blog post — click through for the full experience.

MBTI and AI

Double Date

Worse Than a Sranc

thanks whole foods lady

Another way of doing big O notation

Compactness of the Classical Groups