Newest stories submitted by duclare.

  1. 8
    SMT Solvers: Theory and Practice (2008) pdf formalmethods resources.mpi-inf.mpg.de
    duclare avatar via duclare 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 14
    Understanding SAT by Implementing a Simple SAT Solver in Python programming sahandsaba.com
    duclare avatar via duclare 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 12
    What is acceptable for -ffast-math? [2001] c historical performance gcc.gnu.org
    duclare avatar via duclare 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  4. 41
    Recommend a password manager? ☶ ask security
    duclare avatar authored by duclare 6 years ago | 47 comments
  5. 1
    Actor Thinking (2010) programming javalimit.com
    duclare avatar via duclare 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 5
    Actors are not a good concurrency model (2010) programming pchiusano.blogspot.com
    duclare avatar via duclare 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  7. 14
    Review of contemporary C/C++ static code analyzers (2017) c c++ hownot2code.com
    duclare avatar via duclare 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  8. 16
    AV1: next generation video – The Constrained Directional Enhancement Filter performance hacks.mozilla.org
    duclare avatar via duclare 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 3
    Mathematics of the Discrete Fourier Transform (DFT), with Audio Applications (2nd ed) (2007) book math DSPRelated.com
    duclare avatar via duclare 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 7
    The Power of Two Random Choices: A Survey of Techniques and Results (2001) pdf compsci math eecs.harvard.edu
    duclare avatar via duclare 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 12
    Bill Gates and DONKEY.BAS (2007) games historical person blog.codinghorror.com
    duclare avatar via duclare 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 6
    RNNoise: Learning Noise Suppression ai people.xiph.org
    duclare avatar via duclare 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 21
    OpenSMTPD, current state of affairs pdf slides openbsd openbsd.org
    duclare avatar via duclare 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 23
    Getting started with OpenBSD device driver development pdf slides openbsd openbsd.org
    duclare avatar via duclare 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  15. 26
    Your scheduler is not the problem pdf slides openbsd openbsd.org
    duclare avatar via duclare 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  16. 50
    Verified cryptography for Firefox 57 browsers cryptography formalmethods security blog.mozilla.org
    duclare avatar via duclare 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  17. 26
    openbsd changes of note 4 openbsd tedunangst.com
    duclare avatar via duclare 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 4
    Suggest tag: notc ☶ meta
    duclare avatar authored by duclare 7 years ago | 7 comments
  19. 6
    Upload Filtering Mandate Would Shred European Copyright Safe Harbor law web eff.org
    duclare avatar via duclare 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments