pascal_cuoq

91 ms·

271.
by pascal_cuoq 15y ago
If you read the article, it's clear they mean an hypothetical 1990s computer with the computing power of the modern macbook air, and the power efficiency typical of computers of that era. Completely nonsensical, I'll grant you.
272.
by pascal_cuoq 15y ago
Yes, but does Altair BASIC still work on the Pentium 4 and its trace cache? I'm afraid this trick may not have been any more future-proof than self-modifying code. Still, nice.
273.
by pascal_cuoq 15y ago
Like politicians' expenses, bloat is only ever reduced, but it somehow keeps going up as time passes.
274.
by pascal_cuoq 15y ago
SAL and VCC are for making C programs correct. This is related but not the same thing as making the C compiler correct. These source-level tools assume that the compiler translates the programs correctly.
275.
by pascal_cuoq 15y ago
You might also like http://blog.frama-c.com/index.php?post/2011/04/05/QuickLZ-1 and, say, http://blog.frama-c.com/index.php?post/2011/06/04/Valid-comp...
276.
by pascal_cuoq 15y ago
How am I supposed to take seriously an article that confuses "follower" and "followee"?
277.
by pascal_cuoq 15y ago
Because it can. This is undefined behavior we are talking about.
278.
by pascal_cuoq 16y ago
double x0 = 0x1.0000000000001p0; double y = 0x1p-53 * (1. - 0x1p-11); double z1 = x0 + y; or other examples taken from http://hal.archives-ouvertes.fr/docs/00/28/14/29/PDF/floatin... would have been more interesting than 0.1 + 0.2, for
279.
by pascal_cuoq 16y ago
"here is the tradeoff: Use our heuristic and you get a reasonable route immediately. Alternatively, configure a network of 110 processors, then spend two months computing the shortest route to save a month of driving." Or, of course, use on
280.
by pascal_cuoq 16y ago
Apparently speaking of pi's digits, article says: "pi, which is believed to go on forever ..." Yes, there is a strong and widespread belief that pi and all other irrational numbers go on forever.
281.
by pascal_cuoq 16y ago
From the article: "... decided instead to quadruple both directions ..." Seriously, who starts with the number "2" and ends up confusing themselves? The whole article feels like one of the elaborate proofs of "0=1" that middle-schoolers are
282.
by pascal_cuoq 16y ago
Where does the "world's fastest" claim come from, and how was it determined? Z3 is a good SMT prover for some formulas that come from program verification, but it is neither uniformly better nor faster than other provers, one of which preda
283.
by pascal_cuoq 16y ago
> You have now, this is what I do for a living. Perhaps there is a misunderstanding. I was speaking of security researchers who look for flaws without having been prompted to do so (the "money" in "fame, money and ego" was the money tha
284.
by pascal_cuoq 16y ago
It was always clear to me at the time that Twitter's claim to fame was in letting information about Iran events out of the country, when traditional media such as CNN appeared to some a little slow to react -- and this is another debate ent
285.
by pascal_cuoq 16y ago
It saddens me to see the linked article taken seriously and its political agenda repeated as if the existence of an article advocating Open Source in an Open Source conference gave credence to the idea of mandatory Open Source for life-crit
286.
by pascal_cuoq 16y ago
"iOS 3.x code base is Leopard base. iOS 4 is Snow Leopard" Along with other changes, many of which do not affect the iPhone either, the biggest change in Snow Leopard was to switch all binaries and the default compilation target from IA-32
287.
by pascal_cuoq 16y ago
I do not know this language (Java?), but doesn't the line int offset = (int) (((size - 1) * ((long) key - min)) / (max - min)); compute (max - min) as an int (potentially overflowing), and then convert it to long, defeating the prec
288.
by pascal_cuoq 16y ago
"Climb into a tree". This is the punchline as I remember it of a joke I heard many years ago (in bubble 1.0 times) that started "How do I get funding for my start-up in the Silicon Valley? -- Step 1: go and kick a tree ..." I couldn't get G
289.
by pascal_cuoq 16y ago
Every time someone points out this tutorial and I see again the even_0 and even_S constructors of the even predicate, I am reminded of the quote where FORTRAN is called a high-level language because, unlike assembly, it doesn't force the pr
290.
by pascal_cuoq 16y ago
You got downvoted for accidentally raising the very good point that the e-mail does not contain enough information to allow a prospective candidate to decide what equity would be worth? I don't know who gets downvoting power around here but
291.
by pascal_cuoq 17y ago
Article: In fact, it’s now a universally accepted truth that RISC is better than CISC! Actually, because of how much more efficient RISC machines are than their CISC counterparts, most CISC CPUs convert their CISC instruct
292.
by pascal_cuoq 17y ago
You shouldn't believe everything you read on the internet. 1/ if you're a newbie at F#, it is not completely unlikely that all the F# you have ever written was valid OCaml. The languages are that close to each other. 2/ the author's critici
293.
by pascal_cuoq 17y ago
argument #1 : "OCaml sucks because it is not LISP". argument #2 : "OCaml sucks because it is not LISP". ... Oh, and seriously? This one is good for a chuckle. I am convinced that it's an instance of the pattern above. I don't know what vers
294.
by pascal_cuoq 17y ago
I wouldn't want to cramp your style, but when I first saw Tetris at an arcade in the 1980's, I understood the goal and how he game was played in 20 seconds. Watching a video of your game... not really.
295.
by pascal_cuoq 17y ago
"Best indicator" are not the words I would have used. Like other (all that I know of, in fact) voting systems on popular social sites, Hacker News' is biased in favor of comments that repeat the established, arrive early, and are written by
296.
by pascal_cuoq 17y ago
Good thinking on both counts. Multiple returns are another limited form of exceptions, and you don't need to go back in time to ask the Dijkstra from that period if he disliked them. They too escaped theoretical treatment as it was formulat
297.
by pascal_cuoq 17y ago
I know that the article is foremost about Dijkstra, and uses Hoare-style verification of programs as an example only, but there's a C function with "break;" being verified using Hoare logic right there: http://frama-c.cea.fr/jessie_tutoria