This Month We Learned — April 2020

By Michael Maurizi, Rocky Breslow, Jeff Frankl and Peter Caisse on May 27th, 2020

This month we learned about the PostgreSQL citext extension, safe fuel and air mixture adjustment at altitude while flying airplanes, fast time-series visualization with vector tiles, and pushing refinement types into the database.

Modeling State with TypeScript

By Peter Caisse on December 12th, 2019

Working with frontend state can be challenging. With TypeScript, thoughtfully constructed types can help prevent bugs by making bad states unrepresentable. Let's explore a common use case and examine how to do this effectively in TypeScript.

The Power of Types in Idris

By Peter Caisse on March 11th, 2019

Idris is a pure, statically-typed functional language with a powerful type system. Let's explore writing code in Idris using type-driven development and interactive editing.