We explore how set-theoretic types could address how many statically typed languages do not allow libraries to evolve their public data definitions in a backwards compatible manner. The proposed solution aims to be automatically verified by the compiler and type safe.
In this article we discuss the complexity of introducing concurrent operations on the client wuthout causal ordering on the server.
This article details how to implement soft-delete in Ecto using PostgreSQL rules and views
Let's build an S3 "SDK" with Req!
Let's build a Stripe "SDK" with Req!
Introduction to Phoenix Playground, the easiest way to run single-file Phoenix apps.