IRC logs of #shogun for Friday, 2019-05-24

--- Log opened Fri May 24 00:00:28 2019
-!- durovo [~durovo@99.af.3da9.ip4.static.sl-reverse.com] has joined #shogun00:07
-!- durovo1 [~durovo@32.ab.3ea9.ip4.static.sl-reverse.com] has quit [Remote host closed the connection]00:08
-!- wiking_ [~wiking@huwico/staff/wiking] has quit [Remote host closed the connection]04:33
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun04:34
-!- mode/#shogun [+o wiking] by ChanServ04:34
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 272 seconds]04:39
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun05:31
-!- mode/#shogun [+o wiking] by ChanServ05:31
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 246 seconds]05:36
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun06:12
-!- mode/#shogun [+o wiking] by ChanServ06:12
-!- wiking [~wiking@huwico/staff/wiking] has quit [Remote host closed the connection]06:28
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun06:29
-!- mode/#shogun [+o wiking] by ChanServ06:29
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 248 seconds]06:34
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun06:43
-!- mode/#shogun [+o wiking] by ChanServ06:43
-!- essam [c5351ea5@gateway/web/freenode/ip.197.53.30.165] has joined #shogun09:54
-!- gf712 [905208e0@gateway/web/freenode/ip.144.82.8.224] has joined #shogun10:09
-!- geektoni [c1cdd24a@gateway/web/freenode/ip.193.205.210.74] has joined #shogun10:09
-!- wiking [~wiking@huwico/staff/wiking] has quit [Remote host closed the connection]10:40
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun10:41
-!- mode/#shogun [+o wiking] by ChanServ10:41
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 250 seconds]10:48
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun10:53
-!- mode/#shogun [+o wiking] by ChanServ10:53
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 252 seconds]10:57
-!- essam [c5351ea5@gateway/web/freenode/ip.197.53.30.165] has quit [Ping timeout: 256 seconds]11:04
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun11:07
-!- mode/#shogun [+o wiking] by ChanServ11:07
-!- wiking_ [~wiking@huwico/staff/wiking] has joined #shogun11:08
-!- mode/#shogun [+o wiking_] by ChanServ11:08
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 252 seconds]11:11
@wiking_gf712: hahahah may is out :D11:37
@wiking_i think UK is even more fucked than it was b4 :>>.11:37
@wiking_this drama is gonna go for a while still11:37
@wiking_who's next? Boris? :))))11:37
-!- wiking_ is now known as wiking11:37
gf712wiking: yea just saw11:41
gf712good stuff :D11:41
gf712not like GoT.......11:41
@wikingahahahha11:42
gf712wiking: that shit was hard to watch11:46
gf712and then it would never end..11:46
gf712wiking: btw I wrote this composer that should be all inlined in -O2/3 and could be added to shogun for checking parameter updates, i.e. value can't be negative for k11:58
gf712what do you think?11:58
gf712wiking: btw got compiler explorer locally, so good11:59
gf712wiking: would look something like this SG_ADD_COMPOSER(&m_value, "value", positive(), less_than(10))12:33
@wiking:)13:08
@wikingwhat about a template for variable13:08
@wikingreal<contraint> x13:08
@wikingbasically stan style13:08
gf712isn't that quite expensive? basically you're creating a class on top of a primitive no?13:09
gf712x would be the class member right?13:10
@wikingyep13:11
@wikinggf712: no f*ing way that she managed to break some tears :)13:41
@wikingsuch a teather13:41
gf712wiking: I haven't seen it yet...13:47
gf712I do wonder who's next...13:48
gf712should just have a general election, again.../13:48
@wikingboris boris boris13:50
@wiking:)13:50
@wikinghe'll make a real mess as expected13:50
@wiking:D13:51
@wikinggf712: maaaybe this weekend i'm ready with all that crazy stuff in the pr14:35
@wikingand then i'll merge :)14:35
@wikingi will not drop per se the parameters.cpp14:35
@wikingbut will not be used basically and it wont be functional anymore\14:35
gf712wiking: nice!14:39
gf712sounds good, it'll be convenient to design a complete replacement14:40
gf712wiking: so I got this now14:40
gf712real<positive<double>> x;14:40
gf712x = -1;14:40
gf712kaboom14:40
@wikinghave u seen stan?14:40
gf712no14:40
@wikingthey basically wrap a double14:40
gf712I just wrote it based it on what you said14:40
gf712I can drop the double14:41
gf712I basically wrote a struct14:41
gf712which is has a field for value14:41
gf712and then overloaded the assignment operator14:41
@wikingye14:41
@wikingonly problem with this approach14:41
gf712which then runs the checks14:41
@wikingi see what i saw from stan14:41
@wikingis how to wrap these values into eigen14:41
@wiking:)14:41
gf712yea, not sure how it would work14:42
gf712you can't align the memory14:42
@wikinghttp://mc-stan.org/math/d1/d39/classstan_1_1math_1_1var.html14:42
@wikingbut yeah14:43
gf712where are the constraints?14:43
@wikinggood q14:43
@wikingseems i totally mixed up14:43
gf712ah haha14:43
@wikingvar  with something14:43
@wiking;)))14:43
@wikingthis is more wrapping for being able to do autodiff14:44
gf712this is how it works https://pastebin.com/CFFgd0j714:45
@wikinghttps://mc-stan.org/docs/2_18/reference-manual/univariate-data-types-and-variable-declarations.html14:45
@wikingbut this is basically stan's own language14:46
gf712hmmm interesting14:46
@wikingbut i mean14:46
@wikingif you have a meta lang14:46
@wikingit's 'easy' to transcribe :)14:46
@wikinginto constrained primitives14:47
@wikingworst case add if branches :)14:47
@wiking(most primitive solution)14:47
gf712oh is this not cpp?14:48
@wikingnoup14:48
@wikingstan has its on lang14:48
gf712ohhh14:48
gf712but this could be done is c++14:49
gf712why use a meta language?14:49
gf712btw wiking: next big thing in cpp.... reflexpr14:49
@wiking2022?14:49
gf7122314:49
gf712maybe14:49
gf71220 experimental14:49
@wikingso bascially reflection?14:49
gf712potentially14:49
gf712yes14:49
gf712you can do all sorts of hackery14:50
gf712basically ask what methods a class has14:50
@wikingyep14:50
gf712enum representations14:50
@wikinglike in other langs :)14:50
@wikingwhere reflection is supported14:50
gf712yea but compile time14:50
@wikinghehe :)14:51
gf712not some silly runtime stuff14:51
-!- durovo [~durovo@99.af.3da9.ip4.static.sl-reverse.com] has quit [Remote host closed the connection]14:51
@wikingbtw14:51
@wikingthis says a lot14:51
@wikingAuthors: Mat?? Chochl?k chochlik@gmail.com, Axel Naumann axel@cern.ch, and David Sankel dsankel@bloomberg.net14:51
@wiking(http://open-std.org/JTC1/SC22/WG21/docs/papers/2017/p0578r1.html)14:51
-!- durovo [~durovo@99.af.3da9.ip4.static.sl-reverse.com] has joined #shogun14:51
gf712wiking: https://www.youtube.com/watch?v=CRDNPwXDVp014:52
gf712also constexpr vectors14:52
@wikingisn't that std::array? :)14:52
gf712which I can't really wrap my head around14:52
gf712no, because you can push_back14:53
gf712at compile time14:53
gf712because the compiler does it in its own stack14:53
gf712from what I understand14:53
gf712constexpr void push_back(const T& x);14:56
gf712from http://open-std.org/JTC1/SC22/WG21/docs/papers/2018/p1004r0.pdf14:56
-!- geektoni [c1cdd24a@gateway/web/freenode/ip.193.205.210.74] has quit [Quit: Page closed]15:09
gf712wiking: https://www.reddit.com/r/fakehistoryporn/comments/bsf1tb/theresa_may_resigning_2019/15:10
@wikinglol15:12
-!- wiking [~wiking@huwico/staff/wiking] has quit [Remote host closed the connection]16:22
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun16:26
-!- mode/#shogun [+o wiking] by ChanServ16:26
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 248 seconds]16:31
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun16:52
-!- mode/#shogun [+o wiking] by ChanServ16:52
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 244 seconds]16:56
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun17:16
-!- mode/#shogun [+o wiking] by ChanServ17:16
gf712wiking: variant bug in stl https://gcc.godbolt.org/z/6HFj1Q ?17:48
-!- gf712 [905208e0@gateway/web/freenode/ip.144.82.8.224] has quit [Ping timeout: 256 seconds]18:04
-!- essam [c5351e46@gateway/web/freenode/ip.197.53.30.70] has joined #shogun20:16
-!- essam [c5351e46@gateway/web/freenode/ip.197.53.30.70] has quit [Quit: Page closed]20:57
--- Log closed Sat May 25 00:00:30 2019

Generated by irclog2html.py 2.10.0 by Marius Gedminas - find it at mg.pov.lt!