Stories tagged as compsci – Other computer science/programming
  1. 6
    bhgv/Inferno-OS_Android - an Android port of Inferno OS android compsci distributed osdev release github.com
    sevan avatar via sevan 6 months ago | cached | 2 comments
  2. 5
    On the P vs NP question: a proof of inequality compsci arxiv.org
    lainon avatar via lainon 6 months ago | cached | 5 comments
  3. 12
    The P-versus-NP page compsci win.tue.nl
    lainon avatar via lainon 6 months ago | cached | 2 comments
  4. 8
    Synthesis - An Efficient Implementation of Fundamental Operating System Services (1992) ☶ pdf assembly compsci performance pdfs.semanticscholar.org
    dbremner avatar via dbremner 6 months ago | cached | no comments
  5. 14
    To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction compsci dkeenan.com
    pushcx avatar via pushcx 6 months ago | cached | no comments
  6. 13
    Let’s Not Forget the ‘science’ in ‘computer Science’ compsci science cacm.acm.org
    quobit avatar via quobit 6 months ago | cached | 1 comment
  7. 49
    Rust's ownership model formally proven with Coq ☶ compsci formalmethods rust dl.acm.org
    klingtnet avatar via klingtnet 7 months ago | cached | 3 comments
  8. 4
    CCHR: The Fastest CHR Implementation, in C (2007) c compilers compsci lirias.kuleuven.be
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 3 comments
  9. 9
    POPL 2018 Tutorial (Computational Type Theory) compsci existentialtype.wordpress.com
    asthasr avatar via asthasr 7 months ago | cached | 5 comments
  10. 13
    A practitioner’s guide to reading programming languages papers compsci plt blog.acolyer.org
    calvin avatar via calvin 7 months ago | cached | no comments
  11. 3
    Alan Turing’s Manual for the Ferranti Mk. I pdf book compsci historical panix.com
    molloy avatar via molloy 7 months ago | cached | 1 comment
  12. 3
    Stratified Synthesis: Automatically Learning the x64 Instruction Set (2016) pdf assembly compsci raw.githubusercontent.com
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  13. 2
    Genetic Programming + Proof Search = Automatic Improvement (2015) pdf ai compsci formalmethods scala link.springer.com
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  14. 6
    Natural Synthesis of Provably-Correct, Data-Structure Manipulations (2017) pdf compsci formalmethods programming engineering.purdue.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  15. 2
    FlexSC: Flexible System Call Scheduling with Exception-Less System Calls (2010) pdf compsci usenix.org
    rzhikharevich avatar via rzhikharevich 7 months ago | cached | no comments
  16. 6
    Hyperkernel: Push-Button Verification of an OS Kernel (2017) pdf compsci formalmethods unix homes.cs.washington.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  17. 16
    Using Self-Organizing Maps to solve the Traveling Salesman Problem show ai compsci diego.codes
    DiegoVicente avatar authored by DiegoVicente 7 months ago | cached | 1 comment
  18. 2
    “Dancing Links” pre-fascicle 5c of Knuth's TAOCP book compsci math www-cs-faculty.stanford.edu
    derek-jones avatar via derek-jones 7 months ago | cached | no comments
  19. 4
    The Natural Lambda compsci cbloomrants.blogspot.com
    pushcx avatar via pushcx 7 months ago | cached | no comments
  20. 1
    Bela: an embedded platform for audio and sensor processing ☶ pdf slides compsci hardware linux geeklan.co.uk
    sevan avatar via sevan 7 months ago | cached | no comments
  21. 1
    Constraint Handling Rules: What Else? (2015) pdf slides compsci programming informatik.uni-ulm.de
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  22. 23
    My Favorite Algorithm: Linear Time Median Finding compsci programming rcoh.me
    calvin avatar via calvin 7 months ago | cached | 1 comment
  23. 9
    Ridiculously fast base64 encoding and decoding compsci performance lemire.me
    calvin avatar via calvin 7 months ago | cached | 2 comments
  24. 8
    Flux - Visualizing Haskell Programs as Data-Flow Diagrams (2016) compsci haskell programming visualization uni-ulm.de
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  25. 11
    A Primer on Boolean Satisfiability compsci math homes.cs.washington.edu
    hwayne avatar via hwayne 7 months ago | cached | no comments
<< Page 8 | Page 10 >>