#kspacademia on 2020-09-21 — irc logs at esper.irclog.whitequark.org

2019-09-06 20:52 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

00:03 <egg|laptop|egg> !nfc ö

00:03 <galois> Unexpected error (invalid normalization form) from egg|laptop|egg at 2020-09-20 20:03:23.985129. Message was: !nfc ö

00:03 <egg|laptop|egg> the bot has trouble, full stop

00:03 <egg|laptop|egg> !NFC ö

00:03 <galois> o: U+006f LATIN SMALL LETTER O

00:03 <galois> ̈: U+0308 COMBINING DIAERESIS

00:03 <egg|laptop|egg> that is not the NFC

00:04 <egg|laptop|egg> !NFD ö

00:04 <galois> o: U+006f LATIN SMALL LETTER O

00:04 <galois> ̈: U+0308 COMBINING DIAERESIS

00:04 <egg|laptop|egg> !NFKC ö

00:04 <galois> o: U+006f LATIN SMALL LETTER O

00:04 <galois> ̈: U+0308 COMBINING DIAERESIS

00:04 <egg|laptop|egg> !NFKD ö

00:04 <galois> o: U+006f LATIN SMALL LETTER O

00:04 <galois> ̈: U+0308 COMBINING DIAERESIS

00:04 <egg|laptop|egg> it is not composing

00:04 <egg|laptop|egg> !wpn

00:04 * galois gives egg|laptop|egg an erotic accelerometer

00:04 <egg|laptop|egg> um.

00:04 <egg|laptop|egg> !wpn

00:04 * galois gives egg|laptop|egg a copper ruler

00:04 * egg|laptop|egg pokes the bot with the copper ruler

00:04 <egg|laptop|egg> !wpn

00:04 * galois gives egg|laptop|egg a tenure-track tube

00:05 <egg|laptop|egg> fish tube but for tenure

00:05 e_14159_ has quit [Ping timeout: 194 seconds]

00:07 e_14159 has joined #kspacademia

00:16 egg|laptop|egg has quit [Remote host closed the connection]

00:19 <raptop> an erotic accelerometer sounds like something buttplugs.io would use

00:20 <raptop> on an unrelated note, calling parents is still stressful and tiring

00:26 <raptop> on another unrelated note, I'm still not listed as an observatory TA

00:46 raptop has quit [Ping timeout: 190 seconds]

00:54 egg|cell|egg has quit [Ping timeout: 189 seconds]

01:04 raptop has joined #kspacademia

01:19 egg|cell|egg has joined #kspacademia

01:52 raptop has quit [Read error: Connection reset by peer]

01:53 raptop has joined #kspacademia

04:38 <raptop> today in interesting mission designs https://arxiv.org/abs/2007.15767

05:00 <raptop> !wpn

05:00 * galois gives raptop a fuzzy triangle with a tube attachment

06:16 <_whitenotifier-9244> [Principia] pleroy synchronize pull request #2726: Use complexification in FFT - https://git.io/JUu3J

06:17 <_whitenotifier-9244> [Principia] Pending. Build queued… -

06:17 <_whitenotifier-9244> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4514/

06:41 <_whitenotifier-9244> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4514/

06:56 raptop has quit [Ping timeout: 189 seconds]

07:15 e_14159 has quit [Ping timeout: 378 seconds]

07:15 e_14159 has joined #kspacademia

12:23 egg|laptop|egg has joined #kspacademia

12:38 <_whitenotifier-9244> [Principia] eggrobin reviewed pull request #2726 commit - https://git.io/JUuMV

12:38 <_whitenotifier-9244> [Principia] eggrobin labeled pull request #2726: Use complexification in FFT - https://git.io/JUu3J

13:10 egg|laptop|egg has quit [Remote host closed the connection]

13:29 egg|laptop|egg has joined #kspacademia

13:44 UmbralRaptop has joined #kspacademia

13:46 UmbralRaptor has quit [Ping timeout: 204 seconds]

