#kspacademia on 2019-11-13 — 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:09 egg is now known as _2014_MU69

00:09 _2014_MU69 is now known as Arrokoth

00:09 Arrokoth is now known as egg|z|egg

00:23 <egg|z|egg> !wpn Iskierka

00:23 * galois gives Iskierka a toxic quadrilateral

00:23 <egg|z|egg> !wpn B787_300

00:23 * galois gives B787_300 a calcium relay tardigrade

00:23 <egg|z|egg> !wpn whitequark

00:23 * galois gives whitequark a hypothetical t-test

00:25 <Iskierka> !wpn egg

00:25 * galois gives egg a niobium sun

00:30 <egg|z|egg> hm how does that work eggsactly

00:30 <egg|z|egg> https://arxiv.org/ftp/arxiv/papers/1601/1601.05640.pdf

01:18 UmbralRaptop has joined #kspacademia

01:20 <egg|z|egg> UmbralRaptop: https://esper.irclog.whitequark.org/kspacademia/2019-11-13#2510368;

01:20 <galois> title: #kspacademia on 2019-11-13 — irc logs at whitequark.org

01:20 <egg|z|egg> !wpn UmbralRaptop

01:20 * galois gives UmbralRaptop a radon raven

01:27 UmbralRaptop is now known as delocalizedraptop

01:28 <delocalizedraptop> egg|z|egg: ＣＡＵＴＩＯＮ！！！　☢ＣＡＵＴＩＯＮ！！！　☢ＣＡＵＴＩＯＮ！！！

01:42 <delocalizedraptop> !wpn egg and/or Iskierka

01:42 * galois gives egg and/or Iskierka a regular Poinsot ship

01:50 e_14159 has joined #kspacademia

01:52 egg|zzz|egg has joined #kspacademia

01:52 <delocalizedraptop> Apropos nothing, JPL is really cool

01:52 e_14159_ has quit [Ping timeout: 378 seconds]

01:52 <egg|zzz|egg> delocalizedraptop: meow?

01:52 <delocalizedraptop> egg|zzz|egg: caw!

01:53 <delocalizedraptop> visiting there to work with people on some eggsoplanets stuff

02:11 * delocalizedraptop is not a cat, so Curiosity was unable to kill me https://photos.app.goo.gl/8pfD8zS4W5HhjrEg7

02:11 <galois> title: Shared album - Patrick N - Google Photos

02:14 <egg|zzz|egg> !choose sleep|don't

02:14 <galois> egg|zzz|egg: Your options: sleep, don't. My choice: don't

02:14 <egg|zzz|egg> um

02:14 <egg|zzz|egg> delocalizedraptop: raptop!

02:15 <delocalizedraptop> !choose egg should sleep|egg should not sleep

02:15 <galois> delocalizedraptop: Your options: egg should sleep, egg should not sleep . My choice: egg should sleep

02:18 <delocalizedraptop> This feels relevant to mofh https://photos.app.goo.gl/tSyUXuuvtwA4EJbz8

02:18 <galois> title: Shared album - Patrick N - Google Photos

02:44 egg|zzz|egg has quit [Remote host closed the connection]

02:45 <delocalizedraptop> Arrokoth Arrokoth Arrokoth

03:06 <delocalizedraptop> https://snouts.online/@clipclopboom/103126598920147429

03:06 <galois> title: Thötterdämmerung: "If gastronomy involves actual theory and stuff be…" - snouts dot online

03:19 <mofh> delocalizedraptop: holy shit is that Center of The Universe? (i.e. DSOT in Pasadena)

03:19 <delocalizedraptop> Yep!

03:20 * delocalizedraptop got to be a tourist after working out some simulation goals in the morning/early afternoon

03:43 <B787_300> Huh Ultima Thule had a name change to Arrokoth

03:49 <delocalizedraptop> Official name instead of unofficial

03:49 <delocalizedraptop> cat https://twitter.com/benorlin/status/1194378047543230464

03:49 <galois> title: Ben Orlin on Twitter: "… "

03:57 <B787_300> delocalizedraptop: I mean it is a well known fact that cats are a liquid and thus when on a planar surface would expand to the edges and not spill of because surface tension

03:57 <B787_300> So no need for a weird space filling curve

03:58 <delocalizedraptop> fair

06:09 egg|cell|egg has quit [Ping timeout: 198 seconds]

09:00 _whitelogger has joined #kspacademia

11:14 Majiir has quit [Quit: CUT THE HARDLINES!!]

11:17 Snoozee has joined #kspacademia

11:17 Snoozee is now known as Majiir

13:13 <SilverFox> in academia we dont say "I love you" we say "I found an article that made me think of you" and i think that's beautiful

