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
<kmath> <REasther> The author calls this "the clearer plot above". I can only assume he got his training in data science by reading t… https://t.co/CpyQNYqwJd
<raptop> Yeah, that was confusing
e_14159_ has joined #kspacademia
e_14159 has quit [Ping timeout: 378 seconds]
egg|laptop|egg has joined #kspacademia
<UmbralRaptop> NoVA seems to be having a Midwestern thunderstorm
raptop has quit [Ping timeout: 378 seconds]
raptop has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
<raptop> "It is a shame that men can have power without wisdom. It is different for us lizards."
raptop has quit [Ping timeout: 190 seconds]
egg|cell|egg has quit [Ping timeout: 378 seconds]
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
raptop has joined #kspacademia
<_whitenotifier-d13c> [Principia] rsparkyc opened issue #2556: Disable timewarp rotation if under a certain threshold - https://git.io/JfGqj
egg|cell|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 190 seconds]
egg|cell|egg has joined #kspacademia
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]
<SnoopJeDi> TIL "sound gradual typing," neat
<whitequark> "is sound gradual typing dead?" was a recent paper
<SnoopJeDi> yup that's the one I landed on
<SnoopJeDi> I'm just happy to be able to follow any of it, now, having very much been in the "static type systems are cops" mindset for a long time for want of a working mental model of what a type system is
* raptop refuses to have an opinion on type systems due to insufficient knowledge of how/why
<whitequark> valid
<SnoopJeDi> very wise, I'm trying to become that ignorant
<SnoopJeDi> hm there has to be a word that works there with less stank
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
UmbralRaptop has quit [Remote host closed the connection]
<egg|laptop|egg> https://twitter.com/whitequark/status/1257414707650183168 this sounds like a good idea
<kmath> <whitequark> i want an image intensifier i can wear so that i never risk accidentally stepping on a cat in the dark.
<SnoopJeDi> intyaansification
<raptop> Hm, it's spreading
<raptop> !u Å
<galois> Å: U+00c5 LATIN CAPITAL LETTER A WITH RING ABOVE
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia