laarcnew | comments | discord | tags | ask | show | place | submit | /l/compscilogin
1.
Gremlin: A Graph-based, Programming Language (slideshare.net)
by nickpsecurity to programming languages compsci slides 2 days ago | discuss
2.
A generalised solution to distributed consensus (acolyer.org)
3 points by rain1 to cs compsci distributed.systems programming algorithms research 10 days ago | discuss
3.
A Survey of Symbolic Execution Techniques (2018) (arxiv.org)
2 points by nickpsecurity to programming security formalmethods compsci 22 days ago | 1 comment
4.
Rahul Gopinath's Overview of His Work on Mutation Testing (gopinath.org)
by nickpsecurity to compsci testing person 25 days ago | 1 comment
5.
PL Reading Group - Week 4: Definitional Interpreters
5 points by rain1 to ask plt programming reading compsci 31 days ago | discuss
6.
Mesh: Compacting Memory Management for C/C++ Applications (arxiv.org)
2 points by nickpsecurity to pdf compsci c c++ reliability performance 32 days ago | 2 comments
7.
A Survey on Dynamic and Stochastic Vehicle Routing Problems (2015) (inria.fr)
2 points by nickpsecurity to optimization compsci planning 37 days ago | 1 comment
8.
Myers diff in linear space (jcoglan.com)
2 points by rain1 to programming cs compsci 38 days ago | discuss
9.
Two-Way String-Matching (1991) [pdf] (researchgate.net)
5 points by burntsushi to compsci research pdf 42 days ago | 2 comments
10.
Accidentally Turing-Complete (tuxen.de)
4 points by rain1 to compsci programming 47 days ago | discuss
11.
Probablistic Logic Networks (2008) [pdf] (goertzel.org)
3 points by enkiv2 to compsci books 48 days ago | discuss

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: