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
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.