/l/compsci | laarc

laarc

1.		A generalised solution to distributed consensus (acolyer.org)
		3 points by rain1 to cs compsci distributed.systems programming algorithms research 75 days ago \| discuss
2.		Gremlin: A Graph-based, Programming Language (slideshare.net)
		by nickpsecurity to programming languages compsci slides 67 days ago \| discuss
3.		A Survey of Symbolic Execution Techniques (2018) (arxiv.org)
		2 points by nickpsecurity to programming security formalmethods compsci 87 days ago \| 1 comment
4.		Rahul Gopinath's Overview of His Work on Mutation Testing (gopinath.org)
		by nickpsecurity to compsci testing person 90 days ago \| 1 comment
5.		PL Reading Group - Week 4: Definitional Interpreters
		5 points by rain1 to ask plt programming reading compsci 96 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 97 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 102 days ago \| 1 comment
8.		Myers diff in linear space (jcoglan.com)
		2 points by rain1 to programming cs compsci 103 days ago \| discuss
9.		Two-Way String-Matching (1991) [pdf] (researchgate.net)
		5 points by burntsushi to compsci research pdf 107 days ago \| 2 comments