chrisdone

10 ms·

31.
by chrisdone 7y ago
Elm can be looked at like Haskell on training wheels, in a good way, and that simplicity very likely contributed to its popularity. We already tried Fay as a team (15kloc codebase to write an IDE), which was literally Haskell without type-c
32.
by chrisdone 7y ago
I think that the lumbering hogs we call publication web sites these days are making sure that you as a reader are paying a cost to use their otherwise free web site; paying a subscription is better, but no one will do that. People on mobile
33.
by chrisdone 7y ago
Deployment of Docker containers is nice, but deploying a VM as in Vagrant was also fine. I avoided learning anything about Docker for about 2 years because I thought it was just a fad. However, I would add that for my own personal use, it&#
34.
Finally, dynamically typed programming in Haskell made easy(github.com)
5 points by chrisdone 8y ago|0 comments
35.
by chrisdone 8y ago
I read in New Scientist that they've discovered a way in mice to turn off the connection between pain receptors and the emotional response to pain in the brain. So the mouse feels the pain in the sense of recognising it, but doesn&#x27
36.
by chrisdone 8y ago
It's Google. The only company that hears everything you say and listens to none of it.
37.
by chrisdone 8y ago
That depends on the medium used to view the web. On my KoboHD e-ink reader, grey text is not legible. It's sad because thousands of web sites that would be gorgeously legible if their text were #000 are not. But this is more of a brows
38.
by chrisdone 8y ago
What a coincidence, slightly! I recently registered keybase.vote for a related web app idea. Rather than anonymous voting, rather, I wanted the opposite: authenticity in voting, polls, surveys, etc. A common problem in surveys is verifying
39.
by chrisdone 8y ago
As I wrote elsewhere that depends on the string type used: https://www.reddit.com/r/haskell/comments/b0l93l/how_we_made...
40.
by chrisdone 8y ago
I feel that there is a wealth/background effect here that could be studied somewhat too. I think people who don't have to worry about money are less likely to pay any attention to discounts and deals. Having come from a council es
41.
by chrisdone 8y ago
If you're saying they should have solved a distributed problem with a distributed language like Erlang, I'd probably agree.
42.
by chrisdone 8y ago
Adding examples, with dependent types we can write the type-safe printf in Idris: https://github.com/chrisdone/sandbox/blob/master/dependently... Meanwhile with Liquid Haskell (refinement types), it was
43.
by chrisdone 8y ago
> There needs to be stricter regulations which prohibit apps I was agreeing with you until there. We don't need censorship. Anything you see online is a reflection of the attitudes and education of the people using it.
44.
by chrisdone 8y ago
The characterization of philosophical delight as "progress" is a downer.
45.
by chrisdone 8y ago
This reminds me of Watt's zen-based observation that we make all decisions by gut feeling, noting that it's _us_ who grant authority to outside sources, and that any time spent making a decision is usually dithering. Regarding the
46.
by chrisdone 9y ago
A designer can just write HTML or some toy language. A programmer will translate it to something manageable eventually anyway. A trivial automatic process can convert HTML to a DSL. Although making code sensibly refactored and readable is u
47.
by chrisdone 9y ago
I have a bunch of open source projects; I'm getting quite good at giving my projects new homes because I don't want to maintain them anymore. Speaking for myself, thanks is fine but I don't need it; thanks doesn't do any
48.
by chrisdone 9y ago
Oh, that explains why it's familiar. I might be mixing them up. There's a similar ... thing in DF. Trying not to spoiler.
49.
by chrisdone 9y ago
Dresden Files reference. Excellent.
50.
by chrisdone 9y ago
I'll cite your Hacker News comment in my next paper.
51.
by chrisdone 9y ago
Direct your "so?" at the original poster who pointed out that a particular land was acquired by force, as if that was somehow notable.
52.
by chrisdone 9y ago
I think language plays by natural selection rules; speciation mirrors groups of people that don't speak to each other anyway.
53.
by chrisdone 9y ago
Funny I read the whole thing thinking that this is like The Language Instinct by Pinker and then at the end saw it was by him. That explains why nothing but one point in it was new to me. The point that did spark my interest was that it&#x2
54.
by chrisdone 9y ago
> Purity is tricky to define. I think it's pretty easy. Purely functional (it's important to retain the word "function") means that we have a language in which the value of a function application "f x" depen
55.
by chrisdone 9y ago
Direct mutations for a mutating algorithm is certainly faster than rebuilding a data structure representing a set of variables. Most of the time. Though, there are exceptions where they're equivalent thanks to GHC's optimizations
56.
by chrisdone 9y ago
I believe that Aurora (covered in the article) was some kind of pre-cursor to Eve, by the same Chris Granger.
57.
by chrisdone 9y ago
I generally get a slimy feeling whenever I interact with someone who is clearly applying some kind of rules of how to interact, make you feel comfortable and listened to, nodding at the right times and fake-laughing on cue, all the while I
58.
by chrisdone 10y ago
You're (presumably) being paid for 5 days a week at 8 hours per day. If you cannot manage your time reasonably within this period, consider doing some research into that. If you can and yet your employers expect more time, then you&#x2
59.
by chrisdone 10y ago
I don't think you can "explain" to people that you need to concentrate, if you've already told them in ten different ways, then they know what you think you need, and either (1) don't care about your needs, in which
60.
by chrisdone 10y ago
I came to the same conclusion. If you have someone around who can't help interrupt you, either by directly asking you for responses or doing distracting behavior, it's wise to simply get your own room, in the house or in a coworki

More ›