Michael Traver

github | linkedin

Hello! I'm Michael. I ride bikes and climb mountains. I also program computers, often using Go.

Projects

• github.com/mtraver/environmental-sensor

  It's 20.50°C with AQI 3 (Good) in my apartment (as of 47s ago). Click here for more data!

  This uses Raspberry Pis, temperature sensor modules, and particulate matter sensors to log the temperature and air quality in various rooms of my apartment at regular intervals. It employs Google Cloud IoT Core for device management and communication, and Google Cloud Run for the service that handles data ingestion and display.

• github.com/mtraver/rpi-ir-remote

  This uses a Raspberry Pi, an LED driver circuit, the Linux IR Remote Control library, Google Home, and IFTTT to control an audio amplifier by voice. Its documentation has proven useful to others trying to configure LIRC > 0.9.0 on a Raspberry Pi.

• github.com/mtraver/gaelog

  Easy Stackdriver Logging in Go on Google App Engine Standard second generation runtimes, as well as Cloud Run.

• github.com/mtraver/qrbak

  Securely and durably back up your private key using QR codes printed on paper.

• guinanhats.com

  Guinan wears fabulous hats. What more is there to say?

• tmglyrics.appspot.com

  My favorite band is The Mountain Goats. Each refresh of the page displays a lyric randomly selected from their music.

Florilegium (flori what?)

Below are two randomly chosen items from my personal florilegium, placed together.

Your task: Read these excerpts individually, together, and in different orders, keeping your mind open to new meaning that emerges as you do so. Refresh the page for a new selection.

1. This, however, I know about the theorem [the Incompleteness Theorem]: that it takes us—to use words not all my own—to the point at which two roads diverge, that we have to choose and the choice is not a happy one. Both roads take us into mathematical realms of simple language stripped bare of human conceit. Down one road is unbearable inconsistency, a world in which black is white and white is black and there is no way to tell them apart, in which—without a hint of exaggeration, with not so much as a touch of hyperbole and melodrama—one equals zero. This leaves us looking down the other road, one no less daunting and hard but that has the merit if not of leading us to the mercy of understanding then at least of delivering us from the torment of contradictions. Along this other way lies another world, also one of simple language. But it is a twilight world, for in its manifold embrace are things that are true, crystal blue propositions, which are as true as a man could ever hope to feel something to be true, yet which things—irony of ironies—the man will never know to be true, not because they merely lie beyond the wit of the creature but because mathematics herself condemns men to ignorance.
2. Everyone knows in the intimacy of his self, if not his reason, that when the soul is under siege reason is not up to the fight.

show citations