egg|nomz|egg changed the topic of #kspacademia to: https://gist.github.com/pdn4kd/164b9b85435d87afbec0c3a7e69d3e6d | Dogs are cats. Spiders are cat interferometers. | Космизм сегодня! | Document well, for tomorrow you may get mauled by a ネコバス. | <UmbralRaptor> egg|nomz|egg: generally if your eyes are dewing over, that's not the weather. | <ferram4> I shall beat my problems to death with an engineer.
<egg|zzz|egg> !meow bofh
* Qboid meows at bofh
egg|phone|egg has joined #kspacademia
<UmbralRaptop> bofh: I just realized that there might be an episode (say, the season finale) that shows the events of the first AbramsTrek from the other side.
<UmbralRaptop> flags #KSPAcademia
<UmbralRaptop> list flags #KSPAcademia
<UmbralRaptop> er
* UmbralRaptop 🔪 chanserv
<UmbralRaptop> …
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a ſtabby keyboard
<egg|zzz|egg> whitequark: are you still taking депакотя?
<UmbralRaptop> Hrm. Cetrazine seems to actually work.
<UmbralRaptop> *cetrizine
* UmbralRaptop 🔪 spelling
<UmbralRaptop> *cetirizine
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a gregarious dream
<UmbralRaptop> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a contour meganeuropsis
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|cell|egg has joined #kspacademia
<egg|work|egg> bofh: why the german date format, https://twitter.com/bofh453/status/1027863572007866368
<kmath> <bofh453> Moulin de la Galette, 02.08.2018, ~02:30. https://t.co/L6wislNlmX
egg|phone|egg has quit [Ping timeout: 383 seconds]
APlayer has joined #kspacademia
APlayer has quit [Read error: Connection reset by peer]
* egg|work|egg stares at Qboid
<egg|work|egg> !pet Qboid
* Qboid pets Qboid
<egg|work|egg> hmm
<whitequark> egg|zzz|egg: not for a long time
<whitequark> it was making me dumb
<egg|work|egg> that's very odd
<egg|work|egg> does it always do that?
<egg|work|egg> (am I dumb?)
APlayer has joined #kspacademia
<egg|work|egg> whitequark: I did notice annoying side-effects on the nausea/liver side of things when tablets where insufficiently-slow release, but not becoming dumb
<whitequark> maybe it was just that i never became hypomanic anymore
<whitequark> same difference
<whitequark> i stopped caring about shit other than like, wasting time on internet and eating
<egg|work|egg> ow
<egg|work|egg> whitequark: how does going to котяland work in practice re. visas etc.?
* egg|work|egg pokes bofh in the ever-delayed котя visa
<whitequark> egg|work|egg: you need an invite
<whitequark> either from a private citizen or from a hotel
<whitequark> both are easy
<egg|work|egg> "you need an invite" so you are saying /mode #RU +i,
<whitequark> yes basically
ferram4 has quit [Ping timeout: 202 seconds]
<egg|work|egg> bofh: any clue where ⧧ (in its use as "thermodynamic", not as record mark) is from? I can find this usage in the literature but no idea what it really is or why https://www.ncbi.nlm.nih.gov/pubmed/27108991
ferram4 has joined #kspacademia
<egg|work|egg> bofh: wtf, on SNB mulsd is 5 cycles, addsd 3, on SKL they're both 4 according to Fog, and according to Intel mulsd is 3 and addsd is 4?!
<egg|work|egg> (latencies)
ferram4 has quit [Ping timeout: 202 seconds]
<kmath> <scanlime> https://t.co/j4yjJaXodL
ferram4 has joined #kspacademia
ferram4 has quit [Ping timeout: 202 seconds]
ferram4 has joined #kspacademia
ferram4 has quit [Ping timeout: 202 seconds]
tawny has quit [Ping timeout: 202 seconds]
ferram4 has joined #kspacademia
ferram4 has quit [Ping timeout: 202 seconds]
ferram4 has joined #kspacademia
ferram4 has quit [Ping timeout: 202 seconds]
ferram4 has joined #kspacademia
APlayer has quit [Ping timeout: 182 seconds]
mlbaker has quit [Ping timeout: 202 seconds]
mlbaker has joined #kspacademia
<bofh> egg|work|egg: wtf, addsd == mulsd == 3 (or 4) makes sense, but not one being 3 and the other 4. >_>
pthag has joined #kspacademia
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh an expressed base
<egg|zzz|egg> !pet bofh
* Qboid pets bofh
<egg|zzz|egg> !meow whitequark
* Qboid meows at whitequark
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a noisy psychohistory with a domain attachment
<egg|zzz|egg> https://twitter.com/whitequark/status/1027974420042788866 I think the *latest* xkcd might just bring differential geometers / geometric group theorists etc.
<kmath> <whitequark> the latest xkcd has really caused all the software thought leaders to come out of woodwork huh
<egg|zzz|egg> (also it has nerd-sniped me into looking at the CAT inequality again, halp)
<egg|zzz|egg> I guess it's the CАТ inequality really
<egg|zzz|egg> !u CАТ
<Qboid> U+0043 LATIN CAPITAL LETTER C (C)
<Qboid> U+0410 CYRILLIC CAPITAL LETTER A (А)
<Qboid> U+0422 CYRILLIC CAPITAL LETTER TE (Т)
<egg|zzz|egg> bofh: https://twitter.com/0xabad1dea/status/1027939775423098885 this reminds me i should get you decent writing implements next time you're around
<kmath> <0xabad1dea> I took one look at this picture (src: pen addict) and was like "oh, that's pilot blue black" and getting to the poi… https://t.co/xvz4W20X7t
<kmath> <0xabad1dea> @thinkpanzer guess I'll just have to stare at this for a while (src: jetp*ns) https://t.co/pPobs3rdne
<egg|zzz|egg> (but it's perle noire, the grammar in that image is wrong)
oeuf has joined #kspacademia
egg|zzz|egg has quit [Ping timeout: 383 seconds]
tawny has joined #kspacademia
<kmath> <stephentyrone> Less impressive: the following were also classified as "dog": https://t.co/AKA5cjtqbc
oeuf is now known as egg
<egg> So https://xkcd.com/2031/ is CАТ(0) if and only if it sums to more than 100 %
<egg> s/more/at least/
<Qboid> egg meant to say: So https://xkcd.com/2031/ is CАТ(0) if and only if it sums to at least than 100 %
<egg> otherwise it's a cone and it's not CАТ(0)
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
<bofh> oeuf: LOL
tawny has quit [Remote host closed the connection]
tawny has joined #kspacademia
<egg> bofh: what are you LOLing at eggsactly
<bofh> 19:19:43 <@oeuf> floating-point cats!!! https://twitter.com/stephentyrone/status/1027953650390507521
<kmath> <stephentyrone> Less impressive: the following were also classified as "dog": https://t.co/AKA5cjtqbc
<egg> bofh: Atlas is quite large
<egg> (mostly because I was petting ANBOcat and bofh)
<bofh> Accurate.
<bofh> And yes, Atlas is *surprisingly* large.
<kmath> <stephentyrone> @slava_pestov Atlas is like two standard cats on his own.
<egg> international prototype cat,
UmbralRaptor has joined #kspacademia
<__awang__> Oh, hey, this thing again
<__awang__> In Pony, 1/0 = 0
UmbralRaptop has quit [Ping timeout: 383 seconds]
<bofh> __awang__: I can understand reasons for that, even if it's mathematically batshit insane.
<__awang__> bofh: Yeah, it's not irrecoverably bad
<__awang__> idk, I suppose those of you more versed in that kind of stuff can criticize it better
<__awang__> I just turn on UBSan
<egg> I'm annoyed at that being technically-UB for floating point, I should get back to that discussino with Richard Smith
<egg> (Thank you Mario! But the behaviour is defined in another international standard!)
egg is now known as egg|zzz|egg
<egg|zzz|egg> I keep trying to read ctos and csos as some sort of weird trigonometric lines https://twitter.com/whitequark/status/1027974742060552198
<kmath> <whitequark> i feel like "ctos and csos of some of the biggest companies on the planet have public shoutouts and/or meltdowns be… https://t.co/qsCASDBDf3
<iximeow> that would be more useful probably
<iximeow> !wpn ctos and csos
* Qboid gives ctos and csos a red-black buffer overflow
<iximeow> yesssss
<egg|zzz|egg> !wpn iximeow
* Qboid gives iximeow an alpha fuzzer
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a line perfluorocarbon
<__awang__> egg|zzz|egg: Wait, 1/0 is technically UB for floating point?
<egg|zzz|egg> yes the C++ standard is daft
<__awang__> Or just UB for non-IEEE 754?
<egg|zzz|egg> it's UB, there's an explicit clause that says so for arithmetic types and no exclusion of floating point
<egg|zzz|egg> otoh, any remotely decent real-life implementation will follow the behaviour defined in IEEE 754
<egg|zzz|egg> this used not to be a problem
<__awang__> Oh, you're talking about C++
<egg|zzz|egg> but now with constexpr UB implies not constexpr, so this stupidity of the standard becomes visible
<__awang__> Right, C/C++ floating point isn't IEEE 754
<__awang__> And ints aren't two's complement
<__awang__> I've read way too many complaints on HN about those
<egg|zzz|egg> __awang__: it's not that, you *can* be IEEE 754 compliant (there's even a flag somewhere to check that), but division by 0 is still *explicitly* UB
<egg|zzz|egg> which you used not to care about, because your behaviour was defined in another standard :-p
<__awang__> numeric_limits<>::is_iec_559, right?
<egg|zzz|egg> yeah
<__awang__> Hm
<egg|zzz|egg> the fact that UB implies compilation error in constexpr is what makes it more than standards pedantry, and a pain in the arse
<__awang__> Do all compilers interpret UB in constexpr as resulting in an error, or just clang?
<egg|zzz|egg> the standard mandates it, so standard compliant compilers must (whereas for what happens at runtime, the standard ceases to say anything, and in practice you just get infinity and no time lords appear)
<egg|zzz|egg> MSVC happens to allow constexpr division by 0
<egg|zzz|egg> MSVC also allows addition/subtraction on infinities, and it's not clear at all whether that's defined; clang doesn't allow it
<egg|zzz|egg> anyway, this is all very daft
<__awang__> What are you doing that ends up with constexpr division by 0?
<egg|zzz|egg> I don't have a constexpr division by 0, but I do have constexpr addition/subtraction of infinities
<__awang__> Hrm
APlayer has joined #kspacademia
pthag has quit [Remote host closed the connection]
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh an organometallic optocoupler
<__awang__> !wpn -add:adj dimethylmercury
<Qboid> __awang__: Adjective added!
<__awang__> !wpn -add:adj methylmercury
<Qboid> __awang__: Adjective added!
* __awang__ hochos Word's kerning algorithm(s)
* UmbralRaptor hochos jekyll in the documentation
<UmbralRaptor> So, uh, it *leaves out* steps.
<UmbralRaptor> Steps that are explicitly mentioned on stack overflow.