dan00

29 ms·

211.
by dan00 13y ago
I don't think, that you're doing something particularly wrong, but for a big project like linux you have to keep the changes as isolated as possible, otherwise it will be quite hard to identify the causes, if there're problem
212.
by dan00 13y ago
"Changing the direction of composition makes no sense." I also can't stand all these operators of the lens package. It feels like reading Perl code. The only annoying thing about all the other lens packages is the need for hi
213.
by dan00 13y ago
"So I'm not just being polite when I thank you instead; I have these thoughts either way, but actually being heard means more to me than I would have thought." Well, it's like a hug, having someone that really sees you a
214.
by dan00 13y ago
Thanks for your post. Sometimes HN can be such a boring and depressing place with all of its startup lottery.
215.
by dan00 14y ago
The difficulty of a subject acts as a filter. For mastering a hard subject you need to be able to control your impulses, which might also cause a more civil behaviour. I don't think that it's accidentally, that the Haskell community is the
216.
by dan00 14y ago
... sides[i] = dot < -LIGHT_CLIP_EPSILON ? SIDE_BACK : dot > LIGHT_CLIP_EPSILON ? SIDE_FRONT : SIDE_ON; ...
217.
by dan00 14y ago
"So, on the one hand a certain openness and teachability is necessary, but then at strategic points in the development of an idea, a certain stubbornness and myopia seems to be equally important to the ultimate execution of a vision." I thi
218.
by dan00 14y ago
Oh sorry, I have been reading your post a bit sloppy, and transactional memory was just too much of an association with Haskell.
219.
by dan00 14y ago
"For example, C++ smart pointers are slow in multi-threaded situations because the reference count manipulation needs to be done under a lock." Several architectures support atomic increment and decrement operations, so there's no need for
220.
by dan00 14y ago
"Consider some studies that show noisy, hard-to-read text (as on a poorly-printed copy) is better remembered by readers than clean typography. Apparently, the effort of making out messy printing also strengthens the recall." In the book 'Th
221.
by dan00 14y ago
As someone who has suffered from the absence of testosterone: castration? brilliant idea!
222.
by dan00 14y ago
Reading about culture, people and communication and than reading your post is just disheartening.
223.
by dan00 14y ago
The focus of the one taking the pictures hasn't to be the same as the viewers one.
224.
by dan00 14y ago
The context isn't a property of the monad abstraction, but of a concrete monad, like the State monad. If you desugar everything from the State monad, than you can see, that the state 'c' is an explicit argument, which is hidden in the "suga
225.
by dan00 14y ago
"- Some way to read my backed up emails easily without re-importing them to Gmail - a mini mail server, a web-based UI, etc." I'm using offlineimap, which syncs an IMAP server with the MailDir-Format. The MailDir-Format should be readable b
226.
by dan00 14y ago
Joey about the reusability of code: http://markmail.org/thread/nurcqm4yotgkmhbr
227.
by dan00 14y ago
"Still, I don't really think Germany can be blamed. Unless you think of the "weaker" countries as children who can't take responsibility for themselves." Well, you can't directly blame Germany, that's right. But someone had to lend all that
228.
by dan00 14y ago
{-# LANGUAGE OverloadedStrings #-} import Control.Applicative import qualified Data.Attoparsec.Text as P import qualified Data.Text as T data Address = Address {start :: Int, end :: Int} deriving Show
229.
by dan00 14y ago
parseAddress = let hexStr2Int = Prelude.read . ("0x" ++) in do start <- many1 hexDigit char '-' end <- many1 hexDigit return $ Address (hexStr2Int start) (
230.
by dan00 14y ago
"I honestly love projects like this one, but is the implementation language really worth fragmenting this niche?" If you honestly love these kind of projects, than I can't understand why you're asking this question? It just has to be worth
231.
by dan00 14y ago
"I think the "final words" are the definition of 'obsequious'. Say something of real substance, and commit to it:" Because someone isn't a fanboy and isn't just stupidly commiting himself to one thing, than he's obsequious? Well, I would ca
232.
by dan00 14y ago
"I think there is also a good case for type classes not being reified as modules or dictionaries or objects or what have you: they essentially exist exclusively at the type level. That is, the instances are a property of each type, not part
233.
by dan00 14y ago
"How does one use that template? Can you show me a function that takes anything with a do() method? Like this?:" It should work without the template parameter: do(a), do(b) "Can I take any arbitrary type with an "int do()" method and use th
234.
by dan00 14y ago
class A { public: int do() { return 1; } }; class B { public: int do() { return 2; } }; template <typename T> int do(T t) { return t.do(); }
235.
by dan00 14y ago
You really can't express immutability and pureness in C++, because you can still modify global variables and do any kind of IO everywhere, regardless of const. const_cast isn't the big issue, because there's also unsafePerformIO in Haskell.
236.
by dan00 14y ago
const_cast and mutable, and gone is any kind of verification.
237.
by dan00 14y ago
"I'm not saying Clojure does the wrong thing here btw, but this thing you're talking about is a fallacy ..." Please, read exactly. "... unless you're working in Haskell and even there you could find ways to screw things up by interacting wi
238.
by dan00 14y ago
The issue with languages like C++ is, that you can follow better programming practices, but the compiler doesn't support you in the verification and accordingly you can't trust that easily your code, which complicates the reasoning about a
239.
by dan00 14y ago
In a way dynamic typing is easy and static typing a la Haskell is pretty hard. A good type system allows you to reason more easily about your system and checks if you're violating the rules of the system. Looking at static typing and only s
240.
by dan00 14y ago
"1. significantly lower corporate tax rates" This harmed the cities in Germany a lot and increased their debt. It's kind of a contradiction if Germany should be the economic guide, but it's cities can't pay for their public baths anymore.

More ›