/l/compsci | laarc

laarc

1.		State Machine In Real Life (solipsys.co.uk)
		by RiderOfGiraffes to blog math programming compsci 138 days ago \| discuss
2.		Big Oh and Relations (solipsys.co.uk)
		by RiderOfGiraffes to compsci mathematics 152 days ago \| discuss
3.		Two-Way String-Matching (1991) [pdf] (researchgate.net)
		5 points by burntsushi to compsci research pdf 589 days ago \| 2 comments
4.		Communicating Sequential Processes (CSP), by C. A. R. Hoare(PDF Version) (usingcsp.com)
		7 points by graygnome to programming compsci 600 days ago \| discuss
5.		PL Reading Group - Week 4: Definitional Interpreters
		5 points by rain1 to ask plt programming reading compsci 578 days ago \| discuss
6.		Accidentally Turing-Complete (tuxen.de)
		4 points by rain1 to compsci programming 594 days ago \| discuss
7.		Building A "Simple" Distributed System - Formal Verification (jack-vanlightly.com)
		4 points by graygnome to formalmethods compsci programming 598 days ago \| discuss
8.		A generalised solution to distributed consensus (acolyer.org)
		3 points by rain1 to cs compsci distributed.systems programming algorithms research 557 days ago \| discuss
9.		NandGame - Build a computer from scratch. (nandgame.com)
		4 points by rain1 to games compsci 616 days ago \| discuss