Monthly recap (November 2018)
Major updates: A week in Cabo! * A lot of hanging out at the pool * A lot of eating * Wandering into the towns, encountered some music * A boat ride and just randomly walking around (nice and wa…
(Untitled)
Came across the PFPL in Agda book, and tried it out for the first time: https://gist.github.com/agam/2b842e5238ef36cb8329023d6c2eea15…
Starting this all over again!
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 no…
Angst about the static blog (again!)
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 bottle…
Using “x-ray” in the Kindle
(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 readin…
Interesting links: October 2018
* A Soyuz rocket malfunctioned, and … the astronauts managed to escape (!) * “Memetic tribes and culture war” * “Mega-Tunnels Dug by South American Megafauna” * A camera taking 10 trillion frames…
Surrealism, Duplo-style
Doesn't get more relaxing than this; it's like doodling in 3-D.…
Monthly recap (October 2018)
Major updates: * Ran a 10K! (Stevens Creek Trailblazer at Shoreline Park) * Fun weekend trip to Seattle * Visited the Monterey Aquarium and finally saw the Giant Pacific Octopus moving around! Mi…
Plumbing adventures
About a month ago, the faucet in one of the bathrooms started leaking. I ignored it, until I couldn’t … and then I turned off the water supply to the faucet, thinking I’d get to it later. All I was a…
Why you should join Pure
I thought I’d share a few thoughts about why Pure Storage is a good place to consider working. There’s no “one size fits all” answer for everyone, I’m not really aiming this at everyone … but I’m sur…
Interesting links: September 2018
* A 73,000 year old cave painting * A piece in Nautlius (along with Quanta and Aeon my best source of “science” stuff) on time. * Historical piece of the month: the Mamluks * Matt Taibbi talks abo…
New movie trailers!
Decided to relax a bit tonight and catch up on trailers of upcoming movies, here are the ones I’m excited about: * The House with a Clock in its Walls (suspenseful!) * Bohemian Rhapsody (Queen!) *…