Archive | 2018-01-18

• JaVerT: a JavaScript Verification Toolchain

  (galois.com)

  #software-engineering #javascript #programming-languages #program-verification

• SYN packet handling in the wild

  (blog.cloudflare.com)

  #networking #TCP #systems

• The Art of Effective Visualization of Multi-dimensional Data

  (towardsdatascience.com)

  #data-science #big-data #visualisation

• Why aren’t you using Prettier?

  (engineering.hexacta.com)

  #dev-tools #javascript #frontend

• Didact: Instances, reconciliation and virtual DOM

  (engineering.hexacta.com)

  #javascript #reactJS

• The Gravity of Kubernetes

  (hackernoon.com)

  #containers #kubernetes #orchestration

• How We Sped Up Eventually-Consistent Databases Global Syncs Through Caching

  (www.pubnub.com)

  #scaling #distributed-systems #pubsub #event-driven

• Why Factories?

  (robots.thoughtbot.com)

  #OOP #RoR #ruby #design-pattern

• Now You See Me, Now You Don’t: LinkedIn’s Real-Time Presence Platform

  (engineering.linkedin.com)

  #real-time #backend #web #pubsub

• Evolving search recommendations on Pinterest

  (medium.com)

  #search #big-data #recommender