Papers We Love @paperswelove@mstdn.io
Building Bridges Between Academia and Industry
If you are interested in #Prolog or want to learn a logic #programming language, SWI-Prolog started a course 2 weeks ago. It was shared mostly on 
and it would be unfortunate if people missed it just because of that. Late enrollment will be closing on June 22. Link: https://twitter.com/SWI_Prolog
#prologclass
SmoothLife - Generalization of Conway's "Game of Life" to a continuous domain - Rafler
Paper: https://buff.ly/2t23O8y
Article: https://buff.ly/2JAhJJY
Code: https://buff.ly/2xJvWmz
Practical and Secure Substring Search - Hahn, et al https://buff.ly/2JAs0Wz
Faster: A Concurrent Key-Value Store with In-Place Updates - Chandramouli, et al https://buff.ly/2ErGlBt
Get your Strangeloop and PWLConf 2018 Tickets Now! https://buff.ly/2yfkcnT
Tickets for #PWLConf are $100 (includes lunch) or $50 if self-paying (not company) - See you there!
Reactors: A Case for Predictable, Virtualized Actor Database Systems - Shah, et al https://buff.ly/2sLUHt4
Papers We Love Conf 2018 is happening again this year in St. Louis with Strangeloop! We're a non-profit organization and rely on sponsorships to fund the conference. If you or your company are interested in sponsoring check out our prospectus buff.ly/2Ir4E8E
No compromises: distributed transactions with consistency, availability, and performance - Dragojevic, et al. buff.ly/2KBEDBx
We show that adistributed platform called FaRM can provide dist. transactions with serializability, high perf, durability, and high availability.
If you're not familiar with Papers We Love Conf, check out the speakers and videos from our past years:
2017: https://t.co/K1No8nWEnE
2016: https://t.co/n1xdmggSp2
"The Sociology of Programming Languages" by Leo Meyerovich
Video https://buff.ly/2EH1Eir
Paper https://buff.ly/2vdZmbg
SCHEME: An Interpreter for Extended Lambda Calculus - Sussman, Steele https://buff.ly/2KnJVRj #lisp #scheme #lambda
Design of LISP-Based Processors or, SCHEME: A Dialectric LISP or, Finite Memories Considered Harmful or, LAMBDA: The Ultimate Opcode - Steele, Sussman https://buff.ly/2Fse5z7
RABBIT: A Compiler for SCHEME - Steele https://buff.ly/2FtSaY1
The Art of the Interpreter or, The Modularity Complex (Parts Zero, One and Two) - Steele, Sussman https://buff.ly/2KlIJO2
Debunking the "Expensive Procedure Call" Myth or, Procedure Call Implementations Considered Harmful or, LAMBDA: The Ultimate Goto - Steele, https://buff.ly/2KpsKP2
LAMBDA: The Ultimate Imperative - Steele, Sussman https://buff.ly/2KkFlmN #lisp #scheme #compilers
LAMBDA: The Ultimate Declarative - Steele, https://buff.ly/2Kq8Ofd #lisp #scheme #compilers
Papers We Love Conf will be back in St. Louis this year as part of the #Strangeloop Pre-Conference Activities!
thestrangeloop.com/preconf.html
Anna: A KVS For Any Scale - Wu, Faleiro, Lin, Hellerstein https://buff.ly/2HlTaPC
Our design rests on a simple architecture of coordination-free actors that perform state update via merge of lattice-based composite data structures.
