naradaellis

8 ms·

31.
by naradaellis 16y ago
He argues that some features - e.g., dependent typing ( http://axisofeval.blogspot.com/2010/10/notes-on-dependent-ty... ) - won't emerge from Lisp, because they approach the problem from the wrong angle; no safety towards more safe vs. Hask
32.
by naradaellis 16y ago
Yeah, brilliant. A great illustration of gumption and willingness to pursue self-knowledge giving rise to amazing opportunities. Along the same lines, Siddartha by Herman Hesse was my favorite book this year. Quite similar to the Alchemist
33.
by naradaellis 16y ago
I've been using this for a year and a bit now. Its stuck for me because it is light on rules I think. No other system has been as successful for me at harnessing structured procrastination.
34.
by naradaellis 16y ago
There's a LOT of cocaine in the industry. Sometimes I think they must have trouble seeing past the ends of their noses.
35.
by naradaellis 16y ago
I got very excited a while a go when I found out that this book existed, and that it was Capra who wrote it (the Web of Life was great), but the top amazon reviews at the time were pretty disparaging. Looks like the top reviews have shifted
36.
by naradaellis 16y ago
I also think that the Tao Te Ching (and Chuang Tzu in the same vein, and Alan Watts for a modern take) is amazingly applicable to life today and is surprisingly not that New Age-y.
37.
by naradaellis 16y ago
LYAH might not be serious or idiomatic, but maybe that's why it works - well it worked for me anyway. Its lighthearted but that makes a great first contact with the language, for some audiences anyway. I personally did most of LYAH and then
38.
by naradaellis 16y ago
Yeah it would. I think there was a Real World Haskell exercise that involved that actually.
39.
by naradaellis 16y ago
Oh yeah sure all the time, Maybe shows up a lot. It becomes more useful and less of a pain once you realise you can deal with it using monad operators. From the standard library a list operator and a map operator: elemIndex :: a ->
40.
by naradaellis 16y ago
I don't know how familiar you are with Haskell... but anyway: Say you're working with the Maybe type, which is often used to represent operations that might fail, such as a map lookup, for example. data Maybe a = Just a | Nothing We'
41.
by naradaellis 16y ago
Love the syntax myself. Even before I knew anything about it, the resemblance to maths was very appealing. Its even better when you understand it more. The syntax brilliantly expresses the fact that you're essentially working with a compute
42.
by naradaellis 16y ago
Perhaps the reason that Haskellers don't describe monads as "just sections of the program that are imperative" is because that statement is _not_ true. A monad is a very nice container abstraction - period. The IO part of Haskell just happe
43.
by naradaellis 16y ago
To take that view to the extreme: say I invented a new synthetic drug that was addictive. People love it because it is servicing a need in the market, but do I not have any responsibility at all for its potential side effects?
44.
by naradaellis 16y ago
A monad is just a container with some operations to work indirectly with its contents.
45.
by naradaellis 16y ago
>> but it would be nice to have a "filter all comments and submissions by people who joined after time X" feature That's a bit much I think, very elitist.
46.
by naradaellis 16y ago
Agreed - these notions are born out of solving problems at a lower level of abstraction. Haskell is attempting to operate above that.
47.
Toolduino (Arduino prototyping aid)(nootropicdesign.com)
1 points by naradaellis 16y ago|0 comments
48.
by naradaellis 16y ago
I would suggest that you read the article.
49.
by naradaellis 16y ago
Supplementary reading: http://calteches.library.caltech.edu/49/2/Religion.htm Feynman on The Relation of Science and Religion.
50.
by naradaellis 16y ago
That's not what I got at all... I don't think he dismissed science by any measure and in fact argued against solipsism and post-modernism, did you read the article?
51.
by naradaellis 16y ago
I like the slides and I'm glad there is more advice being produced on working with Haskell on a serious scale. Still it would seem hard to try and get an existing (imperative programming) engineering team to take up Haskell without having t
52.
by naradaellis 16y ago
I read this in a book about maths and biology called "Games of Life" and I was amazed that this had never come up despite reading and playing with the game quite a lot. Very cool. The actual implementation of the machine would run so slow t
53.
by naradaellis 16y ago
John Ralston Saul's book Unconscious Civilization (a kind of primer on his theories I think, which one would read before they tackle Voltaire's Bastards) does a wonderful job of elaborating this point, anyone interested in an article such a
54.
by naradaellis 16y ago
Tex 6.28
55.
by naradaellis 16y ago
Waking Life
56.
by naradaellis 16y ago
>> Sure, one can learn how to solve various technical problems on ones own, but where will one get the skills to actually define problems in the first place? There hasn't always been colleges, some people along the way have obviousl
57.
by naradaellis 16y ago
If I understand you correctly, such a possibility can never arise in Haskell's type system. A possible function would be (a -> Maybe b) -> a -> b, and this won't accept anything that returns an Either.
58.
by naradaellis 16y ago
Anyone intriguided by this idea should check out the Autofocus System: http://www.markforster.net/autofocus-index/ One of the ideas underpinning it is to use the energy that is otherwise (mostly) wasted while you're procrastinating to do
59.
by naradaellis 16y ago
I was describing my degree to a non-techie who replied 'so your basically a hacker'? I said 'well yeah that's what I'm in to' before realising what was going through his head. D'oh.
60.
$99 copyleft ultra-portable laptop is Arduino for linux developers(linux.com)
84 points by naradaellis 16y ago|36 comments

More ›