13:49 raptop has joined #kspacademia

14:12 <_whitenotifier-9244> [Principia] pleroy synchronize pull request #2726: Use complexification in FFT - https://git.io/JUu3J

14:13 <_whitenotifier-9244> [Principia] Pending. Build queued… -

14:13 <_whitenotifier-9244> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4515/

14:17 <raptop> !wpn

14:17 * galois gives raptop a Student erbium rectangle with an emu attachment

14:17 * raptop attempts to replace sleep with a Student erbium rectangle with an emu attachment

14:36 <_whitenotifier-9244> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4515/

14:39 egg|laptop|egg has quit [Remote host closed the connection]

15:04 <_whitenotifier-9244> [Principia] pleroy closed pull request #2726: Use complexification in FFT - https://git.io/JUu3J

15:04 <_whitenotifier-9244> [Principia] pleroy pushed 6 commits to master [+3/-0/±28] https://git.io/JUu5Z

15:04 <_whitenotifier-9244> [Principia] pleroy c11487a - Add a test.

15:04 <_whitenotifier-9244> [Principia] pleroy 7c84856 - Merge remote-tracking branch 'mockingbirdnest/master' into FFT3D

15:04 egg|laptop|egg has joined #kspacademia

15:04 <_whitenotifier-9244> [Principia] pleroy 4bd6a53 - Use complexification in FFT.

15:04 <_whitenotifier-9244> [Principia] ... and 3 more commits.

15:05 <_whitenotifier-9244> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1050

15:05 <_whitenotifier-9244> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1051

15:05 <_whitenotifier-9244> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1050

15:05 <_whitenotifier-9244> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1051

15:21 <raptop> OH: undergrads need to be defined

15:21 <SnoopJeDi> isn't that why they're undergrads

15:21 <SnoopJeDi> "Defining one (1) human, please wait…"

15:21 <raptop> I feel like there's a UB joke in there somewhere

15:21 <SnoopJeDi> undefinedgrad

15:21 <SnoopJeDi> !wpn -add:adj undefined

15:21 <galois> Entry already exists!

15:22 <SnoopJeDi> !wpn -add:adj UB

15:22 <galois> Added adj 'UB'

15:32 <_whitenotifier-9244> [Principia] Failure. #1050 failed - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1050

15:50 <_whitenotifier-9244> [Principia] Failure. #1051 failed - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1051

16:14 <raptop> !wpn -add:wpn congratulation

16:14 <galois> Added wpn 'congratulation'

16:14 <raptop> !wpn -add:wpn condolence

16:14 <galois> Added wpn 'condolence'

16:18 <raptop> SnoopJeDi: TIL about the :smile command

16:28 <SnoopJeDi> huh me too

17:15 <_whitenotifier-9244> [Principia] pleroy opened pull request #2727: Precise mode computation for vectors - https://git.io/JUuxY

17:17 <_whitenotifier-9244> [Principia] Pending. Build queued… -

17:17 <_whitenotifier-9244> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4516/

17:23 <egg|laptop|egg> !wpn whitequark

17:23 * galois gives whitequark a blessed ambitious cassowary

17:23 <egg|laptop|egg> !NFC ö

17:23 <galois> o: U+006f LATIN SMALL LETTER O

17:23 <galois> ̈: U+0308 COMBINING DIAERESIS

17:23 <egg|laptop|egg> SnoopJeDi: this is not NFC

17:24 <egg|laptop|egg> !u Ω

17:24 <galois> Ω: U+03a9 GREEK CAPITAL LETTER OMEGA

17:24 <egg|laptop|egg> !u Ω

17:24 <galois> Ω: U+2126 OHM SIGN

17:24 <egg|laptop|egg> !NFC Ω

17:24 <galois> Ω: U+03a9 GREEK CAPITAL LETTER OMEGA

17:25 <egg|laptop|egg> SnoopJeDi: are you perchance applying NFC on the string split into code points? that is not how it works

