#principia on 2017-09-22 — irc logs at esper.irclog.whitequark.org

2017-09-19 22:00 egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Cesàro. We currently target both 1.2.2 and 1.3. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/

00:49 MrSavage has joined #principia

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

01:05 e_14159 has joined #principia

01:21 Jesin has quit [Quit: Leaving]

02:14 icefire has quit [Quit: Leaving]

03:13 Wetmelon has quit [Ping timeout: 183 seconds]

04:17 Wetmelon has joined #principia

04:25 NolanSyKinsley has quit [Ping timeout: 186 seconds]

04:27 NolanSyKinsley has joined #principia

04:34 NolanSyKinsley has quit [Ping timeout: 186 seconds]

04:36 NolanSyKinsley has joined #principia

04:49 Moistmelon has joined #principia

04:50 Wetmelon has quit [Ping timeout: 183 seconds]

04:51 NolanSyKinsley has quit [Ping timeout: 186 seconds]

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

05:07 WetLemons has joined #principia

05:09 Moistmelon has quit [Ping timeout: 183 seconds]

05:13 NolanSyKinsley has joined #principia

05:51 avy has quit [Quit: Web client closed]

06:10 NolanSyKinsley has quit [Read error: Connection reset by peer]

06:15 NolanSyKinsley has joined #principia

08:01 Raidernick has quit [Read error: Connection reset by peer]

08:02 Raidernick has joined #principia

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

08:03 ferram4 has joined #principia

08:04 Technicalfool_ has joined #principia

08:05 Technicalfool has quit [Ping timeout: 183 seconds]

08:10 e_14159 has quit [Quit: Bouncer killed.]

08:11 e_14159- has joined #principia

08:11 e_14159- is now known as e_14159

08:24 WetLemons has quit [Read error: Connection timed out]

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

09:03 egg|phone|egg has quit [Ping timeout: 200 seconds]

09:39 WetLemons has joined #principia

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

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

09:45 WetLemons has quit [Ping timeout: 200 seconds]

10:01 Rokker has quit [Quit: Connection closed for inactivity]

11:14 Rokker has joined #principia

11:43 awang has quit [Ping timeout: 186 seconds]

12:18 Qboid was kicked from #principia by *status [You have been disconnected from the IRC server]

12:20 Qboid has joined #principia

13:00 NolanSyKinsley has quit [Remote host closed the connection]

15:44 Novles has quit [Read error: Connection reset by peer]

15:59 regex has joined #principia

16:26 Jesin has joined #principia

17:04 WetLemons has joined #principia

17:20 egg|cell|egg has joined #principia

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

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

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

17:22 egg|cell|egg has joined #principia

17:25 egg|phone|egg has quit [Ping timeout: 186 seconds]

17:45 Technicalfool_ has quit [Remote host closed the connection]

17:45 Technicalfool_ has joined #principia

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

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

18:22 Asymptote has joined #principia

18:25 awang has joined #principia

19:09 egg|phone|egg has quit [Ping timeout: 186 seconds]

19:46 uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]

19:49 <GH> [Principia] pleroy opened pull request #1571: Add Norm² (master...1518) https://git.io/vdJnV

19:52 icefire has joined #principia

21:26 NolanSyKinsley has joined #principia

21:42 Asymptote has quit [Read error: Connection reset by peer]

21:55 Jesin has quit [Quit: Leaving]

22:26 <GH> [Principia] pleroy closed issue #1518: Add Norm² and remove InnerProduct(X, X) https://git.io/v7Drw

22:34 regex has quit [Remote host closed the connection]

22:55 egg|phone|egg has joined #principia

23:33 Rokker has quit [Quit: Connection closed for inactivity]