raptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Galois. We currently target 1.8.1, and 1.9.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly… | <egg> also 4e16 m * 2^-52 is uncomfortably large
egg|cell|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
Moistmelon has quit [Ping timeout: 189 seconds]
Mike` has quit [Ping timeout: 194 seconds]
Mike` has joined #principia
Blu3wolf has joined #principia
<_whitenotifier-9244> [Principia] pleroy unlabeled pull request #2740: Attempt to fix the SFINAE - https://git.io/JUXBy
<_whitenotifier-9244> [Principia] pleroy labeled pull request #2740: Attempt to fix the SFINAE - https://git.io/JUXBy
<_whitenotifier-9244> [Principia] pleroy opened pull request #2741: Optimize += and -= for piecewise Poisson series by not falling back to + and - - https://git.io/JU1va
<_whitenotifier-9244> [Principia] Pending. Build queued… - 
<_whitenotifier-9244> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4544/
<_whitenotifier-9244> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4544/
raptop has quit [Ping timeout: 194 seconds]
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #principia
VITAS has quit [Quit: ZNC - https://znc.in]
VITAS has joined #principia
egg|laptop|egg has joined #principia
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #principia
acc has quit [Ping timeout: 204 seconds]
acc has joined #principia
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #principia
Raidernick_ has quit [Ping timeout: 198 seconds]
Raidernick has joined #principia
Raidernick has quit [Ping timeout: 198 seconds]
Raidernick has joined #principia
Moistmelon has joined #principia
Raidernick has quit [Ping timeout: 204 seconds]
Raidernick has joined #principia
egg|cell|egg has quit [Ping timeout: 378 seconds]
egg|cell|egg has joined #principia
<discord-> Z​eusbeer. — Oh help, because of my french question I get a french link as an answer 🥺
<discord-> D​amien. — such is the power of the oeuf
<discord-> Z​eusbeer. — Oui oui
egg|cell|egg has quit [Ping timeout: 378 seconds]
egg|cell|egg has joined #principia
<discord-> D​amien. — french is such a silly language
<discord-> e​gg. — or just *œufs*, pronounced with a single vowel
<discord-> e​gg. — [ø]
<discord-> D​amien. — french should be banned for crimes against language
<discord-> D​amien. — and that's coming from a brit
<discord-> Z​eusbeer. — Now explain this
<discord-> e​gg. — @Zeusbeer anyway, https://nl.wikipedia.org/wiki/Orthogonale_groep
<discord-> Z​eusbeer. — Oh no, not a Dutch link
<discord-> Z​eusbeer. — Thanks though, it should help
<discord-> Z​eusbeer. — Nvm, I think I'll need group theory as background
<discord-> Z​eusbeer. — And for that I'll probably need university level calculus
<discord-> Z​eusbeer. — 😨
<discord-> Z​eusbeer. — I only understand linear algebra a little bit
raptop has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
<discord-> v​ladddd. — Probably this one is more clear
<discord-> Z​eusbeer. — almost as clear as the ~~french~~ one!
<discord-> Z​eusbeer. — Man I ~~studied?~~ french for 6 years at school but I still don't know anything
<discord-> Z​eusbeer. — Man I ~~studied?~~ french for 6 years at school but I still don't know anything, same for my classmates (edited)
<discord-> Z​eusbeer. — 🤡 👀
<discord-> v​ladddd. — Same with my German for 10 years lol
<raptop> Extrmely fun how it takes several years of study to be able to follow simple things like tv news at all >_<
<discord-> Z​eusbeer. — and somehow as babys we learn to comprehend every fundamental part of the language from your country of origin.
Rokker has quit [Ping timeout: 194 seconds]
egg|laptop|egg has quit [Remote host closed the connection]
Jesin has quit [Quit: Leaving]
Jesin has joined #principia
Rokker has joined #principia
Jesin has quit [Quit: Leaving]
egg|laptop|egg has joined #principia
Jesin has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
Blu3wolf has quit [Quit: Konversation terminated!]
<discord-> s​martdummies. — If only we could learn to comprehend math the same way. The perhaps my brain would stop melting when reading this thread
Raidernick has quit [Quit: Leaving]
<discord-> Z​eusbeer. — I wish I understood languages as fast as I understood math
<discord-> Z​eusbeer. — 👀
<raptop> I just wish I could understand math from non-constructive proofs/didn't need examples
<discord-> s​martdummies. — Algebraic math I can handle quite well, matrices are a different matter. Vector math ..... Oww, brain melting!!
<discord-> Z​eusbeer. — matrices are just incredibly boring to calculate with
<raptop> matricies at low abstraction (you can see the numbers) are fine, if complicated. Jumping between bra-ket notation and differential equations, however...
<discord-> Z​eusbeer. — jacobi
<discord-> S​ir Mortimer. — > french should be banned for crimes against language
<discord-> S​ir Mortimer. — > and that's coming from a brit
<discord-> S​ir Mortimer. — I'd be very quiet if I were you, @Damien.
<discord-> S​ir Mortimer. —
<discord-> D​amien. — English does seem complicated. It can be understood by tough thorough thought though
egg|laptop|egg has joined #principia
<discord-> l​pg. — french just commits crimes against spelling. english commits crimes against every possible aspect of language
<discord-> s​alajander. — french spelling rules are complex, yes, but they are (generally) consistently applied. unlike english, where everything is at best a gentle suggestion.
<raptop> For the purposes of this, does japanese commit orthographic crimes?
<discord-> e​gg. — Japanese seems as close as we have to the madness of Akkadian today
<discord-> e​gg. — or perhaps Hittite
<raptop> Be Gilgamesh; do crimes
raptop has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
raptop has joined #principia
<discord-> I​ identify as an H-IIA. — > french just commits crimes against spelling. english commits crimes against every possible aspect of language
<discord-> I​ identify as an H-IIA. — @lpg yeah no
<discord-> I​ identify as an H-IIA. — polish and hungarian definitely commit the most crimes against spelling *by far*
<discord-> e​gg. — however, have you considered: french people pronouncing polish names
<discord-> e​gg. — > [maʁi lɛɡzɛ̃ska]
<discord-> e​gg. — (or even [maʁi lɛzɛ̃ska])
<raptop> hungarian's primary orthographic crime is the double accute accent
<raptop> egg: this inevitably leads to the question of: how did B B Mandelbrot pronounce his name?
<_whitenotifier-9244> [Principia] Camelhairs06 opened issue #2742: Issue With Sun - https://git.io/JUMER
<discord-> e​gg. — Are there any languages with stacked acute accents
<raptop> aaaaa
<discord-> e​gg. — rá́ptop
<raptop> [internal screaming]
<discord-> e​gg. — (vietnamese has things such as ấ but the circumflex and acute are in wholly different categories of diacritics here so it makes sense)
<raptop> Has anyone mistaken vietnamese for mojibake?
<_whitenotifier-9244> [Principia] pleroy commented on issue #2742: Issue With Sun - https://git.io/JUMzU
<discord-> b​ofh453. — > r​aptop. — hungarian's primary orthographic crime is the double accute accent
<discord-> b​ofh453. — @鹊桥IRC the double acute makes perfect sense
<discord-> b​ofh453. — acute in Hungarian means 'lengthen the vowel'
<_whitenotifier-9244> [Principia] eggrobin labeled pull request #2741: Optimize += and -= for piecewise Poisson series by not falling back to + and - - https://git.io/JU1va
<_whitenotifier-9244> [Principia] pleroy closed pull request #2741: Optimize += and -= for piecewise Poisson series by not falling back to + and - - https://git.io/JU1va
<_whitenotifier-9244> [Principia] pleroy pushed 2 commits to master [+0/-0/±2] https://git.io/JUMzC
<_whitenotifier-9244> [Principia] pleroy 88ab81a - Optimize += and -=.
<_whitenotifier-9244> [Principia] pleroy d5b5d37 - Merge pull request #2741 from pleroy/Increment Optimize += and -= for piecewise Poisson series by not falling back to + and -
<_whitenotifier-9244> [Principia] pleroy opened pull request #2743: A test of compression of trajectories using analytical series - https://git.io/JUMza
<_whitenotifier-9244> [Principia] Pending. Build queued… - 
<_whitenotifier-9244> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4545/
<discord-> b​ofh453. — well what do you do when you have a /ø:/? well standard /ø/ is written ö, so clearly you Voltron together the diaræsis & the acute together,,,,,
<discord-> b​ofh453. — (same goes for /y/).
<discord-> b​ofh453. — well what do you do when you have a /ø:/? well standard /ø/ is written ö, so clearly you Voltron together the diaræsis & the acute,,,,, (edited)
<discord-> b​ofh453. — now Polish orthography OTOH is horrible & i say this as someone that speaks it.
<_whitenotifier-9244> [Principia] eggrobin edited pull request #2743: A test of compact representation of trajectories using analytical series - https://git.io/JUMza
<discord-> b​ofh453. — like it is actually unspeakably atrocious.
<discord-> e​gg. — > someone that speaks it.
<discord-> e​gg. — > unspeakably atrocious.
<discord-> e​gg. — Does that mean you unspeak it
<discord-> b​ofh453. — i mean i don't speak it MUCH & my parents complain i'm forgetting vocab so perhaps,
<_whitenotifier-9244> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4545/
<_whitenotifier-9244> [Principia] pleroy commented on pull request #2743: A test of compact representation of trajectories using analytical series - https://git.io/JUMg7
<_whitenotifier-9244> [Principia] Pending. Build queued… - 
<_whitenotifier-9244> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4546/
<discord-> e​gg. — https://github.com/mockingbirdnest/Principia/issues/2742 looks like we have someone confused by reference frames again
Jesin has quit [Quit: Leaving]
<discord-> b​adgermasher. — geocentrism is the way of the future
Jesin has joined #principia
<raptop> I suppose the question is: does mofh's polish sound like a math and/or chemistry textbook?
<_whitenotifier-9244> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4546/
<raptop> ...or if it's unspeakable, like the necronomicon