Holy cow I've been busy! Are people interested in having a meeting? Can anyone give a talk? I'd much rather have a talk to start things off. I'd be willing to give a lightning talk about cl-protobufs. We can use Zoom instead of hangouts if people are more comfortable with it that, though I have no experience with it.
On Fri, Oct 09, 2020 at 05:04:37PM -0400, Jonathan Godbout wrote:
We can use Zoom instead of hangouts if people are more comfortable with it that, though I have no experience with it.
meet.jit.si might be a less predatory option. I'd love to listen to a presentation. -- Mason Loring Bliss mason@blisses.org http://blisses.org/ For more enjoyment and greater efficiency, consumption is being standardized.
I would be profoundly uncomfortable with Zoom. I don't know how feasible Jitsi Meet is, but would prefer that. Hangouts is an acceptable substitute. I would love to do a meeting. It will take some time to prepare, but I could talk a bit about some Lisp work I did at work. On Fri, Oct 9, 2020 at 5:05 PM Jonathan Godbout <jgodbou@gmail.com> wrote:
Holy cow I've been busy! Are people interested in having a meeting? Can anyone give a talk? I'd much rather have a talk to start things off. I'd be willing to give a lightning talk about cl-protobufs. We can use Zoom instead of hangouts if people are more comfortable with it that, though I have no experience with it.
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
(Adding Arthur Smyles to the thread since he is the current organizer of LispNYC.) For whatever it's worth, we are using Jitsi for LispNYC, both presentations and social hang-outs. The presentations are also being simulcast to YouTube. (If you'd like to drop by our talk tomorrow, the details are at https://www.meetup.com/LispNYC/events/270506803/ <https://www.google.com/url?q=https://www.meetup.com/LispNYC/events/270506803/&sa=D&source=calendar&usd=2&usg=AOvVaw2vW8SdO2zQ1pd6dwy3ZwdU> ) It might also be worth considering combining the groups (or separating on a different axis other than geographical while we are all interacting virtually). Might also be worth having an ongoing US-East virtual Lisp group that meets every couple months post-pandemic. On Fri, Oct 9, 2020 at 7:30 PM Alex Plotnick <shrike@netaxs.com> wrote:
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
I would rather not add another video chat to my repertoire, so Google Hangouts seems to be the prevailing wind. How does Tuesday the 20th at 7 sound? Sounds like I'll do a lightning talk, Jeff and Alex can decide on their chosen talks, please send me abstracts so I can add it to the website!. On Mon, Oct 12, 2020 at 12:50 PM Rahul Jain <photinodecay@gmail.com> wrote:
(Adding Arthur Smyles to the thread since he is the current organizer of LispNYC.)
For whatever it's worth, we are using Jitsi for LispNYC, both presentations and social hang-outs. The presentations are also being simulcast to YouTube. (If you'd like to drop by our talk tomorrow, the details are at https://www.meetup.com/LispNYC/events/270506803/ <https://www.google.com/url?q=https://www.meetup.com/LispNYC/events/270506803/&sa=D&source=calendar&usd=2&usg=AOvVaw2vW8SdO2zQ1pd6dwy3ZwdU> )
It might also be worth considering combining the groups (or separating on a different axis other than geographical while we are all interacting virtually). Might also be worth having an ongoing US-East virtual Lisp group that meets every couple months post-pandemic.
On Fri, Oct 9, 2020 at 7:30 PM Alex Plotnick <shrike@netaxs.com> wrote:
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
At Mon, 12 Oct 2020 11:20:33 -0600, Jonathan Godbout said:
How does Tuesday the 20th at 7 sound?
Works for me.
Sounds like I'll do a lightning talk, Jeff and Alex can decide on their chosen talks, please send me abstracts so I can add it to the website!.
Sounds great. My title will be "The Polar Policy Language", and here's a more formal abstract: In this talk, I'll discuss the design and implementation of Polar, a declarative policy language aimed at solving complex authorization problems. A Polar interpreter forms the core of oso, an open source authorization engine that you can embed in your application. Polar rules can access application instances and specialize on (multiple) application-defined classes, which allows policies to be cleanly separated from application code but still have direct access to the data needed to make authorization decisions. Applications in a variety of languages (currently Python, Ruby, Java, JavaScript, and Rust) are supported by a shared core, written in Rust, together with a host-language library that communicates with the core over an event-based FFI. Thanks, -- Alex
Have we decided on a way to meet? On Mon, Oct 12, 2020, 9:35 PM Alex Plotnick <shrike@netaxs.com> wrote:
At Mon, 12 Oct 2020 11:20:33 -0600, Jonathan Godbout said:
How does Tuesday the 20th at 7 sound?
Works for me.
Sounds like I'll do a lightning talk, Jeff and Alex can decide on their chosen talks, please send me abstracts so I can add it to the website!.
Sounds great. My title will be "The Polar Policy Language", and here's a more formal abstract:
In this talk, I'll discuss the design and implementation of Polar, a declarative policy language aimed at solving complex authorization problems. A Polar interpreter forms the core of oso, an open source authorization engine that you can embed in your application. Polar rules can access application instances and specialize on (multiple) application-defined classes, which allows policies to be cleanly separated from application code but still have direct access to the data needed to make authorization decisions. Applications in a variety of languages (currently Python, Ruby, Java, JavaScript, and Rust) are supported by a shared core, written in Rust, together with a host-language library that communicates with the core over an event-based FFI.
Thanks,
-- Alex
My talk, such as it is, will be on Joey, a web-service testing language I somehow convinced my employer to let me open-source. On Tue, Oct 20, 2020, 6:19 AM Jeff Read <bitwize@gmail.com> wrote:
Have we decided on a way to meet?
On Mon, Oct 12, 2020, 9:35 PM Alex Plotnick <shrike@netaxs.com> wrote:
At Mon, 12 Oct 2020 11:20:33 -0600, Jonathan Godbout said:
How does Tuesday the 20th at 7 sound?
Works for me.
Sounds like I'll do a lightning talk, Jeff and Alex can decide on their chosen talks, please send me abstracts so I can add it to the website!.
Sounds great. My title will be "The Polar Policy Language", and here's a more formal abstract:
In this talk, I'll discuss the design and implementation of Polar, a declarative policy language aimed at solving complex authorization problems. A Polar interpreter forms the core of oso, an open source authorization engine that you can embed in your application. Polar rules can access application instances and specialize on (multiple) application-defined classes, which allows policies to be cleanly separated from application code but still have direct access to the data needed to make authorization decisions. Applications in a variety of languages (currently Python, Ruby, Java, JavaScript, and Rust) are supported by a shared core, written in Rust, together with a host-language library that communicates with the core over an event-based FFI.
Thanks,
-- Alex
Yes, Google meet. The link is on the Boston lisp website On Tue, Oct 20, 2020, 6:19 AM Jeff Read <bitwize@gmail.com> wrote:
Have we decided on a way to meet?
On Mon, Oct 12, 2020, 9:35 PM Alex Plotnick <shrike@netaxs.com> wrote:
At Mon, 12 Oct 2020 11:20:33 -0600, Jonathan Godbout said:
How does Tuesday the 20th at 7 sound?
Works for me.
Sounds like I'll do a lightning talk, Jeff and Alex can decide on their chosen talks, please send me abstracts so I can add it to the website!.
Sounds great. My title will be "The Polar Policy Language", and here's a more formal abstract:
In this talk, I'll discuss the design and implementation of Polar, a declarative policy language aimed at solving complex authorization problems. A Polar interpreter forms the core of oso, an open source authorization engine that you can embed in your application. Polar rules can access application instances and specialize on (multiple) application-defined classes, which allows policies to be cleanly separated from application code but still have direct access to the data needed to make authorization decisions. Applications in a variety of languages (currently Python, Ruby, Java, JavaScript, and Rust) are supported by a shared core, written in Rust, together with a host-language library that communicates with the core over an event-based FFI.
Thanks,
-- Alex
At Tue, 20 Oct 2020 04:19:38 -0600, Jeff Read said:
Have we decided on a way to meet?
As Jonathan said, we had, but I would like (with apologies) to propose a last-minute change to Zoom, since I can not get screen sharing to work with Google Meet, and my whole talk is based around an interactive demo. Proposed info below. Topic: Boston Lisp Meeting Time: Oct 20, 2020 07:00 PM Eastern Time (US and Canada) Join Zoom Meeting https://us02web.zoom.us/j/88352005095?pwd=ci93c3pTbG1xdkFKYlJ1V05kZlFhdz09 Meeting ID: 883 5200 5095 Passcode: 821935 One tap mobile +13462487799,,88352005095# US (Houston) +14086380968,,88352005095# US (San Jose) Dial by your location +1 346 248 7799 US (Houston) +1 408 638 0968 US (San Jose) +1 669 900 6833 US (San Jose) +1 253 215 8782 US (Tacoma) +1 301 715 8592 US (Germantown) +1 312 626 6799 US (Chicago) +1 646 876 9923 US (New York) Meeting ID: 883 5200 5095 Find your local number: https://us02web.zoom.us/u/kpeOkLBmH
Ah. Then I will not be attending. The risk is too great, sorry. On Tue, Oct 20, 2020, 2:27 PM Alex Plotnick <shrike@netaxs.com> wrote:
At Tue, 20 Oct 2020 04:19:38 -0600, Jeff Read said:
Have we decided on a way to meet?
As Jonathan said, we had, but I would like (with apologies) to propose a last-minute change to Zoom, since I can not get screen sharing to work with Google Meet, and my whole talk is based around an interactive demo. Proposed info below.
Topic: Boston Lisp Meeting Time: Oct 20, 2020 07:00 PM Eastern Time (US and Canada)
Join Zoom Meeting https://us02web.zoom.us/j/88352005095?pwd=ci93c3pTbG1xdkFKYlJ1V05kZlFhdz09
Meeting ID: 883 5200 5095 Passcode: 821935 One tap mobile +13462487799,,88352005095# US (Houston) +14086380968,,88352005095# US (San Jose)
Dial by your location +1 346 248 7799 US (Houston) +1 408 638 0968 US (San Jose) +1 669 900 6833 US (San Jose) +1 253 215 8782 US (Tacoma) +1 301 715 8592 US (Germantown) +1 312 626 6799 US (Chicago) +1 646 876 9923 US (New York) Meeting ID: 883 5200 5095 Find your local number: https://us02web.zoom.us/u/kpeOkLBmH
Just out of curiosity, what is the risk of Zoom? On Tue, Oct 20, 2020 at 2:38 PM Jeff Read <bitwize@gmail.com> wrote:
Ah. Then I will not be attending. The risk is too great, sorry.
On Tue, Oct 20, 2020, 2:27 PM Alex Plotnick <shrike@netaxs.com> wrote:
At Tue, 20 Oct 2020 04:19:38 -0600, Jeff Read said:
Have we decided on a way to meet?
As Jonathan said, we had, but I would like (with apologies) to propose a last-minute change to Zoom, since I can not get screen sharing to work with Google Meet, and my whole talk is based around an interactive demo. Proposed info below.
Topic: Boston Lisp Meeting Time: Oct 20, 2020 07:00 PM Eastern Time (US and Canada)
Join Zoom Meeting https://us02web.zoom.us/j/88352005095?pwd=ci93c3pTbG1xdkFKYlJ1V05kZlFhdz09
Meeting ID: 883 5200 5095 Passcode: 821935 One tap mobile +13462487799,,88352005095# US (Houston) +14086380968,,88352005095# US (San Jose)
Dial by your location +1 346 248 7799 US (Houston) +1 408 638 0968 US (San Jose) +1 669 900 6833 US (San Jose) +1 253 215 8782 US (Tacoma) +1 301 715 8592 US (Germantown) +1 312 626 6799 US (Chicago) +1 646 876 9923 US (New York) Meeting ID: 883 5200 5095 Find your local number: https://us02web.zoom.us/u/kpeOkLBmH
On 10/20/20 2:27 PM, Alex Plotnick wrote:
At Tue, 20 Oct 2020 04:19:38 -0600, Jeff Read said:
Have we decided on a way to meet?
As Jonathan said, we had, but I would like (with apologies) to propose a last-minute change to Zoom, since I can not get screen sharing to work with Google Meet, and my whole talk is based around an interactive demo.
Try Jitsi? -- "Don't be afraid to ask (λf.((λx.xx) (λr.f(rr))))."
participants (6)
-
Alex Plotnick -
Jeff Read -
Jonathan Godbout -
Joshua Judson Rosen -
Mason Loring Bliss -
Rahul Jain