#principia on 2018-07-08 — irc logs at esper.irclog.whitequark.org

2018-06-21 22:06 egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Dedekind. We currently target 1.3.1, and 1.4.3. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/

00:56 egg|z|egg has quit [Ping timeout: 194 seconds]

01:42 armed_troop has joined #principia

01:50 egg|z|egg has joined #principia

02:04 Wetmelon has quit [Ping timeout: 194 seconds]

02:19 egg|phone|egg has joined #principia

02:19 Wetmelon has joined #principia

02:21 egg|z|egg has quit [Ping timeout: 194 seconds]

02:30 egg|phone|egg has quit [Ping timeout: 198 seconds]

03:49 Wetmelon has quit [Ping timeout: 194 seconds]

04:02 Mike` has quit [Ping timeout: 198 seconds]

04:08 Mike` has joined #principia

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

09:01 Hypergolic_Skunk has joined #principia

10:12 <GH> [Principia] pleroy opened pull request #1880: Support for Julian dates in TAI and UT1 (master...OtherJD) https://git.io/fNvHw

10:30 <GH> [Principia] pleroy commented on issue #1879: retest this please https://git.io/fNvQO

10:47 egg|z|egg has joined #principia

11:05 <GH> [Principia] pleroy pushed 5 new commits to master: https://git.io/fNv78

11:05 <GH> Principia/master c98d616 Robin Leroy: Earth orientation parameters

11:05 <GH> Principia/master 5cb2425 Robin Leroy: NO leap second will be introduced at the end of December 2018.

11:05 <GH> Principia/master 0956416 Robin Leroy: Merge remote-tracking branch 'la-vache/master' into bulletin-c-56

11:05 egg|z|egg has quit [Ping timeout: 198 seconds]

11:25 egg|z|egg has joined #principia

12:13 <GH> [Principia] pleroy pushed 4 new commits to master: https://git.io/fNv57

12:13 <GH> Principia/master bb1939c pleroy: Fix tests.

12:13 <GH> Principia/master fc2ef2c pleroy: Support for Julian dates in TAI and UT1.

12:13 <GH> Principia/master 2fbfadd pleroy: Formatting.

12:19 egg|z|egg has quit [Ping timeout: 198 seconds]

12:46 egg|phone|egg has joined #principia

12:47 egg|cell|egg has joined #principia

12:50 egg|phone|egg has quit [Ping timeout: 198 seconds]

13:11 egg|phone|egg has joined #principia

13:14 egg|cell|egg has quit [Ping timeout: 198 seconds]

13:14 egg|z|egg has joined #principia

13:28 UmbralRaptop has quit [Remote host closed the connection]

13:30 egg|phone|egg has quit [Ping timeout: 198 seconds]

13:37 egg|nomz|egg is now known as egg

13:54 egg|z|egg has quit [Ping timeout: 202 seconds]

13:55 egg|z|egg has joined #principia

14:00 <GH> [Principia] pleroy opened pull request #1881: Make it compile on Linux (master...Linux) https://git.io/fNvbj

14:29 egg|z|egg has quit [Ping timeout: 198 seconds]

14:39 egg|phone|egg has joined #principia

14:53 NolanSyKinsley has joined #principia

14:57 egg|z|egg has joined #principia

15:02 UmbralRaptop has joined #principia

15:13 uj8efdjkfdshf has joined #principia

15:34 egg|z|egg has quit [Ping timeout: 198 seconds]

15:50 egg|phone|egg has quit [Ping timeout: 194 seconds]

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

17:17 egg|z|egg has joined #principia

17:21 <GH> [Principia] pleroy closed pull request #1881: Make it compile on Linux (master...Linux) https://git.io/fNvbj

17:21 egg|phone|egg has quit [Ping timeout: 202 seconds]

17:21 <GH> [Principia] pleroy pushed 2 new commits to master: https://git.io/fNfJX

17:21 <GH> Principia/master 36d252a Pascal Leroy: Merge pull request #1881 from pleroy/Linux...

17:21 <GH> Principia/master 40fe7b4 pleroy: Make it compile on Linux.

17:59 egg|z|egg has quit [Ping timeout: 198 seconds]

18:02 egg|z|egg has joined #principia

18:06 egg|z|egg has quit [Ping timeout: 202 seconds]

18:14 egg|z|egg has joined #principia

18:42 egg|z|egg has quit [Ping timeout: 198 seconds]

18:45 egg|phone|egg has joined #principia

19:11 egg|phone|egg has quit [Ping timeout: 194 seconds]

19:21 egg|z|egg has joined #principia

19:24 egg|z|egg_ has joined #principia

19:24 oeuf has joined #principia

19:26 egg|z|egg has quit [Ping timeout: 198 seconds]

19:26 egg has quit [Ping timeout: 198 seconds]

19:28 oeuf is now known as egg

19:53 egg|z|egg_ has quit [Ping timeout: 202 seconds]

20:04 egg|z|egg has joined #principia

20:11 <GH> [Principia] pleroy opened pull request #1882: Next release is Desargues (master...Desargues) https://git.io/fNfqf

20:14 <GH> [Principia] pleroy closed pull request #1882: Next release is Desargues (master...Desargues) https://git.io/fNfqf

20:14 <GH> [Principia] pleroy pushed 3 new commits to master: https://git.io/fNfqU

20:14 <GH> Principia/master 3b19122 pleroy: Next release is Desargues.

20:14 <GH> Principia/master 67eb8f9 pleroy: August.

20:14 <GH> Principia/master 71417ac Pascal Leroy: Merge pull request #1882 from pleroy/Desargues...

20:19 <GH> [Principia] pleroy tagged 2018071303-Δημόκριτος at 2018071303-Δημόκριτος: https://git.io/fNfqc

20:21 Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]

20:50 egg|phone|egg has joined #principia

20:59 egg|phone|egg has quit [Ping timeout: 198 seconds]

20:59 egg|phone|egg has joined #principia

21:07 <GH> [Principia] pleroy deleted 2018071303-Δημόκριτος at 445f219: https://git.io/fNfmr

21:10 egg|z|egg has quit [Ping timeout: 194 seconds]

21:18 egg|phone|egg has quit [Ping timeout: 194 seconds]

21:38 <GH> [Principia] pleroy opened pull request #1883: Fix the code to work on MacOS, which has an old Clang (master...MacOS) https://git.io/fNfYb

21:39 egg|z|egg has joined #principia

21:40 <1NVAABATE> [Principia] pleroy pushed 2 new commits to master: https://git.io/fNfYh

21:40 <1NVAABATE> Principia/master 097cefa pleroy: Fix the code to work on MacOS, which has an old Clang.

21:40 <1NVAABATE> Principia/master 5e4c8ee Pascal Leroy: Merge pull request #1883 from pleroy/MacOS...

21:40 <2RRAAB9QY> [Principia] pleroy closed pull request #1883: Fix the code to work on MacOS, which has an old Clang (master...MacOS) https://git.io/fNfYb

21:49 <GH> [Principia] pleroy tagged 2018071303-Δημόκριτος at 2018071303-Δημόκριτος: https://git.io/fNfqc

22:15 egg|z|egg has quit [Ping timeout: 194 seconds]

22:26 egg|z|egg has joined #principia

22:37 armed_troop has quit [Quit: Bye]

22:53 armed_troop has joined #principia

22:54 Wetmelon has joined #principia

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

23:59 egg|phone|egg has quit [Ping timeout: 194 seconds]