--- Log opened Fri May 24 00:00:28 2019 | ||
-!- durovo [~durovo@99.af.3da9.ip4.static.sl-reverse.com] has joined #shogun | 00: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 #shogun | 04:34 | |
-!- mode/#shogun [+o wiking] by ChanServ | 04:34 | |
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 272 seconds] | 04:39 | |
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun | 05:31 | |
-!- mode/#shogun [+o wiking] by ChanServ | 05:31 | |
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 246 seconds] | 05:36 | |
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun | 06:12 | |
-!- mode/#shogun [+o wiking] by ChanServ | 06:12 | |
-!- wiking [~wiking@huwico/staff/wiking] has quit [Remote host closed the connection] | 06:28 | |
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun | 06:29 | |
-!- mode/#shogun [+o wiking] by ChanServ | 06:29 | |
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 248 seconds] | 06:34 | |
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun | 06:43 | |
-!- mode/#shogun [+o wiking] by ChanServ | 06:43 | |
-!- essam [c5351ea5@gateway/web/freenode/ip.197.53.30.165] has joined #shogun | 09:54 | |
-!- gf712 [905208e0@gateway/web/freenode/ip.144.82.8.224] has joined #shogun | 10:09 | |
-!- geektoni [c1cdd24a@gateway/web/freenode/ip.193.205.210.74] has joined #shogun | 10:09 | |
-!- wiking [~wiking@huwico/staff/wiking] has quit [Remote host closed the connection] | 10:40 | |
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun | 10:41 | |
-!- mode/#shogun [+o wiking] by ChanServ | 10:41 | |
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 250 seconds] | 10:48 | |
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun | 10:53 | |
-!- mode/#shogun [+o wiking] by ChanServ | 10: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 #shogun | 11:07 | |
-!- mode/#shogun [+o wiking] by ChanServ | 11:07 | |
-!- wiking_ [~wiking@huwico/staff/wiking] has joined #shogun | 11:08 | |
-!- mode/#shogun [+o wiking_] by ChanServ | 11:08 | |
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 252 seconds] | 11:11 | |
@wiking_ | gf712: hahahah may is out :D | 11:37 |
---|---|---|
@wiking_ | i think UK is even more fucked than it was b4 :>>. | 11:37 |
@wiking_ | this drama is gonna go for a while still | 11:37 |
@wiking_ | who's next? Boris? :)))) | 11:37 |
-!- wiking_ is now known as wiking | 11:37 | |
gf712 | wiking: yea just saw | 11:41 |
gf712 | good stuff :D | 11:41 |
gf712 | not like GoT....... | 11:41 |
@wiking | ahahahha | 11:42 |
gf712 | wiking: that shit was hard to watch | 11:46 |
gf712 | and then it would never end.. | 11:46 |
gf712 | wiking: 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 k | 11:58 |
gf712 | what do you think? | 11:58 |
gf712 | wiking: btw got compiler explorer locally, so good | 11:59 |
gf712 | wiking: would look something like this SG_ADD_COMPOSER(&m_value, "value", positive(), less_than(10)) | 12:33 |
@wiking | :) | 13:08 |
@wiking | what about a template for variable | 13:08 |
@wiking | real<contraint> x | 13:08 |
@wiking | basically stan style | 13:08 |
gf712 | isn't that quite expensive? basically you're creating a class on top of a primitive no? | 13:09 |
gf712 | x would be the class member right? | 13:10 |
@wiking | yep | 13:11 |
@wiking | gf712: no f*ing way that she managed to break some tears :) | 13:41 |
@wiking | such a teather | 13:41 |
gf712 | wiking: I haven't seen it yet... | 13:47 |
gf712 | I do wonder who's next... | 13:48 |
gf712 | should just have a general election, again.../ | 13:48 |
@wiking | boris boris boris | 13:50 |
@wiking | :) | 13:50 |
@wiking | he'll make a real mess as expected | 13:50 |
@wiking | :D | 13:51 |
@wiking | gf712: maaaybe this weekend i'm ready with all that crazy stuff in the pr | 14:35 |
@wiking | and then i'll merge :) | 14:35 |
@wiking | i will not drop per se the parameters.cpp | 14:35 |
@wiking | but will not be used basically and it wont be functional anymore\ | 14:35 |
gf712 | wiking: nice! | 14:39 |
gf712 | sounds good, it'll be convenient to design a complete replacement | 14:40 |
gf712 | wiking: so I got this now | 14:40 |
gf712 | real<positive<double>> x; | 14:40 |
gf712 | x = -1; | 14:40 |
gf712 | kaboom | 14:40 |
@wiking | have u seen stan? | 14:40 |
gf712 | no | 14:40 |
@wiking | they basically wrap a double | 14:40 |
gf712 | I just wrote it based it on what you said | 14:40 |
gf712 | I can drop the double | 14:41 |
gf712 | I basically wrote a struct | 14:41 |
gf712 | which is has a field for value | 14:41 |
gf712 | and then overloaded the assignment operator | 14:41 |
@wiking | ye | 14:41 |
@wiking | only problem with this approach | 14:41 |
gf712 | which then runs the checks | 14:41 |
@wiking | i see what i saw from stan | 14:41 |
@wiking | is how to wrap these values into eigen | 14:41 |
@wiking | :) | 14:41 |
gf712 | yea, not sure how it would work | 14:42 |
gf712 | you can't align the memory | 14:42 |
@wiking | http://mc-stan.org/math/d1/d39/classstan_1_1math_1_1var.html | 14:42 |
@wiking | but yeah | 14:43 |
gf712 | where are the constraints? | 14:43 |
@wiking | good q | 14:43 |
@wiking | seems i totally mixed up | 14:43 |
gf712 | ah haha | 14:43 |
@wiking | var with something | 14:43 |
@wiking | ;))) | 14:43 |
@wiking | this is more wrapping for being able to do autodiff | 14:44 |
gf712 | this is how it works https://pastebin.com/CFFgd0j7 | 14:45 |
@wiking | https://mc-stan.org/docs/2_18/reference-manual/univariate-data-types-and-variable-declarations.html | 14:45 |
@wiking | but this is basically stan's own language | 14:46 |
gf712 | hmmm interesting | 14:46 |
@wiking | but i mean | 14:46 |
@wiking | if you have a meta lang | 14:46 |
@wiking | it's 'easy' to transcribe :) | 14:46 |
@wiking | into constrained primitives | 14:47 |
@wiking | worst case add if branches :) | 14:47 |
@wiking | (most primitive solution) | 14:47 |
gf712 | oh is this not cpp? | 14:48 |
@wiking | noup | 14:48 |
@wiking | stan has its on lang | 14:48 |
gf712 | ohhh | 14:48 |
gf712 | but this could be done is c++ | 14:49 |
gf712 | why use a meta language? | 14:49 |
gf712 | btw wiking: next big thing in cpp.... reflexpr | 14:49 |
@wiking | 2022? | 14:49 |
gf712 | 23 | 14:49 |
gf712 | maybe | 14:49 |
gf712 | 20 experimental | 14:49 |
@wiking | so bascially reflection? | 14:49 |
gf712 | potentially | 14:49 |
gf712 | yes | 14:49 |
gf712 | you can do all sorts of hackery | 14:50 |
gf712 | basically ask what methods a class has | 14:50 |
@wiking | yep | 14:50 |
gf712 | enum representations | 14:50 |
@wiking | like in other langs :) | 14:50 |
@wiking | where reflection is supported | 14:50 |
gf712 | yea but compile time | 14:50 |
@wiking | hehe :) | 14:51 |
gf712 | not some silly runtime stuff | 14:51 |
-!- durovo [~durovo@99.af.3da9.ip4.static.sl-reverse.com] has quit [Remote host closed the connection] | 14:51 | |
@wiking | btw | 14:51 |
@wiking | this says a lot | 14:51 |
@wiking | Authors: Mat?? Chochl?k chochlik@gmail.com, Axel Naumann axel@cern.ch, and David Sankel dsankel@bloomberg.net | 14: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 #shogun | 14:51 | |
gf712 | wiking: https://www.youtube.com/watch?v=CRDNPwXDVp0 | 14:52 |
gf712 | also constexpr vectors | 14:52 |
@wiking | isn't that std::array? :) | 14:52 |
gf712 | which I can't really wrap my head around | 14:52 |
gf712 | no, because you can push_back | 14:53 |
gf712 | at compile time | 14:53 |
gf712 | because the compiler does it in its own stack | 14:53 |
gf712 | from what I understand | 14:53 |
gf712 | constexpr void push_back(const T& x); | 14:56 |
gf712 | from http://open-std.org/JTC1/SC22/WG21/docs/papers/2018/p1004r0.pdf | 14:56 |
-!- geektoni [c1cdd24a@gateway/web/freenode/ip.193.205.210.74] has quit [Quit: Page closed] | 15:09 | |
gf712 | wiking: https://www.reddit.com/r/fakehistoryporn/comments/bsf1tb/theresa_may_resigning_2019/ | 15:10 |
@wiking | lol | 15:12 |
-!- wiking [~wiking@huwico/staff/wiking] has quit [Remote host closed the connection] | 16:22 | |
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun | 16:26 | |
-!- mode/#shogun [+o wiking] by ChanServ | 16:26 | |
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 248 seconds] | 16:31 | |
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun | 16:52 | |
-!- mode/#shogun [+o wiking] by ChanServ | 16:52 | |
-!- wiking [~wiking@huwico/staff/wiking] has quit [Ping timeout: 244 seconds] | 16:56 | |
-!- wiking [~wiking@huwico/staff/wiking] has joined #shogun | 17:16 | |
-!- mode/#shogun [+o wiking] by ChanServ | 17:16 | |
gf712 | wiking: 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 #shogun | 20: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!