Stories tagged as compsci – Other computer science/programming
  1. 10
    MirBSD Korn Shell on Jehanne ☶ c compsci distributed unix mirbsd.org
    Shamar avatar authored by Shamar 4 months ago | cached | 2 comments
  2. 7
    Software Testing as Species Discovery (statistical properties of fuzzing campaigns) ☶ compsci math testing arxiv.org
    koomi avatar via koomi 4 months ago | cached | 2 comments
  3. 7
    Automatic Protoboard Layout from Circuit Schematics (2013) ☶ compsci hardware dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  4. 1
    Fantas, Eel, and Specification (Fantasy Land Javascript) compsci javascript tomharding.me
    friendlysock avatar via friendlysock 4 months ago | cached | no comments
  5. 10
    (Some of) my problems with correctness research compsci formalmethods practices drmaciver.com
    mfeathers avatar via mfeathers 4 months ago | cached | no comments
  6. 4
    Formal Specification and Verification of Interactive Systems with Plasticity for Nuclear Plants ☶ compsci formalmethods programming tel.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 3 comments
  7. 5
    Type-and-Example-Directed Program Synthesis (2015) ☶ pdf compsci formalmethods ml cis.upenn.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 2 comments
  8. 10
    Consensus Protocols: Path to Atomic Broadcast compsci distributed medium.com
    ifesdjeen avatar authored by ifesdjeen 4 months ago | cached | no comments
  9. 37
    Fuchsia is not Linux compsci osdev unix fuchsia.googlesource.com
    nhooyr avatar via nhooyr 4 months ago | cached | 46 comments
  10. 1
    Making real-time collaboration over CloudKit and P2P networks possible using CRDTs and Swift. compsci distributed mobile swift github.com
    archagon avatar authored by archagon 4 months ago | cached | no comments
  11. 11
    Function pipeline monoid compsci haskell typeclasses.com
    pushcx avatar via pushcx 4 months ago | cached | 6 comments
  12. 40
    Next generation video: Introducing AV1 compsci people.xiph.org
    mjn avatar via mjn 4 months ago | cached | no comments
  13. 11
    A catamorphic lambda-calculus interpreter compilers compsci haskell michaelpj.com
    mpdehnel avatar via mpdehnel 4 months ago | cached | no comments
  14. 3
    Some Minesweeper Configurations pdf compsci games web.mat.bham.ac.uk
    calvin avatar via calvin 4 months ago | cached | 1 comment
  15. 9
    PubGrub: Next-Generation Version Solving compsci programming medium.com
    jonhoo avatar via jonhoo 4 months ago | cached | 5 comments
  16. 8
    Programming with a Differentiable Forth Interpreter (2017) ☶ pdf ai compsci programming arxiv.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 2 comments
  17. 6
    Linux kernel memory-model (documentation & tooling) ☶ compsci formalmethods linux git.kernel.org
    1amzave avatar via 1amzave 4 months ago | cached | 1 comment
  18. 2
    Ethereum's Compact Merkle Trie (Part I) clojure compsci programming nervous.io
    Yogthos avatar via Yogthos 5 months ago | cached | no comments
  19. 4
    Decentralizing Public Key Infrastructures with ClaimChains ☶ pdf compsci crypto arxiv.org
    phaer avatar via phaer 5 months ago | cached | no comments
  20. 1
    Computational Microscope compsci hardware scientificcomputing.com
    mempko avatar via mempko 5 months ago | cached | no comments
  21. 5
    Variability and Reproducibility in Software Engineering: Study of Companies that Built Same System ☶ pdf compsci practices gwern.net
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 2 comments
  22. 5
    Awesome List of Distributed System Resources ☶ compsci distributed github.com
    rshetty avatar authored by rshetty 5 months ago | cached | no comments
  23. 13
    Data Laced with History: Causal Trees & Operational CRDTs compsci distributed mobile swift archagon.net
    archagon avatar authored by archagon 5 months ago | cached | no comments
  24. 4
    The differences between tinkering and research (2016) compsci education philosophy science togelius.blogspot.com
    jonhoo avatar via jonhoo 5 months ago | cached | no comments
  25. 2
    Using Models at Runtime to Address Assurance for Self-Adaptive Systems (2014) ☶ pdf ai compsci formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
<< Page 5 | Page 7 >>