#principia on 2020-11-23 — irc logs at esper.irclog.whitequark.org

2020-10-04 04:55 raptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Gateaux. We currently target 1.8.1, 1.9.1, and 1.10.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly… | <egg> also 4e16 m * 2^-52 is uncomfortably large

00:07 <_whitenotifier-9244> [Principia] Failure. #1167 failed - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1167

00:18 egg|laptop|egg has quit [Remote host closed the connection]

00:20 <_whitenotifier-9244> [Principia] Failure. #1168 failed - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1168

00:37 umbralraptop has quit [Ping timeout: 204 seconds]

00:45 umbralraptop has joined #principia

01:54 sdrodge has joined #principia

03:28 egg|laptop|egg has joined #principia

05:04 Mike` has quit [Ping timeout: 378 seconds]

05:07 Mike` has joined #principia

07:32 <_whitenotifier-9244> [Principia] pleroy opened pull request #2794: Adjust tolerances for Clang - https://git.io/JkKyV

07:32 <_whitenotifier-9244> [Principia] pleroy labeled pull request #2794: Adjust tolerances for Clang - https://git.io/JkKyV

07:33 <_whitenotifier-9244> [Principia] pleroy closed pull request #2794: Adjust tolerances for Clang - https://git.io/JkKyV

07:33 <_whitenotifier-9244> [Principia] pleroy pushed 2 commits to master [+0/-0/±2] https://git.io/JkKyK

07:33 <_whitenotifier-9244> [Principia] pleroy 481881d - Adjust tolerances for Clang.

07:33 <_whitenotifier-9244> [Principia] pleroy ce762cf - Merge pull request #2794 from pleroy/Tolerances Adjust tolerances for Clang

07:33 <_whitenotifier-9244> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1169

07:33 <_whitenotifier-9244> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1170

07:33 <_whitenotifier-9244> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1169

07:33 <_whitenotifier-9244> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1170

08:37 umbralraptop has quit [Ping timeout: 189 seconds]

08:45 <_whitenotifier-9244> [Principia] Success. #1169 succeeded - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1169

08:45 <_whitenotifier-9244> [Principia] Success. #1170 succeeded - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1170

08:52 egg|laptop|egg has quit [Remote host closed the connection]

08:54 egg|laptop|egg has joined #principia

09:48 <_whitenotifier-9244> [Principia] pleroy reviewed pull request #2783 commit - https://git.io/Jk6v7

09:48 <_whitenotifier-9244> [Principia] pleroy reviewed pull request #2783 commit - https://git.io/Jk6v5

09:48 <_whitenotifier-9244> [Principia] pleroy reviewed pull request #2783 commit - https://git.io/Jk6vd

09:48 <_whitenotifier-9244> [Principia] pleroy reviewed pull request #2783 commit - https://git.io/Jk6vb

09:48 <_whitenotifier-9244> [Principia] pleroy reviewed pull request #2783 commit - https://git.io/Jk6vN

09:48 <_whitenotifier-9244> [Principia] pleroy labeled pull request #2783: Orthogonal decomposition - https://git.io/JkfGq

09:49 <_whitenotifier-9244> [Principia] pleroy commented on pull request #2783: Orthogonal decomposition - https://git.io/Jk6fJ

09:50 <_whitenotifier-9244> [Principia] pleroy unlabeled pull request #2783: Orthogonal decomposition - https://git.io/JkfGq

11:54 egg|laptop|egg has quit [Remote host closed the connection]

12:17 egg|laptop|egg has joined #principia

15:50 umbralraptop has joined #principia

17:13 egg has quit [Ping timeout: 204 seconds]

18:38 egg|laptop|egg has quit [Remote host closed the connection]

18:46 egg|laptop|egg has joined #principia

21:21 <discord-> egg. — new launch, new Reach video

21:21 <discord-> egg. — https://www.bilibili.com/video/BV11f4y1v7Q9, https://www.youtube.com/watch?v=G0J-K3JcojU

22:45 Jesin has quit [Quit: Leaving]

22:55 Jesin has joined #principia

22:59 <_whitenotifier-9244> [Principia] eggrobin reviewed pull request #2792 commit - https://git.io/JkPkH

23:03 <discord-> Damien. — Damn he's good

23:52 egg|laptop|egg has quit [Remote host closed the connection]