UmbralRaptor 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. | We can haz pdf
e_14159 has quit [Quit: No Ping reply in 180 seconds.]
e_14159 has joined #kspacademia
SilverFoxy has quit [Ping timeout: 378 seconds]
<oeuf> !wpn whitequark
* galois gives whitequark an activated pterodactyl with a polynomial attachment
<oeuf> !wpn -add:adj modular
<galois> Added adj 'modular'
<oeuf> !wpn -add:adj remainder
<galois> Added adj 'remainder'
<oeuf> !wpn -del:adj remainder
<galois> Deleted adj 'remainder'
<oeuf> !wpn -add:adj remainder
<galois> Added adj 'remainder'
<oeuf> !wpn -del:adj remainder
<galois> Deleted adj 'remainder'
<oeuf> !wpn -del:wpn remainder
<galois> Entry does not exist.
<oeuf> i am not very good at this
<oeuf> !wpn -add:wpn remainder
<galois> Added wpn 'remainder'
<oeuf> !wpn -add:adj chinese
<galois> Added adj 'chinese'
<oeuf> !wpn -add:adj theorem
<galois> Added adj 'theorem'
<oeuf> !wpn whitequark
* galois gives whitequark a convex quintic vulture with a 0x5f3759df attachment
<whitequark> shouldn't theorem be a wpn not adj
<oeuf> whitequark: you are rigth
<oeuf> see also: i am not very good at this
<oeuf> !wpn -del:adj theorem
<galois> Deleted adj 'theorem'
<oeuf> !wpn -del:wpn theorem
<galois> Entry does not exist.
<oeuf> !wpn -add:wpn theorem
<galois> Added wpn 'theorem'
<oeuf> !wpn -add:wpn lemma
<galois> Entry already exists!
<oeuf> !wpn -add:wpn proposition
<galois> Added wpn 'proposition'
<oeuf> !wpn -add:wpn postulate
<galois> Added wpn 'postulate'
<oeuf> !wpn -add:wpn axiom
<galois> Added wpn 'axiom'
<oeuf> !wpn whitequark
* galois gives whitequark a teapot
<oeuf> hm
<oeuf> should I make tea
<oeuf> wait no it's 2:51
<oeuf> why is it 2:51
<oeuf> I keep reading kotyan khan as котя khan
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
<egg|zzz|egg> whitequark: hm, calling conventions are fun https://gcc.godbolt.org/z/_CPS-5
<egg|zzz|egg> whitequark: do you happen to know which calling convention clang uses by default here? I wasn't able to understand/find the relevant docs
<whitequark> uhhh, give me a sec
<whitequark> egg|zzz|egg: hang on
<whitequark> are you comparing clang on linux with msvc?
<egg|zzz|egg> whitequark: I'm comparing clang on linux with two MSVCs that use different calling conventions
<egg|zzz|egg> /Gv is vectorcall, the one without a flag is cdecl
<egg|zzz|egg> whitequark: context is revisiting how we pass quantities in Principia; right now it's by reference because the benchmarks had pointed that way a while ago, but it looks like this is the calling convention's fault
<whitequark> oh
<whitequark> let's see
<whitequark> egg|zzz|egg: ok so if the IR doesn't specify a calling convention it means it uses "ccc"
<whitequark> which is well the c convention
<egg|zzz|egg> hmm
<whitequark> however, LLVM only handles a part of the lowering there
<whitequark> and if you're passing structures by value clang does some of the work itself
<whitequark> (one of the major LLVM warts)
<egg|zzz|egg> yeah, because clang doesn't do the same thing as MSVC without Gv
<whitequark> that said
<egg|zzz|egg> (which is actually cdecl)
<whitequark> your struct is equivalent to just double
<egg|zzz|egg> yes
<whitequark> so what do you want?
<egg|zzz|egg> whitequark: I want it to be treated no worse than double
<egg|zzz|egg> which it seems vectorcall mostly achieves
<whitequark> hm
<whitequark> but... isn't it treated exactly like double on linux?
<egg|zzz|egg> yeah, it is, because clang doesn't adhere to cdecl
<egg|zzz|egg> otoh, with MSVC by default, it doesn't
<egg|zzz|egg> with /Gv it mostly behaves like a double (ignoring the fact that the optimizer gets a bit confused but shrug)
<whitequark> does linux even *have* cdecl?
<whitequark> as far as i know you have basically one option on x86_64 linux: the system v abi
egg|zzz|egg has quit [Remote host closed the connection]
egg|zzz|egg has joined #kspacademia
<egg|zzz|egg> whitequark: ah, I didn't know
<whitequark> iirc even macos uses the same ABI
<kmath> <girlandkat> I only ever see this cow train late at night, which always makes me suspect I hallucinated it. https://t.co/eyYFia362g
egg|zzz|egg has quit [Remote host closed the connection]
egg|zzz|egg has joined #kspacademia
egg|zzz|egg has quit [Remote host closed the connection]
egg|zzz|egg has joined #kspacademia
SilverFoxy has joined #kspacademia
SilverFoxy has quit [Ping timeout: 198 seconds]
SilverFoxy has joined #kspacademia
SilverFoxy has quit [Ping timeout: 378 seconds]
SilverFoxy has joined #kspacademia
SilverFoxy has quit [Ping timeout: 378 seconds]
<egg|zzz|egg> !wpn
* galois gives egg|zzz|egg a frustum
<egg|zzz|egg> !wpn whitequark
* galois gives whitequark a rubidium octupole panzerfaust with a robin attachment
<egg|zzz|egg> !wpn UmbralRaptop
* galois gives UmbralRaptop a dull katana with a contract attachment
<UmbralRaptop> Contractual obligations require not stabbing
<UmbralRaptop> !wpn egg
* galois gives egg an americium large flap
<UmbralRaptop> !8 Will Silver line phase 2 finish before JWST launches?
<UmbralRaptop> galois?
<galois> UmbralRaptop: yes
egg|zzz|egg has quit [Remote host closed the connection]
egg|zzz|egg has joined #kspacademia
raptop has joined #kspacademia
<raptop> ...I swear, most astronomical sites are actually terrible about describing how good/bad their weather is. Especially in terms of useable conditions wrt clouds (and to a lesser eggstent wind and humidity)
<raptop> Oh, hey, this Sutherland/SAAO test has a monthly breakdown.
<raptop> ...for a total of 1 year of observations (maybe intermittent)
egg|zzz|egg has quit [Remote host closed the connection]
<egg|cell|egg> !wpn
* galois gives egg|cell|egg a hadron
<egg|cell|egg> !wpn whitequark
* galois gives whitequark a singular massless bayonette
SilverFoxy has joined #kspacademia
SilverFoxy has quit [Quit: Leaving]
<SilverFox> can Lidar be sent through a fibre optic cable?
* raptop guesses yes. Something something 1064 nm lasers
<raptop> !wpn egg|cell|egg
* galois gives egg|cell|egg an ANBO hexaflexagon
<egg|cell|egg> Meow
<SilverFox> raptop, sweet, I'ma patent that shit
* raptop rubs a laptop against egg|cell|egg's cheeks
<raptop> SilverFox: stab stab stabbity stab stab
<SilverFox> lmao I have a specific usecase that *should* be patentable, in automotive
<B787_300> "On Nov. 19, 2019, the National Transportation Safety Board released a recommendation to the Federal Aviation Administration, calling for a mandatory repair of the engines on all 7,000 Boeing 737 Next Generation (NG) aircraft. The recommendation came as a result of an incident in April of 2018 involving a jet engine exploding on a Southwest 737 NG. " how did i miss this
<B787_300> wrong channel
<SilverFox> interesting
<raptop> "wrong"
<raptop> Also, *exploding?*
<raptop> At least it didn't do an American Airlines Flight 191?
<SilverFox> the 737 came out in like, the 60
<SilverFox> 's though?
<SilverFox> 60's*
<SilverFox> when did NG come out?
<B787_300> early 00's IIRC
<B787_300> and raptop it was the wrong channel as i wanted to point it out to sasamj
<raptop> ah
<SilverFox> is there a reason why you cant name it like, incrementally and not use the NG moniker?
<raptop> Like the DC-8/MD-80/MD-90/717?
<B787_300> raptop: need to add the ARJ21 to that list
<galois> [WIKIPEDIA] Comac ARJ21#Design | "The Comac ARJ21 Xiangfeng (Chinese: 翔凤; pinyin: xiángfèng; literally: 'Soaring Phoenix') is a twin-engined regional jet, manufactured by the Chinese State owned aerospace company Comac...."
<raptop> hrm