raptop 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
<mofh> egg|zzz|egg: but why would you want cotg of that? :p
<egg|zzz|egg> mofh: retrograde equinoctial elements
<egg|zzz|egg> the egguinoctial elements behave well under integration, and are thus well suited to filtration into mean elements
<egg|zzz|egg> mofh: but they still have a singularity at i = π, which you eliminate by replacing tg i/2 by cotg i/2
* UmbralRaptor throws SGDQ at SilverFox
<SilverFox> havent seen that in a while actually
<egg|zzz|egg> mofh: should i do orbit analysis or play soviet republic or sleep
<UmbralRaptor> egg|zzz|egg: you should command your workers to build computers to do the orbit analysis in your sleep
<egg|zzz|egg> hmmm
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
<egg|zzz|egg> https://github.com/solvespace/solvespace/pull/387#discussion_r276488898 augh const on parameters in declarations
<egg|zzz|egg> (I'm used to working with tooling that explicitly warns against it, because if you're used to consting all the things it's easy to get a bit confused https://clang.llvm.org/extra/clang-tidy/checks/readability-avoid-const-params-in-decls.html)
<mofh> egg|zzz|egg: soviet republic, clearly,
<mofh> :p
<egg|zzz|egg> (introducing that in a dedicated "cleanup" CL is, um, wtf)
<egg|zzz|egg> mofh: should i continue on my eggsisting republic with the new update
<egg|zzz|egg> and suddenly bestow cars upon them
<mofh> I can't see why not,
<egg|zzz|egg> sidereal period -6.06039623242239850e+03 s
<egg|zzz|egg> something is slightly fishy there,
<mofh> uhm
<mofh> you don't say,
<uovo> oh
<uovo> my ω and ν have the wrong sign for retrograde orbits
<mofh> rofl
<mofh> wait, ν is signed based on prograde/retrograde? I thought only ω was.
<egg|zzz|egg> mofh: okay +6.05806799460061484e+03 s is better
<egg|zzz|egg> mofh: no, neither is
<egg|zzz|egg> they're both counted in the direction of the orbit, that's the only sensible convention
<egg|zzz|egg> but I signed them in the northern direction instead, so they had the wrong sign for retrograde orbits
<egg|zzz|egg> мяу
<_whitenotifier-5dfc> [Principia] eggrobin opened pull request #2225: Fix the signs of ω and ν for retrograde orbits - https://git.io/fjoPx
egg|zzz|egg has quit [Ping timeout: 198 seconds]
<B787_300> egg: so how melted are you?
<B787_300> or mofh arent you also in France
egg|zzz|egg has joined #kspacademia
egg|zzz|egg has quit [Ping timeout: 190 seconds]
egg|zzz|egg has joined #kspacademia
egg|zzz|egg has quit [Ping timeout: 206 seconds]
<_whitenotifier-5dfc> [Principia] pleroy opened pull request #2226: Next release is Ferrari - https://git.io/fjoDL
<_whitenotifier-5dfc> [Principia] Pending. Build queued… - 
<_whitenotifier-5dfc> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3714/
<_whitenotifier-5dfc> [Principia] Pending. Build queued… - 
<_whitenotifier-5dfc> [Principia] eggrobin labeled pull request #2226: Next release is Ferrari - https://git.io/fjoDL
egg|zzz|egg has joined #kspacademia
<_whitenotifier-5dfc> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3714/
<_whitenotifier-5dfc> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3715/
<_whitenotifier-5dfc> [Principia] pleroy pushed 2 commits to master [+0/-0/±2] https://git.io/fjoD0
<_whitenotifier-5dfc> [Principia] pleroy e4d0e5c - Next release is Ferrari.
<_whitenotifier-5dfc> [Principia] pleroy 887a1d6 - Merge pull request #2226 from pleroy/Ferrari Next release is Ferrari
<_whitenotifier-5dfc> [Principia] pleroy closed pull request #2226: Next release is Ferrari - https://git.io/fjoDL
<_whitenotifier-5dfc> [Principia] pleroy commented on pull request #2224: Fix errors found on Linux - https://git.io/fjoDz
<_whitenotifier-5dfc> [Principia] Pending. Build queued… - 
<egg|zzz|egg> hmmm also ʌ is allowed in C++ identifiers,
<mofh> 02:52:55 <@B787_300> or mofh arent you also in France
<mofh> yes this is why I've been bitching nonstop about the canicule this past week in IRC :p
<egg|zzz|egg> mofh: meow
<egg|zzz|egg> mofh: catpics
<mofh> egg|zzz|egg: out of the house atm, it's too hot to be in there
<egg|zzz|egg> mofh: but who will water the cats
<_whitenotifier-5dfc> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3715/
<_whitenotifier-5dfc> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3716/
<_whitenotifier-5dfc> [Principia] eggrobin opened pull request #2227: A mechanism to override version checking - https://git.io/fjoyV
<_whitenotifier-5dfc> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3716/
<_whitenotifier-5dfc> [Principia] Pending. Build queued… - 
<_whitenotifier-5dfc> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3717/
<_whitenotifier-5dfc> [Principia] pleroy closed pull request #2224: Fix errors found on Linux - https://git.io/fjoiB
<_whitenotifier-5dfc> [Principia] pleroy pushed 2 commits to master [+0/-0/±2] https://git.io/fjoy6
<_whitenotifier-5dfc> [Principia] pleroy b55c634 - Fix errors found on Linux.
<_whitenotifier-5dfc> [Principia] pleroy 305e303 - Merge pull request #2224 from pleroy/Linux Fix errors found on Linux
<_whitenotifier-5dfc> [Principia] pleroy labeled pull request #2227: A mechanism to override version checking - https://git.io/fjoyV
egg|zzz|egg has quit [Ping timeout: 202 seconds]
<_whitenotifier-5dfc> [Principia] pleroy opened pull request #2228: Take the thrust limiter into account. - https://git.io/fjoyD
<_whitenotifier-5dfc> [Principia] Pending. Build queued… - 
<_whitenotifier-5dfc> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3717/
<_whitenotifier-5dfc> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3718/
<_whitenotifier-5dfc> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3718/
<_whitenotifier-5dfc> [Principia] pleroy labeled pull request #2225: Fix the signs of ω and ν for retrograde orbits - https://git.io/fjoPx
egg|zzz|egg has joined #kspacademia
<kmath> <whitequark> it's actually only an "artesian well" if it's drilled in the Artois region of France. Otherwise it is called an "aquifier well"
<galois> [WIKIPEDIA] Puits artésien | "Un puits artésien est une exsurgence formant un puits où l'eau jaillit spontanément ou par forage. Ce phénomène a été mis en évidence pour la première fois par les moines de l'abbaye de Lillers, en Artois en 1126, d'où son nom...."
<mofh> I'm very amused how that one's actually true
<mofh> (or almost true, I don't think Artois has AOP'd the term (can you even do that?))
<_whitenotifier-5dfc> [Principia] pleroy opened pull request #2229: Remove 1.3.1 and add 1.7.2 - https://git.io/fjoSw
<_whitenotifier-5dfc> [Principia] Pending. Build queued… - 
<_whitenotifier-5dfc> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3719/
<egg|zzz|egg> mofh: it's not an argicultural/food product
<egg|zzz|egg> so unless you eat artesian wells that's not applicable
<whitequark> i'll vore all of your wells
<egg|zzz|egg> whitequark: mofh: if you do vore the wells then I guess you can make it an AOP or an IGP (depending on whether the stone making up the edge of the well has to be from Artois as well)
<_whitenotifier-5dfc> [Principia] pleroy pushed 1 commit to master [+0/-0/±1] https://git.io/fjoSy
<_whitenotifier-5dfc> [Principia] pleroy 1860321 - Fix x64 path.
<mofh> egg|zzz|egg: something something rock mole something something?
<egg|zzz|egg> mofh: see the distinction between AOP and IGP https://actualites.reponse-conso.fr/igp-aop-label-rouge-quelles-differences/
<mofh> ooh, that was what I was trying to find, thanks.
<egg|zzz|egg> the former requires all steps of production to happen in some region, the latter one specific step
<mofh> Ahh.
<_whitenotifier-5dfc> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3719/
<egg|zzz|egg> mofh: so e.g. Champagne is an AOP, you can't take grapes from california, ship them to Champagne, process them by the Champagne process and call the result Champagne;
<mofh> egg|zzz|egg: I mean that makes sense, you want the grapes to be shitty
<mofh> but precisely shitty, and not any shittier,
<egg|zzz|egg> mofh: Brillat-Savarin is an IGP, you can make it from Polish milk as long as you follow the requirements (it can't be frozen, must be obtained within 2 days of milking and used within 2 days of reception, must have the right acidity etc.) and make it within the geographic area for Brillat-Savarin
<egg|zzz|egg> mofh: or https://eur-lex.europa.eu/legal-content/PL/TXT/PDF/?uri=CELEX:52016XC0908(01) I guess
<egg|zzz|egg> mofh: does "Jeżeli dokonuje się dzielenia na kawałki, odbywa się ono z uwzględnieniem kształtu sera, tzn. ser kroi się wzdłuż płaszczyzny lub płaszczyzn przechodzących przez oś walca." sound silly
<egg|zzz|egg> mofh: the English version has "When cut into pieces, this is done respecting the cheese" which is fun
<egg|zzz|egg> mofh: "Camembert de Normandie" is an AOP, so you can't make it from Polish milk
<egg|zzz|egg> mofh: "Camembert" is not: in particular, "Camembert fabriqué en Normandie" merely means that cheesemaking happened in Normandy, not that the milk comes from Normandy
<egg|zzz|egg> mofh: "Pont-l'évêque" is an AOP
<mofh> egg|zzz|egg: "when cutting it into pieces, this is done noting the shape of the cheese, this cheese is cut wrt..."
<mofh> I guess "this is done respecting the shape of the cheese" would be okay too
<mofh> but it's not quite as silly as the FR
<egg|zzz|egg> mofh: it's more that "respect the cheese" (in en or fr) sounds fun
<mofh> I mean it sounds silly :P
<mofh> (but also needs to be done, obv)
<egg|zzz|egg> mofh: so "Camembert" itself is oddly unprotected
<egg|zzz|egg> mofh: hence the important skill of distinguishing "Camembert de Normandie" from "Camembert fabriqué en Normandie"
<mofh> I mean I've lived in the USA, this is basically the same as "cheese" != "cheese product"
<_whitenotifier-5dfc> [Principia] pleroy synchronize pull request #2229: Remove 1.3.1 and add 1.7.2 - https://git.io/fjoSw
<_whitenotifier-5dfc> [Principia] Pending. Build queued… - 
<_whitenotifier-5dfc> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3720/
<egg|zzz|egg> mofh: i mean both of those are cheeses
<_whitenotifier-5dfc> [Principia] eggrobin pushed 2 commits to master [+0/-0/±2] https://git.io/fjo9U
<_whitenotifier-5dfc> [Principia] eggrobin 911c000 - A mechanism to override version checking
<mofh> egg|zzz|egg: point being subtle differences in phrasing reuslting in very different products
<_whitenotifier-5dfc> [Principia] eggrobin 21e93eb - Merge pull request #2227 from eggrobin/override-version-check A mechanism to override version checking
<_whitenotifier-5dfc> [Principia] eggrobin closed pull request #2227: A mechanism to override version checking - https://git.io/fjoyV
<mofh> tho I guess yeah, I'd still eat "Camembert fabriqué en Normandie", less so the typical US "cheese product"
<mofh> it *is* amusing having the gaseous form of cheese around to troll people with, tho.
<egg|zzz|egg> mofh: i mean in general they still try to look like a camembert, even if they process estonian milk in normandy
<mofh> (okay okay it's more of a weird liquid slurry emulsion).
<_whitenotifier-5dfc> [Principia] eggrobin labeled pull request #2228: Take the thrust limiter into account. - https://git.io/fjoyD
<_whitenotifier-5dfc> [Principia] eggrobin closed pull request #2225: Fix the signs of ω and ν for retrograde orbits - https://git.io/fjoPx
<_whitenotifier-5dfc> [Principia] eggrobin pushed 2 commits to master [+0/-0/±4] https://git.io/fjo9T
<_whitenotifier-5dfc> [Principia] eggrobin a7473c8 - fix the signs of ω and ν for retrograde orbits
<_whitenotifier-5dfc> [Principia] eggrobin a57dc0d - Merge pull request #2225 from eggrobin/sign-ω Fix the signs of ω and ν for retrograde orbits
<_whitenotifier-5dfc> [Principia] pleroy closed issue #2128: Take the engine thrust limiter into account in manœuvres - https://git.io/fjths
<_whitenotifier-5dfc> [Principia] pleroy closed pull request #2228: Take the thrust limiter into account. - https://git.io/fjoyD
<_whitenotifier-5dfc> [Principia] pleroy pushed 2 commits to master [+0/-0/±2] https://git.io/fjo9I
<_whitenotifier-5dfc> [Principia] pleroy 1bfe597 - Take the thrust limiter into account.
<_whitenotifier-5dfc> [Principia] pleroy e1c9bad - Merge pull request #2228 from pleroy/2143 Take the thrust limiter into account.
<_whitenotifier-5dfc> [Principia] pleroy synchronize pull request #2229: Remove 1.3.1 and add 1.7.2 - https://git.io/fjoSw
<_whitenotifier-5dfc> [Principia] Pending. Build queued… - 
<_whitenotifier-5dfc> [Principia] eggrobin labeled pull request #2229: Remove 1.3.1 and add 1.7.2 - https://git.io/fjoSw
<egg|zzz|egg> !wpn mofh
* galois gives mofh a zirconium fluorine owl with a octohedron attachment
<mofh> !wpn egg|zzz|egg
* galois gives egg|zzz|egg a iron einsteinium fox
<galois> [WIKIPEDIA] Geographical indications and traditional specialities in the European Union#Description of the regimes | "Three European Union schemes of geographical indications and traditional specialties, known as protected designation of origin (PDO), protected geographical indication (PGI), and traditional specialities guaranteed (TSG), promote and protect names of quality agricultural products and foodstuffs. Products..."
<galois> [WIKIPEDIA] Oznaczenia pochodzenia geograficznego produktów rolnych w Unii Europejskiej#Polskie produkty objęte ochroną Unii Europejskiej | "Oznaczenia pochodzenia geograficznego produktów rolnych w Unii Europejskiej – system ochrony regionalnych produktów rolnych w Unii Europejskiej, mający na celu ochronę nazw tych produktów i zapewnienie ich autentyczności. Dotyczy wyrobów wytwarzanych na określonym obszarze w sposób trady
<_whitenotifier-5dfc> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3720/
<_whitenotifier-5dfc> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3721/
<_whitenotifier-5dfc> [Principia] pleroy closed pull request #2229: Remove 1.3.1 and add 1.7.2 - https://git.io/fjoSw
<_whitenotifier-5dfc> [Principia] pleroy pushed 4 commits to master [+0/-0/±12] https://git.io/fjo9C
<_whitenotifier-5dfc> [Principia] pleroy dac33d4 - Remove 1.3.1 and add 1.7.2.
<_whitenotifier-5dfc> [Principia] pleroy 5fd2498 - Missing changes.
<_whitenotifier-5dfc> [Principia] pleroy 92296e7 - Merge branch 'master' into 131
<_whitenotifier-5dfc> [Principia] pleroy 6f9dc87 - Merge pull request #2229 from pleroy/131 Remove 1.3.1 and add 1.7.2
egg|zzz|egg has quit [Ping timeout: 190 seconds]
<egg|cell|egg> Mofh : miaou
<mofh> egg|cell|egg: miaou
<egg|cell|egg> Also this talk of AOPs and IGPs made me hungry
<mofh> kind of same, but fuck stepping outside right now
<_whitenotifier-5dfc> [Principia] pleroy created tag 2019070219-Fermat - https://git.io/fpDwq
<_whitenotifier-5dfc> [Principia] pleroy tagged 6f9dc87 as 2019070219-Fermat https://git.io/fjo9M
<_whitenotifier-5dfc> [Principia] pleroy deleted tag 2019070219-Fermat - https://git.io/fpDwq
<_whitenotifier-5dfc> [Principia] pleroy deleted tag 2019070219-Fermat
<_whitenotifier-5dfc> [Principia] pleroy created tag 2019070219-Fermat - https://git.io/fpDwq
<_whitenotifier-5dfc> [Principia] pleroy tagged 6f9dc87 as 2019070219-Fermat https://git.io/fjo9M
<_whitenotifier-5dfc> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3721/
egg|zzz|egg has joined #kspacademia
<mofh> on second thought, decided to grab food and more water, can think a lot better now
egg|zzz|egg has quit [Ping timeout: 206 seconds]
egg|zzz|egg has joined #kspacademia
<egg|zzz|egg> mofh: catpics
<_whitenotifier-5dfc> [Principia] eggrobin opened pull request #2230: Improve the release process - https://git.io/fjoH6
<_whitenotifier-5dfc> [Principia] Pending. Build queued… - 
<_whitenotifier-5dfc> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3722/
SilverFox has quit [Read error: Connection reset by peer]
<_whitenotifier-5dfc> [Principia] pleroy labeled pull request #2230: Improve the release process - https://git.io/fjoH6
<_whitenotifier-5dfc> [Principia] pleroy closed pull request #2230: Improve the release process - https://git.io/fjoH6
<_whitenotifier-5dfc> [Principia] pleroy pushed 4 commits to master [+0/-0/±5] https://git.io/fjoHP
<_whitenotifier-5dfc> [Principia] eggrobin 957147f - fix some issues in make_principia_release
<_whitenotifier-5dfc> [Principia] eggrobin 0a574a0 - documentation
<_whitenotifier-5dfc> [Principia] eggrobin 98cd006 - contains
<_whitenotifier-5dfc> [Principia] pleroy 42cf969 - Merge pull request #2230 from eggrobin/improve-releasing Improve the release process
SilverFox has joined #kspacademia
<_whitenotifier-5dfc> [Principia] eggrobin opened pull request #2231: More bugs in the release script - https://git.io/fjoHx
<_whitenotifier-5dfc> [Principia] Pending. Build queued… - 
<_whitenotifier-5dfc> [Principia] pleroy labeled pull request #2231: More bugs in the release script - https://git.io/fjoHx
<_whitenotifier-5dfc> [Principia] pleroy closed pull request #2231: More bugs in the release script - https://git.io/fjoHx
<_whitenotifier-5dfc> [Principia] pleroy pushed 4 commits to master [+0/-0/±4] https://git.io/fjoHh
<_whitenotifier-5dfc> [Principia] eggrobin 5bfed60 - More bugs in the release script
<_whitenotifier-5dfc> [Principia] eggrobin 7fb380e - newlines
<_whitenotifier-5dfc> [Principia] eggrobin 0b218df - more reordering
<_whitenotifier-5dfc> [Principia] pleroy f4757be - Merge pull request #2231 from eggrobin/improve-releasing More bugs in the release script
<_whitenotifier-5dfc> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3722/
<_whitenotifier-5dfc> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3723/
<egg|zzz|egg> mofh: btw remember the wallace fountain in zurich which has the water going the wrong way
<mofh> egg|zzz|egg: yes actually, rofl
<mofh> did it get fixed?
<egg|zzz|egg> i think so
egg|zzz|egg has quit [Ping timeout: 190 seconds]
egg|zzz|egg has joined #kspacademia
egg|zzz|egg has quit [Ping timeout: 190 seconds]
SilverFox has quit [Ping timeout: 202 seconds]
SilverFoxy has joined #kspacademia
SilverFoxy is now known as SilverFox
egg|zzz|egg has joined #kspacademia
egg|zzz|egg has quit [Ping timeout: 190 seconds]
UmbralRaptop has joined #kspacademia
UmbralRaptor has quit [Ping timeout: 202 seconds]
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 190 seconds]
UmbralRaptor has quit [Ping timeout: 190 seconds]
UmbralRaptop has joined #kspacademia
<UmbralRaptop> egg visits the US? https://photos.app.goo.gl/vKKKdV76A3ypKAbx8
<egg|cell|egg> Birb
<_whitenotifier-5dfc> [Principia] pleroy pushed 1 commit to master [+0/-0/±1] https://git.io/fjobk
<_whitenotifier-5dfc> [Principia] pleroy ca7632a - Remove Fatou.
egg|zzz|egg has joined #kspacademia
<uovo> mofh: mofhstack
<uovo> !choose orbit analysis|soviet republic|sleep
<galois> uovo: Your options: orbit analysis, soviet republic, sleep. My choice: orbit analysis
<uovo> ;choose orbit analysis|soviet republic|sleep
<kmath> uovo: orbit analysis
<uovo> moth choose orbit analysis|soviet republic|sleep
<uovo> stabbity choose orbit analysis|soviet republic|sleep
<egg|zzz|egg> LARES?
<egg|zzz|egg> !acr -add:LARES LAser RElativity Satellite
<galois> Definition added!
<egg|zzz|egg> !wpn whitequark et al.
* galois gives whitequark et al. a proactinium yellow hyperboloid
<whitequark> uhuh
<egg|zzz|egg> meow