Hi Adam I like the Idea of using Ur to help with the current crisis. However, I don't think that I am fluent enough with the language yet to be of much help.
I tried to install the demo and failed so far. Is there any advice on how to install libraries? Do I need to build them first or can I just download and copy to a certain directory? From: Ur <[email protected]> On Behalf Of Adam Chlipala Sent: Sunday, March 29, 2020 4:33 PM To: [email protected] Subject: Re: [Ur] Any interest in bringing up a platform for virtual conferences? I'm glad to see the interest from Daniel and Simon! Here's https://github.com/achlipala/upo/blob/master/examples/onlineconf.ur, which also uses https://github.com/urweb/world for Google and Zoom integration, plus https://github.com/urweb/email. On the near-term to-do list is also showing off some Slack integration. I'm curious if anyone else can figure out how to build and run that demo. >:) I encourage folks who like the general idea to give it a try and then contact me privately about how it goes. On 3/21/20 3:29 AM, Daniel Tornabene wrote: I'm interested. I haven't used Urweb but I love standard ML, so my contributions would be perhaps less immediate as others more familiar with the codebase On Fri, Mar 20, 2020 at 5:47 PM Adam Chlipala <mailto:[email protected]> wrote: Some of you may remember http://upo.csail.mit.edu/ that I've mentioned a few times. It's an Ur/Web component library for rapid creation of applications to organize people -- a pretty broad remit. It uses a lot of metaprogramming to write your application for you based on your database schema. Suddenly an important variant of coordinating people is running a virtual event. For instance, many planned conferences have moved to online substitutes, on short notice. Events often have subtle differences from each other while sharing many logistical elements. I wonder what interest there is out there in developing enough new UPO components to support virtual events. For instance, I think it needs good ways to interact with video-conferencing software to livestream talks with Q&A, and to make the recorded videos available easily afterward in perpetuity, integrated within sites that take advantage of rich, per-event data schemas. Would anyone like to join me in trying to plan out the required functionality and divvy up the coding work? Full disclosure: I'm still developing a startup-company concept that could take advantage of that support. The company is about, basically, a very simplified IDE for snapping UPO components together, so that people without programming experience can do it. My idea is that the underlying, programmer-focused library remains open forever, though. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
