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/
awang_ has joined #principia
awang has quit [Ping timeout: 194 seconds]
Jesin has joined #principia
awang_ has quit [Ping timeout: 198 seconds]
awang has joined #principia
rsparkyc has joined #principia
Qboid was kicked from #principia by *status [You have been disconnected from the IRC server]
Qboid is now known as Qboid_
Qboid_ has joined #principia
ferram4_ has joined #principia
Qboid has quit [Ping timeout: 202 seconds]
Qboid_ is now known as Qboid
ferram4 has quit [Ping timeout: 202 seconds]
ferram4__ has joined #principia
ferram4_ has quit [Ping timeout: 202 seconds]
Jesin has quit [Quit: Leaving]
NCommander has joined #principia
Mike has quit [Ping timeout: 194 seconds]
Mike has joined #principia
uj8efdjkfdshf has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
Hypergolic_Skunk has joined #principia
l0stnewbie has joined #principia
egg|z|egg has joined #principia
uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]
<l0stnewbie> Hello! Am I going to get lynched if I ask about crash on load?
egg|z|egg has quit [Ping timeout: 194 seconds]
l0stnewbie has quit [Quit: webchat.esper.net]
Novles has quit [*.net *.split]
rsparkyc has quit [*.net *.split]
egg|phone|egg has quit [*.net *.split]
icefire has quit [*.net *.split]
bees has quit [*.net *.split]
armed_troop has quit [*.net *.split]
rsparkyc has joined #principia
armed_troop has joined #principia
egg|phone|egg has joined #principia
icefire has joined #principia
bees has joined #principia
Novles has joined #principia
egg|cell|egg has joined #principia
egg|phone|egg has quit [Ping timeout: 198 seconds]
egg|phone|egg has joined #principia
egg|cell|egg has quit [Read error: Connection reset by peer]
Qboid was kicked from #principia by *status [You have been disconnected from the IRC server]
Qboid has joined #principia
Thomas has joined #principia
egg|mobile|egg has quit [Ping timeout: 194 seconds]
egg|phone|egg has joined #principia
egg|phone|egg has quit [Read error: Connection reset by peer]
rsparkyc has quit [Quit: rsparkyc]
rsparkyc has joined #principia
GregroxMun has joined #principia
GregroxMun has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
GregroxMun has joined #principia
<GregroxMun> o/
<UmbralRaptor> \o
GregroxMun has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
<UmbralRaptor> …
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Read error: Connection reset by peer]
NolanSyKinsley has joined #principia
egg|z|egg has joined #principia
<egg|zzz|egg> meow
<UmbralRaptor> woem
egg|z|egg has quit [Ping timeout: 182 seconds]
rsparkyc has quit [Quit: rsparkyc]
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
egg|z|egg has joined #principia
egg|z|egg has quit [Ping timeout: 194 seconds]
egg|z|egg has joined #principia
Daz has quit [Read error: Connection reset by peer]
Daz has joined #principia
egg|phone|egg has joined #principia
egg|z|egg has quit [Ping timeout: 194 seconds]
egg|phone|egg has quit [Quit: Bye]
egg|phone|egg has joined #principia
egg|z|egg has joined #principia
GregroxMun has joined #principia
<GregroxMun> o/ again
<GregroxMun> There is no indication of when the next Kopernicus will be out
<GregroxMun> so I may decide to release it before then
<GregroxMun> release SLIPPIST-1
<GregroxMun> to be clear
<UmbralRaptor> ʍoәɯ
<egg|zzz|egg> sounds good
rsparkyc has joined #principia
<GregroxMun> I'll keep you updated
<GregroxMun> I am unlikely to do it today
GregroxMun has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
egg|z|egg has quit [Ping timeout: 198 seconds]
egg|z|egg has joined #principia
<GH> [Principia] pleroy opened pull request #1862: Typed vector space for R3x3 matrices (master...MoreMatrix) https://git.io/f4dKD
rsparkyc has quit [Quit: rsparkyc]
<GH> [Principia] pleroy closed pull request #1862: Typed vector space for R3x3 matrices (master...MoreMatrix) https://git.io/f4dKD
<GH> [Principia] pleroy pushed 2 new commits to master: https://git.io/f4dM5
<GH> Principia/master df26612 pleroy: Typed vector space for R3x3 matrices.
<GH> Principia/master a28e05c Pascal Leroy: Merge pull request #1862 from pleroy/MoreMatrix...
<GH> [Principia] pleroy opened pull request #1863: Add the anticommutator (master...Anticommutator) https://git.io/f4dDt
Daz has quit [Ping timeout: 182 seconds]
Daz has joined #principia
ferram4__ has quit [Ping timeout: 202 seconds]
ferram4 has joined #principia