JOBAD integration - a simple question

[Joe Corneli]

Hi - I was hoping to kick off a little discussion about
JOBAD+Planetary here, not sure who is leading on that at present
though.

Anyway, we're starting to get what looks like a concrete application going here:
https://github.com/dginev/nnexus/issues/34

Comments welcome.

[Michael Kohlhase]

On 10.5.13 20:42, Joe Corneli wrote:
> Hi - I was hoping to kick off a little discussion about
> JOBAD+Planetary here, not sure who is leading on that at present
> though.

Mihnea Iancu is. But I think he may not on the planetary mailing list.

Michael

>
> Anyway, we're starting to get what looks like a concrete application going here:
> https://github.com/dginev/nnexus/issues/34
>
> Comments welcome.
>

--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, Office: Research 1, Room 168
Professor of Computer Science Campus Ring 1,
Jacobs University Bremen D-28759 Bremen, Germany
tel/fax: +49 421 200-3140/-493140 skype: m.kohlhase
m.koh...@jacobs-university.de http://kwarc.info/kohlhase
----------------------------------------------------------------------

[Joe Corneli]

Hi Mihnea:

We're accumulating some Planetary+JOBAD feature requests and points
for discussion:

- https://github.com/KWARC/planetary/issues/338
- https://github.com/KWARC/planetary/issues/46
- https://github.com/KWARC/planetary/issues/85 (has a partial
implementation by Deyan)
- https://github.com/KWARC/planetary/issues/355
- https://github.com/dginev/nnexus/issues/34
- maybe some more...

Can we discuss the outlook with you, either in the Planetary Dev list,
or a Skype call? (I'm "holtzermann17" on Skype...)

Joe

> --
> You received this message because you are subscribed to the Google Groups
> "Planetary Developers Mailing List" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to planetary-de...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>

[Michael Kohlhase]

Dear Joe, dear Mihnea,

we should find a way of integrating these tickets into the JOBAD TRAC,
where we do the project/development planning.

BTW, is Tom on the planetary mailing list?

Michael

[Joe Corneli]

On Mon, May 13, 2013 at 3:29 PM, Mihnea Iancu
<m.i...@jacobs-university.de> wrote:

> I am currently working on a planetary module for MMT
> (https://trac.kwarc.info/MMT) which uses JOBAD3 and was thinking to: 1.
> contribute it to the planetary github repo and 2. Integrate JOBAD in such a
> way that it's available to other modules as well. But I am unsure of the
> planetary state. For instance, is the existing jobad module still used
> anywhere ? If not I can replace it with the new version and we can start
> from there.

Hi Mihnea:

JOBAD is not yet used in PlanetMath at all. I'm guessing it would
best to rewrite any Planetary/Panta modules that depend on the old
system so that they're up-to-date. To be safe, we could call the new
Planetary module something like "jobad3" to distinguish it from the
old "jobad" module.

Glad to hear that Planetary is useful for MMT - I'd love to see a demo sometime!

Joe

[Joe Corneli]

On Tue, May 14, 2013 at 7:36 AM, Michael Kohlhase
<m.koh...@jacobs-university.de> wrote:
> Dear Joe, dear Mihnea,
>
> we should find a way of integrating these tickets into the JOBAD TRAC, where
> we do the project/development planning.

Hi Michael:

I added a quick note here: https://github.com/KWARC/jobad/issues/7 -
that could potentially be expanded by someone who knows more about
recent JOBAD/Planetary mashups.

Joe

[Mihnea Iancu]

Hi Michael, All,

BTW, is Tom on the planetary mailing list?

Not yet, but I've sent him an e-mail about it. We'll also meet tomorrow and discuss this further.

Best,
Mihnea.  

[Joe Corneli]

Dear all:

We have a new volunteer interested in working on Planetary, Murray, whom I've CC'ed here (yan...@ymail.com).  He's good at working with Javascript, so I thought that JOBAD integration issues would be a good place to direct him.  However, this is something I'm NOT particularly good at, so I'm hoping that someone else in the team who knows more about JOBAD stuff can give us some tips on how to get started.  I'm planning to make him an account on the PlanetMath "dev" site (and underlying server) http://metameso.org/beta so that we can skip past the general Planetary set-up steps.  But since we still don't have even a basic JOBAD module running as a demo on PlanetMath there, I wonder if someone can help us with instructions get a basic JOBAD tool (e.g. Deyan's clipboard) working on this dev site.  We'll likely be able to take it from there (at least until we get stuck next!).

Joe