#principia on 2018-06-25 — 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/

02:18 armed_troop has quit [Quit: Bye]

02:24 armed_troop has joined #principia

04:01 Mike has quit [Ping timeout: 198 seconds]

04:07 Mike has joined #principia

07:12 egg|z|egg has joined #principia

08:00 <GH> [Principia] pleroy pushed 6 new commits to master: https://git.io/f49CO

08:00 <GH> Principia/master d2d2f29 pleroy: Serialization of symmetric bilinear forms.

08:00 <GH> Principia/master a3bc153 pleroy: After egg's 2nd review.

08:00 <GH> Principia/master 9779d35 pleroy: Fix compilation errors.

08:00 <GH> [Principia] pleroy closed pull request #1861: Serialization for symmetric bilinear forms (master...Serialization) https://git.io/f4ScP

08:32 egg|z|egg has quit [Ping timeout: 202 seconds]

08:51 egg|phone|egg has joined #principia

08:54 egg|zz|egg has quit [Ping timeout: 198 seconds]

09:25 egg|cell|egg has joined #principia

09:25 egg|phone|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]

09:29 egg|cell|egg has quit [Read error: Connection reset by peer]

09:29 egg|phone|egg has joined #principia

09:30 egg|cell|egg has joined #principia

09:30 egg|phone|egg has quit [Read error: Connection reset by peer]

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

11:31 egg|mobile|egg has joined #principia

11:31 egg|phone|egg has quit [Read error: Connection reset by peer]

11:32 egg|cell|egg has quit [Read error: Connection reset by peer]

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

11:44 egg|cell|egg has joined #principia

11:44 egg|phone|egg has quit [Read error: Connection reset by peer]

11:46 egg|mobile|egg has quit [Ping timeout: 202 seconds]

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

11:51 egg|cell|egg has quit [Ping timeout: 194 seconds]

11:51 egg|phone|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]

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

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

11:56 egg|mobile|egg has joined #principia

11:56 egg|cell|egg has quit [Read error: Connection reset by peer]

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

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

12:40 egg|mobile|egg has quit [Read error: Connection reset by peer]

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

12:40 egg|phone|egg has quit [Read error: Connection reset by peer]

13:23 rsparkyc has joined #principia

13:38 Iskierka has quit [Ping timeout: 194 seconds]

13:39 Iskierka has joined #principia

13:57 rsparkyc has quit [Ping timeout: 198 seconds]

13:58 rsparkyc has joined #principia

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

14:28 egg|cell|egg has quit [Ping timeout: 194 seconds]

14:32 egg|cell|egg has joined #principia

14:32 egg|phone|egg has quit [Read error: Connection reset by peer]

15:11 Technicalfool has joined #principia

16:35 UmbralRaptop has quit [Quit: Bye]

16:35 UmbralRaptop has joined #principia

16:38 UmbralRaptor has joined #principia

16:39 UmbralRaptor has quit [Client Quit]

16:39 UmbralRaptor has joined #principia

16:39 UmbralRaptop has quit [Read error: Connection reset by peer]

16:40 egg|cell|egg has quit [Read error: Connection reset by peer]

16:40 egg|phone|egg has joined #principia

16:44 egg|cell|egg has joined #principia

16:45 egg|phone|egg has quit [Ping timeout: 194 seconds]

17:15 UmbralRaptop has joined #principia

17:15 UmbralRaptop has quit [Client Quit]

17:15 UmbralRaptop has joined #principia

17:17 UmbralRaptor has quit [Ping timeout: 198 seconds]

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

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

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

17:47 UmbralRaptor has joined #principia

17:49 UmbralRaptop has quit [Ping timeout: 202 seconds]

17:50 egg|z|egg has quit [Ping timeout: 182 seconds]

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

17:56 awang has joined #principia

18:03 awang has quit [Ping timeout: 194 seconds]

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

19:48 Jesin has joined #principia

21:12 awang has joined #principia

21:19 rsparkyc has quit [Quit: rsparkyc]

21:20 rsparkyc has joined #principia

21:21 rsparkyc has quit [Client Quit]

21:21 rsparkyc has joined #principia

21:21 rsparkyc has quit [Client Quit]

21:44 Thomas has quit [Ping timeout: 182 seconds]

21:45 Thomas has joined #principia

21:45 egg|phone|egg has quit [Read error: Connection reset by peer]

21:45 egg|zzz|egg has quit [Read error: Connection reset by peer]

21:46 egg|zzz|egg has joined #principia

22:02 rsparkyc has joined #principia

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

22:25 awang has quit [Quit: Lost terminal]

22:46 egg|z|egg has quit [Ping timeout: 198 seconds]

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

23:12 Moistmelon is now known as Wetmelon