freenode/#lisp - IRC Chatlog
Search
4:53:34
epony
And, most wonderful sunrises these days here too with a full moon on the opposite side of the sky at the same time..
6:49:42
merskiasa
Anyone here able to write an IRC bot like this: http://www.omnimaga.org/computer-projects-and-ideas/haroldbot-%28theorem-prover-solver%29
6:55:47
merskiasa
The thing has four modes: 1) solve, 2) quantified solve, 3) calculation and 4) prove.
6:56:10
merskiasa
1) solve and 4) prove are basically identical, because they differ only in predicate to prove (equality for solve and arbitrary comparison for prove). Prove needs a way to interpret results
6:56:35
merskiasa
I know how to formulate problem in CNF/BDD form. I also know how to use SAT solver. I haven't implemented interpretation of unsatisfability results.
8:19:24
shka_
beach: busy with my own stuff, but merskiasa didn't even said what the heck he is doing
9:04:02
p_l
no, no, you see, the symbol had to fit in 36bits, so case is irrelevant but only 6 letters ;)
9:08:36
shrdlu68
TMA: Apparently they had a choice on that one: https://en.wikiquote.org/wiki/Ken_Thompson
9:14:40
merskiasa
<merskiasa> Anyone here able to write an IRC bot like this: http://www.omnimaga.org/computer-projects-and-ideas/haroldbot-%28theorem-prover-solver%29
9:14:48
merskiasa
<merskiasa> The thing has four modes: 1) solve, 2) quantified solve, 3) calculation and 4) prove.
9:14:49
merskiasa
<merskiasa> 1) solve and 4) prove are basically identical, because they differ only in predicate to prove (equality for solve and arbitrary comparison for prove). Prove needs a way to interpret results
9:14:49
merskiasa
<merskiasa> I know how to formulate problem in CNF/BDD form. I also know how to use SAT solver. I haven't implemented interpretation of unsatisfability results.
9:42:05
shka_
it is rather messy and if i would have more time i would write my own (with thread safety and perhaps even parallel unification built in) but it should be enough for you
9:56:21
shka_
when i attempt to load with quicklisp (which just calls asdf i think) it won't load because of unkown class
9:58:07
lieven
yeah the last sentence of LOCALLY says: If a locally form is a top level form, the body forms are also processed as top level forms.
10:00:30
lieven
defclass is used as an example in the ISSUE about locally and I see no reason why it shouldn't work
10:23:28
p_l
hmm, is there a list somewhere of what is included in Allegro Free Edition and what isn't?
14:30:34
beach
BepBep: Choice 1: Write your entire application in Common Lisp. Choice 2 (if you already have an application written in some static language): Use ECL.
14:32:20
Xach
I have a long-running interest in exposing cl-js as a scripting system for a Common Lisp application
14:35:25
BepBep
beach: I'm looking to run one-liners in the shell mostly. Do you think that's do-able with any implementations?
14:35:59
shka_
only issue i see is that it is difficult to sandbox lisp code in existing implementations
14:38:14
beach
BepBep: Oh, so you don't mean adding a dynamic language to an existing application written in some static language? In that case, I have no advice for you. Maybe someone else knows more. But again, this is a Common Lisp channel, so you will get biased answers.
14:39:31
BepBep
beach: all my static applications are already written in Common Lisp. I'd just script it with it like a sane person if that were the case.
15:11:38
dlowe
It's a fuzzy term, and my definition is obviously not authoritative, but it seems to cover most of the de facto uses
15:11:50
beach
I thought it meant "a user adding functionality to an existing application through the use of some dynamic language"
15:12:37
dlowe
well, if you are performing actions with this dynamic language that a user could perform through the ui, that's scripting
15:12:55
dlowe
if you are adding capabilities that are not available through the ui, that's usually called a plugin
15:16:45
jmercouris
but basically people just use it as a way to allow users to extend an application
15:17:04
beach
The way I have seen "plugin" used is for modules that are written in the same (static) language as the main language of the application, but that are compiled and then loaded through some dynamic-linking mechanism. I guess I need to get my terminology right, or at least clear.
15:17:29
jmercouris
It's not that you need to get your terminology right, it is rather that there is no terminology
15:18:02
jmercouris
the problem is when people start to say stuff like "javascript is a scripting language"
15:19:09
jmercouris
yeah, I think best to avoid these terms, as they mean many things to different people
15:21:18
beach
True. But when I give a talk to industry, there is little feedback, so it is best to be clear.
15:21:22
Fare
I argued at some previous ELS that the important part of "scripting language" was "low overhead computing".
15:21:25
dlowe
a "scripting language" is a language that is good for, or often used to, simulate a user's actions
15:21:54
Fare
i.e. with minimal overhead (e.g. #!/usr/bin/cl ) you can write code that will run and do what you want.
15:22:02
dlowe
clearly there's transition between doing things to 10 things and doing things to 1,000,000