1. 13
    RustSec: Security advisory database for Rust crates rust security github.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  2. 7
    Timeless Debugging of Complex Software debugging blog.ret2.io
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  3. 1
    Extending Magic Pocket Innovation with the first petabyte scale SMR drive deployment hardware scaling blogs.dropbox.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  4. 13
    A Web Server Unikernel in Rust rust rajiv256.github.io
    sanxiyn avatar via sanxiyn 2 months ago | cached | 1 comment
  5. 7
    BetterC: Converting make.c to D d dlang.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  6. 1
    Summit is the World's Fastest Supercomputer hardware extremetech.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  7. 14
    Devuan ASCII 2.0.0 stable release linux release devuan.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | 3 comments
  8. 10
    Rust Distilled: An Expressive Tower of Languages formalmethods rust arxiv.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | 3 comments
  9. 6
    Semi-Formal Development: The Cardano Wallet cryptocurrencies formalmethods haskell well-typed.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  10. -1
    Nvidia's Jetson Xavier Stuffs Volta Performance Into Tiny Form Factor ai hardware extremetech.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  11. 26
    A Rust-based Unikernel: First version of a Rust-based libOS programming hermitcore.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | 5 comments
  12. 4
    Naver creates first labor union culture english.yonhapnews.co.kr
    sanxiyn avatar via sanxiyn 2 months ago | cached | 1 comment
  13. 3
    Tensor Compilers: Comparing PlaidML, Tensor Comprehensions, and TVM ai compilers vertex.ai
    sanxiyn avatar via sanxiyn 2 months ago | cached | 4 comments
  14. 1
    Cambricon, Makers of Huawei's Kirin NPU IP, Build A Big AI Chip and PCIe Card ai hardware anandtech.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  15. 2
    ARM Details "Project Trillium" Machine Learning Processor Architecture ai hardware anandtech.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  16. 7
    Assessing Cavium's ThunderX2: The Arm Server Dream Realized At Last hardware anandtech.com
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  17. 6
    Reinforcement Learning of Theorem Proving ai math arxiv.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  18. 2
    Cost of a 51% Attack for Different Cryptocurrencies cryptocurrencies crypto51.app
    sanxiyn avatar via sanxiyn 3 months ago | cached | 6 comments
  19. 5
    Some Brief Notes on WebKit Heap Hardening browsers security labs.mwrinfosecurity.com
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  20. 14
    Ponyo: Library and Toolkit for Standard ML ml ponyo.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  21. 5
    Tag proposal: Julia ☶ meta
    sanxiyn avatar authored by sanxiyn 3 months ago | no comments
  22. 2
    Extensible broadcast fusion in Julia programming julialang.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  23. 0
    The World's Dominant Crypto-Mining Company Wants to Own AI ai hardware bloomberg.com
    sanxiyn avatar via sanxiyn 3 months ago | cached | 1 comment
  24. 42
    Introducing Git protocol version 2 vcs opensource.googleblog.com
    sanxiyn avatar via sanxiyn 3 months ago | cached | 19 comments
  25. 1
    Cambricon Unveils its First AI Chip for Cloud Computing ai hardware syncedreview.com
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
<< Page 1 | Page 3 >>