dhekir

8 ms·

31.
by dhekir 7y ago
Why should they work for Google for free? Google Maps is a business and should pay for the accuracy of its data. Or OP can contribute to OpenstreetMap to the point it will contain enough and accurate data to be a preferred source for this k
32.
by dhekir 7y ago
War memorials and museums should include as many depictions as possible of the horrors of war, including sounds and smells, to better vaccinate new generations against it.
33.
by dhekir 8y ago
It can be useful for OpenStreetMap, for instance, where you want to have an idea of the height difference between two points. For instance, if you are moving or carrying a large suitcase/stroller to a place you've never been to. L
34.
by dhekir 8y ago
I believe it also depends on the environment around the school. In a third-world country, I'd probably prefer being safely indoors at school and in contact with friends, with free time if needed, than in a sketchy area without being ab
35.
by dhekir 8y ago
Can it or has it been used for UX testing? Having a way to "reset" people for interface testing would be useful. Preferably without side effects, of course.
36.
by dhekir 8y ago
It's also happening in France, maybe in all of Europe due to GDPR.
37.
by dhekir 8y ago
Moving to a country with a different culture and language may help overcome the symptoms. If parents fight using a specific language, aggressive tones and swear words are more easily associated to that language. "Resetting" to a n
38.
by dhekir 9y ago
Sorry, I meant their libc. That would be very useful if open-sourced. They state that " we provide our own libc that is written in standard C and is optimized for safety instead of performance ", but I don't see where to fi
39.
by dhekir 9y ago
" we implemented a libc that is written in standard C and does not rely on any GNU extensions. " Does anyone know if such library is available somewhere?
40.
by dhekir 9y ago
Even CompCert, the formally verified C compiler, had to make some concessions concerning the standard: it does not verify C per se , but CompCert C ( http://compcert.inria.fr/man/manual005.html ), which is very close to
41.
by dhekir 9y ago
> Isn't it a dynamic analysis tool, i.e. a C interpreter that keeps an eye out for UB? Indeed, I'm sorry, I had tis-analyzer in mind. tis-interpreter is indeed closer to Valgrind. It interprets the C code according to its seman
42.
by dhekir 9y ago
And for the half-initiated in IEEE 754, who think (like I used to) that all operations defined in the standard (including non-arithmetic ones) propagate NaNs, don't forget that pow is also defined (recommended, not obligatory), and t
43.
by dhekir 9y ago
One case in which I couldn't get UBSan (nor MemSan) to report issues was with the usage of unitialized values, which may constitute undefined behavior. UBSan does not deal with uninitialized reads, but Memory Sanitizer does ("Memo
44.
by dhekir 9y ago
tis-interpreter also has an open-source foundation, which is Frama-C ( http://www.frama-c.com ). Both share some common code. Their purpose is not exactly the same as RV-Match's; they are more concerned with soundness and abs
45.
by dhekir 9y ago
Google Maps tends to thrive where there are lots of people, at least in my region. I live in a medium-sized town with lots of new buildings under construction, and Google Maps seems frozen in time. I even registered as Local Guide and tried
46.
by dhekir 9y ago
To complement: Leroy recently worked on a research project, Verasco, to formally verify a static analyzer for C (in the likes of Astree, Frama-C, Polyspace, etc.) that could plug that hole: if the analyzer reports "no undefined behavio
47.
by dhekir 9y ago
The idea is commendable, however I find it unfortunate that they did not choose to use already existing data on OpenStreetMap (perhaps because it's a competitor to Google Maps?), for instance reusing the weelchair routing efforts start
48.
by dhekir 9y ago
I've noticed it had several upvotes during the interval in which it has been hugged to death. Is this expected?
49.
by dhekir 9y ago
Part of it is described in the Frama-C blog ( http://blog.frama-c.com/index.php?post/2017/03/07/A-simple-E... ). It actually presents a tutorial on the EVA plug-in (former Value Analysis) with Monocypher a
50.
by dhekir 9y ago
Some crappy companies such as Eurostar currently experience issues in their website when using Firefox (e.g. impossibility of using vouchers in some cases), and when you contact customer support, they clearly state that "Chrome is reco
51.
by dhekir 10y ago
Is 36k that insane? That's the average starting salary of French engineers and some PhD-level researchers from relatively well-ranked universities. 1/3 of which are compulsory taxes (not including income tax), so in the end it&#x2
52.
by dhekir 10y ago
One thing that concerns me is packaging desktop virtual machine images for easy reproducibility. We realized that some users do not (or cannot, due to security policies) turn on VT-x/AMD-V in their machines, and therefore Virtualbox an
53.
by dhekir 10y ago
Could it be somehow related to better peripheral vision? I met a woman once who could gather four-leaf clovers nearly instantly, at the same spot where me and my male friends had spent minutes searching. I've seen written in some place
54.
by dhekir 11y ago
I had some success using this MinGW-based OPAM repository: https://github.com/fdopen/opam-repository-mingw The packages that I needed and that didn't compile in the standard repository were working thanks to patch
55.
by dhekir 11y ago
I recently had a bug in Firefox Android which leaked information: after closing a Private Browsing window, if I went to Settings -> Apps, then "Show Cached Processes", then chose Firefox and clicked Stop, to remove it from Andr
56.
by dhekir 11y ago
I once contributed to a localized version of SO whose licence was not open. The startup backing it eventually shutdown and the site disappeared. All time invested in those answers is now irrevocably lost. Non-open content licence is exactly
57.
by dhekir 11y ago
I actually tried a modified OCaml implementation of a very simple test. The issue is probably due to bad seeding/initialization: if I use the given static seed, it passes, but if I try to provide any other seed, it fails on at least on
58.
by dhekir 11y ago
I must have done something wrong, but I tried the basic C implementation ( https://github.com/imneme/pcg-c-basic ) on a quick Diehard-like test and it failed. I'm still trying to understand why. Probably not its fau
59.
by dhekir 11y ago
Hardware cost and availability is definitely a factor: even a Raspberry Pi is ridiculously expensive. Without disposable hardware to try things "just for fun" (and without fearing that, if you break it, it will take lots of time&#
60.
by dhekir 11y ago
Don't worry, you have until November, 2019 to get them.

More ›