egg|zzz|egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Coxeter. We currently target 1.2.2, 1.3.1, and 1.4.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/
egg|phone|egg has quit [Ping timeout: 383 seconds]
awang has joined #principia
Felger has quit [Quit: Leaving]
Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]
N70 is now known as N70|zzz
Mike` has quit [Ping timeout: 182 seconds]
Mike` has joined #principia
Moistmelon has quit [Ping timeout: 186 seconds]
Moistmelon has joined #principia
NolanSyKinsley has quit [Ping timeout: 186 seconds]
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
Hypergolic_Skunk has joined #principia
NolanSyKinsley has joined #principia
Felger has joined #principia
<GH> [Principia] pleroy pushed 1 new commit to master: https://git.io/vpvUS
<GH> Principia/master 6f761ed Pascal Leroy: Cramer
<GH> [Principia] pleroy pushed 1 new commit to master: https://git.io/vpvUQ
<GH> Principia/master a5ca1d3 Pascal Leroy: Typo
UmbralRaptop has joined #principia
CommandoDiamond has joined #principia
CommandoDiamond has quit [Remote host closed the connection]
UmbralRaptor has joined #principia
UmbralRaptop has quit [Ping timeout: 383 seconds]
Alpheratz has joined #principia
Alpheratz has quit [Quit: webchat.esper.net]
Alpheratz has joined #principia
<Alpheratz> Hi
<Alpheratz> I am trying to build Principia on Windows with Visual Studio 2017 community. There are compilation errors with std::filesystem. It seems my platform has the namespace in std::experimental::filesystem. Has anyone run into this problem before?
Alpheratz has quit [Quit: webchat.esper.net]
<egg|zzz|egg> you need the latest preview, and also an irc client
<egg|zzz|egg> ytibbats
<lamont> i hate windows development environments
* egg|zzz|egg pets lamont
* egg|zzz|egg gives lamont a moth
Moistmelon is now known as Wetmelon
Wetmelon is now known as Guest91214
Guest91214 is now known as Moistmelon
Moistmelon is now known as Wetmelon