🦞🌯 Lobster Roll

They're coming...

Combining type theory, language design, and empirical work, we present techniques for computing with large and dynamically changing datasets. Based on lambda calculus, our techniques are suitable for expressing a diverse set of algorithms on large datasets and, via self-adjusting computation, enable...

Bicicleta needs incremental recomputation, like a spreadsheet, to be reasonably efficient. And I just discovered that *ten years ago* this guy Umut Acar (and Guy Blelloch, et al.) found a super rigorous way to derive statically-type-safe incremental versions of non-incremental (i.e. batch) algorithm...

Meant to link directly to the pdf, but put the wrong URL. Here's the PDF link: http://arxiv.org/pdf/1502.06512v1

Hi Lobste.rs, I'd love some feedback on this guide from the CS autodidacts among you: are there any great resources that I've missed? Or is there advice you wish you'd received earlier in your journeys? The target audience is software engineers who do not yet have an undergraduate level of unders...

Hi, repository author here. I was interested in sentiment analysis, so I read a lot surveys, papers; and researched what implementations are available. I thought it would be beneficial for the community to have a list of useful resources, serving as a good starting point. The goal of this repo...

Abstract: "A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirements needs to be guaranteed even in the presence of adverse conditions and adaptations. Thus, a key challenge fo...