Showing posts with label technology. Show all posts
Showing posts with label technology. Show all posts

Monday, January 02, 2017

[Links of the day] 02/01/2017 : Cloud Cron, KSM hypervisor, Technology landscape radar

  • Cloud Cron : cool tool for executing cron job on cloud
  • KSM : while the name might be confusing ( KSM also stand for kernel shared memory). KSM is a neat small hypervisor and support a lot of hardware feature.
  • Technology Radar : ToughtWorks maintained technology landscape. Really useful to spot what up and coming tech are been baked by different startups. Also at what stage are the different technologies


Wednesday, February 03, 2016

[Links of the day] 03/02/2016: Verifying distributed system and technical progress prediction

  • Predictability of technological progress : the authors present a technique that allows to make forecasts for any given technology. In layman terms, it can to a certain extend determine if the diffusion speed of a technology and hence its success. 
  • Psync : really nice DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds. It allows to create verifiable code of distributed system straight from scala . [morning paper summary]
  • The Verification of a Distributed System : provide with an overview of most commonly used techniques for distributed system verification out there.