🦞🌯 Lobster Roll

Thread

FAQ on π-Calculus (cs.cmu.edu)
L 6 pts 0 comments by cmeiklejohn Jan 5, 2014 compscipdf thread

Stories related to "FAQ on π-Calculus" across the full archive.

FAQ on π-Calculus (cs.cmu.edu)
L 6 pts 0 comments by cmeiklejohn Jan 5, 2014 compscipdf Programming Languages / CS TheoryScience / Math / Physics thread
Design and implementation of Julia (julialang.org)
L 5 pts 0 comments by pushcx Aug 17, 2012 compscipdf Programming Languages / CS TheoryDesign / UX / Visualization thread
Compiler Design: Theory, Tools, and Examples (elvis.rowan.edu)
L 3 pts 0 comments by pushcx Aug 30, 2012 compilerscompscipdf Systems / Low-Level / OSProgramming Languages / CS TheoryDesign / UX / Visualization thread
Efficient Subgraph Matching on Billion Node Graphs (research.microsoft.com)
L 3 pts 0 comments by pushcx Aug 30, 2012 compscipdf Programming Languages / CS Theory thread
Bitmap graphics course notes [SIGGRAPH '84] (pdos.csail.mit.edu)
L 2 pts 0 comments by iamelgringo Oct 3, 2012 compscipdf Programming Languages / CS Theory thread
Algorithmic Debugging of SQL Views (federwin.sip.ucm.es)
L 2 pts 0 comments by andymatuschak Oct 24, 2012 compscidatabasespdf Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
This paper describes an interactive, conversational debugger suitable for use with SQL views, but the approach applies well to declarative programming in general.
A Practical Optional Type System for Clojure (s3.amazonaws.com)
L 2 pts 1 comments by tobym Oct 25, 2012 compscilisppdf Programming Languages / CS Theory thread
An experiment about static and dynamic type systems: doubts about the positive impact of static type (cs.washington.edu)
L 1 pts 2 comments by andymatuschak Oct 26, 2012 compscipdf Programming Languages / CS Theory thread
Building Robust Systems an essay (groups.csail.mit.edu)
L 2 pts 0 comments by robewald Jan 16, 2013 compscidesignpdfphilosophy Programming Languages / CS TheoryDesign / UX / VisualizationCulture / Philosophy / History / Reading thread
Raft: In Search of an Understandable Consensus Algorithm (ramcloud.stanford.edu)
L 4 pts 1 comments by thorduri Apr 29, 2013 compscipdf Programming Languages / CS Theory thread
Why Functional Programming Matters [1990] (cs.kent.ac.uk)
L 1 pts 0 comments by bogdan Jun 9, 2013 compscipdf Programming (General)Programming Languages / CS Theory thread
Achieving Rapid Response Times in Large Online Services (2012) (static.googleusercontent.com)
L 2 pts 0 comments by moses Jul 28, 2013 compscipdfscaling Programming Languages / CS TheoryProductivity / Career / Business thread
Proofs as Cryptography: a new interpretation of Curry-Howard for software certificates (hal-ens.archives-ouvertes.fr)
L 1 pts 0 comments by puffnfresh Oct 11, 2013 compscipdfsecurity Programming (General)Programming Languages / CS TheorySecurity / Privacy thread
SALSA: Scalable and Low Synchronization NUMA-aware Algorithm for Producer-Consumer Pools (webee.technion.ac.il)
L 4 pts 0 comments by BruceM Jan 6, 2014 compscipdfprogrammingscaling Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
Data-Intensive Text Processing with MapReduce [2010] (beowulf.csail.mit.edu)
L 4 pts 1 comments by petrohi Jan 9, 2014 bookcompscidistributedpdfscaling Programming Languages / CS TheoryData / Databases / InfrastructureProductivity / Career / BusinessCulture / Philosophy / History / Reading thread
The Relationship Between COBOL and Computer Science (1985) (cs.umd.edu)
L 2 pts 0 comments by aturley Jan 14, 2014 compscipdfpractices Programming Languages / CS TheoryScience / Math / PhysicsProductivity / Career / Business thread
Matters Computational: Ideas, Algorithms, Source Code (jjj.de)
L 2 pts 0 comments by leif Jan 17, 2014 ccompscipdfprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Chemical Computing (users.minet.uni-jena.de)
L 6 pts 0 comments by old_sound Feb 15, 2014 compscipdf Programming Languages / CS Theory thread
MIT Artificial Intelligence Lab Publications (dspace.mit.edu)
L 7 pts 0 comments by old_sound Mar 7, 2014 compscipdf AI / Machine LearningProgramming Languages / CS Theory thread
Computing 10,000x more efficiently (web.media.mit.edu)
L 7 pts 2 comments by SeanTAllen Mar 11, 2014 compscipdf Programming Languages / CS Theory thread
On Optimistic Methods for Concurrency Control (cs.berkeley.edu)
L 9 pts 3 comments by SeanTAllen Mar 24, 2014 compscipdf Programming Languages / CS Theory thread
A History and Evaluation of System R (cs.ubc.ca)
L 3 pts 0 comments by SeanTAllen Mar 25, 2014 compscipdf Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Efficient Computation of Frequent and Top-k Elements in Data Streams (icmi.cs.ucsb.edu)
L 5 pts 0 comments by reiver Apr 9, 2014 compscipdf Programming Languages / CS Theory thread
Ontological Behavior Modeling (jot.fm)
L 4 pts 2 comments by SeanTAllen Apr 9, 2014 compscipdf Programming Languages / CS Theory thread
What Have We Learnt in 20 Years of L4 Microkernels? (nicta.com.au)
L 15 pts 4 comments by zem Apr 11, 2014 compscipdf Programming Languages / CS Theory thread
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping (www21.in.tum.de)
L 1 pts 0 comments by SeanTAllen Apr 14, 2014 compscipdf Programming Languages / CS Theory thread
Coq: The World's Best Macro Assembler? (Microsoft Research) (research.microsoft.com)
L 14 pts 3 comments by GrayGnome Apr 15, 2014 assemblycompscipdf Systems / Low-Level / OSProgramming Languages / CS Theory thread
Computing Extremely Accurate Quantiles using T-Digests (github.com)
L 4 pts 0 comments by polyfractal Apr 22, 2014 compscipdf Programming Languages / CS Theory thread
We recently added [approximate percentiles to Elasticsearch](http://www.elasticsearch.org/blog/averages-can-dangerous-use-percentile/) using T-Digest, but I thought the original paper would be more interesting to the Lobsters crowd than the implementation in ES. It's a very cool algorithm, and we...
Singe: Leveraging Warp Specialization for High Performance on GPUs (theory.stanford.edu)
L 2 pts 0 comments by drturtle Apr 28, 2014 compscihardwarepdfscience Programming Languages / CS TheoryScience / Math / PhysicsMaker / DIY / Hardware thread
The Tyranny of the Clock (2012) (web.cecs.pdx.edu)
L 8 pts 4 comments by drturtle Apr 28, 2014 compscihardwarepdf Programming Languages / CS TheoryMaker / DIY / Hardware thread