As usual, the problems, if any, probably lie with whatever they did not show. And the worst problems won't be with what they deliberately try to hide, but with what they silently ignore because even they can't see it.
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Can you point me to how they are using CL & Coq, a quick google search didn't turn up anything useful.
-
The swirlds SDK contains a jar of ABCL 1.4 plus a bunch of compiled CL code (unhappily, being phased out I'm told). Leemon Baird insisted on formal methods and their using "C o q" (spelled out, not pronounced) in his presentation.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!