curryhoward

13 ms·

91.
by curryhoward 9y ago
(OP here.) Fair enough—thanks for the thoughtful clarification. By the way, I'm a big fan of your "Math ∩ Programming" articles. People who found my blog interesting will certainly think the same of yours: https://
92.
My unusual hobby(stephanboyer.com)
856 points by curryhoward 9y ago|147 comments
93.
by curryhoward 9y ago
Just as an example, this program type checks in TypeScript but crashes at runtime: class Dog { } class Greyhound extends Dog { doGreyhoundThing(): void { console.log("I am a greyhound!");
94.
by curryhoward 9y ago
> Languages that have dabbled with modeling effects with row types have backtracked on it in favor of IO. Interesting. I thought algebraic effects + handlers were the new hotness in modeling effects with types.
95.
by curryhoward 9y ago
> At least, I believe that the point of conceiving of 'covariance' and 'contravariance' is that we may have or not have either, in input or return types. Covariance in the return type and contravariance in the argumen
96.
What are covariance and contravariance?(stephanboyer.com)
3 points by curryhoward 9y ago|0 comments
97.
Type safe dimensional analysis in Haskell(stephanboyer.com)
3 points by curryhoward 9y ago|0 comments
98.
Finding ambiguities in context-free grammars(github.com)
2 points by curryhoward 10y ago|0 comments
99.
The Di Vergent Code(stephanboyer.com)
4 points by curryhoward 10y ago|1 comments
100.
by curryhoward 10y ago
> Consider replacing "We take privacy seriously" with "I take privacy seriously". There's some tension between wanting to be taken seriously ("we" makes it sound like there is a team supporting the prod
101.
Does Google execute JavaScript?(stephanboyer.com)
3 points by curryhoward 10y ago|0 comments
102.
by curryhoward 10y ago
> Does anybody else think the salaries are a little high? The numbers for programmers are total compensation, not just salary. The lawyer figures are actually salaries though.
103.
by curryhoward 10y ago
Interestingly, there are algorithms for solving NP-complete problems which are provably polynomial time iff P = NP. So the moment P = NP is proven, we immediately know of polynomial-time algorithms for NP-complete problems. We have the algo
104.
by curryhoward 10y ago
Although, many of them do not handle non-ASCII Unicode whitespace characters (which is what the StackOverflow regex was going for).
105.
by curryhoward 10y ago
I think you are interpreting it as "Major libraries are allowed to do it sometimes." I think what he meant to say is "Even major libraries do it sometimes." It is already understood that minor libraries do it.
106.
by curryhoward 10y ago
It's an interesting thought, but it would be a catastrophe. Even if you can't brute force strong passwords due to many rounds of hashing, you can still check the hashes/salts against common passwords. You can't do a rain
107.
by curryhoward 10y ago
Or just "Iota", which already carries the connotation of "little" without the preceding "L".
108.
by curryhoward 10y ago
Genuinely curious, what is the problem with "exploding release number"s?
109.
by curryhoward 10y ago
> A compiled language cannot know what the value of a variable is at compile time, unless the variable is a constant. This statement is false. I recommend reading about dependent types, which enable exactly what you claim is impossible.
110.
by curryhoward 10y ago
Actually, joel_ms is correct; you can encode these "dynamic" properties of values in a static type system, in the same way that you can prove properties about a program on paper without actually running it. The connection between
111.
by curryhoward 10y ago
True, and a good type system will enforce that you check for errors. However, depending on how often errors occur in your program, this can actually make your code slower. Good exception handling implementations are "zero-cost", m
112.
The Pastiche Test(stephanboyer.com)
4 points by curryhoward 10y ago|0 comments
113.
by curryhoward 10y ago
I think we all know the article is a joke. :) But people seem to be missing that tux3's comment was also tongue-in-cheek (at least, that is my interpretation).
114.
by curryhoward 10y ago
I think the parent comment meant that Infinite is a word, and also a sensible name for Dropbox to name their product. Dropboxe is a silly neologism that only makes sense in the context of Dropbox's recent press, and not a good name for
115.
Higher-rank and higher-kinded types(stephanboyer.com)
5 points by curryhoward 10y ago|0 comments
116.
by curryhoward 10y ago
A few others: 1) SuperGenPass - http://www.supergenpass.com/ 2) Vault - https://github.com/jcoglan/vault 3) Hashpass - https://www.stephanboyer.com/post/101/hashpass-a-statele
117.
Show HN: Convert strings (phone numbers, color hex, etc.) into memorable phrases(huffgram.com)
3 points by curryhoward 11y ago|1 comments
118.
Show HN: Socket.js, a tiny WebSockets library for Node.js(github.com)
11 points by curryhoward 11y ago|1 comments
119.
by curryhoward 11y ago
To give the author the benefit of the doubt, maybe he plans to eventually make the computation happen asynchronously (e.g., in a web worker), or at least maybe he wants to leave that possibility open. Then the API wouldn't need to chan
120.
Fun with Promises in JavaScript(stephanboyer.com)
5 points by curryhoward 11y ago|4 comments

More ›