17:25 <egg|laptop|egg> !NFD è

17:25 <galois> e: U+0065 LATIN SMALL LETTER E

17:25 <galois> ̀: U+0300 COMBINING GRAVE ACCENT

17:26 <egg|laptop|egg> !u è

17:26 <galois> è: U+00e8 LATIN SMALL LETTER E WITH GRAVE

17:26 <egg|laptop|egg> decomposition works, but composition canonicalizes singletons and fails to compose so that would be consistent with that

17:40 <_whitenotifier-9244> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4516/

17:45 <SnoopJeDi> egg|laptop|egg, it does NFC and then iterates the result as if you'd fed it to !u

17:45 <SnoopJeDi> `for char in itertools.chain.from_iterable(unicodedata.normalize(norm, c) for c in s): _describe_char(bot, char)`

17:46 <SnoopJeDi> !py import unicodedata; print(unicodedata.normalize("NFC", "ö"))

17:46 <SnoopJeDi> oh hrm

17:47 <SnoopJeDi> I guess that wouldn't be a very helpful decomposition anyway

17:47 <SnoopJeDi> err, print

17:48 <SnoopJeDi> anyway, the normalization is applied to the whole thing so if it's wrong, it's what I do with the result, or there's a bug in unicodedata, which I doubt

17:48 <SnoopJeDi> but seems highly likely that my iteration is a nonsensical operation

17:50 <SnoopJeDi> the module's source: http://ix.io/2yjy/py (the naming is probably not in line with proper Unicode terminology either)

18:14 <egg|laptop|egg> SnoopJeDi: > it does NFC and then iterates the result

18:14 <egg|laptop|egg> no

18:14 <egg|laptop|egg> > unicodedata.normalize(norm, c) for c in s

18:14 <egg|laptop|egg> it *first iterates on the code points in s*, as I said it did

18:14 <egg|laptop|egg> which is nonsense

18:14 <SnoopJeDi> ...oh

18:14 <SnoopJeDi> yea you're right

18:15 <egg|laptop|egg> just replace that by unicodedata.normalize(norm, s) and it should be happier

18:15 <SnoopJeDi> !NFD ö

18:15 <galois> o: U+006f LATIN SMALL LETTER O

18:15 <galois> ̈: U+0308 COMBINING DIAERESIS

18:15 <egg|laptop|egg> !NFC ö

18:15 <galois> ö: U+00f6 LATIN SMALL LETTER O WITH DIAERESIS

18:16 <egg|laptop|egg> !u ö

18:16 <galois> o: U+006f LATIN SMALL LETTER O

18:16 <galois> ̈: U+0308 COMBINING DIAERESIS

18:16 <egg|laptop|egg> now it worketh

18:16 <SnoopJeDi> thanks

18:16 <egg|laptop|egg> !wpn

18:16 * galois gives egg|laptop|egg a plasma fiddle

18:16 <SnoopJeDi> I guess I got copy-paste tunnel vision

18:16 * egg|laptop|egg pets SnoopJeDi with a plasma fiddle

18:16 <egg|laptop|egg> !wpn

18:16 * galois gives egg|laptop|egg an embezzling catastrophic plantigrade

18:16 <egg|laptop|egg> is it a 340 cm bear

18:16 * SnoopJeDi does a Debye jig

18:16 <SnoopJeDi> !wpn egg|laptop|egg

18:16 * galois gives egg|laptop|egg a partial baryon

18:17 <SnoopJeDi> smh QCD be like

