dhekir

7 ms·

1.
by dhekir 5y ago
A few corrections and counterpoints: - Frama-C is developed by CEA (French nuclear research agency; Inria participated in the beginning of the project, and is still a partner, but development has always been led by CEA); - Your first-order
2.
by dhekir 5y ago
OP could be referring to Raynaud syndrome ( https://en.wikipedia.org/wiki/Raynaud_syndrome ). It's not sure tea helps in such cases.
3.
by dhekir 5y ago
After moving to a newly-finished building, I realized most companies didn't have up-to-date databases and some forms prevented me from correcting the "mis-corrected" addresses. Missed a few deliveries during the first few mon
4.
by dhekir 5y ago
Every single laptop my company bought me in the last 10 years (3+) had kernel/driver issues, especially with Ubuntu, since the kernel version was usually lower than that from other distros, like Fedora. This includes mostly graphics dr
5.
by dhekir 5y ago
This echoes some vibes of Neal Stephenson's Zodiac. Replace Boston with The Bay, PCBs with VOCs, and fast-forward some 30 years, and there you have it. If only we could learn from past mistakes...
6.
by dhekir 6y ago
Fixing the Ctrl+Q issue is great, but I still think extensions such as Form History Control are essential for all other situations. I'd very much appreciate if Mozilla could vet it for security; I'm always afraid of some developer
7.
by dhekir 6y ago
Frama-C is a framework for code analysis. It can help proving code with the aid of ACSL (JML-like notation for C contracts). But I agree that C is not the best language for writing critical code.
8.
by dhekir 6y ago
Can you get a long term visa without any job affiliations? I'm not sure that simply having the money is sufficient reason for an European country to give you a long-term visa (> 1 year), depending on which country you come from. Als
9.
by dhekir 6y ago
Genius! Good to know it exists, if I need it one day. For now, I tried patching the timestamp in the binary as suggested by jtvjan, since I saw it before your post. It works, so I'll stick with it for now. But I'll be sure to try
10.
by dhekir 6y ago
Thanks a lot! The page you linked did work; I had to copy the Flash folder elsewhere, used a hex editor to find the timestamp in my Flash.ocx file, then I renamed the original folder to Flash.bak and copied the modified one in its place, an
11.
by dhekir 6y ago
Indeed, the laptop has been disconnected for days. I (or, more precisely, Windows) inadvertently updated to a more recent Flash version containing the "time bomb", so now the application simply checks the system date and decides w
12.
by dhekir 6y ago
I have an old Windows offline desktop application (from circa 2003) that has an embedded Flash component which is necessary for it to run properly. It simply stopped working this morning on my Windows 10. Resetting the date to yesterday wor
13.
by dhekir 6y ago
OCaml is good for handling abstract syntax trees (strong typing, pattern matching) and its mix of imperative and functional programming don't require using borrow-checker nor monads. You can also consider Reason, if you prefer a more C
14.
by dhekir 6y ago
Would you mind telling some of the kinds of checks the Clang tools do not perform? I wonder if they are mostly syntactic or if they need dataflow analyses. (That said, Polyspace has 2 tools now, Bug Finder and Code Prover, whose application
15.
by dhekir 6y ago
Too bad it's not open source, but will some of the generated programs be? Also, would you mind comparing it to Csmith ( https://embed.cs.utah.edu/csmith/ )?
16.
by dhekir 6y ago
I also found this "amalgamate" script on GitHub, intended to allow creating such amalgamations from C/C++ projects: https://github.com/rindeal/Amalgamate Which seems interesting, however when I tried the
17.
by dhekir 6y ago
I had never heard of LSIF. Its webpage says it intends to "define a standard format for language servers or other programming tools to dump their knowledge about a workspace". SARIF being targeted towards static analysis tools res
18.
by dhekir 6y ago
It would be useful to list which tools support the SARIF standardized format ( https://sarifweb.azurewebsites.net/ ).
19.
by dhekir 6y ago
> I'm at work and not allowed to read active patents. Is that related to legal issues (as in, if you don't read patents, there's less chance that you'll end up being prosecuted if you accidentally implement somethin
20.
by dhekir 6y ago
ACSL ( https://en.wikipedia.org/wiki/ANSI/ISO_C_Specification_Langu... ) for C, which is based on JML ( https://en.wikipedia.org/wiki/Java_Modeling_Language ) for Java, both use 'requires&#x
21.
Ask HN: How to “scare” teens wrt privacy issues
8 points by dhekir 7y ago|6 comments
22.
by dhekir 7y ago
It always happens for me when accessing a Linux machine remotely. I can't find a screenshot now, so the next time I do it, I'll take one. It seems to be a security measure, to prevent someone from sharing remote access and then fo
23.
by dhekir 7y ago
But for remote control, it stops after every few minutes, asking the "controlled" user to click on a button to continue. Not so practical in a few situations.
24.
by dhekir 7y ago
It stopped working earlier this year, due to OAuth API changes by Google, if I'm not mistaken. Or did you manage to get it working?
25.
by dhekir 7y ago
Any backup recommendations? Gmvault stopped working earlier this year, and for multi-gigabyte accounts via a connection that is prone to get interrupted every once in a while, I couldn't find anything that seemed as simple and robust (
26.
by dhekir 7y ago
I used to walk around taking pictures and memorizing some key points to later upload the data from JOSM, but it was very time-consuming and a lot of time was spent matching the aerial view with my street-level pictures. So I started trying
27.
by dhekir 7y ago
Not only Infer, but other static analyzers would also be useful. Hopefully Software Heritage ( https://www.softwareheritage.org ) will help with that.
28.
by dhekir 7y ago
The author's blog says: All site content © Paul Reiffer 2019 and may not be used without permission And Petapixel's post credits him, and includes in the end: About the author: (...) This article was also published here [link t
29.
by dhekir 7y ago
Unfortunately seems inaccessible, at least in France: "Access Denied - Sucuri Website Firewall - Block reason: Access from your Country was disabled by the administrator."
30.
by dhekir 7y ago
Receiving unintended funds can have all kinds of unintended consequences, including related to law enforcement. In his case, he just got suspended and asked to provide documents he is physically unable to produce (contrary to presumption of

More ›