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.
<awang> Is there a "short name" for the dimension of a point and/or cartesian coordinate system
<awang> Like "cartesian coordinate of order 3"
<awang> Or something like that?
awang has quit [Ping timeout: 186 seconds]
<UmbralRaptor> R³?
<UmbralRaptor> (Yes, I know that's not the right R)
awang has joined #kspacademia
e_14159 has quit [Ping timeout: 186 seconds]
e_14159 has joined #kspacademia
tawny- has joined #kspacademia
Snoozee is now known as Majiir
tawny has quit [Ping timeout: 182 seconds]
Majiir is now known as Snoozee
tawny has joined #kspacademia
tawny- has quit [Ping timeout: 207 seconds]
<UmbralRaptor> !u ꧁꧂
<Qboid> U+A9C1 JAVANESE LEFT RERENGGAN (꧁)
<Qboid> U+A9C2 JAVANESE RIGHT RERENGGAN (꧂)
<iximeow> !wpn left rerenggan
* Qboid gives left rerenggan a SOX-compliant engineer
<UmbralRaptor> Apparently Javanese has flourishes that go around official titles. https://en.m.wikipedia.org/wiki/Javanese_script
<UmbralRaptor> Also, apparently One can get a passable Zalgo with Sumerian.
<rqou> hi folks, i need linear algebra help (surprise!)
<rqou> i need to show that given a jordan block, i can compute a matrix P such that A^T P + P A <= 0 where P=P^T > 0
<rqou> where the jordan block has all strictly negative eigenvalues
<rqou> i can demonstrate to myself that this is true, but i want a more elegant way to show it other than a giant pile of indices and sums
<bofh> !u ꧁꧂꧁꧂
<Qboid> U+A9C1 JAVANESE LEFT RERENGGAN (꧁)
<Qboid> U+A9C2 JAVANESE RIGHT RERENGGAN (꧂)
<Qboid> U+A9C1 JAVANESE LEFT RERENGGAN (꧁)
<Qboid> U+A9C2 JAVANESE RIGHT RERENGGAN (꧂)
<bofh> UmbralRaptor: yeah, I'm impressed at Sumerian Zalgo
<bofh> rqou: by "<=0" you mean the expression on the left is negative semidefinite, or?
<rqou> it should be all entries nonpositive
<bofh> oh. hrm.
<rqou> i can show it with "brute force"
<rqou> i think/hope
whitequark has quit [Ping timeout: 207 seconds]
whitequark has joined #kspacademia
<egg|zzz|egg> !u 𒅄
<Qboid> U+12144 CUNEIFORM SIGN IDIM OVER IDIM SQUARED (𒅄)
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a plaid expansion
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Ping timeout: 198 seconds]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|mobile|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has quit [Ping timeout: 186 seconds]
tawny has quit [Ping timeout: 383 seconds]
<egg|work|egg> !wpn whitequark
* Qboid gives whitequark a just-in-time cathode ray tube
egg|phone|egg has joined #kspacademia
egg|mobile|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
APlayer has joined #kspacademia
egg|phone|egg has joined #kspacademia
egg|mobile|egg has joined #kspacademia
egg|phone|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|cell|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: -0x1: UNKNOWN ERROR CODE (0001)]
egg|mobile|egg has quit [Ping timeout: 186 seconds]
tawny has joined #kspacademia
tawny has quit [Ping timeout: 186 seconds]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 186 seconds]
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
APlayer has quit [Ping timeout: 182 seconds]
awang has quit [Ping timeout: 182 seconds]
ferram4_ has joined #kspacademia
ferram4 has quit [Read error: Connection reset by peer]
awang has joined #kspacademia
<awang> Anyone here use the range-v3 C++ library?
APlayer has joined #kspacademia
<awang> Also, why does GCC seem to generate a ridiculous amount of code compared to Clang?
<awang> 600 lines of assembly to delete pointers from a map, with GCC 7.3, compared to 157 lines of assembly with Clang 5.0
<awang> Granted, I haven't actually run the code to see if there's a performance difference, but still...
<awang> To be fair, GCC trunk does significantly better
<awang> 211 lines of assembly
<awang> Hmmm
<awang> Maybe loop unrolling?
<awang> GCC 7.3 generates 146 lines of assembly with -O2 instead of -O3
<bofh> Oh gods did it autovectorize?
<bofh> Mind pastebinning the asm and/or using gotbolt.org?
<awang> Dangit, closed the tab
<awang> Hold on a bit
<awang> I was originally trying to see what overhead ranges would have, if any
<awang> And yeah, structure isn't the nicest, but I just nabbed it from the existing codebase to experiment with
<awang> FWIW, I didn't see any vectorized instructions
<awang> But there's a lot of assembly there
<awang> idk what MSVC can/can't do, because apparently the one on godbolt doens't support structured bindings
<awang> Also, wow ranges generate a ton of code with -O0
<bofh> awang: wtfffffff
<bofh> also ugh godbolt plz don't filter asm directives by default
<bofh> okay most of that code is an implementation of <map>
<bofh> -O3 is interestingly overzealous, -O2 is much more sane (or -O3 -fno-unroll-loops)
APlayer has quit [Ping timeout: 383 seconds]
<awang> bofh: I know, right?
<awang> So does GCC just not drop unnecessary code with -O3 for some reason?
<awang> Or is the extra stuff actually unrolled loops?
<awang> I should really try to get this under a benchmark to see if the extra instructions are worth it
Technicalfool has quit [Ping timeout: 182 seconds]
tawny has joined #kspacademia
<kmath> <jeff_foust> Lightfoot: we’re counting on TESS and JWST to fill astrophysics needs for quite a period of time. [hmmm…]
<UmbralRaptor> Euclid would do the astrophysics better than TESS. Is Lightfoot thinking of eggsoplanets?
egg|phone|egg has joined #kspacademia
egg|mobile|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has quit [Ping timeout: 186 seconds]
egg|mobile|egg has quit [Read error: Connection reset by peer]
APlayer has joined #kspacademia
egg|phone|egg has joined #kspacademia
UmbralRaptor has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
<bofh> UmbralRaptop: I'm not sure Lightfoot has a very good idea of the agency he runs, tbqh.
<kmath> <LauraForczyk> NASA's Lightfoot: Canceling @NASAWFIRST would leave a gap in astrophysics data but we can get that data another way… https://t.co/6kmH7q80Ml
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptor has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptor has quit [Client Quit]
UmbralRaptop has joined #kspacademia
UmbralRaptop has quit [Remote host closed the connection]
UmbralRaptop has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 182 seconds]
pixelfox has joined #kspacademia
pixelfox has quit []
UmbralRaptor has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
<bofh> https://twitter.com/dakami/status/971131871621885953 this is a *literal* embedded management IC rube goldberg machine.
<kmath> <✔dakami> Spy vs Spy is old and busted ⏎ Bug vs Debug is the new hotness ⏎ ⏎ /cc @surface https://t.co/6LTus0l93y
<bofh> OH MY GODS SOMEONE HOOKED UP A VUVUZELA TO AN AIR MATTRESS PUMP HERE
<UmbralRaptop> o_O
<UmbralRaptop> Proposal: hook up vuvuzelas to tanks of nitrogen (or compressed air), argon, and helium. Compare the sounds.
<bofh> Hm, good call, tho I'm really wary about the helium bit without any easy means of recollecting it :P
<whitequark> eh, it's really not a lot of helium
<whitequark> last time i looked recreational uses of helium were so miniscule they didn't even register in the statistics as a separate category
<bofh> True.
<UmbralRaptop> Recreational sounds like you're going to get high off of it.
<bofh> I actually am curious about how notable the pitch shift'd be, since it's a fairly simple resonator and gives you a B♭ (~233Hz) given air.
<bofh> and how accurately simple computational algorithms'd be at predicting it.
<whitequark> UmbralRaptop: well if you inhale it your voice will get high.
<UmbralRaptop> Well, yes.
<bofh> Also under high partial pressures He will give you high-pressure nervous syndrome, which is bizarrely a bit like inverse Nitrogen narcosis.
ferram4_ is now known as ferram4
<APlayer> Well shit. I just spent at least half an hour figuring out why this Arduino sketch stopped working. Turns out, analogWrite() takes the pin number as first argument and the value as the second one, not vice verse
<APlayer> vera*
<APlayer> versa*
<SnoopJeDi> I kinda wish that beer carbonated with helium thing wasn't a complete hoax
<APlayer> What'd be the benefit?
<SnoopJeDi> Although it turns out ACS did a nice article about some enterprising chemists who did their own proper beer off helium, which was...well, flat.
<SnoopJeDi> APlayer, "benefit?" :P
<SnoopJeDi> The fake video was a beer that raised the pitch of your voice a la inhaling helium, but helium isn't very soluble in water so
<kmath> <JanelleCShane> .@mikepqr Great talk on interpretability, nice to see my favorite husky/wolf picture! And thanks for plugging my ta… https://t.co/xrJBhdDyA8
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a serious von Neumann construction
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a pulse generator with a bomb attachment
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a protected bolter
awang has quit [Ping timeout: 383 seconds]
UmbralRaptop has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
UmbralRaptop has joined #kspacademia
<UmbralRaptop> ;8ball Will this electrodynamics test kill me?
<kmath> UmbralRaptop: My sources say no
<UmbralRaptop> ;8ball Will this electrodynamics test maim me?
<kmath> UmbralRaptop: Cannot predict now
awang has joined #kspacademia
<SnoopJeDi> ;8wall Will this electrodynamics test transform UmbralRaptop?
<SnoopJeDi> um
<SnoopJeDi> ;8ball Will this electrodynamics test transform UmbralRaptop?
<kmath> SnoopJeDi: Yes definitely
<UmbralRaptop> Solve for this dromeosaur using Green's Function…
<bofh> LOL
<kmath> <✔ACLU> Court rules: Your religion can't be used as an excuse to fire a transgender person.
<SnoopJeDi> "Your right to swing your fist ends where the other person's nose begins."
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptor has quit [Client Quit]
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 383 seconds]
UmbralRaptor has quit [Read error: Connection reset by peer]
UmbralRaptop has joined #kspacademia
kmath has quit [Ping timeout: 207 seconds]
awang has quit [Killed (NickServ (GHOST command used by awang_))]
awang_ has joined #kspacademia
Sarbian has quit [Ping timeout: 207 seconds]
SilverFox has quit [Ping timeout: 207 seconds]
soundnfury has quit [Ping timeout: 207 seconds]
X has quit [Ping timeout: 207 seconds]
X has joined #kspacademia
Sarbian has joined #kspacademia
SilverFox has joined #kspacademia
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a zygohistomorphic extinguisher
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop an Ada timestamp
<bofh> egg|zzz|egg: https:/twitter.com/ridingrobots/status/971225776270991360
APlayer has quit [Ping timeout: 182 seconds]
<egg|zzz|egg> bofh: well yes, what else would you call Herschel and Le Verrier
<egg|zzz|egg> from the replies "New Horizons visiting Planet Tombaugh"
<egg|zzz|egg> bofh: update: https://github.com/mockingbirdnest/Principia/issues/1741#issuecomment-371301358 (cc whitequark, UmbralRaptop)
<Qboid> [#1741] title: Bizarre trajectories in frames tied to Pol | Reported by [Eriksonn](https://forum.kerbalspaceprogram.com/index.php?/profile/177612-eriksonn/) on the forum:... | https://github.com/mockingbirdnest/Principia/issues/1741
<egg|zzz|egg> Vibrating Pol!
<egg|zzz|egg> (phl's comment about the z vs. xy coords is BS, will edit that)
<egg|zzz|egg> !seen Thomas
<Qboid> egg|zzz|egg: I haven't seen the user Thomas yet.
<egg|zzz|egg> !tell Thomas non-BMP unicode got garbled again: https://logs.tmsp.io/kspacademia/2017-10-17#1072402;
<Qboid> egg|zzz|egg: I'll redirect this as soon as they are around.
<egg|zzz|egg> 𓏇𓇋𓅱𓃠
<egg|zzz|egg> seems to have been a migration, the above looks fine in the logs
<SilverFox> is '\x1 the first ascii character, or the char for number 1?
<egg|zzz|egg> '\x1 is a sequence of four characters from the universal coded character set, namely, APOSTROPHE, REVERSE SOLIDUS, LATIN SMALL LETTER X, and DIGIT ONE :-p
<X> I am a sequence of 1 character from the universal coded character set!
<egg|zzz|egg> !acr -add:UCS Universal Coded Character Set
<Qboid> egg|zzz|egg: I already know an explanation for UCS! (Update it with !acr -update:UCS Universal Coded Character Set)
<egg|zzz|egg> X: yes but you are LATIN CAPITAL LETTER X, you are not smol
<egg|zzz|egg> UCS?
<Qboid> egg|zzz|egg: [UCS] => Universal Character Set
<egg|zzz|egg> wait make up your mind ISO https://www.iso.org/standard/56921.html
<egg|zzz|egg> ISO/IEC 10646:2012
<egg|zzz|egg> Information technology -- Universal Coded Character Set (UCS)
<egg|zzz|egg> ISO/IEC 10646:2012 specifies the Universal Character Set (UCS).
<egg|zzz|egg> is it coded or not
<SilverFox> egg, C# gave that sequence to me when I used Convert.ToChar(1)
<egg|zzz|egg> ah, you meant in C#
<SilverFox> im trying to convert between char form and number form, because the length of numbers I was dealing with were rather large
<SilverFox> this was my drunken adventures into superpermutations
<egg|zzz|egg> assuming you forgot the closing ', '\x1' is a literal of type System.Char, which represents the character U+0001
<egg|zzz|egg> (it represents the UTF-16 code unit 1, but since it's not a surrogate it's also an actual character so it's all good)
<SilverFox> so how many do I have to offset before I get to the actual utf code for the number 1?
<egg|zzz|egg> SilverFox: and if you need a multiprecision library get one, don't do silly character fuckery
<SilverFox> I've ended the project, so im not being serious, I just wanted to get the char conversion correct so I could at least learn how to convert chars in the future
<egg|zzz|egg> you likely shouldn't do this, but (char)('0' + digit) (where digit should an integer in [0, 9]
<egg|zzz|egg> )
<SilverFox> cool, thanks
<SilverFox> !csharp (char)('0'+ (1+1))
<Qboid> '2'
<SilverFox> nice
<egg|zzz|egg> kmath?
<egg|zzz|egg> kmath!
<egg|zzz|egg> icefire: kmath!
<egg|zzz|egg> !page icefire
<bofh> !u ¯\_(㊙_㊙)_/¯
<Qboid> bofh: Too many characters! (Maximum: 10)
<bofh> !u (㊙_㊙)
<Qboid> U+0028 LEFT PARENTHESIS (()
<Qboid> U+3299 CIRCLED IDEOGRAPH SECRET (㊙)
<Qboid> U+005F LOW LINE (_)
<Qboid> U+3299 CIRCLED IDEOGRAPH SECRET (㊙)
<Qboid> U+0029 RIGHT PARENTHESIS ())
<egg|zzz|egg> wait how is that more than 10
<egg|zzz|egg> !u ¯\_(
<Qboid> U+00AF MACRON (¯)
<Qboid> U+005C REVERSE SOLIDUS (\)
<Qboid> U+005F LOW LINE (_)
<Qboid> U+0028 LEFT PARENTHESIS (()
<egg|zzz|egg> ah because 5+6=11.
<bofh> 5+6==11>10? :P
<egg|zzz|egg> yes.
<egg|zzz|egg> I'm a mathematician, not an FPU damn it :-p
<bofh> !u 𓁈𓐛𓁱𓆔𓀓𓌎𓏽𓀲𓄘𓅟
<Qboid> bofh: Too many characters! (Maximum: 10)
<bofh> !u 𓁈𓐛𓁱𓆔𓀓𓌎𓏽𓀲𓄘
<Qboid> U+13048 EGYPTIAN HIEROGLYPH A063 (𓁈)
<Qboid> U+1341B EGYPTIAN HIEROGLYPH AA013 (𓐛)
<Qboid> U+13071 EGYPTIAN HIEROGLYPH C020 (𓁱)
<Qboid> U+13194 EGYPTIAN HIEROGLYPH I010A (𓆔)
<Qboid> U+13013 EGYPTIAN HIEROGLYPH A016 (𓀓)
<Qboid> U+1330E EGYPTIAN HIEROGLYPH T007 (𓌎)
<Qboid> U+133FD EGYPTIAN HIEROGLYPH Z015C (𓏽)
<Qboid> U+13032 EGYPTIAN HIEROGLYPH A043 (𓀲)
<Qboid> U+13118 EGYPTIAN HIEROGLYPH F024 (𓄘)
<awang_> kmath?
<awang_> kamth?!
<awang_> kkkmaaaaaath!!!!!
<egg|zzz|egg> !tell icefire kmath
<Qboid> egg|zzz|egg: I'll redirect this as soon as they are around.
<egg|zzz|egg> !tell kmath icefire
<Qboid> egg|zzz|egg: I'll redirect this as soon as they are around.
<awang_> bofh: Bit of translation help pls :(
<bofh> awang_: it's Lorem Ipsum with nonsense Get
<bofh> awang_: it's Lorem Ipsum with nonsense German words thrown in*
<SilverFox> lol why does kmath keep dying?
<awang_> bofh: Ah, I see. That's why it looked familiar
<awang_> Sorry for killing the joke :(
<bofh> no worries :3
armed_troop has quit [Quit: Bye]
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a hyperfine ideograph
armed_troop has joined #kspacademia