raptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Gateaux. We currently target 1.8.1, 1.9.1, and 1.10.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly… | <egg> also 4e16 m * 2^-52 is uncomfortably large
egg|cell|egg has quit [Ping timeout: 194 seconds]
kmath has joined #principia
Moistmelon has quit [Ping timeout: 378 seconds]
Mike` has quit [Ping timeout: 198 seconds]
Mike` has joined #principia
Blu3wolf has joined #principia
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg has quit [Ping timeout: 198 seconds]
egg|laptop|egg has joined #principia
egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
discord-_ has quit [Read error: Connection reset by peer]
egg has quit [Read error: Connection reset by peer]
egg has joined #principia
egg|cell|egg has joined #principia
egg|cell|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|cell|egg has joined #principia
Blu3wolf has quit [Remote host closed the connection]
Blu3wolf has joined #principia
Blu3wolf has quit [Quit: Konversation terminated!]
discord- has joined #principia
discord- has quit [Read error: Connection reset by peer]
egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
Moistmelon has joined #principia
egg|cell|egg has quit [Ping timeout: 198 seconds]
raptop has quit [Ping timeout: 189 seconds]
UmbralRaptor has quit [Ping timeout: 204 seconds]
Mike` has quit [Ping timeout: 198 seconds]
Mike` has joined #principia
UmbralRaptop has joined #principia
raptop has joined #principia
egg|cell|egg has joined #principia
raptop has quit [Read error: Connection reset by peer]
raptop has joined #principia
<egg|cell|egg>
PSA : I think the discord bridge fell over
<raptop>
blarg
raptop has quit [Ping timeout: 378 seconds]
raptop has joined #principia
egg has joined #principia
discord- has joined #principia
discord- has quit [Read error: Connection reset by peer]