Category Archives: Uncategorized

One Day in the Greece

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

Posted in Uncategorized | Leave a comment

B before A

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

Posted in Uncategorized | 1 Comment

Laws of the Universe and Teaching

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

Posted in Uncategorized | Leave a comment

Fun with Power Series

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

Posted in Uncategorized | Leave a comment

Negative Time Iteration

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

Posted in Uncategorized | Leave a comment

Programming With End-Of-Data

In the last post we introduced eod (end-of-data), 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

Posted in Uncategorized | Leave a comment

Finite and Infinite in Lucid2D

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

Posted in Uncategorized | Leave a comment