gnuvince

34 ms·

301.
by gnuvince 12y ago
Vim doesn't appear to be any better in this regard: switching windows is Ctrl+W Ctrl+W (three strokes) and switching buffers is :bn<CR> (five strokes).
302.
by gnuvince 12y ago
Lacking the time at the moment, but I've been meaning to hone my C skills and Hacking on OpenBSD seems like the best idea. Hopefully, I can finish this M.Sc. soon :)
303.
by gnuvince 12y ago
As an Emacs guy, I really like mg(1). The one missing feature is Unicode support.
304.
by gnuvince 12y ago
Why is this comment being downvoted? The explanation is correct and the analogy quite good too!
305.
by gnuvince 12y ago
I remember Bob Beck saying it was one of the three fonts that works with MagicPoint and the one that is most readable on projector.
306.
by gnuvince 12y ago
Oh, absolutely!
307.
by gnuvince 12y ago
I'm quite happy to see that every week one or two quality OCaml articles are posted on HN and lobste.rs. OCaml doesn't have the general appeal of JavaScript, the innovation factor of Rust, the get-shit-done reputation of Go, but
308.
by gnuvince 12y ago
Very cool project, I like the focus on readability (even if at the cost of performance): that makes it a good example to show to people who want to learn about the implementation of languages and VMs.
309.
Railway Oriented Programming(fsharpforfunandprofit.com)
73 points by gnuvince 12y ago|6 comments
310.
by gnuvince 12y ago
So what is it, a static code analyzer or a style checker?
311.
by gnuvince 12y ago
No, what he means is the you would need to write these two functions: func DotProductInt(v1, v2 Vector2D) int { return v1.x*v2.x + v1.y*v2.y } func DotProductFloat(v1, v2 Vector2DFloat) float64 {
312.
by gnuvince 12y ago
> Too regular? I gotta be honest, that comment makes very little sense to me. Not agreeing or disagreeing with the parent, but I believe he may be referring to a common problem in software development that is best summed up by a quote by
313.
by gnuvince 12y ago
Sorting is not the best example of Go's simplicity: it involves creating a new type, implementing methods on that type to satisfy an interface and casting the original collection to the new type (I count four concepts). Contrast with
314.
by gnuvince 12y ago
When did Pascal gain dynamic arrays?
315.
by gnuvince 12y ago
Simple languages are good, but we should be careful to understand why they are simpler: in many cases, the complexity is simply shifted from the language onto the programmer. Though simplicity of the language is important, I feel that the a
316.
by gnuvince 12y ago
In a funny twist of history, Kernighan is now writing a book on a language where the length of an array is part of its type: http://play.golang.org/p/jrbSgKFZ_1
317.
Library patterns: Why frameworks are evil(tomasp.net)
2 points by gnuvince 12y ago|0 comments
318.
by gnuvince 12y ago
I like writing compilers, how do languages like Haskell and Python handle blocks-by-indentation? I figure you have some sort of INDENT token, but how do you know its width? Also, in specifying the grammar, with explicitly delimited blocks
319.
by gnuvince 12y ago
I like it, but I would make two suggestions 1) There are many memory schemas for the push_back example, maybe you want to organize them side-by-side with an arrow between them showing which statement caused the change. Saving some vertical
320.
by gnuvince 12y ago
Adding my own two cents: - I like that with OCaml you can choose if you want your code to be functional or imperative, and both are equally well-supported. I am writing a compiler in OCaml, and I am able to use the API described in Peyton-
321.
by gnuvince 12y ago
As far as I know, Rust now has an LL(1) grammar, which means that writing parsers for it can be done by hand (or with the more powerful LALR(1) and LR(1) parser generators). This is very important for humans too, because it means more peop
322.
by gnuvince 12y ago
How can he not be? In an attempt to protect user freedom, he rejects and blocks useful features in his compiler that users want/need. When he sees them flocking away to another free alternative compiler, he sees it as a sign that L
323.
by gnuvince 12y ago
Again? This is really getting ridiculous, gud stands for Grand Unified Debugger, it makes no sense to me to refuse that it support other debuggers that many people would find useful. The way I see it, RMS is concerned that if people ha
324.
by gnuvince 12y ago
I liked the article, but I didn't understand the meaning of this paragraph: > The string map< occurs 588 times in the WED code base. set< occurs 822 times! Approximately 100% of this code is running a lot slower than it coul
325.
by gnuvince 12y ago
OCaml does have opam (package manager), ocp-indent (a code formatting backend), merlin (a code formatting front-end for Emacs, Vim and Acme), a REPL, a byte code compiler, a native code compiler, a debugger that supports stepping backwards,
326.
by gnuvince 12y ago
> I've noticed a lot of Rust lovers commenting about how great Rust's type system is. It probably is, but I haven't run into any problems with Go's type system. I think it depends on the kind of things people write.
327.
by gnuvince 12y ago
Honestly, it's not the 2-4-8 indentation or the placement of braces that gets me when reading code. In Go, my biggest problem is that there are so many x, err := foo(); if err { ... } that I get lost trying to figure what the happy
328.
by gnuvince 12y ago
> IMO what makes a language better is end products and not features. It's useful to distinguish between "the language" and "the tool". Some programming languages are terrible from a language design perspective
329.
by gnuvince 12y ago
Imagine RMS's argument if the developers of a proprietary software asked "well, which part exactly of our software would you like to alter? We'll study how to give you restricted access to those."
330.
by gnuvince 12y ago
Are you sure you're not exaggerating the benefits of an automatic formatting tool? I'm thinking that a large number of libraries, usage by multiple high-profile companies, a killer app, etc. would be better for Rust at this point

More ›