dhekir

10 ms·

61.
by dhekir 11y ago
> because they trust the poster. Until they realize it's just spam. Or they already know it and simply ignore such messages (e.g. LinkedIn recommendations, automatic invitations from random websites parsing your contact list...). On
62.
by dhekir 12y ago
C99 is not a strict extension, but as stated in its foreword, "this second edition [C99] cancels and replaces the first edition [C90]". For instance, implicit function declarations are allowed in C90 but not in C99.
63.
by dhekir 12y ago
Research tools are getting closer to what people consider "real" programs, even if they often focus on embedded systems software. CompCert already deals with a quite large subset of C. Frama-C can deal with most if not all syntact
64.
by dhekir 12y ago
You're waiting for a tutorial on Coq integrated with Frama-C, or for a tutorial on any of them?
65.
by dhekir 12y ago
I tried clicking on the Youtube link inside the Internet Archive to see the clip, but all I get is a message "Sorry for the interruption. We have been receiving a large volume of requests from your network. To continue with your YouTub
66.
by dhekir 12y ago
We have pretty much agreed upon the English language. Most people did not agree on it, but were pushed towards it due to economic dominance. Non-native speakers may still resent their disadvantage and would not call it an "agreement&
67.
by dhekir 12y ago
Indeed, a multi-layered approach, while more expensive, provides some advantages. It is also interesting to compare this system to the one applied in countries where security is more of an issue. In Brazil, for instance, where hackers get q
68.
by dhekir 12y ago
Just a warning, I tried the same when upgrading from nadia to petra, and because I had compiled from source my Intel graphics driver, it screwed horribly and I spent hours trying to remove or recompile and reinstall it without success. In t
69.
by dhekir 12y ago
Why is it so hard to find a single HD video with this line? I searched for 'football "yellow line"' and filtered only HD videos, and none in the first page actually showed some game footage with the line. The same for &#
70.
by dhekir 12y ago
Not only PT, that happens in most languages where the dot is not the decimal separator. It might have been the case in English as well if they used commas.
71.
by dhekir 12y ago
This also includes changing argument separators according to the locale. In France, for instance, where commas are used as decimal separators, function arguments must be separated by semicolons. Faithful i18n should take both into account.
72.
by dhekir 13y ago
In France, the universities and engineering schools I know use polycopiés , which are teacher-made, paperback bound books (sometimes actual LaTeX-formatted text, sometimes just printed versions of course slides), given to students freely o
73.
by dhekir 13y ago
Since we are talking about phishing in Google's domains, can someone explain me why http://www.blogspot.co.uk (and .ie, and .fr, etc.) leads to someone's specific blog, instead of doing like the http://www.b
74.
by dhekir 13y ago
I interpreted it as related to the Dunning-Kruger effect ( http://en.wikipedia.org/wiki/Dunning%E2%80%93Kruger_effect ): students think that they understand things when reading the slides, but sometimes they don't
75.
by dhekir 13y ago
Unfortunately, Cyanogenmod's Privacy Guard does not block everything (e.g. your IMEI is still readable if permission READ_PHONE_STATE is granted). XPrivacy can help in this case, but its UI is quite convoluted.
76.
by dhekir 13y ago
Please add the Toyota accelerator issues ( http://www.edn.com/design/automotive/4423428/Toyota-s-killer... ) to your list. Bad software engineering practices coupled with the aggressive cost cutting mentality i
77.
by dhekir 13y ago
Not sure what's in your link, in any case here's a Youtube version: http://www.youtube.com/watch?v=TQd-0YXqmR0
78.
by dhekir 13y ago
I can choose not to install an app, but Google prevents me from doing it intelligently, that is, filtering the crappy apps demanding ridiculous permissions. I have to manually click on dozens of them before finding one that does not require
79.
by dhekir 13y ago
Wouldn't this impose some sort of control mechanism, akin to the "employment search" one which is already mentioned as inefficient and bureaucratic in the article? For instance, isn't "pay them to drive more safely&
80.
by dhekir 13y ago
What prevents factories from implementing some online verification mechanism for serial IDs? At least for products which cost a few hundred bucks, this should be economically feasible, no? Then, before buying, you could scan a QR code and h
81.
by dhekir 13y ago
One thing I really miss from Geocities is the "structured browsing" that allowed me to find sites from a given subject without using search by word. Also, I miss letting the user decide what is the subject of his/her site and
82.
Detecting undefined behavior in C programs with CompCert(compcert.inria.fr)
1 points by dhekir 14y ago|0 comments