Viewing profile — emilypi

Board members are board members. They do not have executive function in the same sense as an Executive Director. The latter carries out the strategic plans decided by their Board, …

If you're worried that the Foundation might not live up to your expectations or go awry, keep in mind that it can only function insofar as it has input from the community. Feel fre…

This article is a little bit incorrect. We raised $400k+.

Haskell Foundation spoke to them very early on and continuously throughout the process. They decided not invest in any way, financially or with in-kind support.

The problem is with the structure of the VM and its bytecode language. There are additional problems with Solidity, but the VM itself is the problem. Solidity only amplifies a poor…

It's in the sense that it's extremely difficult to write a program and fully understand what it's doing - that's why higher order representations and correct-by-construction langua…

We're seeing a small cottage industry of state-machine verification techniques presenting themselves over the past year. K-framework has its accessibility proofs (ranging over the …

There's another "real drug" hidden in the subtext of your post and Semantic's post, right in between "Sure new code might have bugs, and deep semantic changes to code can break any…

I'll do you one better. I worked for years in Scala, and the biggest problem I had was OOP fanatics who clung to stale design patterns and out of date knowledge of general programm…

This makes me worry for Facebook if this is the quality of functional programmer they employ. Nearly every point of this rant shows an ignorance of even the most cursory parts of t…

I haven't, but I'll definitely give it a look!

The IDE has great potential, and I've used it extensively for sandboxed and mini projects, but it's still not mature enough to replace any of the editors I'm already using (and I t…

>In mathematics we call each of them "invariance" In math, we call it "variance" - as in invariance, contravariance, and covariance. They each refer to the character of a given fun…

1. Heat is not the same thing as passion. It's possible to be passionate, but still run into problems when discussing technology with people who are so convinced of their correctne…

Location: NYC Remote: Yes (Preferred, but for local opportunities, willing to do FT while still in the city and transition at a later date) Willing to relocate: No Technologies: Sc…