The Little Prover book references a companion proof assistant tool called J-Bob. I had a hard time getting it running using Racket’s Dracula package, here’s how to do it: Install Racket. Install the Dracula package for Racket. On macOS, I … Continue reading
I recently got a new laptop, and I’ve been transferring over all of my settings. I often use Quicksilver to trigger a screen lock or put my laptop to sleep. Here’s how I do it. I use a shell script to put … Continue reading
Recently I was playing with the open-source release of Spinnaker, the continuous delivery tool that we use inside of Netflix. Spinnaker is designed for deploying apps on cloud backends (e.g., AWS, GCE), but I wanted to run everything entirely on … Continue reading
Go: Pointer to methods Sometimes I need a pointer to a method that is not bound to an explicit object. Method pointers are just function pointers where the first argument is the type. Imagine we have a Pet type with … Continue reading
Getting timestamp from v1 uuid Translated from J.B. Langston’s Converting TimeUUID Strings to Dates Java version to Python: import arrow import fileinput import uuid def main(): for line in fileinput.input(): line = line.rstrip() value = uuid.UUID(line) epoch_millis = (value.time – … Continue reading
Starting a new Minecraft mod My kids are really into Minecraft, and are interested in mods. Here’s a quickstart to getting an OS X dev environment set up with IntelliJ IDEA. Prereqs You should have the following already installed on … Continue reading
I needed a simple way to test queueing a Kinesis message with the Vert.x Kinesis module. This Jython script will do it: import vertx from core.event_bus import EventBus from org.vertx.java.core.json import JsonObject from org.python.core.util import StringUtil module = “com.zanox.vertx.mods~mod-kinesis~1.4.13” def handler(_, x): … Continue reading
 | bl4ckb1rd on Adding a session to a Django r… |
 | Rag on Copying the config from a Cisc… |
 | Mike on Copying the config from a Cisc… |
 | JIBBER!!!! on Adding a session to a Django r… |
 | Tomas Lin (@tomaslin… on Spinnaker & Kubernetes on… |
