All the cool kids are on AWS, and all the cool kids are definitely using Kubernetes. So I thought it was about time to do a definitive guide on how to set it up. I will be setting up EKS - Elastic (because amazon) Kontainer Service - which is amazon-speak for Kubernetes.
Source: Setting up Kubernetes on AWS, an article by Anders Borch.
In object-oriented programming, an abstract type provides a base implementation that other types can inherit from in order to gain access to some kind of shared, common functionality. What separates abstract types from regular ones is that they’re never meant to be used as-is (in fact, some programming languages even prevent abstract types from being instantiated directly), since their sole purpose is to act as a common parent for a group of related types.
Source: Abstract types and methods in Swift, an article by John Sundell.
A recent Twitter thread brought home to me that there is widespread confusion about what types actually are, even among the most prominent researchers. In particular: are types the same thing as sets? At the risk of repeating some of my prior posts, perhaps it’s time for a little history about type theory, set theory and their respective roles as foundations of mathematics.
Source: Types versus sets (and what about categories?), an article by Lawrence C Paulson.