Hot Take on Solo Travel: Starve

Don’t eat on the plane, even if the journey is 20 hours long (or 36 in one case).

Alan Perlis

I think that it’s extraordinarily important that we in computer science keep fun in computing. When it started out it was an awful lot of fun. Of course the paying customers got shafted every now and then and after a while we began to take their complaints seriously. We began to feel as if we really were responsible for the successful error-free perfect use of these machines. I don’t think we are. I think we’re responsible for stretching them setting them off in new directions and keeping fun in the house. I hope the field of computer science never loses its sense of fun. Above all I hope we don’t become missionaries. Don’t feel as if you’re Bible sales-men. The world has too many of those already. What you know about computing other people will learn. Don’t feel as if the key to successful computing is only in your hands. What’s in your hands I think and hope is intelligence: the ability to see the machine as more than when you were first led up to it that you can make it more.

Book Notes: The Map of My Life by Goro Shimura

Skim this or read Halmos instead.

Prague

Just random rambling about Prague.

Way to remember the definition of local finiteness

I really struggled to remember this definition.

Romans in America

This realization blew my mind: the Roman empire lasted long enough that there were Romans who learned about the existence of America.

Realizations That Helped Me Understand Git

This is unlikely to help you understand git, but I’ve been surprised before.

Bao

This is a Pixar short that played before The Incredibles 2. The Incredibles 2 is a fun movie, but its emotions are not as deep as the first. Bao, on the other hand, will rip out your heartstrings and choke you with them.

Cute input redirection: bash vs. zsh

I ran into this answering a StackOverflow question about the best way to append 1 file to another.

When One Is Happy Just To Be Alive

It was a glorious spring day, the kind of day when all the pent-up loneliness of the night dissipates into the beautiful blue vastness of the desert sky, when the mind is free to wander or dream or think of nothing at all, when one is happy just to be alive.

More About Conceal

In my last post, I talked about using Vim conceal to create my own little syntax.

Using Vim's Conceal Feature to Make Code More Readable (For You)

Whenever someone sees my editor, this is always the first thing they ask about.

Feature Requests Aren't Always a Waste of Time

A lot of the time, users are discouraged from making feature requests to a project because the developers don’t want extra work. See here, here, and here.

Why Paul Hilfinger is Up So Late

Paul Hilfinger is famous for answering student emails in the middle of the night. No one seemed to know why he was awake that late.

REPTILE in PyTorch

A couple days ago, I decided to read OpenAI’s REPTILE paper. I decided to see how the algorithm worked in practice by implementing it for the simple case of a sine curve.

Introduction to Smooth Manifolds 1: Smooth Functions on Euclidean Space

Working on Introduction to Smooth Manifolds by Loring Tu (AKA \(L^2\)) with Charles.