Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • May 31 22:23

    nthiery on master

    Relecture (compare)

  • May 31 22:18

    nthiery on master

    Relecture (compare)

  • May 31 22:18

    nthiery on master

    Relecture (compare)

  • May 31 22:11

    nthiery on master

    Relecture (compare)

  • May 31 22:06

    nthiery on master

    Relecture (compare)

  • May 31 22:03

    nthiery on master

    Proofreading (compare)

  • May 31 22:02

    nthiery on master

    Brief talk: ODK and open science (compare)

  • Mar 11 10:25

    nthiery on master

    Proofreading (compare)

  • Mar 07 23:42

    nthiery on master

    Added first draft of talk slides (compare)

  • Jan 06 13:40

    nthiery on master

    Another markdown/html tentative… (compare)

  • Jan 06 13:32

    nthiery on master

    Tentative html/markdown fix (compare)

  • Jan 06 13:10

    nthiery on master

    Use DOI badge (compare)

  • Jan 06 13:08

    nthiery on master

    Better looking credits (compare)

  • Jan 06 12:51

    nthiery on master

    Added credits line for the illu… (compare)

  • Dec 16 2020 11:19

    nthiery on master

    Fixed link (compare)

  • Dec 16 2020 11:17

    nthiery on master

    Fixed headings (compare)

  • Dec 16 2020 11:15

    nthiery on master

    Post about ODK's tropy "les éto… (compare)

  • Dec 16 2020 10:39

    nthiery on master

    Added our main motion graphics … (compare)

  • Oct 28 2020 11:47

    marijanbeg on master

    Update partners information (mo… Fix link to photo. (compare)

  • Oct 09 2020 07:09

    nthiery on master

    Application to: Etoiles de l'Eu… (compare)

Luca De Feo
@defeo
I think Nicolas idea was to recycle that snippet of code to make other slides
but that was superseeded by the new model for slides
Alexander Konovalov
@alex-konovalov
why one may want to see that page as a slideshow?
meetings/2015-09-02-Kickoff/Sites/UVSQ.md
Luca De Feo
@defeo
because that's a slideshow
Alexander Konovalov
@alex-konovalov
ok, maybe one may want. let me rename
Alexander Konovalov
@alex-konovalov
yes, I see the point :)
yay - build now works
puzzled - maybe the problem was there before, and now some github update made its visible
Luca De Feo
@defeo
likely
Alexander Konovalov
@alex-konovalov
bedtimeeeeee
oops wrong channel. ahyhow I am off for tonight. cheers!
Alexander Konovalov
@alex-konovalov
Hashtag for the Jupyter workshop: what about #JupyterICMS
Alexander Konovalov
@alex-konovalov
so #JupyterICMS be it. Should be visible in all searches for #Jupyter too
Will Furnass
@willfurnass
Can w dot furnass @ sheffield dot ac dot uk be sent an invite to the ODK Slack? Thanks.
Alexander Konovalov
@alex-konovalov
@willfurnass I don't have access to this slack - hope someone else does
Alexander Konovalov
@alex-konovalov
@fangohr do you have access to ODK slack?
Will Furnass
@willfurnass
For info: "It was decided to not use Slack" (@defeo on https://github.com/OpenDreamKit/OpenDreamKit/issues/225#issuecomment-283953875)
Luca De Feo
@defeo
At least, that's how I recall it :)
Will Furnass
@willfurnass
Was there a good reason to consider using both Gitter and Slack? I haven't used Gitter much before but it seems very Slack/Hipchat like.
Luca De Feo
@defeo
When the project started we were unsure about which would be better for us
I think Gitter was chosen mainly beacause conversations are public (without the need to create an account)
Alexander Konovalov
@alex-konovalov
FWIW, slack's integration with Git notifications is better - unlike gitter it shows text. In Gitter, In the right panel I only see name, action and link to the item. I can't be clicking on each of them.
Luca De Feo
@defeo
FWIW, slack notifies me by email of my own commits, just because my name appears in it and it takes it as a mention. I find it silly.
Alexander Konovalov
@alex-konovalov
So, I respect the decision to use gitter, but if we may additonally set slack for notifications on github activity, that will not hurt
true. gitter also notifies me afaik
anyhow, I do not want sound as inciting bikeshedding :) gittter fine, I am making effort to stay in it. @defeo right that not everyone has it configured properly to email when someone mentions you, so some people are hard to reach.
alex-konovalov @alex-konovalov remembering SCIEnce project in 2007 when nothing except email and skype chat was there... and that was that version control system called SVN :worried:
Luca De Feo
@defeo
of course, I have nothing against setting up the GitHub integration in Slack, if that helps. Who own it? I don't think I do.
Alexander Konovalov
@alex-konovalov
I think Hans - was his email.
Hans Fangohr
@fangohr
Hi all, I think I am the owner of the opendreamkit.slack.com. I have set up integration of github commits, pull requests, comments into our slack instance. This will be reported in the dedicated channel #notifications. If people see too much traffic, they can deactivate to be notified from that channel (or even leave the channel). You may have to join the channel manually to see it.
If anybody wants to join the slack instance and hasn't access, please ping me and I'll deal with it.
In practice, I think we need to support people to use whatever tool they prefer: if some work together on slack and some on gitter, then this is better then having only one half involved and not having the interaction on slack at all. I'll try to watch both, but find Slack overall more useful for me.
Nathan Carter
@nathancarter
Who's the best person to talk to if I'm interested in getting involved with this project?
Paul-Olivier Dehaye
@pdehaye
Hi Nathan, welcome! This will be highly dependent on which part is of interest to you most.
What is your background?
Nathan Carter
@nathancarter
I've worked on a lot of things, but I love just about anything at the intersection of math and computer science. Right now my main project is a web-based UI for a simple proof checker, with the goal being the UI foremost (just like math in a book when possible). But I'm open to collaborating. I ask because I plan to be in the UK in 2018-2019, and it would be nice to have a group to join and work with during that time.
Paul-Olivier Dehaye
@pdehaye
That sounds like you would have two angles into our project. Proofchecking is heavily on the mind of a few of us (Erlangen/Bremen), even if not explicit in our deliverables. Also, these groups don't use this chat.
There is on the other hand a lot of UI in the project. That would be led by @minrk principally (Jupyter)
Nathan Carter
@nathancarter
Is the physical location of any of those groups important to their work? That is, would my potential location impact how well I could collaborate, or which projects I could work with?
I'm probably more qualified/useful on the UI end; the project I'm working on is heavier on that and lighter on the proof checking.
Luca De Feo
@defeo
Hi Nathan. Jupyter has a global community that is very well spread across many countries, and is very used to work remotely.
I think @minrk is your best contact here. I'm sure he'll pop up in this discussion, or maybe you can try to reach him on the jupyter/jupyter channel
Have you already looked into Jupyter? Proof checkers tend to have more complex UI needs than the usual notebook, however some people may be interested in improving Jupyter on that end.
Min RK
@minrk
We're planning to have a workshop on Jupyter / Active Documents in the Fall, which might be an appropriate time to work on such things. I'm about to head to the US for conferences and meetings, but we can discuss more about possible collaborations.
Nathan Carter
@nathancarter
In my project, the UI is actually pretty far along, and adding proof checker stuff is the work of the upcoming year. @minrk will you be at CICM by any chance? Glad to take this conversation out of public chat, too...
Min RK
@minrk
I won't be at CICM. I'm heading to PyCon in the morning, so will be inconsistently available for a bit.
Paul-Olivier Dehaye
@pdehaye
@nathancarter At CICM you should talk to Michael Kohlhase and Florian Rabe, who are both in the collaboration and big on theorem provers.
Nathan Carter
@nathancarter
yes I've met those guys and will be glad to talk to them again