#principia on 2018-03-15 — 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/

02:09 Raidernick has quit [Read error: Connection reset by peer]

02:10 Majiir is now known as Snoozee

02:13 Raidernick has joined #principia

02:13 Raidernick has quit [Client Quit]

02:14 Raidernick has joined #principia

02:30 egg has quit [Read error: Connection reset by peer]

03:10 Rokker has quit [Quit: Connection closed for inactivity]

04:49 NolanSyKinsley has quit [Remote host closed the connection]

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

05:07 Mike` has joined #principia

07:20 Bigcheese has quit [Ping timeout: 195 seconds]

07:20 Bigcheese has joined #principia

07:45 egg has joined #principia

07:47 NolanSyKinsley has joined #principia

10:43 Rokker has joined #principia

11:05 egg|cell|egg has joined #principia

11:07 egg|phone|egg has quit [Ping timeout: 190 seconds]

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

11:42 egg|cell|egg has quit [Read error: Connection reset by peer]

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

11:45 egg|phone|egg has quit [Ping timeout: 186 seconds]

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

11:46 egg|cell|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]

12:02 awang has quit [Ping timeout: 198 seconds]

12:23 awang has joined #principia

13:28 egg|phone|egg has quit [Read error: Connection reset by peer]

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

13:30 egg|cell|egg has joined #principia

13:30 egg|phone|egg has quit [Read error: Connection reset by peer]

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

13:38 egg|mobile|egg has joined #principia

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

13:38 egg|cell|egg has quit [Ping timeout: 190 seconds]

14:28 Technicalfool has quit [Quit: rebuuuuuut]

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

16:34 egg|mobile|egg has quit [Read error: Connection reset by peer]

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

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

16:47 awang has quit [Ping timeout: 186 seconds]

16:57 awang has joined #principia

17:24 awang has quit [Killed (NickServ (GHOST command used by awang_))]

17:24 awang_ has joined #principia

17:38 Technicalfool has joined #principia

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

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

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

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

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

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

17:58 Hypergolic_Skunk has joined #principia

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

18:22 egg|cell|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]

18:57 <GH> [Principia] pleroy commented on issue #1750: retest this please https://git.io/vxt7E

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

20:25 egg|nomz|egg is now known as egg

20:43 <awang_> egg: Do you know if linux has the extra dlls?

20:43 <egg> it doesn't last Sarbian checked

20:43 <awang_> Dangit

20:43 <egg> awang_: anyway I think mono says the OS is Unix in both cases

20:43 <egg> oh

20:43 <egg> right this might be an issue

20:43 <GH> [Principia] pleroy opened pull request #1757: Upgrade to VS2017 preview 15.7 (master...VS2017.15.7) https://git.io/vxqJI

20:43 * awang_ shakes fist at Squad

20:43 <egg> awang_: otoh we don't have warnings as errors on linux so shrug

20:44 <awang_> Hey, VS finally fixed enough bugs?

20:44 <awang_> lol

20:44 <awang_> Alright, guess that works

20:46 <Sarbian> Did you find out if a Win compiled dll works on Mac with those new files ?

20:47 <awang_> It does

20:47 <awang_> Or it did for me, unless I screwed something up

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

20:47 <awang_> egg: I'm curious, what bug prompted this comment? https://github.com/mockingbirdnest/Principia/pull/1757/files#diff-1d5f2df3c63e3b570e978f9351c21195R120

20:47 <Qboid> [#1757] title: Upgrade to VS2017 preview 15.7 | | https://github.com/mockingbirdnest/Principia/issues/1757

20:48 <egg> awang_: the second 3 gets turned into 0

20:48 <egg> awang_: yay miscompilation

20:48 <egg> awang_: but now at least it's good enough that we can upgrade

20:48 <awang_> egg: wat

20:49 <awang_> ...How

20:49 <awang_> Anyways, so c++17 features? :D

20:49 <egg> or at least more 14

20:49 <egg> we'll have to see exactly what works

20:50 <egg> (there's the issue that we have an ancient libc++ on linux even though we have a recentish clang though)

20:51 <egg> awang_: if you have questions about phl's code feel free to comment on the pull requests btw

20:51 <egg> more eyeballs is good :D

20:58 <awang_> Oh, does libc++ not get updated that frequently? Or just a matter of not yet pulled down the updates

20:58 pizzaoverhead has joined #principia

20:58 <awang_> And what's broken about the old libc++?

20:59 <awang_> egg: Figured that the GH comments should be saved for actual code review stuff

20:59 <egg> awang_: yeah but you're free to jump in and review

20:59 <egg> awang_: well it doesn't have newer things

20:59 <egg> awang_: e.g. eggsperimental/filesystem works around the lack of filesystem

20:59 pizzaoverhead has quit [Client Quit]

21:00 <egg> and then on some versions you have actual brokenness but that's a different question

21:00 pizzaoverhead has joined #principia

21:00 <awang_> Doubt I'll have anything helpful to say, since much of the subject matter is way over my head

21:00 <awang_> But I'll give it a shot

21:00 <awang_> Eventually

21:01 Jesin has joined #principia

21:01 <awang_> Time to bundle libc++ with Principia? :D

21:01 <egg> aaaaaaa

21:01 <egg> (although, we have been discussing using a custom libm, so,)

21:18 <GH> [Principia] pleroy commented on issue #1750: Thanks for your contribution. https://git.io/vxqIu

21:18 <GH> [Principia] pleroy pushed 4 new commits to master: https://git.io/vxqIz

21:18 <GH> Principia/master 64d72e4 Alex Wang: Update to KSP 1.4.1

21:18 <GH> Principia/master 657a24e Alex Wang: Add references to DLLs only present on macOS...

21:18 <GH> Principia/master fba04c5 Alex Wang: Load Unity split DLLs only on non-Windows systems...

21:18 <GH> [Principia] pleroy closed pull request #1750: Get ksp_plugin_adapter compiling with KSP 1.4.1 (master...add-ksp-1.4.0-compatibility) https://git.io/vAjx1

21:21 <awang_> For that all-important reproducibility?

21:38 <egg> eggsactly

21:38 <egg> also while we're at it we could use one that's correctly-rounded

21:38 <egg> we don't care about the perf of stuff that calls libm

21:43 Jesin has quit [Quit: Leaving]

22:15 <awang_> Wait, isn't libm required to be correctly rounded?

22:15 <awang_> s/m r/m already r/

22:15 <Qboid> awang_ meant to say: Wait, isn't libm already required to be correctly rounded?

22:36 <egg> no, it's an IEEE recommendation, not a requirement, and for transcendental functions it's hard

22:36 <egg> (in edge cases it may require multiprecision)

22:43 <awang_> Ah

22:43 <awang_> Oh, just curious

22:43 <awang_> How does Principia deal with denormals?

22:43 <awang_> If it does at all

22:45 <egg> what do you mean

22:45 <egg> by "deal with"

23:09 <awang_> Un

23:10 <awang_> s/n/h

23:10 <Qboid> awang_ meant to say: Uh

23:10 <awang_> Do anything specifically meant to handle denormals

23:10 <awang_> e.g. flush to zero

23:17 awang_ has quit [Ping timeout: 190 seconds]

23:30 awang has joined #principia

23:38 <egg> awang: why the hell would we do that