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>
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]