#principia on 2017-05-08 — irc logs at esper.irclog.whitequark.org

2017-04-26 17:31 egg|zzz|egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Cartan. We currently target 1.2.2. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/

00:09 stratochief has quit [Remote host closed the connection]

00:09 stratochief has joined #principia

00:20 saolof has quit [Remote host closed the connection]

00:50 e_14159 has quit [Ping timeout: 186 seconds]

00:56 e_14159 has joined #principia

00:56 egg|phone|egg has joined #principia

01:24 HypergolicSkunk has quit [Quit: Connection closed for inactivity]

02:11 Wetmelon has quit [Ping timeout: 204 seconds]

03:37 stratochief is now known as stratosleep

03:41 Novles_ has quit [Ping timeout: 201 seconds]

03:42 Novles has joined #principia

04:05 icefire has quit [Read error: Connection reset by peer]

04:56 Wetmelon has joined #principia

06:03 Jesin has quit [Ping timeout: 201 seconds]

06:04 MrSavage has quit [Remote host closed the connection]

07:44 egg is now known as egg|afk|egg

07:55 egg|cell|egg has joined #principia

07:57 egg|phone|egg has quit [Ping timeout: 201 seconds]

08:00 Jesin has joined #principia

08:22 NoSyK has quit [Ping timeout: 186 seconds]

08:22 NolanSyKinsley has joined #principia

08:25 NolanSyKinsley has quit [Remote host closed the connection]

08:30 Wetmelon has quit [Ping timeout: 204 seconds]

10:31 egg|work|egg has joined #principia

10:32 egg|work|egg_ has joined #principia

10:34 egg|work|egg has quit [Ping timeout: 180 seconds]

11:13 egg|work|egg_ has quit [Ping timeout: 180 seconds]

12:25 egg|work|egg has joined #principia

12:30 egg|work|egg has quit [Ping timeout: 180 seconds]

14:41 rsparkyc has joined #principia

15:01 Iskierka has quit [Ping timeout: 204 seconds]

15:03 Iskierka has joined #principia

15:08 Thomas|AWAY is now known as Thomas

15:19 MrSavage has joined #principia

16:10 HypergolicSkunk has joined #principia

16:27 stratosleep is now known as stratochief|remote

16:29 MrSavage has quit [Remote host closed the connection]

16:31 regex has joined #principia

16:47 Wetmelon has joined #principia

17:08 NolanSyKinsley has joined #principia

17:23 egg|phone|egg has joined #principia

17:23 egg|cell|egg has quit [Read error: Connection reset by peer]

17:32 egg|afk|egg is now known as egg

18:33 Wetmelon has quit [Ping timeout: 204 seconds]

18:50 stratochief|remote is now known as stratochief|away

19:04 HypergolicSkunk has quit [Quit: Connection closed for inactivity]

19:22 icefire has joined #principia

19:22 egg|work|egg has joined #principia

19:50 stratochief|away is now known as stratochief

20:15 HypergolicSkunk has joined #principia

20:31 egg|work|egg has quit [Quit: Web client closed]

20:59 <GH> [Principia] pleroy closed pull request #1362: Parsing of MJD and JD literals (master...JulianDay) https://git.io/v9wXj

20:59 <GH> [Principia] pleroy pushed 13 new commits to master: https://git.io/v9Kg1

20:59 <GH> Principia/master fe2fb38 pleroy: Equality operators and a test.

20:59 <GH> Principia/master 482fe7b pleroy: First attempt with JD, let's move to MJD.

20:59 <GH> Principia/master 8c44413 pleroy: MJD without milliseconds.

21:02 rsparkyc1 has joined #principia

21:02 rsparkyc has quit [Read error: Connection reset by peer]

21:02 regex has quit [Remote host closed the connection]

21:08 stratochief is now known as stratochief|away

21:15 Thomas is now known as Thomas|AWAY

21:48 rsparkyc1 has quit [Quit: Leaving.]

22:37 egg is now known as egg|zzz|egg