egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Гельфонд. 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
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2857 commit - https://git.io/JLjo4
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2857 commit - https://git.io/JLjo4
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2857 commit - https://git.io/JLjdn
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2857 commit - https://git.io/JLjdc
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2857 commit - https://git.io/JLjVN
Mike` has quit [Ping timeout: 189 seconds]
Mike` has joined #principia
<discord-> C​onventia. — Oh, just some user feedback: I love the rebase feature!
<discord-> A​shnoom. — Just needs a force-fast-forward, no-fast-forward option as well
egg|anbo|egg_ has joined #principia
egg|anbo|egg has quit [Ping timeout: 198 seconds]
discord- has quit [Read error: Connection reset by peer]
discord- has joined #principia
<_whitenotifier-8975> [Principia] eggrobin reviewed pull request #2857 commit - https://git.io/JLjdc
egg|anbo|egg_ has quit [Remote host closed the connection]