Newest stories submitted by teymour.

  1. 3
    Low-Level Software Security for Compiler Developers compilers llsoftsec.github.io
    teymour avatar via teymour 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 6
    Cranelift's Instruction Selector DSL, ISLE: Term-Rewriting Made Practical plt cfallin.org
    teymour avatar via teymour 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 7
    The Myers diff algorithm: part 1 programming vcs blog.jcoglan.com
    teymour avatar via teymour 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 7
    A new approach to domain ranking web memex.marginalia.nu
    teymour avatar via teymour 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  5. 45
    Big Data is Dead databases motherduck.com
    teymour avatar via teymour 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 2
    Debugging a use-after-free in gdb debugging pernos.co
    teymour avatar via teymour 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 1
    Sandboxing for Developers and Operators security wasm lunatic.solutions
    teymour avatar via teymour 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 7
    Cranelift: Correctness in Register Allocation compilers cfallin.org
    teymour avatar via teymour 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 5
    Evaluating the Cost of Atomic Operations on Modern Architectures pdf performance spcl.inf.ethz.ch
    teymour avatar via teymour 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 13
    Benchmarking Gone Wrong video performance youtube.com
    teymour avatar via teymour 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  11. 29
    Good theory books you would recommend? ☶ ask compsci
    teymour avatar authored by teymour 8 months ago | 29 comments
  12. 4
    Error-Detecting and Correcting Codes math math.oscarlevin.com
    teymour avatar via teymour 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  13. 16
    (2022) Marginalia's [Search] Index Reaches 100,000,000 Documents programming scaling memex.marginalia.nu
    teymour avatar via teymour 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 22
    The topologist's world map graphics math tafc.space
    teymour avatar via teymour 9 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 15
    Converting my PhD thesis into HTML programming desfontain.es
    teymour avatar via teymour 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  16. 22
    Hindley-Milner type inference (in Rust) plt rust reasoning.page
    teymour avatar authored by teymour 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  17. 8
    Static Program Analysis book pdf plt cs.au.dk
    teymour avatar via teymour 12 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  18. 16
    Boa (JavaScript interpreter written in Rust) release v0.16 javascript rust boa-dev.github.io
    teymour avatar via teymour 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 4
    Visualising the Myers Difference Algorithm programming nathaniel.ai
    teymour avatar via teymour 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 5
    A Catalogue of Optimizing Transformations [1971] pdf compilers clear.rice.edu
    teymour avatar via teymour 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 17
    Proebsting's Law compilers proebsting.cs.arizona.edu
    teymour avatar via teymour 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  22. 17
    A library for testing different thread interleavings of concurrent Rust code rust testing github.com
    teymour avatar via teymour 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 10
    Modular, structure-aware, and feedback-driven fuzzing engine for Rust rust testing fuzzcheck.neocities.org
    teymour avatar via teymour 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  24. 10
    lalrpop: LR(1) parser generator for Rust plt rust github.com
    teymour avatar via teymour 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 10
    Guide for the use of the Ada Ravenscar Profile in high integrity systems pdf programming open-std.org
    teymour avatar via teymour 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
<< Page 1 | Page 3 >>