merijnv

36 ms·

271.
by merijnv 16y ago
By the way, I am currently doing a literature study into type theory for my study and I was annoyed by the lack of introduction material for programmers wanting to learn more about it. I've been thinking of writing a "Type theory from first
272.
by merijnv 16y ago
EDIT: HN ate my asterisks Disclaimer: This post contains broken pseudo syntax and pseudo type theory, feel free to make corrections if you are smarter then me. Epigram (as of yet) is not truly aimed at being a practical language in the hack
273.
by merijnv 16y ago
To take as an example Epigram (also mentioned in the blog post). Epigram is not Turing complete, as such the language can be made strongly terminating. This means all programs are guaranteed to terminate (no Halting problem) programs are al
274.
by merijnv 16y ago
I agree that no cache coherency is the entire point of the chip, but the lack of manual control over things like flushing the cache is entirely unrelated to cache coherency and a significant issue in some of the things we've been trying to
275.
by merijnv 16y ago
The chip is (in theory) very interesting to work with, but in practice it suffers a lot due to lack of cache control. Since the L2 cache is writeback (instead of write-through) and because there is no cache flush instruction you are forced
276.
by merijnv 16y ago
I hadn't even noticed that ambiguity. I blame fever headache + English as a secondary language. Anyway, that cheered me up despite the headache :)
277.
by merijnv 16y ago
As someone who has played and stopped WoW for significant times over the past years. I think the article has some valid points about the addictiveness of WoW, on the other hand I feel that the choice between "real" work and WoW as presented
278.
by merijnv 16y ago
I disagree, as much as I like C and think it should be a mandatory language for all serious programmers (see my True Scotsman fallacy here? :D) I think C makes a horrific first language which leaves you mired down in boring details and hard
279.
by merijnv 16y ago
This idiom appears exactly the same in Dutch (and thus possibly other languages too?)
280.
by merijnv 16y ago
Well, I didn't mean an actual MapReduce cluster, that's just silly. I was just pointing out that Haskell compilers can convert trivially convert these sorts of things to multicore code. Parallel Haskell basically does this, converting norma
281.
by merijnv 16y ago
> That means there is a lot of overhead for doing something simple like an in-place qsort Well, the problem not so much that there is a lot of overhead for doing an in-place qsort. The problem is that "in-place" anything is impossible i
282.
by merijnv 16y ago
I highly recommend "Operating Systems: Design & Implementation" by Tanenbaum. It is a very clear book dealing with a lot of design and implementation details of operating systems. It has an in depth discussion of the Minix source and de
283.
by merijnv 16y ago
Of course, but why go to those if you can do the same work at Google and actually be sure they'll be able to pay you more then you need to life comfortably.
284.
by merijnv 16y ago
Ah, I saw the Lisk topic, and while agree that Haskell's very exact whitespace could be annoying without a good editor (mine automatically indents correctly anyway so I never have problems), if its such a big deal you could just use {} and
285.
by merijnv 16y ago
No, I have a CS background, my first languages were Java and Python. I only started looking into the math related to programming languages after Haskell. Do you have any examples of. Which syntax makes it unclear to you? I think the uniform
286.
by merijnv 16y ago
I agree with the grandparent that (contrary to the vague group of Lisp zealots mentioned) understand Lisp and hate the parentheses. On the other hand I also agree with you that there is probably not market/interest in this group of people t
287.
by merijnv 16y ago
Actually, duplicate submissions for the exact same URL are counted as up votes for the first submission. So using the bookmarklet poses no problem. Using different URLs (thoughtcatalog vs youtube) for the same story causes difficulty, thoug
288.
by merijnv 16y ago
Why are you leery of doing anything practical with Erlang and Haskell? #haskell on freenode is filled with people doing practical things in Haskell and Ericsson has bet most of its infrastructure on Erlang...
289.
by merijnv 16y ago
> If the software is under the GPL, you must publish your changes. This is only true if you distribute a binary of the patched code. If your patching on the server side there is no requirement to publish your patch (hence why the Affero
290.
by merijnv 16y ago
Well, this morning after reading this I threw together a script in 5 secs to do this for me. I'm using OS X and like everyone this means I have Growl installed for various applications. I figured that it should be easy enough to announce my
291.
by merijnv 16y ago
The main difference between current computers and the human brain (life in general in fact), is that we are programming deterministic (well, sorta...) computers. Our brains and bodies are however using probabilistic algorithms everywhere. N
292.
by merijnv 16y ago
>> The biggest issue I've found with latex, is its kind of a pain to write in >For a big document certainly How do you figure? I switched to using LaTeX for all my documents because Word/OpenOffice were such incredible pains for
293.
by merijnv 16y ago
I would like to share my favorite quote on programming languages, courtesy of #python on freenode: "Being enlightened gentlemen, we split all programming languages into two groups, sucks and doesn't-suck and put all of them into the first g
294.
by merijnv 16y ago
MSc CS student here. As some others have mentioned, I love doing stuff in C. However, I'm also keenly aware of its pitfalls and shortcomings. As such I prefer to do most my stuff in higher level languages like Python and Haskell only drop
295.
by merijnv 16y ago
Tarsnap also does encryption and compression. Now you might be able to implement something like that better then cperciva, but I know I sure as hell am not capable of implementing any system as secure as reliable as him. Does this knowl
296.
by merijnv 16y ago
This point should really be made more to web developers. Nothing annoys me like yet another website which tells me myname+filter@example.com is not a valid address and ruins my nice mail filtering...
297.
by merijnv 16y ago
Well, the Python Twisted framework ( http://twistedmatrix.com/trac/ ) can always use more people and is one of the bigger and more awesome open source projects. In addition (in my experience) most of the code is very modular, clean and unde
298.
by merijnv 16y ago
I've been using Vim for about 5 years now. I started because I needed an editor that supported syntax highlighting and auto-indent to work on the university servers over SSH. It took (still takes) a lot of time to learn Vim. At first I used
299.
by merijnv 16y ago
Yeah, you're right now that I think about it (the example that reminded me is pluralizing walrus to walri). Personally I do this sort of thing just for personal amusement (as I imagine this persons boss did) rather then actual correctness.
300.
by merijnv 16y ago
Well, if my Latin knowledge hasn't abandoned me -um is the ending for masculine words whereas -a is used for feminine words. I suppose the proper plural of Pentium would be Pentii :p

More ›