laarcnew | comments | discord | tags | ask | show | place | submit | /l/compscilogin
1.
Two-Way String-Matching (1991) [pdf] (researchgate.net)
5 points by burntsushi to compsci research pdf 427 days ago | 2 comments
2.
Communicating Sequential Processes (CSP), by C. A. R. Hoare(PDF Version) (usingcsp.com)
7 points by graygnome to programming compsci 438 days ago | discuss
3.
PL Reading Group - Week 4: Definitional Interpreters
5 points by rain1 to ask plt programming reading compsci 416 days ago | discuss
4.
Accidentally Turing-Complete (tuxen.de)
4 points by rain1 to compsci programming 432 days ago | discuss
5.
Building A "Simple" Distributed System - Formal Verification (jack-vanlightly.com)
4 points by graygnome to formalmethods compsci programming 436 days ago | discuss
6.
A generalised solution to distributed consensus (acolyer.org)
3 points by rain1 to cs compsci distributed.systems programming algorithms research 395 days ago | discuss
7.
NandGame - Build a computer from scratch. (nandgame.com)
4 points by rain1 to games compsci 454 days ago | discuss
8.
Probablistic Logic Networks (2008) [pdf] (goertzel.org)
3 points by enkiv2 to compsci books 433 days ago | discuss

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

RSS (stories) | RSS (comments)

Search: