Archive for the ‘model driven architecture’ Category

I Love it When a Plan Comes Together

Luckily a year ago I made a good choice in programming languages: Haskell. Language trends are harder to read. Think there’s a practical use for Second order Lambda Calculus with Polymorphism? I do. Category theory is embedded in the core libraries of the language which makes incorporating information flow and the logical environment of the Information Flow Framework a natural fit.

A Winter of Philosophy and Logic

Winter was a time of deep contemplation and thoughtful reflection. I describe my readings in intuitionistic logic, type theory and the open source tooling that allows me to get my hands dirty and stay free.

1896: The Year We Did Linked Data Right

Sometimes we already have things right. Such is the case with RDF and Existential Graphs of Charles Sanders Peirce, or so said Pat Hayes of the Institute for Human Machine Cognition in his invited keynotes at ISWC 2009 called BLOGIC: Now What’s in a Link.