CHY872

60 ms·

511.
by CHY872 12y ago
Flash attempted to do everything - what we're seeing from it now is just the last few use cases for which it has not been replaced with HTML5 - and the solution is for the single use case for which HTML5 is a bad fit - reducing the blo
512.
by CHY872 12y ago
That's only if in the toss up between losing Netflix and changing browser, they pick changing browser every single time. Which they won't. One thing you might not have thought about, is that at the moment, we have Flash, Java, Sil
513.
by CHY872 12y ago
No. Google has power because it has influence outside of web browsers. Mozilla have basically no leverage - their product is at best highly competitive with a number of other choices. If Firefox becomes irrelevant, Mozilla as an organisatio
514.
by CHY872 12y ago
I'm not sure what to make of this. On the one hand, the data could be useful. On the other hand, the data was probably already useful through the world bank's tool. Furthermore, it's reasonable to assume that the data was onl
515.
by CHY872 12y ago
As far as I am aware, this is not possible. Computer displays work by sending light in a few wavelengths (but in different intensities), using the combinations of different frequencies to produce the same effects as single frequencies. This
516.
by CHY872 12y ago
I'm sorry, but to be an amazing programmer in Haskell, the understanding you need of the lambda calculus is minimal.. For example, consider this function to compute the Ackermann function in the lambda calculus: λx. x (λf y.y f (
517.
by CHY872 12y ago
Yes - I remember that Jacque Villeneuve had a special steering wheel with which he could shift gears with one hand.
518.
by CHY872 12y ago
KERS is all decided by the computer now!
519.
by CHY872 12y ago
Heard the same thing from Bjarne Stroustrup. The cache properties of vectors are incredible.
520.
by CHY872 12y ago
What, like your phone company? Hmmmmm...
521.
by CHY872 12y ago
Your article is almost cargo-culty. 1) You do not control the software you run on your phone. You control almost none of the firmware, which if malicious could easily steal all of your data with impunity. 2) Simply controlling the software
522.
by CHY872 12y ago
Jabber and XMPP are the same thing. WhatsApp uses a version of XMPP with just enough encryption to stop anyone from creating their own WhatsApp compatible client.
523.
by CHY872 12y ago
Something needs to pay the bills. If a PHP project takes longer to complete (I'm not saying it does), is harder to maintain, etc than an equivalent project written in another language, then you will simply be less productive in PHP. Th
524.
by CHY872 12y ago
Ah, it's easy to see why it won't sound like white noise. The standard function is a Fourier series - a sum of sine waves. It's a power series where the b parameter must be an odd positive integer value 7 or greater. If we wa
525.
by CHY872 12y ago
because real world people don't program because it's fun, they program because they need to make money.
526.
by CHY872 13y ago
Really? I seem to remember them nearly having to shut down their servers a few months back?
527.
by CHY872 13y ago
but it makes it incredibly easy to, which is the reason why people hate it. If I'm a good programmer, of course I'll write good code . If I have to fix someone's shit code, of course I'm going to be incredibly angry if i
528.
by CHY872 13y ago
Not in Europe. He'll have to have been given weeks/months of notices, so that he can look for a new job in his spare time and not be completely fucked up.
529.
by CHY872 13y ago
You may be confusing abstraction and indirection. Of course writing large software is hard, and of course we want to make it easier. The real question is whether we want to do it the same way in Javascript that we did in Java, and the answe
530.
by CHY872 13y ago
No. The purpose of a programming language is to remove the incidental complexity leaving only the intrinsic complexity of the task. All languages have the same expressive power in principle, but it is intrinsically easier to perform certain
531.
by CHY872 13y ago
The devs can probably at least be mature enough to use each others code where it is compatible. More to the point, there's really only a couple of full time OpenSSL devs, and the others are more contributors, for whom I'd imagine
532.
by CHY872 13y ago
No. It needs corporate involvement, from Google, Red Hat, Amazon, Verisign etc. Lend minds, not money. By all means fund people to write it, but like it's not you who should be contributing, it's the corporations who rely on it.
533.
by CHY872 13y ago
What I'm personally hinting at is symbolic/concolic execution. Essentially, each variable has a set of constraints associated with it - initially left blank for an input variable, for example. Then, the program can be executed, wi
534.
by CHY872 13y ago
My first opportunity to whip this one out :) https://cakeml.org/popl14.pdf
535.
by CHY872 13y ago
Well, it's probably at least lame. All this kinda crap is just some guy who had a free weekend and happens to have a decent podium to speak about it on. Clearly the device itself is useless because it's the opposite of what you wa
536.
by CHY872 13y ago
In the UK (exclusively, I think), the sockets have gates - in [1] you'll see that there's a lever in the top hole - that pushes down the plastic covers in the bottom hole allowing the pins to be inserted. The earth plug is longer
537.
by CHY872 13y ago
Of course, one will attempt to also find equivalence classes for the states! The code long x = user_input(); if (x == 0) { violate_model(); } else { do_something(); } you would expect by any reasonable i
538.
by CHY872 13y ago
Ok, so in retrospect I didn't mean that for OCaml. Certainly it is true for Standard ML [1, 2, 3], or rather, the parts of the language that use the underlying native code (IO etc) are generally smaller pieces of code for which the cor
539.
by CHY872 13y ago
I'm sorry, but I don't believe this point has any merit with regards to this discussion. Formal verification was seen as the future for large systems for some short time in the latter half of the 20th century, and since then no on
540.
by CHY872 13y ago
The state explosion problem is becoming less of an issue in software nowadays because of the massive improvement in SAT/SMT solvers. The topic of this post is not about model checking, but I believe still interesting. One big improveme

More ›