#principia on 2020-01-24 — irc logs at esper.irclog.whitequark.org

2019-12-26 20:29 raptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Fréchet. 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:00 UmbralRaptop has quit [Quit: Bye]

00:00 UmbralRaptop has joined #principia

00:01 UmbralRaptor has joined #principia

00:01 UmbralRaptor has quit [Remote host closed the connection]

00:01 UmbralRaptor has joined #principia

00:04 UmbralRaptop has quit [Ping timeout: 202 seconds]

00:35 UmbralRaptop has joined #principia

00:37 UmbralRaptop has quit [Client Quit]

00:37 UmbralRaptop has joined #principia

00:38 raptop has joined #principia

00:40 UmbralRaptor has quit [Ping timeout: 378 seconds]

00:41 UmbralRaptop has quit [Ping timeout: 190 seconds]

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

02:34 egg|cell|egg has quit [Ping timeout: 202 seconds]

03:14 egg|cell|egg has joined #principia

04:52 egg|laptop|egg has joined #principia

04:56 egg|laptop|egg has quit [Ping timeout: 200 seconds]

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

05:08 Mike` has joined #principia

07:30 egg|cell|egg has quit [Ping timeout: 202 seconds]

07:43 egg|cell|egg has joined #principia

11:17 Rokker has quit []

11:17 Rokker has joined #principia

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

16:12 egg|cell|egg has quit [Ping timeout: 202 seconds]

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

16:45 armed_troop has joined #principia

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

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

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

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

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

18:13 egg|cell|egg has quit [Read error: Connection reset by peer]

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

18:21 egg|cell|egg has quit [Read error: Connection reset by peer]

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

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

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

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

21:14 <_whitenotifier-d13c> [Principia] pleroy pushed 1 commit to master [+0/-0/±1] https://git.io/JvqTE

21:14 <_whitenotifier-d13c> [Principia] pleroy cb48cc3 - Announce Frege.

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

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

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

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

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

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

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

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

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

23:11 discord- has quit [*.net *.split]

23:11 discord- has joined #principia

23:17 discord- has quit [*.net *.split]

23:22 discord- has joined #principia

23:27 discord- has quit [*.net *.split]

23:28 discord- has joined #principia

23:35 discord- has quit [*.net *.split]

23:37 discord- has joined #principia