This Month We Learned – December 2020

By Deb Boyer, Peter Caisse and Justin Walgran on February 1st, 2021

In December, we learned about planning five years of a project all at once, superpowered performance debugging with tracing, and tracking down the one bad part of gigantic single line JSON documents with jsonlint.

This Month We Learned — April 2020

By Michael Maurizi, Azavea, 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.