Hanneli Tavante (Feb 16 2022 at 17:23): Hanneli Tavante (Feb 16 2022 at 17:23):Discussion topic
Emilio Jesús Gallego Arias (Feb 16 2022 at 17:26):@Yves Bertot , who else is interested?
Emilio Jesús Gallego Arias (Feb 16 2022 at 17:27):I have to leave now, but tomorrow when you join Hanneli we could talk a bit about it
Emilio Jesús Gallego Arias (Feb 16 2022 at 17:27):This week turned out for me bad in terms of time, was unexpected unfortunately
Emilio Jesús Gallego Arias (Feb 16 2022 at 17:27):Two week ago I had all the evenings free :/
Hanneli Tavante (Feb 16 2022 at 17:27):No worries, thanks!
Yves Bertot (Feb 17 2022 at 07:10):I should be available most of the day.
Emilio Jesús Gallego Arias (Feb 17 2022 at 12:50):Hi Yves, unfortunately I had the morning booked with a long doctor appt, let me see how I can organize as I'm involved in 5 different topics
Emilio Jesús Gallego Arias (Feb 17 2022 at 12:50):but if we don't manage today, we can try to manage in the jsCoq hacking day
Hanneli Tavante (Feb 17 2022 at 13:47):(Sorry, I am in a different timezone and I did not see this message earlier). I don't think I can make it this evening (Paris time), unless it's after 21h (kinda late, sorry).
What about trying some extra session in one of these options (all CET - Paris time): Fri 18th at 16h, or Mon 21st at 16h, or Tue 22nd at 15h?
Thanks!
Emilio Jesús Gallego Arias (Feb 17 2022 at 14:00):Hi Hanneli, indeed I'm gonna organize a jsCoq hacking day we can all attend and is focused, so we do the db there too
Hanneli Tavante (Feb 22 2022 at 14:53):@Emilio Jesús Gallego Arias Shall we also add a topic for DB of Coq objects in https://github.com/coq/coq/wiki/jsCoq-Working-Day ? (and refactor the page titles accordingly)
Or maybe I can create a different page (to keep it organized)?
Emilio Jesús Gallego Arias (Feb 22 2022 at 15:42):Yes please @Hanneli Tavante !
Emilio Jesús Gallego Arias (Feb 22 2022 at 15:43):I think it fits well because jsCoq could make a very good interface to the DB
Emilio Jesús Gallego Arias (Feb 22 2022 at 15:43):and the topic doesn't seem to big for now as to warrant a full event
Emilio Jesús Gallego Arias (Feb 22 2022 at 15:43):I will add my other topics shortly
Emilio Jesús Gallego Arias (Feb 22 2022 at 15:43):for example the DB could be a nice landing page
Hanneli Tavante (Feb 22 2022 at 15:52):Updated :+1: - for reference https://github.com/coq/coq/wiki/jsCoq--and-CoqDB-Working-Day
Hanneli Tavante (Mar 23 2022 at 14:50):@Yves Bertot I see you were mentioned in this thread about CoqDB. We are planning an upcoming session to work on it. Do you think you could make it to one of these timeslots? https://doodle.com/meeting/participate/id/lejjXAWe
Hanneli Tavante (Mar 24 2022 at 21:40):@Lasse Blaauwbroek It looks like Thursday is the winning day; you can't make it at all? :(
Lasse Blaauwbroek (Mar 25 2022 at 12:53):@Hanneli Tavante With a bit of luck I might be there sometime during the first hour, but not beyond that.
Hanneli Tavante (Mar 29 2022 at 02:16):@Lasse Blaauwbroek Cool, sorry about that. Thursday was indeed the winner, so we tried to arrange the schedule and put CoqDB as the initial topic, in the first hour. Hopefully, it'll work for you!
Last updated: Jun 10 2023 at 23:01 UTC