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

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

00:02 stratochief has joined #principia

00:07 awang has quit [Ping timeout: 198 seconds]

00:19 awang has joined #principia

00:37 icefire_ has joined #principia

00:40 icefire has quit [Ping timeout: 383 seconds]

00:46 stratochief_ has joined #principia

00:52 stratochief has quit [Ping timeout: 383 seconds]

01:04 icefire_ has quit [Quit: Leaving]

01:04 awang has quit [Read error: Connection reset by peer]

01:05 awang has joined #principia

02:31 NathanKell|AFK is now known as NathanKell

02:31 awang has quit [Ping timeout: 182 seconds]

02:32 awang has joined #principia

02:59 NathanKell is now known as NathanKell|Twitch

05:01 Mike` has quit [Ping timeout: 198 seconds]

05:07 Mike` has joined #principia

06:11 NolanSyKinsley has quit [Remote host closed the connection]

06:47 egg has quit [Ping timeout: 383 seconds]

06:49 egg has joined #principia

07:12 egg|phone|egg has quit [Ping timeout: 182 seconds]

07:17 NathanKell|Twitch is now known as NathanKell

07:44 NathanKell is now known as NathanKell|AFK

08:48 Rokker has quit [Quit: Connection closed for inactivity]

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

10:19 egg|cell|egg has joined #principia

10:20 egg|phone|egg has quit [Ping timeout: 182 seconds]

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

10:55 egg|cell|egg has quit [Read error: Connection reset by peer]

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

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

10:57 egg|phone|egg has joined #principia

10:58 egg|mobile|egg has joined #principia

10:58 egg|phone|egg has quit [Read error: Connection reset by peer]

10:59 egg|cell|egg has quit [Ping timeout: 186 seconds]

11:16 Rokker has joined #principia

11:19 technicalfool has joined #principia

12:27 Vader111 has joined #principia

12:55 Vader111 has quit [Quit: Leaving]

13:12 egg|mobile|egg has quit [Ping timeout: 186 seconds]

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

13:32 awang has quit [Ping timeout: 383 seconds]

13:39 awang has joined #principia

14:00 Rokker has quit [Quit: Connection closed for inactivity]

14:08 Jesin has quit [Quit: Leaving]

14:37 NolanSyKinsley has joined #principia

14:41 stratochief_ has quit [Remote host closed the connection]

15:44 technicalfool has quit [Ping timeout: 186 seconds]

15:46 technicalfool has joined #principia

15:49 xShadowx|2 has joined #principia

15:50 xShadowx has quit [Ping timeout: 207 seconds]

16:10 Hypergolic_Skunk has joined #principia

16:32 Daz has quit [Read error: Connection reset by peer]

16:32 Daz has joined #principia

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

17:46 egg|phone|egg has quit [Read error: Connection reset by peer]

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

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

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

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

18:20 awang has quit [Quit: Lost terminal]

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

18:27 egg|cell|egg has quit [Read error: Connection reset by peer]

18:55 awang has joined #principia

20:20 <GH> [Principia] pleroy closed pull request #1695: Remove an unused function (master...Unused) https://git.io/vNVlp

20:20 <GH> Principia/master 158b49b pleroy: Remove an unused function.

20:20 <GH> Principia/master 6ed8c37 Pascal Leroy: Merge pull request #1695 from pleroy/Unused...

20:20 <GH> [Principia] pleroy pushed 2 new commits to master: https://git.io/vNrzu

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

20:20 <GH> Principia/master 1db1a6c pleroy: Error estimation and test.

20:20 <GH> Principia/master be7d547 pleroy: A version where the templates deduct correctly.

20:20 <GH> Principia/master 68fff00 Pascal Leroy: Merge pull request #1694 from pleroy/ErrorEstimate...

20:28 icefire has joined #principia

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

20:38 Rokker has joined #principia

21:01 Jesin has joined #principia

21:33 oeuf has joined #principia

21:34 awang has quit [Killed (NickServ (GHOST command used by awang_))]

21:34 awang_ has joined #principia

21:34 egg has quit [Ping timeout: 186 seconds]

21:37 <GH> [Principia] pleroy opened pull request #1696: A function to retrieve the degree of a polynomial (master...Degree) https://git.io/vNr67

21:47 awang_ is now known as awang

21:52 stratochief has joined #principia

22:02 Jesin has quit [Quit: Leaving]

23:23 Virindi has joined #principia

23:24 Virindi has left #principia [#principia]

23:52 oeuf is now known as egg

23:54 egg is now known as xn--6kr051i

23:57 xn--6kr051i is now known as xn--m92i