Google Account Signup forces you to submit phone number if you use Firefox.

A freak historical accident. AT&T Labs, where it was developed, was forbidden under its anti-trust settlement from commercializing products unrelated to its core telecom business. Hence, Unix was licensed very cheaply to universities, including UC Berkeley, which subsequently built one of the more influential branches of the Unix family tree—BSD. Apparently, AT&T classified Unix as industrial waste for tax purposes when licensing it! — How Unix Won

Topology: A Categorical Approach.

A Simple Scheme Compiler. #scheme

Emacs xwidget-webkit enhancement suite. This is a great alternative to EWW, IMO, and xwidget was my default setting for the past few months. #emacs

So far, it’s been 3 weeks that I ran Emacs in terminal only. No worry, I’m fine: I just started diving into plain TeX again!

Typesetting a Textbook. Nice Latex class for Tufte-like textbook! #tex

Functional programming is a radical and elegant attack on the whole enterprise of writing programs. It’s very different from the “do this and then do that” programming mentality. You have to rewire your brain in quite a different way. For a long time it was well understood theoretically—there was lots of stuff about semantics and it had these very deep foundations in logic. But in terms of a practical programming medium it seemed like a completely virgin field. — Interview with Simon Peyton-Jones

TIL that we can use references and labels in Org babel!

You can also add a ‘-r’ switch which removes the labels from the source code. With the ‘-n’ switch, links to these references are labeled by the line numbers from the code listing. Otherwise links use the labels with no parentheses. Here is an example:

    #+BEGIN_SRC emacs-lisp -n -r
    (save-excursion                 (ref:sc)
        (goto-char (point-min))      (ref:jump)
    #+END_SRC
    In line [[(sc)]] we remember the current position. [[(jump)][Line (jump)]]
    jumps to point-min.

Rust does not have a stable ABI. #rust