kmicklas

7 ms·

1.
by kmicklas 9y ago
Nowadays it's really easy enough to use real Haskell in the browser with GHCJS, and FRP libraries like Reflex provide a much more complete experience than Elm's restricted form.
2.
by kmicklas 9y ago
They give you all that stuff to some degree to cover over how toxic the culture and job is otherwise. Leaving Google was the best decision I ever made despite the fact that I now get none of those things and make significantly less money.
3.
by kmicklas 9y ago
I left Google for very many of the reasons mentioned in the article and I'm a white male. So I can only imagine how hard it must be for minorities. Thankfully I had the opportunity to make this change early in my career, although my fi
4.
by kmicklas 9y ago
Why is it on AMD to support TensorFlow? Pretty sure it is on the machine learning people to use the standard APIs like OpenCL or Vulkan etc instead of CUDA...
5.
by kmicklas 9y ago
I don't fundamentally disagree with the article but this is ridiculous: > People sometimes ask me, “What is the most important concept in political economy?” The answer is easy, but subtle: permissionless innovation, a strong presum
6.
by kmicklas 9y ago
CS education will have to improve dramatically both in reach and quality for that to be possible. Doesn't seem likely for many decades.
7.
by kmicklas 9y ago
This is really well written and seems to agree with the traditional FP lore. I'm curious what led Alan Kay then to OOP in Smalltalk.
8.
by kmicklas 9y ago
Rich people have done an absolutely astounding job of convincing poor conservatives that this nonsense makes sense.
9.
by kmicklas 9y ago
Study Suggests Malnutrition Can Be Fixed With Food, Not Crop Hoarding
10.
by kmicklas 9y ago
This is an interesting line of thought. The spread of capitalism was fueled by the new technology of the Industrial Revolution. Perhaps the next mode of production will be fueled by this 'Internet/Computer/Robot/AI Revol
11.
by kmicklas 9y ago
Private property and personal property are not the same thing.
12.
by kmicklas 9y ago
You don't think good old fashioned bugs are a problem?
13.
by kmicklas 9y ago
> will be permanently successful Surely you don't mean actually permanent. So what time scale do you think they will last?
14.
by kmicklas 9y ago
Off by one errors basically don't exist if you use modern languages and practices.
15.
by kmicklas 9y ago
> Anyone is perfectly capable of implementing a Maybe/Option/whatever type in C C doesn't even have parametric polymorphism, I'm not sure how you're imagining this can be done.
16.
by kmicklas 9y ago
What have I misunderstood?
17.
by kmicklas 9y ago
> I don’t think I understand the reference. Reflex is a library, used to create applications. Yes, but typical uses would be mobile apps and web apps, pretty "high level" stuff. > The actual application code doesn’t seem to
18.
by kmicklas 9y ago
The reason this is an implicit principle of the Unix philosophy is because the Unix philosophy is to be as lazy as possible as the tool-creator and push all complexity onto the tool-user. Thus we get things like Go, regular expressions, and
19.
by kmicklas 9y ago
This style is plenty useful in "higher level" stuff. Consider Reflex: http://docs.reflex-frp.org/en/latest/
20.
by kmicklas 9y ago
Obviously there are bad things about North Korea but the amount of Americans running around in circles and screaming about it as if there are no comparable human rights violations in capitalist countries will never cease to amaze me.
21.
by kmicklas 9y ago
"1994 to 1998"
22.
by kmicklas 9y ago
Why would Democrats be afraid of IDs being required for voting if everyone got one? I thought the whole Republican opposition to voting rights stuff from the Democrats was because they know there's a bunch of poor would-be-Democrats wh
23.
by kmicklas 9y ago
The problem with tree editors has always been the lack of standardization, not any kind of conceptual or UI problem. Generally authors take one of two roots: 1) Provide a tree based editing UI layer on top of text files since text still rul
24.
by kmicklas 9y ago
It amazes me that someone could write down that principle and then design an untyped programming language.
25.
by kmicklas 9y ago
Agreed. Though this is really a problem with text based editing (which obscures the tree structure), not Haskell.
26.
by kmicklas 9y ago
> In order to afford to own a home I'd likely have to live in Pennsylvania and commute 2+ hours--not much different than in SF. Why do you want to own a home so badly? Most people in NYC are perfectly happy to rent. But if you plan
27.
by kmicklas 9y ago
Probably the poster children of verification: * http://compcert.inria.fr/ * https://sel4.systems/
28.
by kmicklas 9y ago
> But it's inadequate for the larger problem, of whether the operation is the correct one. Huh? Types (of the sufficiently advanced kind) are one way of specifying behavior in the same sense as TLA+ and other models. The difference
29.
by kmicklas 9y ago
Disappointing to see such a long article and no mention of type theory, or any other work from the "correct by construction" school of formal methods. It's all normie model checking, TLA+ etc.
30.
by kmicklas 9y ago
What is unique about it besides having the name of the language as a substring?

More ›