18:17 <egg|laptop|egg> (note: 340 cm plush bears are a thing https://www.bananair.fr/peluches-geantes/298-675-banabear-7427052896758.html#/7-couleur-beige)

18:17 <egg|laptop|egg> other sizes are available https://www.bananair.fr/68-peluches-nounours

18:17 <raptop> What fraction of Paris is bears now?

18:18 <SnoopJeDi> !how much

18:18 <galois> SnoopJeDi: 288

18:18 <SnoopJeDi> out of how many?

18:18 <SnoopJeDi> !how many

18:18 <galois> SnoopJeDi: 268

18:18 <WeylandsWings> Oh no

18:18 <SnoopJeDi> !c 288/268

18:18 <galois> SnoopJeDi: 1.074626866

18:18 <SnoopJeDi> !how big are the errorbars

18:18 <galois> SnoopJeDi: 3 bigs

18:19 <SnoopJeDi> nearly 7 sigma

18:20 <raptop> We cannot confirm that any parisian is not a bear

18:22 <raptop> https://twitter.com/CentrlPotential/status/1307760753265512448

18:22 <kmath> <CentrlPotential> You can measure the speed of light at home using just a microwave and a bar of chocolate! https://t.co/9kyZM45uNY

18:25 <egg|laptop|egg> raptop: is mofh a bear

18:25 <raptop> mofh__: are you a bear?

18:25 <SnoopJeDi> !8

18:25 <galois> SnoopJeDi: no

18:25 <raptop> (though I usually have no idea which continent she's in, so it's hard to tell)

18:26 <SnoopJeDi> !8 are you sure?

18:26 <galois> SnoopJeDi: Did I stutter?

18:32 <_whitenotifier-9244> [Principia] eggrobin labeled pull request #2727: Precise mode computation for vectors - https://git.io/JUuxY

18:32 <raptop> !choose 140 cm shark|340 cm bear

18:32 <galois> raptop: Your options: 140 cm shark, 340 cm bear. My choice: 340 cm bear

18:32 <_whitenotifier-9244> [Principia] pleroy opened pull request #2728: Fix Clang errors - https://git.io/JUujj

18:32 <_whitenotifier-9244> [Principia] pleroy closed pull request #2728: Fix Clang errors - https://git.io/JUujj

18:32 <_whitenotifier-9244> [Principia] pleroy pushed 2 commits to master [+0/-0/±2] https://git.io/JUzee

18:32 <_whitenotifier-9244> [Principia] pleroy 8ab19a5 - Fix Clang errors.

18:32 <_whitenotifier-9244> [Principia] pleroy 781b114 - Merge pull request #2728 from pleroy/Clang Fix Clang errors

18:32 <_whitenotifier-9244> [Principia] pleroy labeled pull request #2728: Fix Clang errors - https://git.io/JUujj

18:32 <_whitenotifier-9244> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1052

18:32 <_whitenotifier-9244> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1053

18:32 <_whitenotifier-9244> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1052

18:32 <_whitenotifier-9244> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1053

18:32 <_whitenotifier-9244> [Principia] pleroy closed pull request #2727: Precise mode computation for vectors - https://git.io/JUuxY

18:32 <_whitenotifier-9244> [Principia] pleroy pushed 2 commits to master [+0/-0/±4] https://git.io/JUzeJ

18:32 <_whitenotifier-9244> [Principia] pleroy 6670da3 - Precise mode computation for vectors.

18:33 <_whitenotifier-9244> [Principia] pleroy 1240cfe - Merge pull request #2727 from pleroy/PreciseMode3D Precise mode computation for vectors

18:33 <_whitenotifier-9244> [Principia] eggrobin labeled pull request #2728: Fix Clang errors - https://git.io/JUujj

18:33 <_whitenotifier-9244> [Principia] eggrobin unlabeled pull request #2728: Fix Clang errors - https://git.io/JUujj

18:33 <egg|laptop|egg> raptop: whitequark: https://photos.google.com/share/AF1QipPFPebjP9-7_phcLe6lrbqPW0kHIAyvXyoK_oKp5JdKk_wa85FbfzcR3aqELGFtMQ?key=b2VjZGhWNjNwN1phRzd5dTFVVGkxM2RrVS1BVDNR

18:35 <raptop> cat detected

18:43 <SnoopJeDi> confirmed

19:37 <_whitenotifier-9244> [Principia] Success. #1053 succeeded - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1053

19:37 <_whitenotifier-9244> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1054

19:38 <_whitenotifier-9244> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1054

19:41 egg|laptop|egg has quit [Remote host closed the connection]

19:47 egg|laptop|egg has joined #kspacademia

19:48 <_whitenotifier-9244> [Principia] Success. #1052 succeeded - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1052

19:48 <_whitenotifier-9244> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1055

19:48 <_whitenotifier-9244> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1055

20:13 <_whitenotifier-9244> [Principia] Failure. #1055 failed - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1055

20:21 egg|laptop|egg has quit [Remote host closed the connection]

20:24 <raptop> !wpn

20:24 * galois gives raptop an en club

20:26 <_whitenotifier-9244> [Principia] Failure. #1054 failed - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1054

20:32 <raptop> !adj -add:es

20:32 <raptop> !wpn -add:adj es

20:32 <galois> Added adj 'es'

20:32 <raptop> !wpn -add:adj fr

20:32 <galois> Added adj 'fr'

20:33 <raptop> !wpn -add:adj ru

20:33 <galois> Added adj 'ru'

20:33 <raptop> !wpn -add:adj jp

20:33 <galois> Added adj 'jp'

20:33 <raptop> !wpn -add:adj cn

20:33 <galois> Added adj 'cn'

20:33 <raptop> !wpn -add:adj de

20:33 <galois> Added adj 'de'

20:33 <raptop> !wpn -add:adj ch

20:33 <galois> Added adj 'ch'

20:33 <raptop> !wpn -add:adj mx

20:33 <galois> Added adj 'mx'

20:33 <raptop> !wpn -add:adj br

20:33 <galois> Added adj 'br'

20:34 <raptop> !wpn

20:34 * galois gives raptop a Coxeter blessed dreadnought

21:15 egg|laptop|egg has joined #kspacademia

21:19 <egg|laptop|egg> raptop: please capitalize region codes

21:19 <egg|laptop|egg> la for Latin, LA for Laos

21:19 <egg|laptop|egg> la-LA for Latin as spoken in Laos

21:20 <egg|laptop|egg> la-Latn-LA for Latin, written in Latin script, as spoken in Laos,

21:21 <raptop> !wpn -del:adj mx

21:21 <galois> Deleted adj 'mx'

21:21 <raptop> !wpn -del:adj br

21:21 <galois> Deleted adj 'br'

21:22 <raptop> since the rest can count as country codes, right?

21:22 <raptop> !wpn -add:adj MX

21:22 <galois> Added adj 'MX'

21:22 <raptop> !wpn -add:adj BR

21:22 <galois> Added adj 'BR'

21:22 <raptop> !wpn -add:adj ES

21:22 <galois> Added adj 'ES'

21:22 <raptop> !wpn -add:adj FR

21:22 <galois> Added adj 'FR'

21:22 <raptop> !wpn -add:adj RU

21:22 <galois> Added adj 'RU'

21:22 <raptop> !wpn -add:adj JP

21:22 <galois> Added adj 'JP'

21:22 <raptop> !wpn -add:adj CD

21:22 <galois> Added adj 'CD'

21:22 <raptop> !wpn -add:adj DE

21:22 <galois> Added adj 'DE'

21:22 <raptop> !wpn -add:adj CH

21:22 <galois> Added adj 'CH'

21:22 <raptop> !wpn -del:adj ch

21:22 <galois> Deleted adj 'ch'

21:23 <egg|laptop|egg> raptop: I don’t think jp is an ISO 639 code ?

21:27 <raptop> well, it's ISO, so paywalled

21:28 <egg|laptop|egg> https://www.loc.gov/standards/iso639-2/php/English_list.php

21:28 <raptop> !wpn -del:adj jp

21:29 <galois> Deleted adj 'jp'

21:29 <raptop> !wpn -add:adj ja

21:29 <galois> Added adj 'ja'

21:29 <egg|laptop|egg> seems there is indeed no jp (it would not be japanese but it could have been something else, I don’t know them all)

21:30 <egg|laptop|egg> lots of fun false friends

21:30 <raptop> wait, basque is eu?

21:30 <egg|laptop|egg> sv-SV, Swedish as spoken in El Salvador

21:30 <egg|laptop|egg> :D

21:30 <egg|laptop|egg> la-LA aforementioned

21:30 <raptop> egg|laptop|egg: ah, that explains why Duo talks about how many people are learning Swedish

21:31 <egg|laptop|egg> uk-GB, Ukrainian as spoken in the UK :-p

21:31 <raptop> be-BE being Belarussian as spoken in Belgium,

21:33 <egg|laptop|egg> yup

21:33 <raptop> bn-BN is bengali spoken in Brunei, which feels like someone is playing a prank in the standards

21:37 <raptop> !wpn -del:adj cn

21:37 <galois> Deleted adj 'cn'

21:37 <raptop> !wpn -add:adj zh

21:37 <galois> Added adj 'zh'

21:46 <egg|laptop|egg> https://doi.org/10.1007/s00211-012-0480-x

21:51 <raptop> They're good dogs^H^H^Hzeroes?

21:53 <egg|laptop|egg> yes

21:54 <egg|laptop|egg> raptop: added a mention of LUCI aboard Lagrange to https://github.com/Kerbalism/KerbalismContracts/wiki/Design

21:54 <egg|laptop|egg> feel free to add other references in there, they tend to get lost if you just mention them in #principia

21:54 <raptop> right

21:55 <egg|laptop|egg> https://twitter.com/bofh453/status/1162748628789846016

21:55 <kmath> <bofh453> Just saw "They're good root finders, Brent" in a git commit message and AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA.

21:55 <SnoopJeDi> after 1.5 weeks of phone tag to get my prescription

21:55 <SnoopJeDi> I have discovered that the pharmacy has never been able to fill this

21:55 <egg|laptop|egg> see also https://twitter.com/bofh453/status/1021826250480996352

21:55 <kmath> <bofh453> <@eggleroy> Voigt-Kampff/Dekker algorithm for exact multiplication,

21:55 <SnoopJeDi> it's not even on their order form

21:56 <SnoopJeDi> !8 is this fine

21:56 <galois> SnoopJeDi: yes

22:03 <raptop> SnoopJeDi: aaaaaaaa

22:03 <raptop> Does this mean it would be easier to do crimes?

22:05 <egg|laptop|egg> https://twitter.com/johnregehr/status/1307739338659094529

22:05 <kmath> <johnregehr> @geoffwozniak is the one on the left a planarian

22:08 <raptop> cats as model organisms

22:11 <raptop> !wpn the catworm

22:11 * galois gives the catworm a PEP 8 anyon

22:16 <SnoopJeDi> !wpn -add:adj PEP 517

22:16 <galois> Added adj 'PEP 517'

22:16 <SnoopJeDi> !wpn -add:wpn zipapp

22:16 <galois> Added wpn 'zipapp'

22:16 <SnoopJeDi> !wpn -add:wpn .whl

22:16 <galois> Added wpn '.whl'

22:17 <SnoopJeDi> !wpn -add:wpn annotation

22:17 <galois> Added wpn 'annotation'

22:17 <SnoopJeDi> !wpn -add:wpn marginalium

22:17 <galois> Added wpn 'marginalium'

22:17 <SnoopJeDi> !wpn -add:wpn allium

22:17 <galois> Added wpn 'allium'

22:18 <SnoopJeDi> !wpn -add:adj aluminum

22:18 <galois> Entry already exists!

22:18 <SnoopJeDi> !wpn -add:adj aluminium

22:18 <galois> Added adj 'aluminium'

22:23 <egg|laptop|egg> !nfc é̀

22:23 <galois> Unexpected error (invalid normalization form) from egg|laptop|egg at 2020-09-21 18:23:19.375827. Message was: !nfc é̀

22:23 <egg|laptop|egg> !NFC é̀

22:23 <galois> é: U+00e9 LATIN SMALL LETTER E WITH ACUTE

22:23 <galois> ̀: U+0300 COMBINING GRAVE ACCENT

22:23 <egg|laptop|egg> !NFC è́

22:23 <galois> è: U+00e8 LATIN SMALL LETTER E WITH GRAVE

22:23 <galois> ́: U+0301 COMBINING ACUTE ACCENT

22:24 <egg|laptop|egg> !NFC הַֽ

22:24 <galois> ה: U+05d4 HEBREW LETTER HE

22:24 <galois> ַ: U+05b7 HEBREW POINT PATAH

22:24 <galois> ֽ: U+05bd HEBREW POINT METEG

22:24 <egg|laptop|egg> !NFC הַֽ

22:24 <galois> ה: U+05d4 HEBREW LETTER HE

22:24 <galois> ַ: U+05b7 HEBREW POINT PATAH

22:24 <galois> ֽ: U+05bd HEBREW POINT METEG

22:24 <egg|laptop|egg> !NFC הֽ͏ַ

22:24 <galois> Can only decompose up to 3 characters at a time

22:25 <egg|laptop|egg> boo

22:25 <egg|laptop|egg> !u הַֽ

22:25 <galois> ה: U+05d4 HEBREW LETTER HE

22:25 <galois> ֽ: U+05bd HEBREW POINT METEG

22:25 <galois> ַ: U+05b7 HEBREW POINT PATAH

22:25 <egg|laptop|egg> !u הֽ͏ַ

22:25 <galois> ה: U+05d4 HEBREW LETTER HE

22:25 <galois> ֽ: U+05bd HEBREW POINT METEG

22:25 <galois> ͏: U+034f COMBINING GRAPHEME JOINER

22:25 <galois> ַ: U+05b7 HEBREW POINT PATAH

22:25 <SnoopJeDi> I can increase the limit for here if you'd like

22:26 <egg|laptop|egg> yeah that seems useful considering that you cannot demonstrate the use of CGJ as it stands

22:26 <SnoopJeDi> actually let me just unlimit it for this channel

22:26 <egg|laptop|egg> uh

22:26 <SnoopJeDi> or not?

22:27 <egg|laptop|egg> well, I think it would be easy to accidentally send galois on a rant

22:27 <SnoopJeDi> yea

22:27 <egg|laptop|egg> then again IRC messages are bounded

22:27 <SnoopJeDi> I played it safe with MAX_LEN_DECOMPOSE since the decomposition is...hard to predict.

22:28 <egg|laptop|egg> eh just unlimit it, we’ll see if it gets annoying

22:29 <egg|laptop|egg> (but otherwise 4 is the minimum to demonstrate interesting things, and I would say half a dozen to cover most common cases)

22:29 <SnoopJeDi> is that the length of the result or the length of the input?

22:30 <SnoopJeDi> !NFC הֽ͏ַ

22:30 <galois> ה: U+05d4 HEBREW LETTER HE

22:30 <galois> ֽ: U+05bd HEBREW POINT METEG

22:30 <galois> ַ: U+05b7 HEBREW POINT PATAH

22:30 <galois> ͏: U+034f COMBINING GRAPHEME JOINER

22:30 <egg|laptop|egg> either

22:30 <SnoopJeDi> actually just testing the result with the same rule would be way more useful instead of making it a special case

22:30 <SnoopJeDi> anyway, unlimited now

22:30 <egg|laptop|egg> in this example NFC does not change the number (nor the set) of code points

22:31 <egg|laptop|egg> it reorders

22:31 <egg|laptop|egg> !u הַֽ

22:31 <galois> ה: U+05d4 HEBREW LETTER HE

22:31 <galois> ֽ: U+05bd HEBREW POINT METEG

22:31 <galois> ַ: U+05b7 HEBREW POINT PATAH

22:31 <egg|laptop|egg> but

22:31 <egg|laptop|egg> !NFC הַֽ

22:31 <galois> ה: U+05d4 HEBREW LETTER HE

22:31 <galois> ַ: U+05b7 HEBREW POINT PATAH

22:31 <galois> ֽ: U+05bd HEBREW POINT METEG

22:31 * SnoopJeDi nods

22:32 <egg|laptop|egg> the CGJ (which does not join graphemes, https://mobile.twitter.com/whitequark/status/305956392022441984) forbids that reordering, and causes the memory order to be followed in display

22:32 <kmath> https://twitter.com/whitequark/status/305956392022441984 <whitequark> The combining grapheme joiner is a Unicode character [...] Despite its name, it does not join graphemes. http://t.co/a8WozgpPSJ

22:34 <egg|laptop|egg> !NFC ᾥ

22:34 <galois> ᾥ: U+1fa5 GREEK SMALL LETTER OMEGA WITH DASIA AND OXIA AND YPOGEGRAMMENI

22:34 <egg|laptop|egg> !NFD ᾥ

22:34 <galois> ω: U+03c9 GREEK SMALL LETTER OMEGA

22:34 <galois> ̔: U+0314 COMBINING REVERSED COMMA ABOVE

22:34 <galois> ́: U+0301 COMBINING ACUTE ACCENT

22:34 <galois> ͅ: U+0345 COMBINING GREEK YPOGEGRAMMENI

22:34 <egg|laptop|egg> !u ᾥ

22:34 <galois> ω: U+03c9 GREEK SMALL LETTER OMEGA

22:34 <galois> ̔: U+0314 COMBINING REVERSED COMMA ABOVE

22:34 <galois> ͅ: U+0345 COMBINING GREEK YPOGEGRAMMENI

22:34 <galois> ́: U+0301 COMBINING ACUTE ACCENT

22:35 <SnoopJeDi> glad I bothered with it, one small improvement to my understanding

22:36 <SnoopJeDi> at this point this channel is responsible for *most* of what I know about Unicode

22:37 <egg|laptop|egg> well, I regularly work with Mark Davis so https://mobile.twitter.com/nickm_tor/status/860234274842324993

22:37 <kmath> https://twitter.com/nickm_tor/status/860234274842324993 <nickm_tor> Gaze not into the abyss, lest you become recognized as an abyss domain expert, and they expect you keep gazing into the damn thing.

22:37 <SnoopJeDi> yea it's probably not surprising to have picked up a bunch of things from someone who works in the domain

22:38 raptop has quit [Read error: Connection reset by peer]

22:39 raptop has joined #kspacademia

22:44 <raptop> https://mastodon.social/@qdot/104905090771004777

22:54 <egg|laptop|egg> better res here https://pbs.twimg.com/media/EieEaPNUMAAQaVx?format=jpg&name=orig

23:04 <egg|laptop|egg> !NFKC ϖ

23:04 <galois> π: U+03c0 GREEK SMALL LETTER PI

23:15 <raptop> !u ϖ

23:15 <galois> ϖ: U+03d6 GREEK PI SYMBOL

23:15 <raptop> !decompose ϖ

23:15 <galois> The !decompose command has been deprecated. Use !NFKD for the old behavior (see also: !NFC, !NFD, !NFKC)

23:15 <raptop> !NFKD ϖ

23:15 <galois> π: U+03c0 GREEK SMALL LETTER PI

23:15 <raptop> !u πϖ

23:15 <galois> π: U+03c0 GREEK SMALL LETTER PI

23:15 <galois> ϖ: U+03d6 GREEK PI SYMBOL

23:31 <raptop> huh, apparently blackboard censors "god"

23:31 <raptop> (YHWH etc are fine)

23:39 <raptop> !wpn

23:39 * galois gives raptop a Туполев vulture