For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | pascal_cuoq's submissionsregister
1.
The Strict Aliasing Situation Is Pretty Bad (regehr.org)
150 points by pascal_cuoq on March 15, 2016 | past | 67 comments
2.
Do Fiddly Buffer Overruns Matter? (regehr.org)
5 points by pascal_cuoq on Feb 2, 2016 | past
3.
Asantoo: Gentoo compiled with AddressSanitizer (gentoo.org)
3 points by pascal_cuoq on Jan 26, 2016 | past
4.
Performance anomaly on the Intel Broadwell processor (stackoverflow.com)
4 points by pascal_cuoq on Dec 31, 2015 | past
5.
API Fuzzing vs. File Fuzzing: A Cautionary Tale (regehr.org)
2 points by pascal_cuoq on Sept 28, 2015 | past
6.
Dropping RC4 (twitter.com/agl__)
3 points by pascal_cuoq on Sept 1, 2015 | past | 1 comment
7.
7 Bits Are Not Enough for 2-Digit Accuracy (exploringbinary.com)
70 points by pascal_cuoq on April 1, 2015 | past | 27 comments
8.
Change of Z3 license (github.com/z3prover)
1 point by pascal_cuoq on March 26, 2015 | past
9.
Errors vs. Bugs and the End of Stupidity (celandine13.livejournal.com)
2 points by pascal_cuoq on March 22, 2015 | past
10.
Handling security bugs is not the open-source community’s strong point (trust-in-soft.com)
5 points by pascal_cuoq on Feb 23, 2015 | past
11.
Glibc Adventures: The Forgotten Chunks [pdf] (contextis.co.uk)
21 points by pascal_cuoq on Jan 29, 2015 | past
12.
Faith-driven science (mjambon.github.io)
2 points by pascal_cuoq on Dec 27, 2014 | past
13.
An HTTP Status Code to Report Legal Obstacles (ietf.org)
2 points by pascal_cuoq on Dec 17, 2014 | past
14.
StackOverflow: Obtaining peak bandwidth on Haswell (stackoverflow.com)
2 points by pascal_cuoq on Sept 23, 2014 | past
15.
We know correlation does not imply causality. What does? (rgrig.blogspot.com)
22 points by pascal_cuoq on Aug 9, 2014 | past | 36 comments
16.
Stack Overflow helped me with my problem (stackoverflow.com)
3 points by pascal_cuoq on Aug 5, 2014 | past
17.
Heartbleed and Static Analysis (regehr.org)
134 points by pascal_cuoq on April 11, 2014 | past | 36 comments
18.
A C SSL implementation without buffer overflows (trust-in-soft.com)
3 points by pascal_cuoq on April 9, 2014 | past
19.
An interesting SSL implementation bug: CVE-2013-5914 (frama-c.com)
1 point by pascal_cuoq on March 13, 2014 | past
20.
A bitcoin FAQ (brokenlibrarian.org)
9 points by pascal_cuoq on Dec 30, 2013 | past
21.
Improving OCaml's inlining (ocamlpro.com)
3 points by pascal_cuoq on May 25, 2013 | past
22.
A 63-bit floating-point type for 64-bit OCaml (frama-c.com)
2 points by pascal_cuoq on May 9, 2013 | past
23.
Rounding float to nearest integer, part 3 (frama-c.com)
1 point by pascal_cuoq on May 4, 2013 | past
24.
Harder than it looks: rounding a float to the nearest integer (frama-c.com)
74 points by pascal_cuoq on May 2, 2013 | past | 46 comments
25.
Non-expert developers need accurate floating-point libraries the most (frama-c.com)
1 point by pascal_cuoq on April 7, 2013 | past
26.
Operant Conditioning by Software Bugs (regehr.org)
3 points by pascal_cuoq on Dec 31, 2012 | past
27.
Compiler-driven language development (frama-c.com)
2 points by pascal_cuoq on Nov 17, 2012 | past
28.
On the redundancy of C99's restrict (frama-c.com)
14 points by pascal_cuoq on July 25, 2012 | past | 23 comments
29.
On ending discussions and painting bikesheds (frama-c.com)
2 points by pascal_cuoq on May 15, 2012 | past
30.
Security and safety (frama-c.com)
1 point by pascal_cuoq on March 16, 2012 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You