In a follow-up to the popular talk at CF Summit discussing how and why the Cloud Foundry team is rewriting one of the existing Cloud Foundry components, namely the DEA, in Go (codenamed “Diego” appropriately), Cloud Foundry engineer Amit Gupta shares the details of how the DEA optimizes scaling applications across your available cloud resources. In this technical post, he reviews the new auction system, and illustrates the problem Diego solves by modelling it as a mathematical optimization problem.
In Part 2, we finished defining all the formal terms and symbols you see in the StackOverflow question on the Hindley-Milner algorithm, so now we’re ready to translate what that question was asking about, namely the rules for deducing statements … Read more
In Part 1, we said what the building blocks of the Hindley-Milner formalization would be, and in this post we’ll thoroughly define them, and actually formulate the formalization:Formalizing the concept of an expression
We’ll give a recursive definition of … Read more
Mike Sierchio wrote a cool post on password strength, and the concept of entropy. As he points out, entropy isn’t always entropy. That confusion is apparently not uncommon, as it’s been asked about on IT Security Stack Exchange as well. … Read more
I’ve been learning a bit of statistical computing with R lately on the side from Chris Paciorek’s Berkeley course. I just got introduced to knitr and it’s damned sweet! It’s an R package which takes a LaTeX file with embedded … Read more
This question came up as a joke during a team standup a few months ago. Although the obvious answer is “no,” if you’re willing to play fast and loose with your metaphysics for a bit, the answer can be “yes” … Read more
I was out for drinks with Josh Long and some other friends from work, when he found out I “speak math.” He had come across this StackOverflow question and asked me what it meant:
Before we figure out what it … Read more
Whether you're learning math for pleasure or profit (jumping on the Big Data bandwagon), there are times when it may seem intimidating, overwhelming, confounding, etc. My assertion is that if you think like a programmer, you already have a leg up when it comes to learning math.