Pointing out the origin of the odd word out, of course. Karpas, in this case, from some other root language. But which? No way to say for certain. We're guessing Greek/Cypriot, if you're curious 😅 Answering a newcomer's question with a question, of course. "How do you pronounce Laban?" "Well which pronunciation do you want?"... Continue Reading →
If it already works, then it's good enough.
If it works, then it will work.
The essential difference between intrinsic and extrinsic approaches is just whether the typing rules are viewed as defining the language, or as a formalism for verifying properties of a more primitive underlying language. Most of the different semantic interpretations discussed below can be seen through either a Church or Curry perspective. (...) The distinction between... Continue Reading →
Categorical thinking may be more useful than category theory per se. Someone with a categorical mindset can help you find symmetries, or inconsistencies, or other kinds of patterns that might otherwise go unnoticed. After the patterns are found, the category theory may go away. In fact, it may never have been explicit. For that reason,... Continue Reading →
Which road will you choose? Which city? Which wizard? Which way? Choose carefully, because each locus of shimmering emerald is a civilization unto itself. And while each shining hill offers its own promise of true communion, they also each offer their own varieties of true peril: coercion, entrapment, alienation, enforcement, refraction, diffraction, and even... potential... Continue Reading →
Any gap can be bridged, but there is no bridge of all gaps, no gap of all bridges.