rpgoldman

Results 183 comments of rpgoldman

It is up to you. I think on the one hand there's a relatively simple expedient for handling complex numbers (at least complex numbers over the rationals), by treating them...

I think it's a general problem of "semantics of numbers." For some reason, the OWL designers chose to represent numbers in a way that is *fundamentally* syntactic instead of semantic....

I think my solution to this problem is wrong. Instead, probably OM should offer a catalog file that loads these Dublin Core and Bibo ontologies from a file giving only...

Is there some way to error only on warnings in the final run of latex in latexmk? I have set up `latexmk` in Jenkins to make sure no one breaks...

FWIW, I think [this StackExchange question](https://stackoverflow.com/questions/8998499/virtual-environments-and-embedding-python) might point the way to an answer. But I guess I still don't see how the embedded python will find an initial bit of...

The obvious question would be "why is it that OM is not compatible with ASDF?" It's hard to imagine what one could do with CL code that would render it...

Are you trying to conduct multiple screamer searches concurrently or are you trying to make it possible for non-deterministic execution to explore multiple assignments concurrently? The latter would be a...

> (P.S.: I'm guessing parallel assignment exploration would require a complete rewrite of the backtracking mechanism (maybe using the recursion stack for state) to allow spinning off thread-local trails?) Yes,...

@nikodemus Maybe move this into sharplispers and see if someone will take it over?