Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 17:03
    schillic commented #2607
  • 17:01
    schillic updated the wiki
    Release-log-tracker
  • 17:00
    schillic closed #2608
  • 17:00
    schillic closed #1926
  • 17:00
    schillic closed #1979
  • 17:00

    schillic on 1926_v2

    (compare)

  • 17:00

    schillic on master

    add isboundedtype function Merge pull request #2608 from J… (compare)

  • 17:00
    schillic synchronize #2608
  • 17:00

    schillic on 1926_v2

    add isboundedtype function (compare)

  • 16:57
    mforets commented #2607
  • 16:56
    mforets commented #2607
  • 16:56
    mforets commented #2607
  • 16:53
    mforets commented #2607
  • 16:50
    mforets commented #2607
  • 16:49
    schillic updated the wiki
    Release-log-tracker
  • 16:48
    schillic assigned #2297
  • 16:48
    schillic assigned #2297
  • 16:47

    schillic on 2296

    (compare)

  • 16:47

    schillic on 2296

    (compare)

  • 16:47

    schillic on master

    add backend to LinearMapVRep so… Merge pull request #2606 from J… (compare)

Marcelo Forets
@mforets
Screenshot from 2020-12-18 08-32-08.png
maybe the parameter choices for the other tools were not good .. :)
Christian Schilling
@schillic
yeah
Marcelo Forets
@mforets
we should write a blog, or a short video showing benchmarks like the one above (fun for next year!)
Marcelo Forets
@mforets
i added the brusselator instance from the paper JuliaReach/ReachabilityAnalysis.jl#386
Marcelo Forets
@mforets
some people have changed the CI to github actions
i read the builds were faster. i was wondering if we should also change
https://discourse.julialang.org/t/easy-workflow-file-for-setting-up-github-actions-ci-for-your-julia-package/49765
Marcelo Forets
@mforets
ill try with RA
the build (JuliaReach/ReachabilityAnalysis.jl#386) took 1hour and the docs are still not deployed!
Christian Schilling
@schillic
:)
travis says that it stopped all our builds
You have used 11230 of 10000 credits
i'm not sure this is the case, but that would be sad!
Marcelo Forets
@mforets
ah yes should explain it !
Christian Schilling
@schillic
if we hit that bound more often: it seems to me the more builds we run, the quicker we drain those credits, so we should generally reduce the number of builds and the number of times we push
Marcelo Forets
@mforets
there is now a limited number of build hours for OSS
do you know if those credits reset each month?
Christian Schilling
@schillic
i hope so, but i don't know the interval
Marcelo Forets
@mforets
ok.i tried github actions here JuliaReach/ReachabilityAnalysis.jl#387 and it worked
but the Docs build didnt finish yet
Christian Schilling
@schillic
maybe restart it?
Marcelo Forets
@mforets
the "Build and Deploy" stage is taking too long (28 minutes) so maybe something is wrong with it :/
Christian Schilling
@schillic
now it ran
Marcelo Forets
@mforets
ah
yes
Christian Schilling
@schillic
done :D
Marcelo Forets
@mforets
did you do anything?
Christian Schilling
@schillic
just as we spoke, i watched it live
but deployment failed
Marcelo Forets
@mforets
yes
in total it took 30 mins instead of 1 hour with TRavis CI (which probably was slow because of the credits issue) so im in favor of keeping github CI for RA
i dont mind changing the others while we can still make builds with travis CI
Marcelo Forets
@mforets
it built now :tada:
https://juliareach.github.io/ReachabilityAnalysis.jl/dev/models/Brusselator/#Changing-the-initial-volume-1
the docs were only deployed the 2nd time that CI ran for the first time
(something similar used to happen with travis CI)
Marcelo Forets
@mforets
a new article on Neural ODEs by SciML crew: https://arxiv.org/pdf/2012.07244.pdf
Marcelo Forets
@mforets
We shall make a PR to update the GSOC/JSOC project proposals. In particular the topic on zonotopes, I would remove it and add a new one
Maybe directly related to robustness of ODEs with neural network controllers
  • I mean, on the julialang webpage
Christian Schilling
@schillic
i just found this list of tools
Marcelo Forets
@mforets
nice
we are listed :tada: :smile:
Christian Schilling
@schillic
yes :D
Marcelo Forets
@mforets
good link. i'll read more about this IEEE branch later
Christopher Rackauckas
@ChrisRackauckas
I'd be interested in collaborating on a project on robustness of neural controlled ODEs
Sounds like it would be fun
Marcelo Forets
@mforets
nice! sounds like a fun project that we can tackle next year
Marcelo Forets
@mforets
we regularly skype with the rest of the team (schiliic, dpsanders, lbenet), so i'll put this topic in the "agenda" :)