Tools and Techniques
This detailed post explores the mathematics of decision trees, along with techniques for dramatically improving their prediction accuracy.
This new tool from the University of Washington automatically checks if SQL queries are semantically equivalent. It's a "SQL Solver" and it enables you to easily verify the correctness of SQL rewrite rules, find errors in buggy SQL rewrites, develop SQL optimizers, etc. This article is a good overview of how Cosette works and how it's useful.
Real-time databases make it easy to implement reactive applications because they keep your critical information up-to-date. But how do they work and how do they scale? This is a great exploration of the options, including details about the architectures of a variety of real-time databases, their limitations, and how Baqend ultimately created their own solution.