1. | | An Interview with the Old Man of Floating-Point (1998) (berkeley.edu) |
| by shawn to history compsci programming 348 days ago | discuss |
|
2. | | Two-Way String-Matching (1991) [pdf] (researchgate.net) |
| 5 points by burntsushi to compsci research pdf on Feb 7, 2019 | 2 comments |
|
3. | | Communicating Sequential Processes (CSP), by C. A. R. Hoare(PDF Version) (usingcsp.com) |
| 7 points by graygnome to programming compsci on Jan 27, 2019 | discuss |
|
4. | | PL Reading Group - Week 4: Definitional Interpreters |
| 5 points by rain1 to ask plt programming reading compsci on Feb 18, 2019 | discuss |
|
5. | | Accidentally Turing-Complete (tuxen.de) |
| 4 points by rain1 to compsci programming on Feb 2, 2019 | discuss |
|
6. | | Building A "Simple" Distributed System - Formal Verification (jack-vanlightly.com) |
| 4 points by graygnome to formalmethods compsci programming on Jan 29, 2019 | discuss |
|
7. | | NandGame - Build a computer from scratch. (nandgame.com) |
| 4 points by rain1 to games compsci on Jan 11, 2019 | discuss |
|
8. | | A generalised solution to distributed consensus (acolyer.org) |
| 3 points by rain1 to cs compsci distributed.systems programming algorithms research on March 11, 2019 | discuss |
|
9. | | Probablistic Logic Networks (2008) [pdf] (goertzel.org) |
| 3 points by enkiv2 to compsci books on Feb 1, 2019 | discuss |
|
10. | | Programming paradigms every programmer should know (acolyer.org) |
| 3 points by rain1 to plt programming compsci on Jan 25, 2019 | discuss |
|
11. | | Parallel Algorithms for Depth-First Search (1991) (upenn.edu) |
| 3 points by nickpsecurity to programming compsci on Jan 8, 2019 | 1 comment |
|
12. | | State Machine In Real Life (solipsys.co.uk) |
| by RiderOfGiraffes to blog math programming compsci on May 3, 2020 | discuss |
|
13. | | Big Oh and Relations (solipsys.co.uk) |
| by RiderOfGiraffes to compsci mathematics on April 19, 2020 | discuss |
|
14. | | A Survey of Symbolic Execution Techniques (2018) (arxiv.org) |
| 2 points by nickpsecurity to programming security formalmethods compsci on Feb 27, 2019 | 1 comment |
|
15. | | Mesh: Compacting Memory Management for C/C++ Applications (arxiv.org) |
| 2 points by nickpsecurity to pdf compsci c c++ reliability performance on Feb 17, 2019 | 2 comments |
|
16. | | A Survey on Dynamic and Stochastic Vehicle Routing Problems (2015) (inria.fr) |
| 2 points by nickpsecurity to optimization compsci planning on Feb 12, 2019 | 1 comment |
|
17. | | Myers diff in linear space (jcoglan.com) |
| 2 points by rain1 to programming cs compsci on Feb 11, 2019 | discuss |
|
18. | | Faster Population Counts Using AVX2 Instructions (2016) (arxiv.org) |
| 2 points by nickpsecurity to programming compsci x86 optimization on Jan 29, 2019 | discuss |
|
19. | | Donald Knuth's 24th Annual Christmas Lecture: Dancing Links (youtube.com) |
| 2 points by rain1 to christmas algorithms compsci on Jan 11, 2019 | discuss |
|
20. | | Algorithms by Jeff Erickson (illinois.edu) |
| 2 points by shawn to dev books compsci on Jan 2, 2019 | discuss |
|
21. | | Gremlin: A Graph-based, Programming Language (slideshare.net) |
| by nickpsecurity to programming languages compsci slides on March 19, 2019 | discuss |
|
22. | | Rahul Gopinath's Overview of His Work on Mutation Testing (gopinath.org) |
| by nickpsecurity to compsci testing person on Feb 24, 2019 | 1 comment |
|