Blog

I’m building a big user control around a 3rd party map control. The map control has a lot of features in it, along with other .dlls that can be added to do more (which I use). Originally I was going to do this in WPF using MVVM because that’s what I’m used to doing, butRead more

I have doubts about how to implement a GraphQL API while maintaining some abstractions. [*] = recommended reading [**] = required reading The GraphQL context In GraphQL you have nodes which you can traverse to get to list of nodes or to other single nodes. The idea is that with a query like: query {Read more

Let “Injective Replacement” be the following schema: If $ \phi(x,y)$ is a formula in which only x,y occur free, and only free, then: $ [\forall x,y,z,u (\phi(x,y) \wedge \phi(z,u) \implies (x=z \iff y=u))]\implies \forall A \ \exists B \ \forall y \ (y \in B \iff \exists x \in A (\phi(x,y)))$ In English, we requireRead more