raptop 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
<mlbaker> 'departing in the rear'?
<mlbaker> oh i see
<UmbralRaptop> uh
<UmbralRaptop> bofh: I have questions about that Mercury paper you RT'd. Mainly how are there even epithermal neutrons in a space environment.
<UmbralRaptop> *?
<bofh> UmbralRaptop: I'm still baffled at that myself honestly.
<SnoopJeDi> oh! bofh! you may know something about this. are you familiar with the Thomson effect and the voltage difference generated based on the direction of the current, a la eq. A3 of https://arxiv.org/abs/1809.08040 ?
<SnoopJeDi> Someone was asking about it in another channel today, along the lines of "how can the resistance of such a device be sensibly defined as R=V/I" and I thought they were spouting nonsense for a bit until I finally got a link out of them
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
<bofh> SnoopJeDi: uh sec
<bofh> fuck, looks like I managed to "activate" sweet potato fries
<UmbralRaptop> charcoal activate, or are they undergoing beta decay?
<bofh> They're very very briquette-like, so the former.
<UmbralRaptop> ah
<SnoopJeDi> mmm, I've not made any of those in a long time. Probably time to revisit
<bofh> what, sweet potato fries or food-derived charcoal briquettes?
<SnoopJeDi> ha!
<SnoopJeDi> the former :)
<SnoopJeDi> They're my go-to "hey did you know science + cooking is AWESOME" thing, and tasty besides.
<SnoopJeDi> hooray for amylase \o/
<bofh> Indeed, they are delicious
<egg|cell|egg> Meow
<SnoopJeDi> I should buy a crinkle cutter sometime
<SnoopJeDi> rectangular prisms are okay, but the surface area to volume ratio is just a little low for tasty reactivity (and salt)
<bofh> yep, crinkle cut is correct
<egg|cell|egg> Meow
<SnoopJeDi> I kinda want to work out the surface area to volume ratio for waffle fries with interior holes as a function of the characteristic size
<SnoopJeDi> o p t i m a l f r i e s
* SnoopJeDi scritches egg|cell|egg
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #kspacademia
e_14159 has quit [Ping timeout: 190 seconds]
e_14159 has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
<bofh> 01:42:58 <@SnoopJeDi> I kinda want to work out the surface area to volume ratio for waffle fries with interior holes as a function of the characteristic size
<bofh> 01:43:09 <@SnoopJeDi> o p t i m a l f r i e s
<bofh> I am now wondering what the LP polytope for this would look like
<bofh> the Fries Polytope
<bofh> (hey there's a polytope for the LP relaxation of a Sudoku puzzle; of course there's a Fries Polytope)
<SnoopJeDi> MaTH iS dIsCoVerED
<egg|cell|egg> Meow
<bofh> egg|cell|egg: miaou
* UmbralRaptop pets bofh && egg|cell|egg
<UmbralRaptop> right, polytope ≠ polytrope
<egg|cell|egg> ἄνδρα μοι ἔννεπε, μοῦσα, πολύτροπον...
<bofh> oh right that's from the Odyssey iirc?
<egg|cell|egg> Yes https://en.m.wiktionary.org/wiki/πολύτροπος#Ancient_Greek
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 198 seconds]
egg|cell|egg has joined #kspacademia
egg|laptop|egg has joined #kspacademia
<_whitenotifier-7258> [Principia] pleroy opened pull request #2086: New compiler, same old bugs - https://git.io/fhpja
<_whitenotifier-7258> [Principia] Pending. Build queued… - 
<_whitenotifier-7258> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3463/
<_whitenotifier-7258> [Principia] eggrobin labeled pull request #2086: New compiler, same old bugs - https://git.io/fhpja
<_whitenotifier-7258> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3463/
<_whitenotifier-7258> [Principia] pleroy closed pull request #2086: New compiler, same old bugs - https://git.io/fhpja
<_whitenotifier-7258> [Principia] pleroy pushed 2 commits to master [+0/-0/±10] https://git.io/fhpjb
<_whitenotifier-7258> [Principia] pleroy b4584f5 - New compiler, same old bugs.
<_whitenotifier-7258> [Principia] pleroy a34594d - Merge pull request #2086 from pleroy/NewCompiler New compiler, same old bugs
<_whitenotifier-7258> [Principia] pleroy opened pull request #2087: Better semantics for AttachFork - https://git.io/fhhee
<_whitenotifier-7258> [Principia] Pending. Build queued… - 
<_whitenotifier-7258> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3464/
egg|laptop|egg has quit [Remote host closed the connection]
<_whitenotifier-7258> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3464/
<_whitenotifier-7258> [Principia] pleroy opened pull request #2088: Make the Ephemeris fully thread-safe and improve error reporting - https://git.io/fhhvW
<_whitenotifier-7258> [Principia] Pending. Build queued… - 
<_whitenotifier-7258> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3465/
<_whitenotifier-7258> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3465/
<_whitenotifier-7258> [Principia] pleroy synchronize pull request #2088: Make the Ephemeris fully thread-safe and improve error reporting - https://git.io/fhhvW
<_whitenotifier-7258> [Principia] Pending. Build queued… - 
<_whitenotifier-7258> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3466/
<_whitenotifier-7258> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3466/
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 183 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
<oeuf> UmbralRaptop: bofh: the dragon capsule wasn't in free fall from 8,4 m down so i guess they have upgraded to euler
<_whitenotifier-7258> [Principia] eggrobin reviewed pull request #2087 commit - https://git.io/fhhtK
<_whitenotifier-7258> [Principia] eggrobin reviewed pull request #2087 commit - https://git.io/fhht6
<_whitenotifier-7258> [Principia] eggrobin opened pull request #2089: An interface that can actually be called - https://git.io/fhhqf
<_whitenotifier-7258> [Principia] Pending. Build queued… - 
<_whitenotifier-7258> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3467/
<oeuf> !u 𝐶̅
<galois> 𝐶: U+1d436 MATHEMATICAL ITALIC CAPITAL C
<galois> ̅: U+0305 COMBINING OVERLINE
<_whitenotifier-7258> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3467/
ferram4_ has joined #kspacademia
ferram4 has quit [Ping timeout: 198 seconds]
<_whitenotifier-7258> [Principia] pleroy synchronize pull request #2087: Better semantics for AttachFork - https://git.io/fhhee
<_whitenotifier-7258> [Principia] pleroy reviewed pull request #2087 commit - https://git.io/fhhqA
<_whitenotifier-7258> [Principia] Pending. Build queued… - 
<_whitenotifier-7258> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3468/
<_whitenotifier-7258> [Principia] eggrobin synchronize pull request #2089: An interface that can actually be called - https://git.io/fhhqf
<_whitenotifier-7258> [Principia] Pending. Build queued… - 
<_whitenotifier-7258> [Principia] eggrobin synchronize pull request #2089: An interface that can actually be called - https://git.io/fhhqf
APlayer has joined #kspacademia
<_whitenotifier-7258> [Principia] Pending. Build queued… - 
<_whitenotifier-7258> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3468/
<_whitenotifier-7258> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3469/
<_whitenotifier-7258> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3469/
<_whitenotifier-7258> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3470/
galois has quit [Quit: Closing]
galois has joined #kspacademia
<SnoopJeDi> today's happy hour bounty is awarded for Jurassic WIMPs: https://journals.aps.org/prd/abstract/10.1103/PhysRevD.99.043014
<galois> title: Phys. Rev. D 99, 043014 (2019) - Paleo-detectors: Searching for dark matter with ancient minerals
<SnoopJeDi> also, turned URL titles back on since I guess kmath is AWOL
<_whitenotifier-7258> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3470/
<oeuf> tfw no kmath
<oeuf> nor icefire
<SnoopJeDi> I also wrote the deferral feature you requested oeuf, in case kmath does come back. galoisbot won't try if kmath is around.
<oeuf> nice
<SnoopJeDi> I hate writing decorator factories for this lib: http://ix.io/1CTx
<SnoopJeDi> tfw `def: def: def:`
<SnoopJeDi> but I'm glad I decided to write it as a decorator factory instead of burying the logic in the actual get_title() logic, which is already kinda messy.
<oeuf> def: er
<oeuf> SnoopJeDi: casefold won't really do the job, because IRC weirdness with | and \
<oeuf> and {} []
<oeuf> I guess you'd need an iso 646 casefold :-p
<SnoopJeDi> hm? those all seem to be fixed under casefold(), can you give me an example of a nick that would break it?
<SnoopJeDi> I literally only learned about casefold() yesterday when I suggested lower() for something (which, ironically, is probably more appropriate here?)
<oeuf> SnoopJeDi: so it's just IRC being weird
oeuf is now known as egg|zzz|egg
<egg|zzz|egg> SnoopJeDi: try /nick egg\zzz\egg
<egg|zzz|egg> (but \ is fine in nicks, you can /nick egg\z\egg
<egg|zzz|egg> )
<SnoopJeDi> oh dear
<egg|zzz|egg> the reason is that it was designed for a scandinavian ISO 646 character set
SnoopJeDi is now known as foo\bar
<foo\bar> these are still unchanged by casefold, though, right? once the ircd has its way with it, I mean
foo\bar is now known as SnoopJeDi
<egg|zzz|egg> which had letters where []\ are in ASCII, and the corresponding uppercase letters where {}|
<egg|zzz|egg> yeah, they're unchanged by casefold
<SnoopJeDi> I mean, I guess a cheeky user might do `@defer_to(['egg\zzz\egg'])`
<egg|zzz|egg> but that means that casefold isn't a correct canonicalization for IRC nicks
<SnoopJeDi> and in that case I will nelson_haha.gif
<SnoopJeDi> good to know, thanks
<egg|zzz|egg> unfortunately the relevant ISO 646 character sets seem to be too obscure for python
<SnoopJeDi> egg|zzz|egg, relatedly, maybe you can clear up another question that cropped up yesterday as I poked at casefold
<egg|zzz|egg> otherwise you could do nick.encode('ascii').decode('scandinavian_magic').casefold().encode('scandinavian_magic').decode('ascii')
<SnoopJeDi> 'ß'.upper() gives 'SS' and AFAICT Python obeys rules set down quite explicitly by the Standard
<egg|zzz|egg> yeah, that's correct
<SnoopJeDi> but 'ẞ'.lower() is 'ß'
<egg|zzz|egg> yes, that's correct
<SnoopJeDi> so, is this a "one came first" thing
<SnoopJeDi> or a more subtle property
<egg|zzz|egg> ẞ is not completely a thing
<SnoopJeDi> you mean in orthography?
<SnoopJeDi> German/misc. orthography that is
<egg|zzz|egg> common practice in German is to use ß where appropriate in lowercase, but SS in uppercase always
<SnoopJeDi> yea, I've seen that
<egg|zzz|egg> ẞ exists but is rare and eggsotic
<egg|zzz|egg> hence the behaviour
<egg|zzz|egg> it reflects common usage
<SnoopJeDi> gotcha, so it makes the most sense to follow what the language actually does
<SnoopJeDi> thanks!
<egg|zzz|egg> also yes, ẞ came later
<egg|zzz|egg> so you couldn't change it even if every german suddenly decided to use ẞ
<SnoopJeDi> I've learned a lot about how much I don't know about Unicode from you
<SnoopJeDi> and uh languages
<egg|zzz|egg> that way madness lies, though
<SnoopJeDi> I still carry a not insubstantial residual of shame after you gave me a proper dressing-down over a sloppy rant about something or other to do with Latin
<egg|zzz|egg> if you want fun casefolding, of course there's turkish and azeri i
<SnoopJeDi> but the upshot is that I'm a lot more careful when trying to reason about languages!
<egg|zzz|egg> yay
<SnoopJeDi> I still have a grudge against Rome, but I can at least separate that virtriol from the language
<SnoopJeDi> egg|zzz|egg, to be sure I've fully understood: is casefold() a good practice for general use (i.e. not IRC) when writing Python that may be comparing Unicode strings?
<egg|zzz|egg> so, it depends what you want to do
<SnoopJeDi> AIUI the way the standard defines the casefolding algorithm handles all the business about normalization and so on, so it seems like a good "just use this"
<egg|zzz|egg> if you want case-insensitive comparison, you want to casefold both and compare; HOWEVER
<SnoopJeDi> I'm guessing because it picks a particular normalization (right?) this is...messy
<egg|zzz|egg> you probably want to NFKC too
<egg|zzz|egg> but ONLY if you want case-insensitive comparison
<egg|zzz|egg> for case sensitive comparison you should NFC only
<egg|zzz|egg> note that NFKC will map superscript 2 to 2, and the like
<SnoopJeDi> hm, I'll have to leave learning more about normalizations for another day. Thanks for letting me pick your brain about it though
<egg|zzz|egg> so you don't want to do that carelessly, less ε_0 become ε^0 which is 1 :-p
<SnoopJeDi> is that not the value of ε_0? ;)
<egg|zzz|egg> μ
<SnoopJeDi> hmm, I wonder if we're going to have a [something] about Le Grand K at the physics festival
<SnoopJeDi> ...also, I'm apparently manning the Tesla coil this year
<SnoopJeDi> so if I disappear after Apr 6 I probably accidentally high voltage'
* SnoopJeDi pokes that article's use of "paleo" to refer to 1 Gy
* APlayer hands SnoopJeDi kitchen gloves and protective goggles
<SnoopJeDi> and ear plugs >_>
* APlayer is off
<UmbralRaptop> ow
<UmbralRaptop> Does the Tesla coil sing?
<SnoopJeDi> I don't think it's programmed to do, no :(
APlayer has quit [Ping timeout: 190 seconds]
<UmbralRaptop> proposal for future years: tesla coil that plays 東方 music
<galois> title: Tesla Coil - YouTube
<SnoopJeDi> UmbralRaptop, we do have a plasma speaker demo, though. Usually hooked up to someone's phone.
<galois> title: Emily Lakdawalla on Twitter: "Hello hi yes I am learning how to process an entirely new image data set just for one slide in a presentation I'm supposed to be giving in 4 hours, this is a perfectly rational use of my time, why do you ask?"
<UmbralRaptop> SnoopJeDi: nice
Wetmelon has joined #kspacademia
<bofh> UmbralRaptop: I mean it kind of *is* a rational use of one's time imho.
<egg|zzz|egg> meow
<galois> title: Twitter
<SnoopJeDi> galois, that is not helpful
galois has quit [Quit: Closing]
galois has joined #kspacademia
<SnoopJeDi> oh.
<galois> title: Overheard on Quant-Ph on Twitter: "% Experimental realizations such as the preparations and detections of the Schrodinger Cats"
<SnoopJeDi> good bot
<galois> =]
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 202 seconds]
UmbralRaptop has joined #kspacademia
UmbralRaptor has quit [Ping timeout: 202 seconds]
Wetmelon has quit [Ping timeout: 183 seconds]
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia