#principia on 2020-10-16 — 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:03 egg|laptop|egg has joined #principia

00:41 Mike` has quit [Ping timeout: 198 seconds]

00:47 Mike` has joined #principia

00:55 egg|laptop|egg_ has joined #principia

00:55 egg|laptop|egg has quit [Ping timeout: 189 seconds]

00:55 egg|cell|egg has quit [Ping timeout: 194 seconds]

00:55 discord-_ has joined #principia

00:56 oeuf has joined #principia

00:56 discord- has quit [Ping timeout: 198 seconds]

00:59 egg has quit [Ping timeout: 378 seconds]

01:10 egg|cell|egg has joined #principia

02:09 raptop has quit [Ping timeout: 189 seconds]

02:22 raptop has joined #principia

02:24 discord-_ has quit [Ping timeout: 198 seconds]

02:49 egg|laptop|egg_ has quit [Remote host closed the connection]

04:02 Mike` has quit [Ping timeout: 198 seconds]

04:08 Mike` has joined #principia

07:28 egg|cell|egg has quit [Ping timeout: 198 seconds]

09:16 raptop has quit [Ping timeout: 189 seconds]

11:35 egg|laptop|egg has joined #principia

11:42 <_whitenotifier-9244> [Principia] eggrobin labeled pull request #2765: Added .vscode directory to .gitignore. - https://git.io/JTOaF

11:51 discord- has joined #principia

12:23 egg|cell|egg has joined #principia

12:28 egg|laptop|egg has quit [Remote host closed the connection]

13:00 egg|laptop|egg has joined #principia

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

13:01 egg|laptop|egg has joined #principia

13:18 Mike` has quit [Ping timeout: 204 seconds]

14:29 Mike` has joined #principia

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

16:45 oeuf is now known as egg

17:04 <discord-> stats182. — spin

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

17:32 egg|laptop|egg has quit [Remote host closed the connection]

18:17 Jesin has quit [Quit: Leaving]

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

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

18:39 raptop has joined #principia

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

18:54 Jesin has joined #principia

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

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

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

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

19:13 egg|laptop|egg has quit [Remote host closed the connection]

19:14 egg|laptop|egg has joined #principia

19:20 <_whitenotifier-9244> [Principia] pleroy pushed 1 commit to master [+0/-0/±1] https://git.io/JTnfM

19:20 <_whitenotifier-9244> [Principia] pleroy afb381e - Announce Gauss.

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

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

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

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

19:22 <_whitenotifier-9244> [Principia] pleroy closed pull request #2765: Added .vscode directory to .gitignore. - https://git.io/JTOaF

19:22 <_whitenotifier-9244> [Principia] pleroy pushed 2 commits to master [+0/-0/±2] https://git.io/JTnfp

19:22 <_whitenotifier-9244> [Principia] rnlahaye da8b1aa - Added .vscode directory to .gitignore.

19:22 <_whitenotifier-9244> [Principia] pleroy dcc1b30 - Merge pull request #2765 from rnlahaye/vscode-gitignore Added .vscode directory to .gitignore.

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

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

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

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

19:33 <discord-> egg. — 🌑

19:40 egg|laptop|egg has quit [Remote host closed the connection]

19:41 <discord-> experimentalshells. — lunar inferior conjunction

19:50 <raptop> inferior counterfit moon

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

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

20:28 raptop has quit [Read error: Connection reset by peer]

20:28 raptop has joined #principia

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

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

20:45 egg|cell|egg has quit [Ping timeout: 189 seconds]

20:50 egg|cell|egg has joined #principia

21:34 egg|laptop|egg has joined #principia

22:24 <_whitenotifier-9244> [Principia] Sw1fty starred Principia - https://git.io/JTnWE