#principia on 2017-08-25 — irc logs at esper.irclog.whitequark.org

2017-08-20 15:32 egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Чебышёв. 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:04 Jesin has joined #principia

00:21 Jesin has quit [Quit: Leaving]

00:36 Technicalfool_ is now known as TechnicallySleeping

00:44 e_14159 has quit [Ping timeout: 195 seconds]

00:46 Moistmelon has joined #principia

00:47 e_14159 has joined #principia

00:47 WetLemons has quit [Ping timeout: 195 seconds]

00:53 Jesin has joined #principia

01:04 egg is now known as egg|zzz|egg

01:06 Jesin has quit [Ping timeout: 204 seconds]

01:06 Jesin has joined #principia

01:30 NathanKell is now known as NathanKell|HERE

01:30 NathanKell|HERE is now known as NathanKell

01:30 NathanKell is now known as NathanKell|TwitchSarbs

01:36 NathanKell|TwitchSarbs is now known as NathanKell|SoundBroke

01:49 NathanKell|SoundBroke is now known as NathanKell|Loading

01:54 NathanKell|Loading is now known as NathanKell|Twitch

02:11 icefire has quit [Read error: Connection reset by peer]

02:56 uj8efdjkfdshf has joined #principia

03:02 NathanKell|Twitch is now known as NathanKell

03:05 NathanKell is now known as NathanKell|AFK

03:26 e_14159 has quit [Ping timeout: 204 seconds]

03:27 Jesin has quit [Ping timeout: 383 seconds]

03:27 Jesin has joined #principia

03:28 armed_troop has quit [Ping timeout: 383 seconds]

03:32 e_14159 has joined #principia

03:33 armed_troop has joined #principia

05:50 Technicalfool_ has joined #principia

05:52 TechnicallySleeping has quit [Ping timeout: 183 seconds]

07:00 Asymptote has joined #principia

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

07:21 egg|cell|egg has quit [Ping timeout: 186 seconds]

07:31 xShadowx|2 has joined #principia

07:34 Rokker is now known as ROkkerSleep

07:34 ROkkerSleep is now known as RokkerSleep

07:35 xShadowx has quit [Ping timeout: 383 seconds]

07:39 NolanSyKinsley has quit [Remote host closed the connection]

07:52 Moistmelon has quit [Ping timeout: 183 seconds]

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

07:55 egg|phone|egg has quit [Read error: Connection reset by peer]

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

08:00 egg|mobile|egg has joined #principia

08:00 egg|phone|egg has quit [Read error: Connection reset by peer]

08:00 egg|cell|egg has quit [Ping timeout: 183 seconds]

08:22 xShadowx has joined #principia

08:24 xShadowx|2 has quit [Ping timeout: 204 seconds]

08:52 ferram4 has quit [Ping timeout: 383 seconds]

08:54 Technicalfool_ is now known as Technicalfool

09:19 ferram4 has joined #principia

10:07 Asymptote_ has joined #principia

10:08 Asymptote_ has quit [Remote host closed the connection]

10:09 Asymptote_ has joined #principia

10:09 Asymptote_ has quit [Remote host closed the connection]

10:16 Asymptote has quit [Killed (NickServ (GHOST command used by Asymptote_))]

10:16 Asymptote_ has joined #principia

10:19 Asymptote has joined #principia

10:49 TheKosmonaut is now known as IAmTheKosmonaut

10:50 IAmTheKosmonaut is now known as TheKosmonaut

14:04 waerloga has joined #principia

14:19 Moistmelon has joined #principia

15:30 Hypergolic_Skunk has joined #principia

15:40 Iskierka has quit [Ping timeout: 195 seconds]

15:40 RokkerSleep is now known as Rokker

15:52 Asymptote has quit [Quit: Leaving]

15:58 egg|phone|egg has joined #principia

15:59 egg|mobile|egg has quit [Ping timeout: 183 seconds]

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

16:00 egg|phone|egg has quit [Read error: Connection reset by peer]

16:02 Iskierka has joined #principia

16:03 egg|cell|egg has quit [Ping timeout: 183 seconds]

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

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

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

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

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

16:19 egg|phone|egg has quit [Read error: Connection reset by peer]

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

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

16:23 Iskierka has quit [Ping timeout: 204 seconds]

16:24 egg|phone|egg has quit [Ping timeout: 183 seconds]

16:25 Iskierka has joined #principia

16:47 icefire has joined #principia

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

17:06 egg|cell|egg has quit [Ping timeout: 183 seconds]

17:07 Jesin has quit [Quit: Leaving]

17:08 NolanSyKinsley has joined #principia

17:12 Jesin has joined #principia

17:56 egg|zzz|egg is now known as egg|nomz|egg

18:19 Asymptote has joined #principia

18:35 Asymptote_ has quit [Read error: Connection reset by peer]

18:56 uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]

19:07 Jesin has quit [Quit: Leaving]

19:15 <GH> [Principia] pleroy pushed 5 new commits to master: https://git.io/v5OTq

19:15 <GH> Principia/master de0c01c Robin Leroy: errors

19:15 <GH> Principia/master ea691fc Robin Leroy: combinatorial eggsplosion

19:15 <GH> Principia/master bcb8605 Robin Leroy: lost about 22 bits on the semilatus rectum :-p

19:54 egg|nomz|egg is now known as egg

20:23 <GH> [Principia] pleroy pushed 8 new commits to master: https://git.io/v5OOX

20:23 <GH> Principia/master 98fa3ab pleroy: A test.

20:23 <GH> Principia/master b4b6bd1 pleroy: Implementation.

20:23 <GH> Principia/master 31220fe pleroy: Cleanup.

20:23 <GH> [Principia] pleroy closed pull request #1537: A thread pool (master...ThreadPool) https://git.io/v5mt2

20:24 <GH> [Principia] eggrobin opened pull request #1538: Some utilities to analyse rounding errors (master...mathematica-floating-point) https://git.io/v5OOd

20:36 Daz has quit [Ping timeout: 186 seconds]

20:38 Daz has joined #principia

21:46 Jesin has joined #principia

22:25 egg is now known as egg|zzz|egg

22:31 Asymptote has quit [Ping timeout: 186 seconds]