
Recent Posts
Archives
Meta
Advertisements
I’ve been to Greece often enough that I’ve picked up a bit of (modern) Greek. Like anyone in my situation, I’ve had fun spotting Greek words with Englishs cognates based on Greek roots, popping up with unusual meanings in unusual contexts. … Continue reading
Remember this Wadge’s Law Whenever you want to do something, there’s always someone who says there’s something else you have to do first. Call the thing you want to do A, the thing you’ve been told you have to do … Continue reading
Time for another break from research (at least the normal kind). I seem to be always discovering fundamental Laws of the Universe, especially about teaching. I’d like to share some of them with you. They are each called “Wadge’s Law” … Continue reading
Nothing says fun like formal power series! A formal power series is a (usually) infinite polynomial in x. For example 1 + x + x2 + x3 + x4 + … This is an expression, not a number. If we … Continue reading
Lucid is based on a simple temporal logic. The time model follows from formalizing iteration as it appears in imperative programs with, say, while or for loops. In this model there is a first or initial time point, and every … Continue reading
In the last post we introduced eod (endofdata), a special sentinel value used to mark the end of a finite Lucid stream. Streams in Lucid are all formally infinite (non terminating) but we can use eod to represent finite streams … Continue reading
Lucid2D is Lucid with both time and space dimensions, as discussed in my last blog post. Program variables denote intensions that can be thought of as streams of arrays. Infinite streams of infinite arrays. “But wait!” I hear you say. … Continue reading