Interesting links: December 2018
* Mandatory Octopus story * On “efficiency” in human languages * Favorably comparing Tumblr to Twitter (I’m not convinced …) * About “brain-eating amoebas” * Sometimes it pays to have a good grad…
Monthly recap (December 2018)
Major updates: * Trip to India to visit parents/friends/relatives * A unicorn-themed birthday party for Tara at home! Minor updates: * A first movie night for me and Shivi (i.e. also a first for…
Annual recap: 2018
Me/Family: * I moved from Google to Pure Storage * Went for a memorable Warriors/Cavaliers game * Ran a 10K * Shivi moved to a new team in engineering * Experiments: gave up coffee for a month,…
My first Nix derivation
Does precisely nothing, but I’m inexplicably excited :P nix-repl> d = derivation { name = "foo"; builder = "${bash}/bin/bash"; args = [ ./builder.sh ]; system = builtins.curren…
Interesting links: November 2018
* An extremely in-depth comparison of Apple Maps and Google Maps * An account of an underwater adventure, including befriending an Octopus. Another account of too much bonding with a Dolphin. * Get…
(Untitled)
https://utopiaordystopia.com/2015/03/16/seeing-the-future-through-the-deep-past/…
(Untitled)
Honey Yogurt
I had slowly gotten used to the flavored Chobani yogurts (strawberry, peach ....) but the one I liked most of all was the honey flavored one. Unfortunately, I didn't have easy access to this anym…
Conan, Clang, Clion, C++
Tried out the folly with conan example here and … it seems to work !…
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…