I like minecraft, a lot, on occassion. But it needs a few tweaks for me to really get into it. I’m going to document them now:
So I use Vim as my primary editor. Unfortunately, some applications I require (e.g. Proof General) run only on the Emacs operation system, which comes with a terrible editor. Thankfully, I’ve found a pretty decent port of Vim to Emacs, called (appropriately) Evil.
A while back, I got really sick of sometimes accidentally rm-ing a file. I thought “Woe is me, if only I had a command that, instead, hid the file away from me, in a place I knew of but didn’t really thing about, so I could recover it if I wanted it.”.
Disclaimer: I typed this is a hurry and haven’t proof-read it, or tried running any of the code (except the script at the end).
So a while ago I decided to use git to track all my dot-files and other assorted configuration stuff that each of my linux systems need. I’m going to try to outline how I did this:
A friend posted a link to a NY Times article the other day, and I stumbled upon a way to get behind their pay-wall. I thought I’d share:
Go to NY Times and leave everything blocked.
Click Today’s Paper
Open a arbitrary article.
Now it seems you can click through any NY Times link, as I was able to click through the posted link.
I’ve been doing a lot of Haskell programming lately. At first, I really liked it.
Modern society is baffling.
(display "Hello, World!")))