Dewie3

14 ms·

61.
by Dewie3 11y ago
The standards one holds emerging technologies to tends to be proportional to how much one personally dislikes them. (and of course the corollary vice versa )
62.
by Dewie3 11y ago
Funny that you mention data oriented design when I coincidentally happened to mention research on types and data layout in my other comment in this post[1]. Maybe this won't turn out to be practical for data oriented design or for cari
63.
by Dewie3 11y ago
I guess he would downvote me? I don't get HN any more...
64.
by Dewie3 11y ago
Typing in the Haskell et. al. tradition don't like subtyping. And they also like their parametericity.
65.
by Dewie3 11y ago
Haskell is a research language with lazy evaluation. Also with a lot of fun type-stuff. I guess you could make a language which tries to be immediately pragmatic. But it is more focused to try to focus on a relatively small area and see how
66.
by Dewie3 11y ago
I wonder what someone like Conor McBride would have to say about this article.
67.
by Dewie3 11y ago
> I find that perspective strange. Machinery does not particularly care what end it's put to. Well it's a human activity like anything else. The technology itself might not be "political" [though that's debatable
68.
by Dewie3 11y ago
And people are free to criticize the conference organizers.
69.
by Dewie3 11y ago
Logic, imperative programming etc. is not tied to any natural language. You wouldn't have to relearn the same concepts at all.
70.
by Dewie3 11y ago
> Yes because he is potentially one from the target audience of this. No, because he already knows English. The proclamation "We should tax the rich less" is a self-serving sentence whether it comes from someone who was born in
71.
by Dewie3 11y ago
If you were curious about learning the guitar, would you first purchase the best 10,000$ guitar you could find at your local shop? No; you'd find some cheap guitar to play on initially to see if you could actually make a habit out of p
72.
by Dewie3 11y ago
I don't see any mention of the US in the article. Not any "why can't the US be like this", not "let's contrast Europe to America": nothing. I guess some people just want to guide any topic back to their ow
73.
by Dewie3 11y ago
Speaking of bloat (from another comment in this thread): > I am really curious about how much parsing and formatting occupy *nix source code. (IIRC 30% of ls),
74.
by Dewie3 11y ago
Was that last panel supposed to be about you? Anyway nothing I've written here is really angry, or passionate, or inflammatory (just snarky). But since I don't get your usage of the word proof in this context, what do you mean s
75.
by Dewie3 11y ago
Meta: I think someone made a comment that forced the whole page to be wider than it normally is? like when you post an image on a forum that forces the whole page to widen to fit it horizontally.
76.
by Dewie3 11y ago
I hear those siege engineers during the Napoleonic Wars didn't have any certified licenses either. The gall of some people.
77.
by Dewie3 11y ago
You know as well as I that most programming reasoning is informal and doesn't have anything to do with any kind of proof .
78.
by Dewie3 11y ago
"Doing one not-simple thing" is sometimes "doing multiple simple things which they couldn't decompose" in disguise.
79.
by Dewie3 11y ago
One solution is to optimize shell programming for terseness, since it has to be so interactive. Then you can sacrifice this Unix rule in the name of terseness and get commands that are nice and simple to write and good enough for 90% of use
80.
by Dewie3 11y ago
Okay, take 2. What does the US overlayed over Europe have to do with the topic of rail travel in Europe?
81.
by Dewie3 11y ago
You can delete comments if you want.
82.
by Dewie3 11y ago
> However, it seems that there is a tremendous amount of effort that goes into proving this software and I wonder if the time investment makes sense. Either you reasonably need machine-checkable proofs of the software confirming to a s
83.
by Dewie3 11y ago
Maybe he reasoned about his code in his head/on paper?
84.
by Dewie3 11y ago
Wow, I've never seen a map of the world before. /s
85.
by Dewie3 11y ago
You're sounding like a broken record by now, Cedric.
86.
by Dewie3 11y ago
Hah, dishonest . First of all it's no more dishonest than dressing up in other ways, with clothes or make up or what have you. Secondly if people are "impressed" or whatever by the stature you project what does it matter if
87.
by Dewie3 11y ago
Even mathematicians have had bugs where they agreed with a proof but then it turned out to be wrong.
88.
by Dewie3 11y ago
Such runtime asserts[1] are so conceptually simple though -- have enough language constructs to express invariants in the right places, and let the compiler insert asserts in all places where they would be needed. And then perhaps also have
89.
by Dewie3 11y ago
> We need to cut back on our engagements overseas, and stop fighting other peoples' wars. People that think that the US overseas engagements are a charity are funny.
90.
by Dewie3 11y ago
Right you are. I'm here all night.

More ›