How to Disable Disqus Ads on your Blog
This only works if your blog is noncommercial.
Derivation of Reservoir Sampling
I had to implement reservoir sampling during an interview and I had no idea how to do that. So I had to figure it out on the spot. This is where all those years of induction paid off, since there’s a nice derivation based on writing down the definitions of everything and noticing that there’s a natural inductive pattern.
Fun with Python Iterators: Linked Lists Made Easy
This requires Python 3.7+, since I use the handy
Notes for November 11, 2018
The final disappointment of heroism is to find that a just war was, in the end, just a war.
Underrated Vim Option: undofile and undodir
A feature I enjoy using myself is not known to many users, as I found out last weekend. Besides undo with as many levels as you like, Vim also offers storing the undo information in a file. So you can exit Vim, reboot your computer and still undo changes you made. See the help for
– Bram Moolenaar (Vim maintainer)
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).
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.
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
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.