Possibilians and Logicians: Think Small in 2011
Think small. That’s my New Year’s resolution in 2011. No, I don’t plan to become narrow-minded, but to think more clearly: to think as a logician.
Author Archive
Information Flow: A Web of Constraints on the Giant Global Graph
Information flows on the Giant Global graph because of regularities. Those regularities are the result of constraints on parts of the Giant Global Graph. The flow of information based on these constraints means there are WEBS of data, not THE web of data. Rick provides a number of recommendations for Linked Data.
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.