Notifications over Websockets with Http4s and Skunk
In an attempt to avoid relying on polling in a front-end application or third-party services, we attempt servicing asynchronous notifications over websockets using only PostgreSQL and Scala.
Modeling State with TypeScript
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
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.