At Fri, 09 Oct 2020 15:04:37 -0600, Jonathan Godbout said:
Are people interested in having a meeting?
Yes, definitely!
Can anyone give a talk?
I can, though it wouldn't strictly be about Lisp. My employer (osohq.com) has been developing a logic programming language (i.e., a Prolog dialect) focused on authorization problems, and I think both the language and its implementation might be of interest. We've written an embeddable interpreter in Rust that communicates via FFI to a host or application language such as (currently) Python, Ruby, JavaScript, Java, or Rust. It has some features inspired by Common Lisp (e.g., multiple dispatch), but mostly it's a logic language with unification & backtracking. Its distinguishing feature is its ability to write rules over objects and types from the host language; e.g., whatever models an application uses natively. We think this is useful in certain complex authorization contexts, and perhaps more broadly.
I would in particular love to get feedback from a Lisp crowd on the language design, syntax, etc. We tried to give it an updated feel, but still be recognizably Prolog, and just a little Lispy. Lisp folks tend to have pretty high standards and strong opinions on all kinds of languages, so it'd be great to hear what people think.
I'd be willing to give a lightning talk about cl-protobufs.
+1
We can use Zoom instead of hangouts...
+1 from me on reliability and ease of use, though I totally understand issues people may have with it. Jitsi's probably fine, though I have not ever used it.
-- Alex