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

2018-03-17 13:56 egg|zzz|egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Coxeter. We currently target 1.2.2, 1.3.1, and 1.4.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/

01:23 egg|observing|egg is now known as egg|zzz|egg

01:27 egg|zzz|egg has quit [Ping timeout: 194 seconds]

02:09 UmbralRaptop has joined #principia

02:33 UmbralRaptop has quit [Ping timeout: 186 seconds]

03:51 UmbralRaptop has joined #principia

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

04:08 Mike` has joined #principia

05:10 uj8efdjkfdshf has joined #principia

05:31 UmbralRaptop has quit [Remote host closed the connection]

06:18 Raidernick_ has joined #principia

06:20 uj8efdjkfdshf_ has joined #principia

06:20 Rokker_ has joined #principia

06:21 Dazzyp has joined #principia

06:21 NoSyk has joined #principia

06:22 uj8efdjkfdshf has quit [*.net *.split]

06:22 NolanSyKinsley has quit [*.net *.split]

06:22 NCommander has quit [*.net *.split]

06:22 Daz has quit [*.net *.split]

06:22 Iskierka has quit [*.net *.split]

06:22 Raidernick has quit [*.net *.split]

06:22 Rokker has quit [*.net *.split]

06:22 Majiir has quit [*.net *.split]

06:22 Sarbian has quit [*.net *.split]

06:22 Aexoden has quit [*.net *.split]

06:22 Rokker_ is now known as Rokker

06:22 uj8efdjkfdshf_ is now known as uj8efdjkfdshf

06:22 Dazzyp is now known as Daz

06:22 Aexoden has joined #principia

06:26 NCommander has joined #principia

06:26 Sarbian has joined #principia

06:26 Snoozee has joined #principia

06:26 Iskierka has joined #principia

06:26 Snoozee is now known as Majiir

08:01 NoSyk has quit [Remote host closed the connection]

08:16 egg|zzz|egg has joined #principia

08:30 ferram4 has quit [Read error: Connection reset by peer]

08:30 ferram4 has joined #principia

08:32 egg|zzz|egg has quit [Ping timeout: 198 seconds]

09:04 egg|zzz|egg has joined #principia

10:32 egg|zzz|egg has quit [Ping timeout: 194 seconds]

10:49 Hypergolic_Skunk has joined #principia

10:54 uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]

11:47 egg|cell|egg has quit [Ping timeout: 198 seconds]

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

11:51 egg|zzz|egg has joined #principia

12:57 egg|zzz|egg has quit [Ping timeout: 182 seconds]

13:17 egg|zzz|egg has joined #principia

13:37 egg|zzz|egg has quit [Ping timeout: 198 seconds]

13:40 egg|zzz|egg has joined #principia

13:43 egg|zzz|egg_ has joined #principia

13:44 egg|zzz|egg has quit [Ping timeout: 194 seconds]

13:54 egg|zzz|egg has joined #principia

13:56 egg|zzz|egg_ has quit [Ping timeout: 198 seconds]

14:04 egg|zzz|egg_ has joined #principia

14:06 egg|zzz|egg has quit [Ping timeout: 198 seconds]

14:09 egg|zzz|egg_ has quit [Ping timeout: 198 seconds]

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

14:18 <GH> [Principia] pleroy closed pull request #1807: Base32768 encoding (master...Base32768) https://git.io/vpzK8

15:24 NolanSyKinsley has joined #principia

15:29 <GH> [Principia] pleroy opened pull request #1808: Decoding of base 32768 data (master...Decode32768) https://git.io/vpwSn

15:29 UmbralRaptop has joined #principia

16:30 egg|zzz|egg has quit [Ping timeout: 198 seconds]

16:56 egg|zzz|egg has joined #principia

16:58 NolanSyKinsley has quit [Ping timeout: 194 seconds]

17:02 <GH> [Principia] eggrobin pushed 15 new commits to master: https://git.io/vpw7T

17:02 <GH> Principia/master 64e20da Robin Leroy: use it

17:02 <GH> Principia/master bff34dc Robin Leroy: Merge remote-tracking branch 'la-vache/master' into use-the-cbrt

17:02 <GH> Principia/master b79ad7f Robin Leroy: Merge branch 'cbrt' into use-the-cbrt

17:24 egg|zzz|egg has quit [Ping timeout: 198 seconds]

17:44 UmbralRaptop has quit [Quit: Bye]

17:45 UmbralRaptop has joined #principia

17:50 egg|zzz|egg has joined #principia

18:34 UmbralRaptop has quit [Read error: Connection reset by peer]

18:34 UmbralRaptop has joined #principia

18:37 egg|zzz|egg is now known as egg|cat|egg

19:01 NolanSyKinsley has joined #principia

19:21 egg|cat|egg has quit [Ping timeout: 198 seconds]

19:51 egg|cat|egg has joined #principia

20:00 NolanSyKinsley has quit [Ping timeout: 194 seconds]

20:01 NolanSyKinsley has joined #principia

20:03 egg|cat|egg has quit [Ping timeout: 198 seconds]

20:08 egg|cat|egg has joined #principia

20:34 Raidernick_ has quit [Quit: Leaving]

20:34 Raidernick has joined #principia

20:47 uj8efdjkfdshf has joined #principia

21:01 UmbralRaptor has joined #principia

21:02 UmbralRaptor has quit [Client Quit]

21:02 UmbralRaptor has joined #principia

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

21:03 <GH> [Principia] pleroy pushed 9 new commits to master: https://git.io/vpwja

21:03 <GH> Principia/master 8e5c832 Pascal Leroy: A skeleton.

21:03 <GH> Principia/master 9d393aa Pascal Leroy: One test passes.

21:03 <GH> Principia/master 7f0af0c Pascal Leroy: Handle end of input and a test.

21:03 <GH> [Principia] pleroy closed pull request #1808: Decoding of base 32768 data (master...Decode32768) https://git.io/vpwSn

21:03 UmbralRaptop has joined #principia

21:03 UmbralRaptop has quit [Client Quit]

21:04 UmbralRaptop has joined #principia

21:05 UmbralRaptor has quit [Ping timeout: 198 seconds]

21:20 UmbralRaptop has quit [Read error: Connection reset by peer]

21:21 UmbralRaptor has joined #principia

21:21 UmbralRaptor has quit [Remote host closed the connection]

21:21 UmbralRaptop has joined #principia

21:42 egg|cat|egg has quit [Ping timeout: 198 seconds]

22:10 UmbralRaptor has joined #principia

22:12 egg|cat|egg has joined #principia

22:13 UmbralRaptop has quit [Ping timeout: 194 seconds]

22:14 UmbralRaptor has quit [Client Quit]

22:15 UmbralRaptop has joined #principia

22:17 UmbralRaptor has joined #principia

22:17 UmbralRaptor has quit [Remote host closed the connection]

22:17 UmbralRaptop has quit [Read error: Connection reset by peer]

22:17 UmbralRaptop has joined #principia

22:20 UmbralRaptor has joined #principia

22:23 UmbralRaptop has quit [Ping timeout: 198 seconds]

23:52 egg|cat|egg has quit [Ping timeout: 198 seconds]