#kspacademia on 2020-08-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:13 egg|anbo|egg_ has joined #kspacademia

00:35 raptop has quit [Ping timeout: 189 seconds]

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

00:36 UmbralRaptop has joined #kspacademia

00:40 egg|anbo|egg__ has joined #kspacademia

00:43 raptop has joined #kspacademia

00:43 egg|anbo|egg_ has quit [Ping timeout: 204 seconds]

00:46 egg|anbo|egg__ has quit [Read error: Connection reset by peer]

00:52 egg|anbo|egg_ has joined #kspacademia

00:56 egg|anbo|egg__ has joined #kspacademia

00:59 egg|anbo|egg_ has quit [Ping timeout: 189 seconds]

01:00 e_14159 has joined #kspacademia

01:01 egg|anbo|egg__ has quit [Ping timeout: 189 seconds]

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

01:04 egg|anbo|egg_ has joined #kspacademia

01:31 <raptop> ...do I not have enough bandwidth for virtual tours? ?_>

01:31 <raptop> >_<

01:59 egg|cell|egg has joined #kspacademia

02:07 egg|anbo|egg has quit [Remote host closed the connection]

04:29 <raptop> bleh, I'm going to need to break down and get proper wired internet

04:29 <raptop> (probably cox)

07:14 egg|anbo|egg has joined #kspacademia

09:43 egg|cell|egg has quit [Read error: Connection reset by peer]

09:43 egg|cell|egg has joined #kspacademia

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

10:38 raptop has quit [Ping timeout: 189 seconds]

10:41 egg|cell|egg has quit [Ping timeout: 189 seconds]

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

10:55 egg|cell|egg has quit [Ping timeout: 198 seconds]

10:56 egg|cell|egg has joined #kspacademia

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

11:12 egg|anbo|egg has quit [Remote host closed the connection]

11:35 egg|cell|egg has quit [Ping timeout: 194 seconds]

11:48 egg|cell|egg has joined #kspacademia

11:51 egg|cell|egg has quit [Read error: Connection reset by peer]

11:53 egg|cell|egg has joined #kspacademia

12:07 egg|anbo|egg has joined #kspacademia

14:33 egg|cell|egg has quit [Ping timeout: 189 seconds]

14:33 egg|cell|egg has joined #kspacademia

14:42 egg|cell|egg has quit [Ping timeout: 194 seconds]

14:46 egg|anbo|egg has quit [Remote host closed the connection]

14:46 egg|cell|egg has joined #kspacademia

14:47 egg|anbo|egg has joined #kspacademia

14:50 egg|cell|egg has quit [Ping timeout: 198 seconds]

14:51 egg|cell|egg has joined #kspacademia

14:54 egg|cell|egg has quit [Ping timeout: 198 seconds]

14:55 egg|cell|egg has joined #kspacademia

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

15:51 raptop has joined #kspacademia

16:00 egg|cell|egg has quit [Ping timeout: 198 seconds]

16:04 egg|cell|egg has joined #kspacademia

16:19 egg|cell|egg has quit [Ping timeout: 189 seconds]

17:30 raptop has quit [Read error: Connection reset by peer]

17:30 raptop has joined #kspacademia

17:32 egg|anbo|egg has joined #kspacademia

17:45 egg|cell|egg has joined #kspacademia

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

17:47 egg|anbo|egg has joined #kspacademia

17:52 egg|anbo|egg__ has joined #kspacademia

17:52 egg|anbo|egg_ has quit [Ping timeout: 378 seconds]

17:53 egg|cell|egg has quit [Ping timeout: 189 seconds]

17:54 egg|anbo|egg has quit [Ping timeout: 189 seconds]

17:54 egg|cell|egg has joined #kspacademia

18:05 egg|anbo|egg has joined #kspacademia

18:13 egg|anbo|egg__ has quit [Ping timeout: 204 seconds]

18:14 egg|cell|egg has quit [Ping timeout: 378 seconds]

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

18:17 egg|anbo|egg has joined #kspacademia

18:23 egg|anbo|egg_ has joined #kspacademia

18:23 egg|anbo|egg_ has quit [Remote host closed the connection]

18:27 egg|anbo|egg_ has joined #kspacademia

18:27 egg|anbo|egg_ has quit [Remote host closed the connection]

18:29 egg|anbo|egg_ has joined #kspacademia

18:50 egg|cell|egg has joined #kspacademia

18:54 egg|cell|egg has quit [Ping timeout: 189 seconds]

18:55 egg|cell|egg has joined #kspacademia

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

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

20:14 raptop has joined #kspacademia

20:35 egg|cell|egg has quit [Ping timeout: 204 seconds]

20:35 egg|cell|egg has joined #kspacademia

20:57 <_whitenotifier-9244> [Principia] pleroy opened pull request #2696: A trait to represent a Hilbert space - https://git.io/JUIlM

21:01 egg|cell|egg has quit [Ping timeout: 198 seconds]

21:02 egg|cell|egg has joined #kspacademia

21:03 <_whitenotifier-9244> [Principia] pleroy synchronize pull request #2696: A trait to represent a Hilbert space - https://git.io/JUIlM

21:09 <_whitenotifier-9244> [Principia] Pending. Build queued… -

21:09 <_whitenotifier-9244> [Principia] Pending. Building… - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4477/

21:32 <_whitenotifier-9244> [Principia] Success. Build finished. - http://casanova.westeurope.cloudapp.azure.com:8080/job/Principia/4477/

21:57 raptop has quit [Read error: Connection reset by peer]

21:59 raptop has joined #kspacademia

22:16 <_whitenotifier-9244> [Principia] eggrobin labeled pull request #2696: A trait to represent a Hilbert space - https://git.io/JUIlM

22:35 egg|cell|egg has quit [Ping timeout: 189 seconds]

22:38 egg|cell|egg has joined #kspacademia

22:59 egg|anbo|egg_ has joined #kspacademia

23:00 egg|anbo|egg has quit [Ping timeout: 189 seconds]

23:00 egg|cell|egg has quit [Ping timeout: 198 seconds]

23:00 egg|cell|egg has joined #kspacademia

23:13 <UmbralRaptop> If Principia has a proper Hilbert space, will it be adding operators and observables?

23:14 <UmbralRaptop> !8 Am I going to get hit by a hurricane coming in from the west?

23:14 <galois> UmbralRaptop: yes

23:16 <WeylandsWings> UmbralRaptop: i mean it will likely only be a depression by the time it goes over the NCR

23:16 <UmbralRaptop> NCR?

23:16 <WeylandsWings> National Captital Region

23:16 * UmbralRaptop assumes not New California Republic

23:16 <UmbralRaptop> ah

23:17 <UmbralRaptop> NCR == DMV

23:18 <WeylandsWings> Delaware, Maryland, Virginia?

23:19 <SnoopJeDi> yer

23:19 <SnoopJeDi> (I grew up therein and never ever heard NCR)

23:20 <SnoopJeDi> and DMV was usually "delmarva"

23:20 <WeylandsWings> SnoopJeDi: it is a Govt / Military acronym

23:20 <SnoopJeDi> NOAA/NWS?

23:20 <UmbralRaptop> WeylandsWings: DC, Maryland, Virginia

23:22 <WeylandsWings> no like general govt people use it SnoopJeDi

23:48 egg|anbo|egg_ has quit [Ping timeout: 194 seconds]

23:50 egg|anbo|egg has joined #kspacademia

23:51 egg|cell|egg has quit [Ping timeout: 204 seconds]

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

23:58 egg|cell|egg has quit [Ping timeout: 378 seconds]

23:58 egg|cell|egg has joined #kspacademia