laarctags | new | comments | ask | show | place | submit | /l/compscilogin
1.
An Interview with the Old Man of Floating-Point (1998) (berkeley.edu)
by shawn to history compsci programming on July 14, 2021 | 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

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

RSS (stories) | RSS (comments)

Search: