1. 44
    ZZ is a modern formally provable dialect of C c formalmethods plt github.com
    sanxiyn avatar via sanxiyn 22 days ago | cached | 22 comments
  2. 9
    New in PHP 8 php stitcher.io
    sanxiyn avatar via sanxiyn 24 days ago | cached | 1 comment
  3. 6
    NeuroVectorizer: End-to-End Vectorization with Deep Reinforcement Learning ai compilers arxiv.org
    sanxiyn avatar via sanxiyn 1 month ago | cached | 1 comment
  4. 13
    Ravi Programming Language programming ravilang.github.io
    sanxiyn avatar via sanxiyn 1 month ago | cached | 3 comments
  5. 19
    Mutexes Are Faster Than Spinlocks performance matklad.github.io
    sanxiyn avatar via sanxiyn 1 month ago | cached | 1 comment
  6. 3
    Survey of tiered compilation in JIT implementations compilers github.com
    sanxiyn avatar authored by sanxiyn 1 month ago | cached | no comments
  7. 2
    MIR project goals: 70% of speed and 100 times faster compilation relative to GCC -O2 compilers github.com
    sanxiyn avatar via sanxiyn 1 month ago | cached | 1 comment
  8. 5
    MLIR is now an LLVM subproject compilers mlir.llvm.org
    sanxiyn avatar via sanxiyn 1 month ago | cached | no comments
  9. 54
    Xor Filters: Faster and Smaller Than Bloom Filters compsci performance lemire.me
    sanxiyn avatar via sanxiyn 2 months ago | cached | 9 comments
  10. 3
    Dive into Deep Learning Compiler ai book compilers tvm.d2l.ai
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  11. 11
    Programming Language for the ancient Chinese programming wenyan-lang.lingdong.works
    sanxiyn avatar via sanxiyn 2 months ago | cached | 3 comments
  12. 2
    Tensorflow.js available on WebAssembly backend ai javascript wasm yashints.dev
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  13. 6
    Design Flaws in Futhark plt futhark-lang.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  14. 8
    CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification assembly c formalmethods sf.snu.ac.kr
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  15. 5
    Using WebAssembly from .NET with Wasmtime dotnet wasm hacks.mozilla.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  16. 10
    dart2native: Compile Dart to self-contained, native executables programming medium.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | 12 comments
  17. 5
    GLOVE: GL Over Vulkan graphics github.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  18. 17
    Lessons learned by transpiling C to Rust c rust immunant.com
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  19. 3
    Differentially Testing Soundness and Precision of Program Analyzers formalmethods arxiv.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  20. 8
    Rust Bug Minimization Patterns debugging rust blog.pnkfx.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  21. 11
    Formal Verification of a Constant-Time Preserving C Compiler formalmethods eprint.iacr.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | 1 comment
  22. 14
    Test-driving ARM cloud servers for development performance github.com
    sanxiyn avatar authored by sanxiyn 3 months ago | cached | 8 comments
  23. 2
    An Open Source Deep Learning Inference Engine Based on FPGA ai hardware github.com
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  24. 8
    A Survey of Compiler Testing pdf compilers testing software-lab.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  25. 54
    How Swift Achieved Dynamic Linking Where Rust Couldn't rust swift gankra.github.io
    sanxiyn avatar via sanxiyn 3 months ago | cached | 7 comments
Page 2 >>