14:26 <egg|work|egg> !acr -add:MOSE MOdulo Sperimentale Elettromeccanico

14:26 <galois> Definition added!

14:44 <SilverFox> >sperimentale

14:44 <SilverFox> me when drunk

15:05 <egg|work|egg> !u 🄻

15:05 <galois> 🄻: U+1f13b SQUARED LATIN CAPITAL LETTER L

15:07 <SilverFox> i dont have the font for that character

16:35 <SnoopJeDi> I do and it's weird to be using a terminal with good Unicode support again!

17:57 <egg|work|egg> TIL https://en.wiktionary.org/wiki/ze#Haitian_Creole

17:57 <galois> title: ze - Wiktionary

18:55 delocalizedraptop has quit [Quit: Bye]

19:39 egg|zzz|egg has joined #kspacademia

19:40 egg|zzz|egg has quit [Remote host closed the connection]

20:10 <SilverFox> how big is unicode, like bytes per character?

20:11 <SilverFox> or, just in total, rather

20:14 <whitequark> depends on transformation form (the exact kind of byte encoding)

20:50 egg|zzz|egg has joined #kspacademia

21:01 <_whitenotifier-31f> [Principia] eggrobin labeled pull request #2371: Reimplement the Arnold solver using quaternions - https://git.io/Jewg5

21:01 UmbralRaptop has joined #kspacademia

21:08 <egg|zzz|egg> !wpn whitequark

21:08 * galois gives whitequark a convolutional pastie

21:08 <egg|zzz|egg> SilverFox: also "character" is a somewhat nebulous concept

21:08 <egg|zzz|egg> !wpn -add:adj extended

21:08 <galois> Added adj 'extended'

21:08 <egg|zzz|egg> !wpn -add:wpn cluster

21:08 <galois> Added wpn 'cluster'

21:09 <SilverFox> let character be one block of the lexicon of most languages

21:09 <SilverFox> a is a single block

21:09 <egg|zzz|egg> yeah, you're not helping the nebulosity here

21:09 <SilverFox> 밥 is also a single block

21:09 <egg|zzz|egg> I think you might mean extended grapheme cluster

21:09 <SilverFox> !u 박

21:09 <galois> 박: U+bc15 HANGUL SYLLABLE BAG

21:10 <egg|zzz|egg> in which case those can be arbitrarily big

21:10 <SilverFox> sure but unicode defines them somehow

21:11 <egg|zzz|egg> ȧ͙̥̃

21:11 <egg|zzz|egg> that's one EGC

21:11 <egg|zzz|egg> !u ȧ͙̥̃

21:11 <galois> a: U+0061 LATIN SMALL LETTER A

21:11 <galois> ̇: U+0307 COMBINING DOT ABOVE

21:11 <galois> ̃: U+0303 COMBINING TILDE

21:11 <galois> ͙: U+0359 COMBINING ASTERISK BELOW

21:11 <galois> ̥: U+0325 COMBINING RING BELOW

21:11 <egg|zzz|egg> so is á̡̛͇̖̩̦̱̺̠̦̦̜̫̜̱̯̱̳̄̓͋͑̏̑̋̄̈̚͘͠͝

21:11 <egg|zzz|egg> you can make an arbitrarily large EGC

21:13 <UmbralRaptop> Is it my imagination, or the Unicode standard slowly drifting towards C-levels of UB

21:13 <egg|zzz|egg> if you mean code point, then, as whitequark says it's just a case of knowing the encoding

21:13 <egg|zzz|egg> but a code point isn't a very meaningful unit

21:13 <egg|zzz|egg> (in particular the number of code points is not invariant under change of normalization form)

21:14 <egg|zzz|egg> UmbralRaptop: I don't see anything undefined here

21:16 <whitequark> you can't have C-like UB in Unicode like by definition

21:17 <_whitenotifier-31f> [Principia] pleroy reviewed pull request #2370 commit - https://git.io/Jer4z

21:17 <_whitenotifier-31f> [Principia] pleroy reviewed pull request #2370 commit - https://git.io/Jer4g

21:17 <_whitenotifier-31f> [Principia] pleroy reviewed pull request #2370 commit - https://git.io/Jer42

21:17 <_whitenotifier-31f> [Principia] pleroy reviewed pull request #2370 commit - https://git.io/Jer4a

21:17 <_whitenotifier-31f> [Principia] pleroy reviewed pull request #2370 commit - https://git.io/Jer4V

21:18 <_whitenotifier-31f> [Principia] pleroy closed pull request #2371: Reimplement the Arnold solver using quaternions - https://git.io/Jewg5

21:18 <_whitenotifier-31f> [Principia] pleroy pushed 23 commits to master [+0/-0/±49] https://git.io/Jer4w

