#principia on 2019-12-25 — irc logs at esper.irclog.whitequark.org

2019-12-17 18:24 raptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is פרנקל. We currently target 1.5.1, 1.6.1, and 1.7.x. <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:54 egg|anbo|egg has quit [Remote host closed the connection]

01:07 Wetmelon has quit [Ping timeout: 202 seconds]

03:54 egg|anbo|egg has joined #principia

03:58 egg|anbo|egg has quit [Ping timeout: 204 seconds]

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

05:07 Mike` has joined #principia

05:19 Jesin has quit [Ping timeout: 202 seconds]

07:17 Jesin has joined #principia

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

10:58 egg|anbo|egg has joined #principia

11:15 <_whitenotifier-d13c> [Principia] eggrobin opened pull request #2412: Next release is Frege. - https://git.io/Jebmr

11:17 <_whitenotifier-d13c> [Principia] pleroy labeled pull request #2412: Next release is Frege. - https://git.io/Jebmr

11:23 <_whitenotifier-d13c> [Principia] Pending. Build queued… -

11:23 <_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4036/

11:41 <_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4036/

11:42 <_whitenotifier-d13c> [Principia] eggrobin closed pull request #2412: Next release is Frege. - https://git.io/Jebmr

11:42 <_whitenotifier-d13c> [Principia] eggrobin pushed 2 commits to master [+0/-0/±2] https://git.io/Jebm5

11:42 <_whitenotifier-d13c> [Principia] eggrobin 414a1b4 - Next release is Frege.

11:42 <_whitenotifier-d13c> [Principia] eggrobin 30e04bc - Merge pull request #2412 from eggrobin/Frege Next release is Frege.

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

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

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

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

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

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

12:39 <_whitenotifier-d13c> [Principia] pleroy tagged 30e04bc as 2019122605-Fréchet https://git.io/JebYy

12:39 <_whitenotifier-d13c> [Principia] pleroy created tag 2019122605-Fréchet - https://git.io/fpDwq

12:39 <_whitenotifier-d13c> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=282

12:39 <_whitenotifier-d13c> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=283

12:39 <_whitenotifier-d13c> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=282

12:39 <_whitenotifier-d13c> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=283

13:16 <_whitenotifier-d13c> [Principia] pleroy reviewed pull request #2411 commit - https://git.io/JebOF

13:16 <_whitenotifier-d13c> [Principia] pleroy reviewed pull request #2411 commit - https://git.io/JebOb

13:16 <_whitenotifier-d13c> [Principia] pleroy labeled pull request #2411: Signature - https://git.io/JeFkJ

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

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

13:28 <_whitenotifier-d13c> [Principia] eggrobin synchronize pull request #2411: Signature - https://git.io/JeFkJ

13:29 <_whitenotifier-d13c> [Principia] Pending. Build queued… -

13:29 <_whitenotifier-d13c> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4037/

13:34 egg|anbo|egg has quit [Remote host closed the connection]

13:43 egg|anbo|egg has joined #principia

13:45 <_whitenotifier-d13c> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4037/

13:56 egg|anbo|egg has quit [Remote host closed the connection]

14:49 egg|anbo|egg has joined #principia

14:54 <_whitenotifier-d13c> [Principia] eggrobin commented on issue #2400: History persistence lets .sfs files get very large - https://git.io/JebsO

15:10 <discord-> egg. — Happy Newton's birthday

15:24 egg|anbo|egg has quit [Remote host closed the connection]

15:42 egg|anbo|egg has joined #principia

15:54 <_whitenotifier-d13c> [Principia] eggrobin closed pull request #2411: Signature - https://git.io/JeFkJ

15:54 <_whitenotifier-d13c> [Principia] eggrobin pushed 9 commits to master [+6/-0/±27] https://git.io/JebG3

15:54 <_whitenotifier-d13c> [Principia] eggrobin dc02fb3 - Signature

15:54 <_whitenotifier-d13c> [Principia] eggrobin ed3381f - basic tests

15:54 <_whitenotifier-d13c> [Principia] eggrobin 1277feb - name

15:54 <_whitenotifier-d13c> [Principia] ... and 6 more commits.

15:54 <_whitenotifier-d13c> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=284

15:54 <_whitenotifier-d13c> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=285

15:54 <_whitenotifier-d13c> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=284

15:54 <_whitenotifier-d13c> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=285

15:55 egg|anbo|egg has quit [Remote host closed the connection]

15:58 egg|cell|egg has quit [Ping timeout: 189 seconds]

16:18 <discord-> VX. — lol its his birthday wtf

16:25 <discord-> lamont. — mine too

16:26 <_whitenotifier-d13c> [Principia] pleroy pushed 1 commit to master [+0/-0/±1] https://git.io/JebG6

16:26 <_whitenotifier-d13c> [Principia] pleroy 7270afc - Announcing Fréchet.

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

16:35 <_whitenotifier-d13c> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=286

16:35 <_whitenotifier-d13c> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=286

16:37 egg|anbo|egg has joined #principia

16:38 <discord-> sarbian. — Happy birthday to 1/365th of the world 🎂

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

16:40 <_whitenotifier-d13c> [Principia] Pending. queued - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=287

16:41 <_whitenotifier-d13c> [Principia] Pending. in progress - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=287

16:42 <discord-> Acer_Saccharum. — Something tells me birthdays may not be uniformly distributed

16:48 <discord-> sarbian. — It does not vary all that much but 25/12 is the most uncommon in the USA. I expect that it would be more even with all the world

16:48 <discord-> sarbian. — <http://thedailyviz.com/2016/09/17/how-common-is-your-birthday-dailyviz/>

17:04 <UmbralRaptor> happy birthday, Isaac Newton!

17:10 egg|anbo|egg has quit [Remote host closed the connection]

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

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

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

18:29 egg|anbo|egg has joined #principia

18:31 <discord-> egg. — Fréchet is out

18:35 <discord-> egg. — https://en.wikipedia.org/wiki/Maurice_Ren%C3%A9_Fr%C3%A9chet

19:25 egg|anbo|egg has quit [Remote host closed the connection]

19:27 egg|anbo|egg has joined #principia

19:32 egg|anbo|egg has quit [Remote host closed the connection]