HN Explorer

pascal_cuoq

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