Came across the PFPL in Agda book, and tried it out for the first time:
After much whining, I decided to try out alternatives to my static website, to “see what sticks”, and then realized that I used to have a Tumblr (just as I used to have an Ello or Google+ but let’s not speak of those), and … maybe this is the right place for snippets of code and test and random links I want to share.
So for now — dunno, few months? A year? — I’m going to stop updating agambrahma.com with new posts and (more frequently!) update this instead.
This is beyond frustrating … after I moved everything this year to a different layout and thought I was “finally done”, I’m now wondering whether the static site is a good idea at all.
The big bottleneck turns out to be having to SSH somewhere and regenerate/refresh the site that way, which was okay earlier, but feels like a drag now.
I really want to write whenever I get time, since I’m not always onmy laptop. So I resorted to making it “async”, decoupling the writing from a separate time when I go and copy-paste everything into new posts and re-generate … except I then forget to do this sometimes, and every time I write something, I realize I have to now remember to do this other step at some point.
It would be so much better if I could just publish whenever I write. This seems to suggest one of the usual hosted platforms, and then I have to wonder why I even have two separate blogs, and I think of all the effort it would take to convert what I have into a new format (sigh!).
I’m sure there’s a sweet spot that exists somewhere. Is this the kind of thing that Ghostwould provide? Or is this what Tumblr was supposed to be?
Is having a personal hosted site simply too old-school and I need a new kind of place for this?
Or should I just have this WordPress place and — I do want to keep these two “worlds” separate — have two sets of posts? Is that possible?
I just want to be able to write and publish and forget about it 😦
(Note: this piece had been lying around from about three years ago! I had just never posted it!)
I recently discovered the “x-ray” feature in the Kindle, partly because I only recently resumed reading something on it (“Moby Dick”, two-thirds of the way in).
I can imagine it being super-helpful when going through a really big book with lots of characters etc., but clearly, it has its share of amusing entries. See the one below for “Jove”.