Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 18:05

    mforets on gh-pages

    build based on 173bbec2 (compare)

  • 17:42
    mforets opened #426
  • 17:28
    schillic updated the wiki
  • 17:27

    schillic on backend_project

    (compare)

  • 17:27

    schillic on 2301

    (compare)

  • 17:27

    schillic on master

    accept kwargs in 'project' and … Merge pull request #2607 from J… (compare)

  • 17:27
    schillic closed #2607
  • 17:27
    schillic closed #2301
  • 17:27
    schillic commented #2607
  • 17:19
    mforets commented #2607
  • 17:19
    mforets commented #2607
  • 17:19
    mforets commented #2607
  • 17:17
    mforets commented #2607
  • 17:13

    mforets on gh-pages

    build based on 47fe7a9c (compare)

  • 17:06

    schillic on 1926

    (compare)

  • 17:05
    schillic commented #2607
  • 17:03
    schillic commented #2607
  • 17:01
    schillic updated the wiki
  • 17:00
    schillic closed #2608
  • 17:00
    schillic closed #1926
Christian Schilling
@schillic
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:
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" :)
@ChrisRackauckas and also @schillic : this week with sebastian we had a couple of sprints to understand and model a hybrid system from https://discourse.julialang.org/t/differentialequations-error-event-repeated-at-the-same-time/51830 using propagation techniques. not sure we'll finish this week because of family time. but it was much fun as it involves modeling nonlinear (periodic) guards, and we can exploit sparsity of the constraints to make an efficient solver
Christian Schilling
@schillic
:+1:
Christopher Rackauckas
@ChrisRackauckas
Ahh that's cool
I haven't looked into that system yet
Marcelo Forets
@mforets
FYI the PR JuliaReach/ReachabilityAnalysis.jl#390 contained several unrelated changes so i decided to split into smaller ones. i've started to cleanup the codebase with respect to changes that are recently available in LazySets
also the RA internal methods for disjointness, intersection and inclusion are messy so i'll fix that too
Marcelo Forets
@mforets
a new article on verifying LTI systems neural network controllers https://arxiv.org/pdf/2101.01815.pdf
Marcelo Forets
@mforets
hi, this week i'm back to package development. i was planning to address the Star sets implementation this afternoon. i've got like 2 hours :smile:
Christian Schilling
@schillic
good luck :)
Marcelo Forets
@mforets
there is a nice boost on the startup time:
[mforets@localhost bin]$ julia
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.5.2 (2020-09-23)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

julia> @time using LazySets
  5.681156 seconds (11.94 M allocations: 694.502 MiB, 4.23% gc time)

julia> exit()
j[mforets@localhost bin]$ ./julia
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.6.0-beta1 (2021-01-08)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

julia> @time using LazySets
  2.215739 seconds (5.24 M allocations: 375.817 MiB, 1.47% gc time, 0.22% compilation time)
Marcelo Forets
@mforets
i merged some LazySets PRs without waiting for the travis CI to finish . this is against our rules i know ... but we can't wait 40 mins - 1hour for each single PR it is just too slow. maybe if we change the CI to github actions it reduces
in RA it reduced the waiting time by half