Goal

We want to communicate securely across an insecure channel. We assume that we’re unable to share even a primary secret between two parties without an eavesdropper. So we have to send secure messages from the start.

At a previous job, I had the pleasure of improving our web app’s performance. The motivation was that we had recently experienced a number of outages in a short timespan, after having had no outages at all in the year I had been working there at that point. We were able to observe that our database cpu utilization was maxed out. Using AWS RDS Performance Insights (PI), we were able to see that a few queries were extremely non-performant.

Purpose of this post

The goal of this post is to learn about Markov Chain Monte Carlo. What is it, why does it exist, how do we “do it”, and how can we apply it to a real problem?

I recently realized that I didn’t understand linear regression as well as I thought as I did when I came across this twitter thread.

The market’s been volatile recently because of the COVID-19 pandemic. I’ve been checking individual stocks manually each day for large movements. I don’t want to daytrade, but I do want to have a general feel for what the market’s doing each day. But checking manually is annoying and also not healthy, so I automated the process:

• get daily quote info from Finnhub
• set limit prices on several stocks I’m interested in
• send me an email if any limits are exceeded
• automatically repeat every day by scheduling it to run daily with launchd

I came across this theorem recently, and thought that it’s an interesting result. The proof itself isn’t particularly flashy, but I think the result is relevant to every prorammer’s daily life and that’s pretty cool. My hope is to explain it enough that a programmer with basic logic experience can understand the proof. I’ll explain notation along the way.

Table of Contents

1) Intro

I had some issues getting rustfmt to work in spacemacs on my mac. Here’s roughly how I got it working.

Detecting blurriness in a picture is useful for determining image quality since people rarely ever consider a blurry picture to be a good one.