21:18 <_whitenotifier-31f> [Principia] pleroy 312f4a5 - Rotation computation.

21:18 <_whitenotifier-31f> [Principia] pleroy b97950d - Merge branch 'master' into Quaternions

21:18 <_whitenotifier-31f> [Principia] pleroy 9d444f7 - Flipping m.

21:18 <_whitenotifier-31f> [Principia] ... and 20 more commits.

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

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

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

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

21:21 <egg|z|egg> whitequark: I'm unsure what you mean; I don't think they do that sort of thing, but the concept doesn't seem entirely inapplicable to the more complex behaviours that some of the annexes define

21:22 <egg|z|egg> (they do have quite a bit of latitude for implementation-defined behaviour for instance)

21:22 <whitequark> egg|z|egg: C-like UB would mean something akin to "if you have this combination of code points anywhere, this standard imposes no restrictions on rendering of the entire text"

21:22 <egg|z|egg> yeah, and they don't do that

21:23 <whitequark> ok, fine, you can have that

21:23 <egg|z|egg> it's full of implementation permissions that can be very broad

21:23 <egg|z|egg> see e.g. the regex UTS, whichever that is

21:23 <egg|z|egg> 18

21:24 <egg|z|egg> http://unicode.org/reports/tr18/#Tailored_Word_Boundaries wheeee

21:24 <galois> title: UTS #18: Unicode Regular Expressions

21:24 <egg|z|egg> (not sure if there exists a regex engine that does tailored word boundaries)

21:24 <egg|z|egg> hell, I'm not even sure there's something that does default word boundaries

21:24 <egg|z|egg> I know Python doesn't

21:25 <egg|z|egg> python doesn't even do simple word boundaries iirc

21:28 <egg|z|egg> !wpn whitequark

21:28 * galois gives whitequark a soufflé with a cyclotron attachment

21:29 <SilverFox> whitequark, would probably be very prohibitive to have unicode support for my computer eh?

21:39 <egg|zzz|egg> huh, github has some sort of package management thing now?

21:39 <SilverFox> can I git gud yet?

21:42 <SnoopJeDi> that is one heavy soufflé

21:42 <SnoopJeDi> (and probably substantially activated)

21:42 <SnoopJeDi> !wpn -add:adj activated

21:42 <galois> Added adj 'activated'

21:42 <egg|zzz|egg> https://twitter.com/stephentyrone/status/1193981879680147458

21:42 <galois> title: Steve Canon on Twitter: "What is git flogging, and why do I want to do it again?… "

21:42 <SnoopJeDi> !wpn -add:wpn almonds

21:42 <galois> Added wpn 'almonds'

21:46 <_whitenotifier-31f> [Principia] Success. #173 succeeded - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=173

21:56 <egg|zzz|egg> whitequark: thanks for sharing that PowerShell twitter thread, it seems very useful

22:02 * egg|zzz|egg stares confusedly at https://twitter.com/sigfig/status/1194730867492564994

22:02 <galois> title: sigfig on Twitter: "transfer orbit s are easy, just slam into the forbidden region and bounce off of it straight to the moon… "

22:03 <_whitenotifier-31f> [Principia] Success. #174 succeeded - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=174

22:41 <SilverFox> lmao

22:46 <UmbralRaptop> OH: post-bachs are 0th year grad students

22:47 <egg|zzz|egg> it's from 10.1007/s10569-019-9934-0

22:49 <egg|zzz|egg> whose figures are in a style that resembles the author's thesis https://core.ac.uk/download/pdf/159504358.pdf

22:49 * egg|zzz|egg bites mofh

22:59 <egg|zzz|egg> !wpn whitequark and her cats

22:59 * galois gives whitequark and her cats a flyswatter

23:10 <UmbralRaptop> !wpn

23:10 * galois gives UmbralRaptop a Ginzberg einsteinium owl

23:10 * UmbralRaptop throws the owl at eduroam

23:11 <SilverFox> time for me to make another assumption about how things work with no research whatsoever

23:11 <SilverFox> does vector images work by lines from Vector1 to Vector2 in a 2D or 3D space?

23:12 <SilverFox> that way you just scale the vectors as you scale the image?

23:30 <Iskierka> !wpn eigenellies

23:30 * galois gives eigenellies a Ginzberg capacitor

23:32 <egg|z|egg> !wpn Iskierka

23:32 * galois gives Iskierka a Planck trapezoid

23:32 <egg|z|egg> !wpn eigenellies

23:32 * galois gives eigenellies a neon ruthenium inductor

23:38 <_whitenotifier-31f> [Principia] kemfic starred Principia - https://git.io/JerRM