#principia on 2019-01-27 — irc logs at esper.irclog.whitequark.org

2019-01-07 01:37 UmbralRaptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Εὔδοξος. We currently target 1.3.1, and 1.4.x/1.5.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…

00:34 UmbralRaptor has joined #principia

00:36 UmbralRaptop has quit [Ping timeout: 189 seconds]

04:00 _whitelogger has joined #principia

04:30 uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]

05:01 Mike` has quit [Ping timeout: 183 seconds]

05:07 Mike` has joined #principia

05:40 Jesin has quit [Ping timeout: 183 seconds]

06:28 ferram4 has quit [Quit: Leaving]

06:46 xShadowx has quit [Quit: KVIrc 4.9.2 Aria http://www.kvirc.net/]

06:54 NolanSyKinsley has quit [Remote host closed the connection]

07:37 Jesin has joined #principia

09:00 _whitelogger has joined #principia

09:42 T4z has joined #principia

09:46 T4z has quit [Client Quit]

10:12 <_whitenotifier-1656> [Principia] reikdas starred Principia - https://git.io/fh6Bb

10:28 <_whitenotifier-1656> [Principia] pleroy synchronize pull request #2068: Proof of the damping condition close to s0 - https://git.io/fh6me

12:00 _whitelogger has joined #principia

13:31 egg|work|egg has quit [Quit: webchat.esper.net]

13:37 UmbralRaptor has quit [Remote host closed the connection]

13:37 UmbralRaptop has joined #principia

15:30 <_whitenotifier-1656> [Principia] pleroy synchronize pull request #2068: Proof of the damping condition close to s0 - https://git.io/fh6me

15:31 <_whitenotifier-1656> [Principia] eggrobin labeled pull request #2068: Proof of the damping condition close to s0 - https://git.io/fh6me

16:00 _whitelogger has joined #principia

16:44 uj8efdjkfdshf has joined #principia

16:56 <_whitenotifier-1656> [Principia] pleroy opened pull request #2069: Next release is Euler and it does 1.6.1 - https://git.io/fh6PO

16:59 <_whitenotifier-1656> [Principia] Pending. Build queued… -

16:59 <_whitenotifier-1656> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3439/

16:59 <_whitenotifier-1656> [Principia] Pending. Build queued… -

17:08 <_whitenotifier-1656> [Principia] pleroy closed pull request #2068: Proof of the damping condition close to s0 - https://git.io/fh6me

17:08 <_whitenotifier-1656> [Principia] pleroy pushed 6 commits to master [+0/-0/±13] https://git.io/fh6Pi

17:08 <_whitenotifier-1656> [Principia] pleroy 26c0790 - Proof of the missing case.

17:08 <_whitenotifier-1656> [Principia] pleroy 5424c7e - Another round of review.

17:08 <_whitenotifier-1656> [Principia] pleroy 3e161ae - Proof close to s0.

17:08 <_whitenotifier-1656> [Principia] ... and 3 more commits.

17:15 <_whitenotifier-1656> [Principia] eggrobin labeled pull request #2069: Next release is Euler and it does 1.6.1 - https://git.io/fh6PO

17:18 <_whitenotifier-1656> [Principia] Failure. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3439/

17:31 <_whitenotifier-1656> [Principia] pleroy commented on pull request #2069: Next release is Euler and it does 1.6.1 - https://git.io/fh6XE

17:33 <_whitenotifier-1656> [Principia] Pending. Build queued… -

17:33 <_whitenotifier-1656> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3440/

17:34 NolanSyKinsley has joined #principia

17:34 NolanSyKinsley has quit [Read error: Connection reset by peer]

17:35 NolanSyKinsley has joined #principia

17:58 <_whitenotifier-1656> [Principia] MrGarnerM starred Principia - https://git.io/fh61w

18:02 <_whitenotifier-1656> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/3440/

18:29 <_whitenotifier-1656> [Principia] pleroy closed pull request #2069: Next release is Euler and it does 1.6.1 - https://git.io/fh6PO

18:29 <_whitenotifier-1656> [Principia] pleroy pushed 3 commits to master [+0/-0/±5] https://git.io/fh6M1

18:29 <_whitenotifier-1656> [Principia] pleroy 2c19ed9 - Next release is Euler.

18:29 <_whitenotifier-1656> [Principia] pleroy de60582 - Support 1.6.1.

18:29 <_whitenotifier-1656> [Principia] pleroy 9e29425 - Merge pull request #2069 from pleroy/Euler Next release is Euler and it does 1.6.1

19:49 NolanSyKinsley has quit [Ping timeout: 180 seconds]

19:59 NolanSyKinsley has joined #principia

20:55 NolanSyKinsley has quit [Ping timeout: 190 seconds]

21:04 NolanSyKinsley has joined #principia

22:31 Jesin has quit [Ping timeout: 190 seconds]