2024/10/15

2024-10-15 00:00:14 +0200 <geekosaur> funny enough, it was originally GeneralizedNewtypeDeriving, I found a ticket once about adding the "correct" spelling
2024-10-15 00:00:32 +0200 <monochrom> oh heh
2024-10-15 00:01:19 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2024-10-15 00:01:19 +0200ljdarj1ljdarj
2024-10-15 00:01:37 +0200 <geekosaur> (we go through this with DCSS as well, every so often someone patches up some name to Australian spelling)
2024-10-15 00:03:04 +0200 <monochrom> I... didn't know that there is also Australian spelling.
2024-10-15 00:04:04 +0200 <yin> monochrom: you just add {-# LANGUAGE GennerTippiesM8^^ #-}
2024-10-15 00:04:59 +0200 <monochrom> haha
2024-10-15 00:05:10 +0200 <tomsmeding> omg TIL GeneralisedNewtypeDeriving is written in British spelling as the standard in GHC
2024-10-15 00:05:50 +0200 <geekosaur> it is the *Glasgow* Haskell Compiler, after all
2024-10-15 00:06:06 +0200 <tomsmeding> but SPECIALIZE is the other way around: "(UK spelling also accepted.)"
2024-10-15 00:06:07 +0200 <monochrom> Oh haha both spellings are supported.
2024-10-15 00:06:34 +0200 <yin> *Glorious
2024-10-15 00:06:41 +0200 <tomsmeding> *Glorious Glasgow
2024-10-15 00:07:18 +0200 <tomsmeding> the ghc user's guide is mightily inconsistent about specialize/specialise
2024-10-15 00:07:19 +0200 <yin> is it [Glorious Glasgow] Haskell Compiler or is it Glorious [Glasgow Haskell Compiler]?
2024-10-15 00:07:24 +0200mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-15 00:07:48 +0200 <tomsmeding> the prose seems to use "specialise", the inline code snippets in the prose "SPECIALIZE", but then the larger code blocks have "SPECIALISE"
2024-10-15 00:07:54 +0200 <monochrom> [[Glorious Glasgow] Haskell] Compiler
2024-10-15 00:08:11 +0200 <tomsmeding> Glorious [Glasgow [Haskell Compiler]] is how I'd read it
2024-10-15 00:08:39 +0200 <geekosaur> oh, is that why ($) is infixr? 😛
2024-10-15 00:08:46 +0200 <monochrom> >:)
2024-10-15 00:09:02 +0200 <yin> [avoid success] [at all costs] :p
2024-10-15 00:20:29 +0200st_aldini1(~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) st_aldini
2024-10-15 00:21:50 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-10-15 00:23:23 +0200 <monochrom> @djinn join :: ((((a -> s) -> a) -> s) -> ((a -> s) -> a)) -> ((a -> s) -> a)
2024-10-15 00:23:23 +0200 <lambdabot> Cannot parse command
2024-10-15 00:24:06 +0200 <monochrom> @djinn ((((a -> s) -> a) -> s) -> ((a -> s) -> a)) -> ((a -> s) -> a)
2024-10-15 00:24:06 +0200 <lambdabot> f a b = a (\ c -> b (c b)) b
2024-10-15 00:24:27 +0200st_aldini(~Thunderbi@2605:a601:a07c:af00:627a:78b9:acf4:2bd7) (Ping timeout: 276 seconds)
2024-10-15 00:24:27 +0200st_aldini1st_aldini
2024-10-15 00:25:12 +0200 <monochrom> (That would be join for the monad S s a = (a -> s) -> a. I am studying it because of a recent post on the discourse.)
2024-10-15 00:25:49 +0200 <monochrom> (I thought Cont was hard enough, but I aced it. Now this one is even worse.)
2024-10-15 00:26:06 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-10-15 00:26:06 +0200ljdarj1ljdarj
2024-10-15 00:26:24 +0200todi_away(~todi@vm4634378.25ssd.had.wf)
2024-10-15 00:26:50 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-10-15 00:27:11 +0200 <dolio> Search monad?
2024-10-15 00:28:08 +0200mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net)
2024-10-15 00:28:13 +0200 <monochrom> Yeah
2024-10-15 00:29:58 +0200acidjnk_new(~acidjnk@p200300d6e72cfb260d771c799cc2fd22.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2024-10-15 00:30:35 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-10-15 00:33:39 +0200malte(~malte@mal.tc) (Remote host closed the connection)
2024-10-15 00:37:23 +0200 <yin> i had little trouble with Cont. I have Tardis on my todo list
2024-10-15 00:38:34 +0200AlexZenon(~alzenon@178.34.163.62) (Ping timeout: 252 seconds)
2024-10-15 00:39:16 +0200AlexNoo_(~AlexNoo@178.34.151.233)
2024-10-15 00:40:03 +0200AlexNoo(~AlexNoo@178.34.163.62) (Ping timeout: 276 seconds)
2024-10-15 00:40:15 +0200 <monochrom> @djinn ((a -> s) -> a) -> (a -> (b -> s) -> b) -> ((b -> s) -> b)
2024-10-15 00:40:15 +0200 <lambdabot> f a b c = b (a (\ d -> c (b d c))) c
2024-10-15 00:40:21 +0200mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-10-15 00:40:45 +0200 <monochrom> And that's for (>>=). @_@
2024-10-15 00:44:33 +0200AlexNoo(~AlexNoo@178.34.151.233)
2024-10-15 00:45:22 +0200todi_away(~todi@vm4634378.25ssd.had.wf) (Read error: Connection reset by peer)
2024-10-15 00:45:43 +0200AlexNoo_(~AlexNoo@178.34.151.233) (Ping timeout: 264 seconds)
2024-10-15 00:45:48 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2024-10-15 00:46:47 +0200 <dolio> Seems very inefficient.
2024-10-15 00:48:24 +0200haritz(~hrtz@user/haritz) (Ping timeout: 272 seconds)
2024-10-15 00:51:12 +0200st_aldini1(~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) st_aldini
2024-10-15 00:51:50 +0200AlexZenon(~alzenon@178.34.151.233)
2024-10-15 00:52:45 +0200todi_away(~todi@5.154.181.23)
2024-10-15 00:53:42 +0200st_aldini(~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) (Ping timeout: 276 seconds)
2024-10-15 00:53:42 +0200st_aldini1st_aldini
2024-10-15 00:53:55 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2024-10-15 00:54:57 +0200haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk)
2024-10-15 00:55:37 +0200malte(~malte@mal.tc) malte
2024-10-15 00:55:58 +0200mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net)
2024-10-15 00:56:11 +0200todi_away(~todi@5.154.181.23) (Read error: Connection reset by peer)
2024-10-15 00:56:45 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2024-10-15 00:56:47 +0200haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host)
2024-10-15 00:56:47 +0200haritz(~hrtz@user/haritz) haritz
2024-10-15 01:00:26 +0200malte(~malte@mal.tc) (Remote host closed the connection)
2024-10-15 01:00:36 +0200pavonia(~user@user/siracusa) siracusa
2024-10-15 01:03:51 +0200malte(~malte@mal.tc) malte
2024-10-15 01:04:17 +0200mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-10-15 01:06:43 +0200todi_away(~todi@p57803331.dip0.t-ipconnect.de)
2024-10-15 01:07:09 +0200malte(~malte@mal.tc) (Remote host closed the connection)
2024-10-15 01:07:10 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-10-15 01:07:11 +0200AlexZenon(~alzenon@178.34.151.233) (Ping timeout: 265 seconds)
2024-10-15 01:09:18 +0200 <sam113101> sorry it's me again with the same question as the other day
2024-10-15 01:10:34 +0200malte(~malte@mal.tc) malte
2024-10-15 01:10:43 +0200 <haskellbridge> <sm> Do go on. :)
2024-10-15 01:11:49 +0200 <sam113101> how would you write this, first the idiomatic way (for haskell), and second in a way that preserves the "flow", i.e. from left to right
2024-10-15 01:11:51 +0200 <sam113101> (0...1000).filter { |x| x % 3 == 0 || x % 5 == 0 }.sum
2024-10-15 01:13:50 +0200 <sam113101> (that was ruby btw)
2024-10-15 01:14:43 +0200 <sam113101> that's elixir:
2024-10-15 01:14:45 +0200 <sam113101> 0..999 |> Enum.filter(fn x -> rem(x, 3) == 0 || rem(x, 5) == 0 end) |> Enum.sum
2024-10-15 01:16:57 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2024-10-15 01:17:26 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-15 01:17:31 +0200AlexZenon(~alzenon@178.34.151.233)
2024-10-15 01:20:05 +0200todi_away(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-10-15 01:20:14 +0200 <haskellbridge> <sm> most idiomatic would probably be sum [x | x <- [0..1000], x "mod" 3 == 0, x "mod" 5 == 0]
2024-10-15 01:20:44 +0200 <haskellbridge> <sm> * "sum [x | x <- [0..1000], x `mod` 3 == 0, x `mod` 5 == 0]"
2024-10-15 01:23:58 +0200 <haskellbridge> <sm> * 0 || x `mod` 5 == 0]" [corrected]
2024-10-15 01:24:08 +0200 <haskellbridge> <sm> from left to right would be "import Data.Function ((&))" "[0..1000] & filter (\x -> x`mod`3 == 0 || x`mod`5==0) & sum"
2024-10-15 01:24:19 +0200 <haskellbridge> <sm> from left to right would be
2024-10-15 01:24:19 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/vjQfLuREsoEJecoXcpehsPYR/jMVxugiTxGA (3 lines)
2024-10-15 01:24:19 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2024-10-15 01:25:23 +0200 <sam113101> thank you my man
2024-10-15 01:25:23 +0200 <sm> sorry, forgot this was IRC
2024-10-15 01:27:06 +0200todi_away(~todi@vm4634378.25ssd.had.wf)
2024-10-15 01:29:00 +0200AlexZenon(~alzenon@178.34.151.233) (Ping timeout: 244 seconds)
2024-10-15 01:29:08 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2024-10-15 01:30:31 +0200jcarpenter2(~lol@2603:3016:1e01:b9e0:dd36:cbb0:bd68:c718)
2024-10-15 01:39:11 +0200todi_awaytodi
2024-10-15 01:41:51 +0200AlexZenon(~alzenon@178.34.151.233)
2024-10-15 01:42:48 +0200son0p(~ff@190.69.120.153) son0p
2024-10-15 01:44:07 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-15 01:44:46 +0200mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net)
2024-10-15 01:47:30 +0200morby(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-15 01:50:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-10-15 01:51:57 +0200yin(~z@user/zero) (Remote host closed the connection)
2024-10-15 01:52:18 +0200zero(~z@user/zero) zero
2024-10-15 01:52:44 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-10-15 01:52:56 +0200morby(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-10-15 01:56:10 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-15 01:57:25 +0200todi(~todi@vm4634378.25ssd.had.wf) (Ping timeout: 244 seconds)
2024-10-15 02:00:01 +0200morby(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-15 02:00:48 +0200todi(~todi@vm4634378.25ssd.had.wf) todi
2024-10-15 02:01:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-10-15 02:03:18 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2024-10-15 02:04:06 +0200athan(~athan@syn-173-042-095-241.biz.spectrum.com) athan
2024-10-15 02:05:22 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-15 02:06:56 +0200morby(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-10-15 02:08:12 +0200athan(~athan@syn-173-042-095-241.biz.spectrum.com) (Remote host closed the connection)
2024-10-15 02:35:03 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2024-10-15 02:35:39 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-15 02:39:39 +0200comonad(~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2024-10-15 02:40:09 +0200whosit(~whosit@user/whosit) (Quit: leaving)
2024-10-15 02:45:41 +0200xff0x(~xff0x@2405:6580:b080:900:84b4:386f:205f:a305) (Ping timeout: 248 seconds)
2024-10-15 02:48:22 +0200cross(~cross@spitfire.i.gajendra.net) cross
2024-10-15 02:49:35 +0200comonad(~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de)
2024-10-15 02:52:19 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-10-15 02:56:51 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2024-10-15 03:08:45 +0200zeroyin
2024-10-15 03:24:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-10-15 03:26:35 +0200troojg(~troojg@user/troojg) troojg
2024-10-15 03:31:36 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-10-15 03:39:34 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-10-15 03:40:50 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-10-15 03:49:05 +0200spew(~spew@201.141.99.170) (Quit: spew)
2024-10-15 03:51:48 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-10-15 03:57:20 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-10-15 03:59:28 +0200jinsun(~jinsun@user/jinsun) jinsun
2024-10-15 03:59:36 +0200troojg(~troojg@user/troojg) (Ping timeout: 252 seconds)
2024-10-15 04:04:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-15 04:05:03 +0200td_(~td@83.135.9.1) (Ping timeout: 265 seconds)
2024-10-15 04:06:33 +0200td_(~td@i5387090D.versanet.de) td_
2024-10-15 04:09:03 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-15 04:20:46 +0200ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2024-10-15 04:22:41 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-10-15 04:41:55 +0200synchrom1(~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Read error: Connection reset by peer)
2024-10-15 04:42:57 +0200synchromesh(~john@2406:5a00:2497:300:acce:5ad8:3e10:a59d) synchromesh
2024-10-15 04:47:54 +0200Nixkernal_(~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) Nixkernal
2024-10-15 04:47:55 +0200Nixkernal(~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) (Ping timeout: 244 seconds)
2024-10-15 04:51:20 +0200 <yin> can someone tell me what i'm doing wrong here? i'm getting "Warning: /home/zero/sete/cabal.project: Unrecognized field
2024-10-15 04:51:23 +0200 <yin> 'source-repository-package' on line 4
2024-10-15 04:51:52 +0200 <yin> this is my cabal.project: https://paste.jrvieira.com/1728960703820
2024-10-15 04:53:45 +0200 <haskellbridge> <sm> https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html#specifying-packages-fro… mentions "Since version 2.4", that might have something to do with it ?
2024-10-15 04:54:53 +0200 <yin> ah, no
2024-10-15 04:55:02 +0200 <yin> i had an extra :
2024-10-15 04:55:11 +0200 <haskellbridge> <sm> aha
2024-10-15 04:55:50 +0200 <yin> this weird format...
2024-10-15 04:56:35 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-15 04:59:19 +0200bh34e5(~bh34e5@user/bh34e5) (Read error: Connection reset by peer)
2024-10-15 05:00:48 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2024-10-15 05:03:00 +0200td_(~td@i5387090D.versanet.de) (Ping timeout: 272 seconds)
2024-10-15 05:04:38 +0200td_(~td@i53870908.versanet.de) td_
2024-10-15 05:05:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-15 05:17:08 +0200mantraofpie_(~mantraofp@user/mantraofpie) mantraofpie
2024-10-15 05:18:21 +0200mantraofpie(~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds)
2024-10-15 05:51:19 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-10-15 05:52:04 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-10-15 05:52:42 +0200Lord_of_Life_Lord_of_Life
2024-10-15 05:56:33 +0200Axman6(~Axman6@user/axman6) Axman6
2024-10-15 06:07:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-15 06:10:35 +0200comonad(~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2024-10-15 06:29:08 +0200comonad(~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de)
2024-10-15 06:37:28 +0200alp_(~alp@2001:861:e3d6:8f80:db99:b16a:1356:52e1) (Ping timeout: 245 seconds)
2024-10-15 06:43:43 +0200mrmr155334346318(~mrmr@user/mrmr) (Ping timeout: 245 seconds)
2024-10-15 06:49:18 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 246 seconds)
2024-10-15 06:51:16 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2024-10-15 06:51:16 +0200ChanServ+v haskellbridge
2024-10-15 06:53:23 +0200michalz(~michalz@185.246.207.217)
2024-10-15 06:54:17 +0200rosco(~rosco@175.136.23.238) rosco
2024-10-15 06:59:52 +0200alp_(~alp@2001:861:e3d6:8f80:3d1:1fd6:7a9b:9741)
2024-10-15 07:07:40 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-10-15 07:10:39 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-15 07:14:51 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-10-15 07:17:33 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-10-15 07:20:03 +0200alp_(~alp@2001:861:e3d6:8f80:3d1:1fd6:7a9b:9741) (Ping timeout: 252 seconds)
2024-10-15 07:22:52 +0200briandaed(~root@185.234.210.211.r.toneticgroup.pl)
2024-10-15 07:30:03 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-10-15 07:34:48 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds)
2024-10-15 07:40:27 +0200Guest74(~textual@129.94.128.31)
2024-10-15 07:52:26 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-10-15 07:57:57 +0200euphores(~SASL_euph@user/euphores) euphores
2024-10-15 08:02:11 +0200Guest74(~textual@129.94.128.31) (Quit: Textual IRC Client: www.textualapp.com)
2024-10-15 08:05:54 +0200Square(~Square4@user/square) (Ping timeout: 252 seconds)
2024-10-15 08:06:20 +0200chele(~chele@user/chele) chele
2024-10-15 08:07:55 +0200Guest74(~textual@129.94.128.31)
2024-10-15 08:09:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-10-15 08:10:40 +0200rosco(~rosco@175.136.23.238) (Ping timeout: 252 seconds)
2024-10-15 08:10:56 +0200masterbuilder(~quassel@user/masterbuilder) (Ping timeout: 255 seconds)
2024-10-15 08:11:02 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)