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

00:04 Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]

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

01:37 Qboid has joined #principia

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

04:07 Mike has joined #principia

04:11 GregroxMun has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]

06:21 Moistmelon has quit [Ping timeout: 194 seconds]

06:45 N70 has quit [*.net *.split]

06:47 N70 has joined #principia

07:06 Hypergolic_Skunk has joined #principia

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

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

10:18 Snoozee has quit [Quit: CUT THE HARDLINES!!]

10:28 Snoozee has joined #principia

10:28 Snoozee is now known as Majiir

14:31 egg|z|egg has quit [Ping timeout: 194 seconds]

14:54 egg|z|egg has joined #principia

14:59 rsparkyc has joined #principia

15:17 NolanSyKinsley has joined #principia

15:17 NolanSyKinsley has quit [Read error: Connection reset by peer]

15:17 NolanSyKinsley has joined #principia

16:04 UmbralRaptop has quit [Remote host closed the connection]

16:08 UmbralRaptop has joined #principia

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

16:10 Qboid has joined #principia

16:12 NolanSyKinsley has joined #principia

16:45 egg|z|egg has quit [Ping timeout: 198 seconds]

16:46 maccollo has quit [Quit: webchat.esper.net]

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

16:54 rsparkyc has quit [Quit: rsparkyc]

16:57 Jesin has quit [Quit: Leaving]

17:01 egg|z|egg has quit [Ping timeout: 202 seconds]

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

17:24 Moistmelon has joined #principia

17:59 <GH> [Principia] pleroy pushed 18 new commits to master: https://git.io/f4SsJ

17:59 <GH> Principia/master 1fde2f9 pleroy: Skeleton.

17:59 <GH> Principia/master 9924550 pleroy: Implement most of the operations.

17:59 <GH> Principia/master ad4d412 pleroy: Merge branch 'master' into SymmetricBilinear

19:32 egg|z|egg has quit [Ping timeout: 194 seconds]

20:08 rsparkyc has joined #principia

20:24 egg|z|egg has joined #principia

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

20:51 rsparkyc has quit [Quit: rsparkyc]

21:11 UmbralRaptop has quit [Quit: Bye]

21:11 UmbralRaptop has joined #principia

21:22 NolanSyKinsley has quit [Read error: Connection reset by peer]

21:24 NolanSyKinsley has joined #principia

21:24 NolanSyKinsley has quit [Remote host closed the connection]

21:25 NolanSyKinsley has joined #principia

21:29 NolanSyKinsley has quit [Remote host closed the connection]

21:34 NolanSyKinsley has joined #principia

21:34 NolanSyKinsley has quit [Remote host closed the connection]

21:35 NolanSyKinsley has joined #principia

21:38 awang has joined #principia

21:49 GregroxMun has joined #principia

21:49 <GregroxMun> https://i.imgur.com/IJyF0EW.jpg

21:49 <GregroxMun> https://imgur.com/gallery/BOOqTgj

21:49 <GregroxMun> egg

21:49 GregroxMun has quit [Client Quit]

21:50 <egg|zzz|egg> Ꙩ_ꙩ

21:54 <awang> egg|zzz|egg: Unfortunately, it looks like I won't be able to look at TRAPPIST-1 in Principia for a while

21:54 UmbralRaptor has joined #principia

21:54 <awang> My GPU appears to have given up

21:57 UmbralRaptop has quit [Ping timeout: 194 seconds]

21:59 UmbralRaptor has quit [Quit: Bye]

21:59 UmbralRaptop has joined #principia

22:00 <egg|zzz|egg> ow

22:04 UmbralRaptor has joined #principia

22:04 UmbralRaptor has quit [Client Quit]

22:05 UmbralRaptor has joined #principia

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

22:19 UmbralRaptop has joined #principia

22:19 UmbralRaptor has quit [Read error: Connection reset by peer]

22:19 UmbralRaptop has quit [Remote host closed the connection]

22:20 UmbralRaptop has joined #principia

22:20 UmbralRaptop has quit [Remote host closed the connection]

22:20 UmbralRaptop has joined #principia

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

22:21 UmbralRaptor has joined #principia

22:23 UmbralRaptop has joined #principia

22:24 UmbralRaptop has quit [Client Quit]

22:24 UmbralRaptop has joined #principia

22:24 UmbralRaptor has quit [Ping timeout: 194 seconds]

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

22:25 UmbralRaptor has joined #principia

22:26 UmbralRaptop has joined #principia

22:26 UmbralRaptop has quit [Client Quit]

22:26 UmbralRaptop has joined #principia

22:29 UmbralRaptor has quit [Ping timeout: 198 seconds]

23:32 awang has quit [Ping timeout: 194 seconds]

23:36 egg|z|egg has quit [Ping timeout: 198 seconds]