Newest stories submitted by spacejam.

  1. 35
    sled theoretical performance guide performance sled.rs
    spacejam avatar authored by spacejam 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  2. 32
    Error Handling in a Correctness-Critical Rust Project ☶ rust sled.rs
    spacejam avatar authored by spacejam 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  3. 19
    Everything I Know About SSDs hardware kcall.co.uk
    spacejam avatar via spacejam 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  4. 40
    Microsoft: We're creating a new Rust-based programming language for secure coding ☶ plt rust zdnet.com
    spacejam avatar via spacejam 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 22 comments
  5. 7
    SageDB: A Learned Database System ☶ pdf ai databases alexbeutel.com
    spacejam avatar via spacejam 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 39
    Building Reliable Infrastructure in Rust ☶ video formalmethods rust testing youtube.com
    spacejam avatar authored by spacejam 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  7. 23
    Reliable Systems Series: Model-Based Testing testing medium.com
    spacejam avatar authored by spacejam 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 16 comments
  8. 28
    Fear and Loathing in Lock-Free Programming performance programming medium.com
    spacejam avatar authored by spacejam 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  9. 5
    Déjà Fu : A Concurrency Testing Library for Haskell ☶ pdf formalmethods haskell testing barrucadu.co.uk
    spacejam avatar via spacejam 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  10. 17
    Introduction to TLA+ video distributed math lamport.azurewebsites.net
    spacejam avatar via spacejam 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  11. 8
    Simple Consensus distributed rystsov.info
    spacejam avatar via spacejam 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 1
    CCS 2016 - The Honey Badger of BFT Protocols video cryptography distributed youtube.com
    spacejam avatar via spacejam 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 15
    Lashup - high availability control plane foundation, crdt store ☶ databases distributed erlang networking github.com
    spacejam avatar via spacejam 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  14. 11
    Please stop calling databases CP or AP databases distributed martin.kleppmann.com
    spacejam avatar via spacejam 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 6
    Stellar - Adventures in Galactic Consensus distributed stellar.org
    spacejam avatar via spacejam 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 1
    Shielding Applications from an Untrusted Cloud with Haven ☶ pdf video security virtualization usenix.org
    spacejam avatar via spacejam 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 22
    Cache Oblivious Algorithms ☶ programming scaling 1024cores.net
    spacejam avatar via spacejam 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  18. 12
    Practicalities of Productionizing Distributed Systems video distributed youtube.com
    spacejam avatar via spacejam 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments