freenode/#clim - IRC Chatlog
Search
4:24:49
nyef
No current major projects, though I'm still thinking about compiler verification, bootstrapping environments, and the like.
4:25:16
nyef
Just started thinking about "concatenative languages" and possible verification for them.
4:27:38
nyef
Hand-verifying that a Forth environment conforms to specification is a straightforward task. Given a proof logic that runs in such an environment, even if it's "just" a spoon-fed verifier, then that gives the first couple of links of a chain of trust.
4:28:26
nyef
So, treat a "Forth-like" system with a real typing regime as a "kernel" language, and implement a more-normal environment on top of that.
4:37:00
nyef
I'm not sure that I'll necessarily go down that path, but it's what I'm currently looking at, at least.
11:49:26
jackdaniel
is there any reason why gadgets were explicitly excluded from input-context-wait-test? there is explicit: `(not (gadgetp sheet))` – I can't find any reason for that
11:49:47
jackdaniel
usually gadgets are not output recording streams so the earlier codition will trigger (output-recording-stream-p …) anyway
11:50:24
jackdaniel
but I can imagine situation, when we would want to accept presentations which are drawn on sheets which are both gadget and a recording stream
11:52:25
jackdaniel
nb: I was going through the code for a few hours before I've found this innocent piece (I was looking for method specializations on handle-event and such)