HN Explorer

pascal_cuoq

↗ HN profile [ 89.6 ms ] full profile
Karma
1,252
Created
August 3, 2009 (17y ago)
Submissions
0
  1. The Strict Aliasing Situation Is Pretty Bad (blog.regehr.org)
    150 points 67
  2. Do Fiddly Buffer Overruns Matter? (blog.regehr.org)
    5 points 0
  3. Asantoo: Gentoo compiled with AddressSanitizer (wiki.gentoo.org)
    3 points 0
  4. Performance anomaly on the Intel Broadwell processor (stackoverflow.com)
    4 points 0
  5. API Fuzzing vs. File Fuzzing: A Cautionary Tale (blog.regehr.org)
    2 points 0
  6. Dropping RC4 (twitter.com)
    3 points 1
  7. 7 Bits Are Not Enough for 2-Digit Accuracy (exploringbinary.com)
    70 points 27
  8. Change of Z3 license (github.com)
    1 points 0
  9. Errors vs. Bugs and the End of Stupidity (celandine13.livejournal.com)
    2 points 0
  10. Handling security bugs is not the open-source community’s strong point (trust-in-soft.com)
    5 points 0
  11. Glibc Adventures: The Forgotten Chunks [pdf] (contextis.co.uk)
    21 points 0
  12. Faith-driven science (mjambon.github.io)
    2 points 0
  13. An HTTP Status Code to Report Legal Obstacles (datatracker.ietf.org)
    2 points 0
  14. StackOverflow: Obtaining peak bandwidth on Haswell (stackoverflow.com)
    2 points 0
  15. We know correlation does not imply causality. What does? (rgrig.blogspot.com)
    22 points 36
  16. Stack Overflow helped me with my problem (meta.stackoverflow.com)
    3 points 0
  17. Heartbleed and Static Analysis (blog.regehr.org)
    134 points 36
  18. A C SSL implementation without buffer overflows (trust-in-soft.com)
    3 points 0
  19. An interesting SSL implementation bug: CVE-2013-5914 (blog.frama-c.com)
    1 points 0
  20. A bitcoin FAQ (brokenlibrarian.org)
    9 points 0
  21. Improving OCaml's inlining (ocamlpro.com)
    3 points 0
  22. A 63-bit floating-point type for 64-bit OCaml (blog.frama-c.com)
    2 points 0
  23. Rounding float to nearest integer, part 3 (blog.frama-c.com)
    1 points 0
  24. Harder than it looks: rounding a float to the nearest integer (blog.frama-c.com)
    74 points 46
  25. Non-expert developers need accurate floating-point libraries the most (blog.frama-c.com)
    1 points 0