egg changed the topic of #principia to: Logs: https://esper.irclog.whitequark.org/principia | <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|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #principia
egg|anbo|egg has joined #principia
egg|anbo|egg has quit [Remote host closed the connection]
egg|anbo|egg has joined #principia
egg|anbo|egg has quit [Remote host closed the connection]
egg|anbo|egg has joined #principia
* raptop
stares at "coëfficients" and that umlaut over the e
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #principia
egg|cell|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|cell|egg has joined #principia
egg|anbo|egg has quit [Ping timeout: 204 seconds]
egg|cell|egg has quit [Ping timeout: 204 seconds]
egg|cell|egg has joined #principia
<queqiao->
⟨Paculino (ŝi/ri/she/they)⟩ Hey, when did the IRC bot get a new pfp?
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #principia
<queqiao->
⟨Pumpkinaxe⟩ i want to say yesterday but im probably very wrong
<queqiao->
⟨Al2Me6⟩ I presume this was when it happened
<queqiao->
⟨sichelgaita⟩ I must say that "coëfficients" is nice. It's the kind of spelling you find in The New Yorker.
<queqiao->
⟨Paculino (ŝi/ri/she/they)⟩ It is allowed in standard English orthography if a loan word or if two vowels in a row do not go in the same syllable
<queqiao->
⟨Zeusbeer⟩ the umlaut is a Dutch habit :S
<queqiao->
⟨Zeusbeer⟩ Dutch grammar rules are spastic
egg|anbo|egg has joined #principia
<_whitenotifier>
[Principia] eggrobin opened pull request #3021: Missed a test with an FMA - https://git.io/JGude
<queqiao->
⟨egg⟩ Yes, perhaps we should spell it coëfficients in the Principia codebase—after all we write manœuvre when it goes the other way
<queqiao->
⟨egg⟩ though I suppose using œ and oë is a bit belt-and-suspenders, it’s clear that they are not *cœfficients becosue we would write it like that…
<queqiao->
⟨egg⟩ c🥚ficients
<queqiao->
⟨Zeusbeer⟩ Oeufs I see
egg|anbo|egg has quit [Remote host closed the connection]
<queqiao->
⟨Zeusbeer⟩ classic french language
<queqiao->
⟨Zeusbeer⟩ I might actually pass my french final 😂