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…
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…