emilypi

9 ms·

1.
Haskell Foundation Elects Its Executive Director and CTO(discourse.haskell.org)
2 points by emilypi 6y ago|0 comments
2.
by emilypi 6y ago
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, and serves as the day-to-day executive function. The Haskell
3.
by emilypi 6y ago
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 free to apply for the board at https://haskell.
4.
by emilypi 6y ago
This article is a little bit incorrect. We raised $400k+.
5.
Haskell Foundation is hiring an Executive Director(haskell.foundation)
3 points by emilypi 6y ago|0 comments
6.
by emilypi 6y ago
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.
7.
Delivering with Haskell(medium.com)
6 points by emilypi 6y ago|0 comments
8.
by emilypi 7y ago
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 architecture: https://medium.com/kadena-io&
9.
by emilypi 7y ago
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 languages were invented. Rather than putting b
10.
by emilypi 7y ago
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 state space of possible program paths), Manticore has i
11.
by emilypi 7y ago
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 anything..." and "Its langua
12.
The EVM Is Fundamentally Unsafe(hackernoon.com)
3 points by emilypi 8y ago|1 comments
13.
by emilypi 8y ago
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 programming principles despite FP being both the simpler, clean
14.
by emilypi 9y ago
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 the subject (eta expansion, typeclasses, partial application&
15.
by emilypi 9y ago
I haven't, but I'll definitely give it a look!
16.
by emilypi 9y ago
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 think they know that over at HfM). I'm de
17.
by emilypi 9y ago
>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 functor between categories. A functor is
18.
by emilypi 10y ago
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 correctness that there is no actual debate taking place. This ha
19.
by emilypi 10y ago
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: Scala, Java, Spark, Hive, Pig, R, Python, Perl, (some) Haskell