#kspacademia on 2020-12-27 — irc logs at esper.irclog.whitequark.org

2019-09-06 20:52 UmbralRaptor changed the topic of #kspacademia to: https://gist.github.com/pdn4kd/164b9b85435d87afbec0c3a7e69d3e6d | Dogs are cats. Spiders are cat interferometers. | Космизм сегодня! | Document well, for tomorrow you may get mauled by a ネコバス. | <UmbralRaptor> egg|nomz|egg: generally if your eyes are dewing over, that's not the weather. | <ferram4> I shall beat my problems to death with an engineer. | We can haz pdf

00:00 egg|laptop|egg has joined #kspacademia

01:31 e_14159 has joined #kspacademia

01:33 e_14159_ has quit [Ping timeout: 378 seconds]

06:14 UmbralRaptor has joined #kspacademia

06:17 UmbralRaptop has quit [Ping timeout: 204 seconds]

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

08:26 egg has quit [Ping timeout: 204 seconds]

08:29 egg has joined #kspacademia

15:05 egg|laptop|egg has joined #kspacademia

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

17:39 UmbralRaptor has quit [Quit: Bye]

17:39 UmbralRaptop has joined #kspacademia

18:10 egg|laptop|egg has joined #kspacademia

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

18:13 egg|laptop|egg has joined #kspacademia

18:13 * egg|laptop|egg meows at smkz, whitequark, et al.

18:41 <raptop> https://mastodon.social/@yogthos/105452821043407923

18:41 <galois> title: ☆ Dmitri ☭: "" - Mastodon

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

18:54 egg|laptop|egg has joined #kspacademia

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

19:52 egg|cell|egg has joined #kspacademia

20:37 egg|laptop|egg has joined #kspacademia

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

21:03 egg|laptop|egg has joined #kspacademia

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

21:27 egg|laptop|egg has joined #kspacademia

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

21:37 egg|laptop|egg has joined #kspacademia

21:39 <_whitenotifier-8975> [Principia] pleroy opened pull request #2822: New double precision operators - https://git.io/JLyOq

21:41 <_whitenotifier-8975> [Principia] eggrobin labeled pull request #2822: New double precision operators - https://git.io/JLyOq

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

21:47 <_whitenotifier-8975> [Principia] Pending. Build queued… -

21:47 <_whitenotifier-8975> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4686/

21:54 egg|laptop|egg has joined #kspacademia

21:57 UmbralRaptor has joined #kspacademia

22:00 UmbralRaptop has quit [Ping timeout: 204 seconds]

22:04 <egg|laptop|egg> !u Éé

22:04 <galois> É: U+00c9 LATIN CAPITAL LETTER E WITH ACUTE

22:04 <galois> é: U+00e9 LATIN SMALL LETTER E WITH ACUTE

22:13 <_whitenotifier-8975> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4686/

22:14 <_whitenotifier-8975> [Principia] pleroy closed pull request #2822: New double precision operators - https://git.io/JLyOq

22:14 <_whitenotifier-8975> [Principia] pleroy pushed 3 commits to master [+0/-0/±7] https://git.io/JLy3A

22:14 <_whitenotifier-8975> [Principia] pleroy 31b4b42 - More double precision operations.

22:14 <_whitenotifier-8975> [Principia] pleroy f6176f4 - A test of the new double precision operators.

22:14 <_whitenotifier-8975> [Principia] pleroy c85c131 - Merge pull request #2822 from pleroy/DoublePrecision New double precision operators

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

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

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

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

22:38 <_whitenotifier-8975> [Principia] Failure. #1224 failed - https://dev.azure.com/mockingbirdnest/445d7b9d-0318-42e3-857f-b69d40b1ed1b/_build/results?buildId=1224

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

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

23:14 egg|laptop|egg has joined #kspacademia

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