egg|zzz|egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Chasles. We currently target 1.2.2, 1.3.0, and 1.3.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
e_14159 has quit [Ping timeout: 186 seconds]
e_14159 has joined #principia
egg is now known as egg|zzz|egg
UmbralRaptor is now known as WitchingRaptor
icefire has quit [Read error: Connection reset by peer]
lamont_ has joined #principia
WitchingRaptor is now known as UmbralRaptor
lamont_ has quit [Quit: lamont_]
lamont_ has joined #principia
lamont_ has quit [Client Quit]
lamont_ has joined #principia
lamont_ has quit [Client Quit]
lamont_ has joined #principia
lamont_ has quit [Client Quit]
Jack-o-Melon has joined #principia
lamont_ has joined #principia
NolanSyKinsley has quit [Read error: Connection reset by peer]
lamont_ has quit [Quit: lamont_]
Rokker has quit [Quit: Connection closed for inactivity]
Jack-o-Melon has quit [Ping timeout: 183 seconds]
ferram4 has quit [Ping timeout: 383 seconds]
Hypergolic_Skunk has joined #principia
ferram4 has joined #principia
icefire has joined #principia
egg|zzz|egg is now known as egg
NolanSyKinsley has joined #principia
egg|phone|egg has joined #principia
egg|mobile|egg has joined #principia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has quit [Ping timeout: 204 seconds]
Rokker has joined #principia
egg|phone|egg has joined #principia
egg|mobile|egg has quit [Ping timeout: 183 seconds]
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #principia
egg|cell|egg has joined #principia
egg|mobile|egg has joined #principia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has quit [Ping timeout: 198 seconds]
egg is now known as egg|tea|egg
NolanSyKinsley has quit [Ping timeout: 186 seconds]
NolanSyKinsley has joined #principia
egg|tea|egg is now known as egg
Chervilpaw has joined #principia
<Chervilpaw> hi egg
<egg> hello
lamont_ has joined #principia
lamont_ has quit [Quit: lamont_]
Jack-o-Melon has joined #principia
Jack-o-Melon has quit [Read error: Connection reset by peer]
Jack-o-Melon has joined #principia
Jesin has joined #principia
<GH> [Principia] eggrobin opened pull request #1613: A function to compute the downsampling error (master...downsampling-algorithm) https://git.io/vdAG7
icefire has quit [Read error: Connection reset by peer]
Jesin has quit [Quit: Leaving]
icefire has joined #principia
<awang> I can't help but think that void_if_exists already has a standard library equivalent...
<egg> not that I know of
<egg> we should really make a traits lib and do more of our stuff with static_assert rather than sfinae, yields nicer errors
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
<awang> Never mind, it's C++17 only
<awang> std::void_t
<awang> It also uses variadic templates instead of a single template argument, but that's it
<awang> Or wait for Concepts? :P
<awang> Then you can have the best errors
<egg> Concepts, c++any century now
<egg> used to be planned for 17 iirc? now it's a TS for 20 :-p
<awang> Yep
<awang> Basically got merged as soon as C++17 was finalized
<awang> Also, looks liked std::void_t may still be buggy? https://github.com/facebook/folly/commit/d4bba1e7771d33ff5af498e1bb487822610f88e6
<awang> And strictly speaking static_assert can't replace everything SFINAE does, right?
<egg> it can't but there are plenty of cases where we don't need sfinae
<egg> and where you want error messages when something is wrong-in-principle
<egg> eggsample
<egg> Length a; Speed b; a+b does not compile, by telling you that there is no overload of operator+
<egg> and then it goes on to list all the overloads that it's not, it's not length+length, speed+speed, vector+position, whatever
<egg> really you would just want a thing that says "we're doing quantity+quantity and the quantities are not homogeneous, gtfo"
<awang> Ah, right
<awang> i.e. where Concepts should go :P
egg is now known as egg|zzz|egg
MrSavage has joined #principia