1. 11
    Models of Abstraction programming justinblank.com
    hyperpape avatar authored by hyperpape 2 months ago | cached | 10 comments
  2. 16
    Simhashing (hopefully) made simple compsci programming ferd.ca
    hyperpape avatar via hyperpape 3 months ago | cached | no comments
  3. 6
    Quorum Availability distributed math brooker.co.za
    hyperpape avatar via hyperpape 4 months ago | cached | no comments
  4. 8
    Differential Testing to Find Missed Optimization Opportunities in LLVM's RISC-V Backend compilers formalmethods testing lowrisc.org
    hyperpape avatar via hyperpape 7 months ago | cached | no comments
  5. 72
    Rewriting the Technical Interview lisp programming aphyr.com
    hyperpape avatar via hyperpape 8 months ago | cached | 11 comments
  6. 33
    Micro-Optimizing .tar.gz Archives by Changing File Order performance programming justinblank.com
    hyperpape avatar authored by hyperpape 9 months ago | cached | 17 comments
  7. 7
    Synthesizing JIT Compilers for In-Kernel DSLs pdf compilers formalmethods cs.utexas.edu
    hyperpape avatar via hyperpape 12 months ago | cached | no comments
  8. 29
    What are you working on this week? ☶ ask programming
    hyperpape avatar authored by hyperpape 1 year ago | 64 comments
  9. 5
    Levels of Fuzzing programming testing blog.regehr.org
    hyperpape avatar via hyperpape 1 year ago | cached | 1 comment
  10. 6
    Helping Generative Fuzzers Avoid Looking Only Where the Light is Good, Part 1 programming testing blog.regehr.org
    hyperpape avatar via hyperpape 1 year ago | cached | no comments
  11. 11
    A theorem of software engineering practices bertrandmeyer.com
    hyperpape avatar via hyperpape 1 year ago | cached | no comments
  12. 11
    Using Uninitialized Memory for Fun and Profit programming research.swtch.com
    hyperpape avatar via hyperpape 1 year ago | cached | no comments
  13. 5
    Systematically Covering Input Structure pdf programming testing havrikov.github.io
    hyperpape avatar via hyperpape 1 year ago | cached | 1 comment
  14. 6
    Engineering a Sort Function pdf performance programming cs.fit.edu
    hyperpape avatar via hyperpape 1 year ago | cached | no comments
  15. 19
    On the Relationship Between Static Analysis and Type Theory formalmethods plt semantic-domain.blogspot.com
    hyperpape avatar via hyperpape 1 year ago | cached | 9 comments
  16. 5
    Active Benchmarking performance programming brendangregg.com
    hyperpape avatar via hyperpape 1 year ago | cached | no comments
  17. 8
    What are you working on this week? ☶ ask programming
    hyperpape avatar authored by hyperpape 1 year ago | 27 comments
  18. 9
    Design and Evolution of C-Reduce (Part 1) programming testing blog.regehr.org
    hyperpape avatar via hyperpape 1 year ago | cached | no comments
  19. 18
    What are you working on this week? ☶ ask programming
    hyperpape avatar authored by hyperpape 1 year ago | 53 comments
  20. 6
    Writing a producedural puzzle generator compsci games snellman.net
    hyperpape avatar via hyperpape 2 years ago | cached | no comments
  21. 2
    Reader/Reader blocking in reader/writer locks performance programming blog.nelhage.com
    hyperpape avatar via hyperpape 2 years ago | cached | no comments
  22. 36
    How Many Type Parameters Can a Java Method Have? java justinblank.com
    hyperpape avatar authored by hyperpape 2 years ago | cached | no comments
  23. 26
    Verifying Popcount formalmethods programming blog.regehr.org
    hyperpape avatar via hyperpape 2 years ago | cached | 4 comments
  24. 13
    What are you working on this week? ☶ ask programming
    hyperpape avatar authored by hyperpape 2 years ago | 29 comments
  25. 2
    Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing ☶ pdf formalmethods security testing cs.ucr.edu
    hyperpape avatar via hyperpape 2 years ago | cached | no comments
Page 2 >>