1. 1
    All* perfect pangrams of English compsci medium.com
    colin avatar via colin 14 minutes ago | cached | no comments
  2. 2
    Synthesizing Data Structure Transformations from Input-Output Examples pdf compsci cs.rice.edu
    pushcx avatar via pushcx 2 days ago | cached | no comments
  3. 52
    Fibonacci Hashing: The Optimization that the World Forgot (or: a Better Alternative to Integer Modulo) compsci math probablydance.com
    colin avatar via colin 5 days ago | cached | 14 comments
  4. 5
    List of Applications of Set Theory in Computer Science compsci formalmethods math quora.com
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | no comments
  5. 4
    GSoC 2018 Reports: Kernel Undefined Behavior Sanitizer, Part 1 compsci netbsd security blog.netbsd.org
    sevan avatar via sevan 6 days ago | cached | 1 comment
  6. 17
    What UNIX shell could have been compsci linux plt programming rain-1.github.io
    rain1 avatar authored by rain1 6 days ago | cached | 16 comments
  7. 5
    GSoC 2018 Reports: Integrate libFuzzer with the Basesystem, Part 1 compsci netbsd security blog.netbsd.org
    sevan avatar via sevan 8 days ago | cached | no comments
  8. 6
    GSoC 2018 Reports: Kernel Address Sanitizer, Part 1 compsci netbsd security blog.netbsd.org
    sevan avatar via sevan 8 days ago | cached | no comments
  9. 2
    Sudoku and Backtracking compsci programming hackernoon.com
    calvin avatar via calvin 8 days ago | cached | no comments
  10. 3
    LAMBDAFICTATOR: From Imperative to Functional Programming via Automated Refactoring (2013) ☶ pdf compsci java dig.cs.illinois.edu
    nickpsecurity avatar via nickpsecurity 9 days ago | cached | no comments
  11. 8
    Introduction to fountain codes: LT Codes with Python compsci python franpapers.com
    jdarnold avatar via jdarnold 10 days ago | cached | 1 comment
  12. 29
    A Gentle Intro to PLT (Programming Language Theory) compilers compsci ml plt mpc.sh
    mpcsh avatar authored by mpcsh 10 days ago | cached | 9 comments
  13. 4
    Program to generate regexes that match numbers divisible by N compsci python github.com
    lkurusa avatar via lkurusa 10 days ago | cached | no comments
  14. 9
    The Land Before Binary compsci historical medium.com
    calvin avatar via calvin 11 days ago | cached | 1 comment
  15. 2
    SpaceSearch: A Library for Building and Verifying Solver-Aided Tools (2017) ☶ pdf compsci formalmethods programming stefanheule.com
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | no comments
  16. 8
    Graph Theory Crash Course compsci aaronlelevier.github.io
    calvin avatar via calvin 16 days ago | cached | 1 comment
  17. 1
    Coverage of signal routines in the kernel in the context of ptrace(2) compilers compsci netbsd blog.netbsd.org
    sevan avatar via sevan 20 days ago | cached | no comments
  18. 9
    How to add numbers (part 2) ☶ compsci hardware robey.lag.net
    fcbsd avatar via fcbsd 21 days ago | cached | no comments
  19. 2
    Learning Topic Models Provably and Efficiently compsci cacm.acm.org
    mjn avatar via mjn 22 days ago | cached | no comments
  20. 2
    The Philosophy of Computational Complexity compsci math philosophy ristret.com
    LeoLambda avatar via LeoLambda 22 days ago | cached | no comments
  21. 2
    Analysis of Selected Aspects of GRAD (1974) compsci historical jfsowa.com
    calvin avatar via calvin 22 days ago | cached | no comments
  22. 13
    A new fast hash table in response to Google’s new fast hash table compsci probablydance.com
    calvin avatar via calvin 23 days ago | cached | 3 comments
  23. 10
    How to add numbers (part 1) compsci hardware robey.lag.net
    silentbicycle avatar via silentbicycle 25 days ago | cached | 2 comments
  24. 18
    Failure Modes, dep author's view of vgo compsci go sdboyer.io
    UkiahSmith avatar via UkiahSmith 27 days ago | cached | 3 comments
  25. 2
    Type Safety in Three Easy Lemmas (2013) compsci siek.blogspot.com
    pushcx avatar via pushcx 29 days ago | cached | no comments
Page 2 >>