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
SilverFox has quit [Ping timeout: 189 seconds]
SilverFox has joined #kspacademia
e_14159_ has joined #kspacademia
e_14159 has quit [Ping timeout: 378 seconds]
egg has quit [Ping timeout: 378 seconds]
egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
<kmath> <astrobites> In his latest paper, the team finds, by studying motions of Deimos, that the Phobos is possibly the latest product of a Martian ring cycle.
<WeylandsWings> UmbralRaptop: so a larger moon got too close, broke apart into rings, then reformed in to Phobos?
<raptop> possibly
egg|cell|egg has quit [Ping timeout: 378 seconds]
<SnoopJeDi> neat
<SnoopJeDi> I assume this is the paper in question https://arxiv.org/abs/2006.00645
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Ping timeout: 378 seconds]
UmbralRaptop has quit [Remote host closed the connection]
UmbralRaptop has joined #kspacademia
raptop has quit [Ping timeout: 204 seconds]
mofh_ has quit [Ping timeout: 190 seconds]
mofh_ has joined #kspacademia
egg|cell|egg has joined #kspacademia
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
<egg|laptop|egg> whitequark: regardless of the issues with 16 bits, the "han unification bad" meme is pretty misguided https://twitter.com/whitequark/status/1268179444671352837; see this thread https://twitter.com/henryfhchan/status/929050914089922560
<kmath> <whitequark> tired: han unification happened because some dumb programmer tried to squeeze everything into 16 bits ⏎ wired: han un… https://t.co/nHPLw7kCf3
<egg|laptop|egg> i.e., if anything, it is not unified enough
<egg|laptop|egg> whitequark: Grek-Cyrl-Latn is often used as a parallel (to the extent that iirc there is a Unicode FAQ somewhere about this specific example), but ultimately the size of the script changes matters immensely
<egg|laptop|egg> compare: Egyh-Egyp-Egyd unification
<whitequark> hmm
<egg|laptop|egg> (or Xsux being the same script whether you are looking at it with neo-Assyrian or Old Babylonian glyphs)
<egg|laptop|egg> and those are immensely different-looking, and probably require font-level ligatures as well
<egg|laptop|egg> if you have the right fonts installed http://home.zcu.cz/~ksaskova/Sign_List.html is quite impressive
<egg|laptop|egg> (which reminds me I should publish my Windows Xsux IME one of these days
<egg|laptop|egg> e.g. 𒊺𒀸 and 𒁍 look identical in neo-Assyrian
<egg|laptop|egg> if you are looking at this in Noto, which is OB, they very much do not
<whitequark> OB?
<egg|laptop|egg> Old Babylonian
<egg|laptop|egg> !acr -add:OB Old Babylonian
<galois> Definition added!
raptop has joined #kspacademia
<egg|laptop|egg> whitequark: found the relevant TN https://www.unicode.org/notes/tn26/
<egg|laptop|egg> whitequark: note the things that exist by compatibility with pre-existing encodings; some disunifications within Latn came after an initial unification carried over from 8-bit encodings, and mess up romanian to this day https://en.wikipedia.org/wiki/%C5%9E
<galois> [WIKIPEDIA] Ş | "Ş, ş (S-cedilla) is a letter of the Azerbaijani, Gagauz, Turkish, and Turkmen alphabets. It is also used in the Latin alphabets of Chechen, Crimean Tatar, Kurdish, and Tatar.It commonly represents /ʃ/, the voiceless postalveolar fricative (like sh in shoe).It is written as the letter S with a cedilla..."
<egg|laptop|egg> and correspondingly https://en.wikipedia.org/wiki/S-comma#Unicode_support
<galois> [WIKIPEDIA] S-comma#Unicode support | "S-comma (majuscule: Ș, minuscule: ș) is a letter which is part of the Romanian alphabet, used to represent the sound /ʃ/, the voiceless postalveolar fricative (like sh in shoe)...."
<egg|laptop|egg> (compare the number of search results for "Timişoara" and "Timișoara")
NCommander has quit [Quit: Coyote finally caught me]
<egg|laptop|egg> (this is essentially the inverse of that « search for zh-Hans, get relevant ja results », where it’s « search for ro with the new character, don’t get relevant ro results on the other side of the disunification »)
SilverFoxy has joined #kspacademia
SilverFox has quit [Ping timeout: 189 seconds]
SilverFoxy is now known as SilverFox
<egg|laptop|egg> whitequark: also if you want to hear about encoding horror stories, https://en.wikipedia.org/wiki/Zawgyi_font
<galois> [WIKIPEDIA] Zawgyi font | "Zawgyi font is a predominant typeface used for Burmese language text on websites. It is also known as Zawgyi-One or zawgyi1 font although updated versions of this font were not named Zawgyi-two. Prior to 2019, it was the most popular font on Burmese websites. It is a font with Burmese characters implemented..."
<whitequark> oh shit
<egg|laptop|egg> whitequark: yes
<egg|laptop|egg> whitequark: on an unrelated note I think I’m going to propose a UTR re. bidirectional source code
<egg|laptop|egg> that tends to be a bit of a mess right now
<egg|laptop|egg> negative_one = واحد - 2; // positive_one = ⟨identifier⟩ - 2;
<egg|laptop|egg> positive_one = 2 - واحد; // negative_one = 2 - ⟨identifier⟩;
<whitequark> nice
<egg|laptop|egg> Visual Studio is pretty good at rendering things sanely
<egg|laptop|egg> and languages tend to make it possible to make it look good even as plain text
<egg|laptop|egg> but there is nothing that puts those pieces together
UmbralRaptop has quit [Ping timeout: 204 seconds]
egg|laptop|egg has quit [Remote host closed the connection]
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
<_whitenotifier-d13c> [Principia] pleroy synchronize pull request #2375: Documentation for the resolution of Arnold's equation - https://git.io/Je6Bg
<_whitenotifier-d13c> [Principia] pleroy synchronize pull request #2375: Documentation for the resolution of Arnold's equation - https://git.io/Je6Bg
UmbralRaptop has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4326/
<_whitenotifier-d13c> [Principia] pleroy synchronize pull request #2375: Documentation for the resolution of Arnold's equation - https://git.io/Je6Bg
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4326/
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4327/
<_whitenotifier-d13c> [Principia] pleroy synchronize pull request #2375: Documentation for the resolution of Arnold's equation - https://git.io/Je6Bg
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4327/
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4328/
<_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4328/
<_whitenotifier-d13c> [Principia] pleroy synchronize pull request #2375: Documentation for the resolution of Arnold's equation - https://git.io/Je6Bg
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4329/
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] eggrobin labeled pull request #2375: Documentation for the resolution of Arnold's equation - https://git.io/Je6Bg
<_whitenotifier-d13c> [Principia] pleroy synchronize pull request #2375: Documentation for the resolution of Arnold's equation - https://git.io/Je6Bg
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] hardlianotion starred Principia - https://git.io/JfPpo
<_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4329/
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4330/
armed_troop has quit [Ping timeout: 378 seconds]
UmbralRaptop has quit [Remote host closed the connection]
UmbralRaptop has joined #kspacademia
<kmath> <johncarlosbaez> @AlgebraFact For some reason nobody capitalizes "Cartesian" when they say "cartesian closed". ⏎ ⏎ The highest honor fo… https://t.co/vIG8wPiXc0
<_whitenotifier-d13c> [Principia] pleroy commented on pull request #2375: Documentation for the resolution of Arnold's equation - https://git.io/JfPjb
<_whitenotifier-d13c> [Principia] Pending. Build queued… - 
<_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4331/
armed_troop has joined #kspacademia
<_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4331/
<egg|laptop|egg> !wpn whitequark
* galois gives whitequark an extinguisher
<egg|laptop|egg> eggstinguisher
<_whitenotifier-d13c> [Principia] pleroy closed pull request #2375: Documentation for the resolution of Arnold's equation - https://git.io/Je6Bg
<_whitenotifier-d13c> [Principia] pleroy pushed 26 commits to master [+29/-6/±431] https://git.io/JfXe8
<_whitenotifier-d13c> [Principia] pleroy a862b80 - Bibliography for Toutatis.
<_whitenotifier-d13c> [Principia] pleroy 7e7af81 - Reorder the paper and make it dimensionful everywhere.
<_whitenotifier-d13c> [Principia] pleroy d6851be - Integration of the rotation matrix.
<_whitenotifier-d13c> [Principia] ... and 23 more commits.
<egg|laptop|egg> whitequark: oh I have an eggsample of Old Babylonian vs. Neo-Assyrian Xsux
<egg|laptop|egg> whitequark: consider https://twitter.com/bofh453/status/1261678793321832450
<kmath> <bofh453> https://t.co/CMp9OlzagK
<egg|laptop|egg> that says 𒀭𒈾 twice
<egg|laptop|egg> top is Old Babylonian, bottom Neo-Assyrian