IRCBrowse

2021/09/24

2021-09-24 00:04:17 +0000hololeap_(~hololeap@user/hololeap)
2021-09-24 00:05:54 +0000hololeap(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-09-24 00:06:18 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 00:06:43 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 00:06:46 +0000Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-09-24 00:08:53 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-24 00:11:01 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-24 00:11:34 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-24 00:15:32 +0000euandreh_(~euandreh@2804:14c:33:9fe5:62bf:2631:9503:606c) (Ping timeout: 246 seconds)
2021-09-24 00:16:38 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 00:17:03 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 00:22:47 +0000sneedsfeed(~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com)
2021-09-24 00:23:09 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2021-09-24 00:26:58 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 00:27:23 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 00:31:17 +0000alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-24 00:37:18 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 00:37:43 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 00:38:15 +0000zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-09-24 00:41:10 +0000sneedsfeed(~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) (Quit: Client closed)
2021-09-24 00:42:38 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-24 00:45:30 +0000goepsilongo(~goepsilon@2603-7000-ab00-62ed-89d8-d02e-77d4-d554.res6.spectrum.com)
2021-09-24 00:47:26 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-24 00:47:38 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 00:47:46 +0000zebrag(~chris@user/zebrag)
2021-09-24 00:47:49 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Ping timeout: 256 seconds)
2021-09-24 00:48:04 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 00:50:22 +0000Cajun(~Cajun@user/cajun) (Quit: Client closed)
2021-09-24 00:52:04 +0000lbseale(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-09-24 00:53:11 +0000zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-09-24 00:53:11 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-24 00:54:15 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-24 00:54:20 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-09-24 00:57:23 +0000zebrag(~chris@user/zebrag)
2021-09-24 00:57:59 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 00:58:25 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 01:00:20 +0000neightchan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2021-09-24 01:03:16 +0000neightchan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-09-24 01:08:18 +0000xff0x(~xff0x@2001:1a81:5223:600:4c14:d9af:343:6bc3) (Ping timeout: 260 seconds)
2021-09-24 01:08:20 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 01:08:45 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 01:10:11 +0000xff0x(~xff0x@2001:1a81:5262:8400:31c4:2554:56e4:740e)
2021-09-24 01:10:44 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 265 seconds)
2021-09-24 01:11:45 +0000zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-09-24 01:18:41 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 01:19:06 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 01:22:04 +0000zebrag(~chris@user/zebrag)
2021-09-24 01:24:32 +0000neurocyte0132(~neurocyte@92.119.9.88)
2021-09-24 01:24:32 +0000neurocyte0132(~neurocyte@92.119.9.88) (Changing host)
2021-09-24 01:24:32 +0000neurocyte0132(~neurocyte@user/neurocyte)
2021-09-24 01:26:22 +0000neurocyte013(~neurocyte@user/neurocyte) (Ping timeout: 252 seconds)
2021-09-24 01:26:22 +0000neurocyte0132neurocyte013
2021-09-24 01:28:19 +0000 <Axman6> "until is in prelude" ... how have I never known that D:
2021-09-24 01:28:59 +0000yinghua(~yinghua@2800:2121:1400:1db:e974:19dd:c7f3:8cf6) (Remote host closed the connection)
2021-09-24 01:29:01 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 01:29:09 +0000 <Axman6> @hoogle until
2021-09-24 01:29:10 +0000 <lambdabot> Prelude until :: (a -> Bool) -> (a -> a) -> a -> a
2021-09-24 01:29:10 +0000 <lambdabot> GHC.Base until :: (a -> Bool) -> (a -> a) -> a -> a
2021-09-24 01:29:10 +0000 <lambdabot> Test.Hspec.Discover until :: () => (a -> Bool) -> (a -> a) -> a -> a
2021-09-24 01:29:26 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 01:29:27 +0000 <Axman6> I don't believe it, this is literally blowing my mind, I need to call an ambulance
2021-09-24 01:31:19 +0000alx741(~alx741@181.196.69.154) (Ping timeout: 252 seconds)
2021-09-24 01:33:54 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-24 01:35:46 +0000nrl^(~nrl@12.203.127.82) (Remote host closed the connection)
2021-09-24 01:39:36 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 01:39:43 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 01:40:02 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 01:41:01 +0000 <Axman6> > length $ show $ floor $ 1/0
2021-09-24 01:41:03 +0000 <lambdabot> 309
2021-09-24 01:42:33 +0000dehhy^(~dehhy@12.203.127.82)
2021-09-24 01:44:15 +0000alx741(~alx741@181.196.68.94)
2021-09-24 01:44:31 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-24 01:45:19 +0000paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds)
2021-09-24 01:47:56 +0000tommd(~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-09-24 01:48:20 +0000paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-09-24 01:49:57 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 01:50:22 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 01:52:56 +0000 <zzz> wait what?
2021-09-24 01:53:27 +0000 <zzz> > floor $ 1/0
2021-09-24 01:53:28 +0000 <lambdabot> 1797693134862315907729305190789024733617976978942306572734300811577326758055...
2021-09-24 01:53:34 +0000 <zzz> ah...
2021-09-24 01:53:41 +0000vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-09-24 01:54:47 +0000 <Axman6> It's goot to know we have an upper bound on infinity
2021-09-24 01:55:09 +0000 <Clint> zo goot
2021-09-24 01:56:52 +0000 <Axman6> > until (\n -> 2^n > floor (1/0)) (+1) 1
2021-09-24 01:56:53 +0000 <lambdabot> 1025
2021-09-24 01:57:52 +0000 <awpr> > 309 * log 10 / log 2
2021-09-24 01:57:53 +0000 <lambdabot> 1026.4757813201952
2021-09-24 01:58:46 +0000 <geekosaur> yeh, floor uses some cheaty algorithm thta assumes nobody will ever call it on Inf or NaN
2021-09-24 01:59:07 +0000 <zzz> > until (\n -> 2^n > floor (1/0 :: Float)) succ 1
2021-09-24 01:59:09 +0000 <lambdabot> 129
2021-09-24 01:59:46 +0000 <int-e> Axman6: should use >=
2021-09-24 02:00:10 +0000 <Axman6> I think I really needed to use 2^(n-1)
2021-09-24 02:00:11 +0000 <int-e> > 2^1024 == floot (1/0)
2021-09-24 02:00:13 +0000 <lambdabot> error:
2021-09-24 02:00:13 +0000 <lambdabot> • Variable not in scope: floot :: t0 -> a0
2021-09-24 02:00:13 +0000 <lambdabot> • Perhaps you meant one of these:
2021-09-24 02:00:18 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 02:00:18 +0000 <int-e> > 2^1024 == floor (1/0)
2021-09-24 02:00:21 +0000 <lambdabot> True
2021-09-24 02:00:43 +0000Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net)
2021-09-24 02:00:57 +0000 <awpr> I'm betting there's a ".0" at the end
2021-09-24 02:01:14 +0000 <Axman6> > 8*2^40
2021-09-24 02:01:15 +0000 <awpr> > dropWhile (/= '.') (show (1/0))
2021-09-24 02:01:16 +0000 <lambdabot> 8796093022208
2021-09-24 02:01:17 +0000 <lambdabot> ""
2021-09-24 02:01:23 +0000sander(~sander@user/sander)
2021-09-24 02:01:25 +0000 <awpr> > dropWhile (/= '.') (show (floor $ 1/0))
2021-09-24 02:01:27 +0000 <lambdabot> ""
2021-09-24 02:01:28 +0000 <Axman6> > 8*2^40*2
2021-09-24 02:01:29 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2021-09-24 02:01:30 +0000 <lambdabot> 17592186044416
2021-09-24 02:01:43 +0000 <int-e> :t floor (1/0)
2021-09-24 02:01:44 +0000 <lambdabot> Integral b => b
2021-09-24 02:02:04 +0000 <int-e> it would be odd for an Integral instance to produce decimal points in its Show instance
2021-09-24 02:02:32 +0000 <int-e> (Especially when it defaults to Integer)
2021-09-24 02:03:13 +0000 <zzz> even weirder
2021-09-24 02:03:23 +0000 <zzz> 1/0 == 1/(negate 0)
2021-09-24 02:03:26 +0000 <zzz> > 1/0 == 1/(negate 0)
2021-09-24 02:03:26 +0000 <awpr> hm. I was trying to figure out why the discrepancy between the length and the `until`-based log was so big. maybe the answer is that 2.5 isn't that big
2021-09-24 02:03:27 +0000 <lambdabot> False
2021-09-24 02:03:33 +0000 <zzz> > -1/0 == 1/(negate 0)
2021-09-24 02:03:35 +0000 <lambdabot> True
2021-09-24 02:04:00 +0000 <int-e> Axman6: oh I guess you counted binary digits in which case > is of course correct... I got distracted by the fact that the result *is* a power of 2
2021-09-24 02:04:23 +0000 <Axman6> yeah I just wanted to know which power of two was larger than infinity
2021-09-24 02:04:53 +0000 <Axman6> well, larger than the floor of infinity
2021-09-24 02:05:11 +0000 <awpr> all that says is the whole number part of infinity is finite
2021-09-24 02:05:19 +0000 <awpr> so the fractional part of infinity must be infinite
2021-09-24 02:05:49 +0000 <zzz> > -0
2021-09-24 02:05:51 +0000 <lambdabot> 0
2021-09-24 02:06:05 +0000 <zzz> > 1/(-0)
2021-09-24 02:06:07 +0000 <geekosaur> > -0 :: Double
2021-09-24 02:06:07 +0000 <lambdabot> -Infinity
2021-09-24 02:06:08 +0000 <lambdabot> -0.0
2021-09-24 02:06:20 +0000 <awpr> > properFraction (1 / 0 :: Double)
2021-09-24 02:06:21 +0000 <lambdabot> (179769313486231590772930519078902473361797697894230657273430081157732675805...
2021-09-24 02:06:44 +0000 <int-e> > let a = -0; b = 0; f = isNegativeZero in (a == b, f a == f b)
2021-09-24 02:06:46 +0000 <lambdabot> (True,False)
2021-09-24 02:08:00 +0000 <zzz> > -0 == 0
2021-09-24 02:08:02 +0000 <lambdabot> True
2021-09-24 02:08:12 +0000 <zzz> > 1/(-0) == 1/0
2021-09-24 02:08:14 +0000 <lambdabot> False
2021-09-24 02:09:00 +0000 <geekosaur> zzz, if you're wondering, nhegative zero exists because when computing things involving limits, zero approached from below must be treated as distinct from zero approached from above
2021-09-24 02:09:14 +0000 <geekosaur> therefore there is a distinct "negative zero"
2021-09-24 02:10:03 +0000 <awpr> is that the actual reason IEEE defined it that way? I always assumed it was just to make negation circuits cheap (flip the highest bit)
2021-09-24 02:10:17 +0000 <geekosaur> I believe so, yes
2021-09-24 02:10:21 +0000 <awpr> neat
2021-09-24 02:10:39 +0000Null_A(~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection)
2021-09-24 02:10:43 +0000 <Axman6> it's not like a two's compliment negation would've been that complicated, in the scheme of everything else you need to do with IEEE-754
2021-09-24 02:10:59 +0000 <geekosaur> they were going for something that covered as many use cases as possible, including limits
2021-09-24 02:11:04 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 02:11:09 +0000Ranhir(~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2021-09-24 02:13:29 +0000td_(~td@94.134.91.102) (Ping timeout: 246 seconds)
2021-09-24 02:14:18 +0000Everything(~Everythin@37.115.210.35)
2021-09-24 02:15:18 +0000 <geekosaur> it in particular relates to atan / atan2, negative zeros have the same value as positive zeros but are in different quadrants
2021-09-24 02:15:29 +0000td_(~td@94.134.91.253)
2021-09-24 02:16:05 +0000 <geekosaur> (isn't math fun?)
2021-09-24 02:16:26 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 260 seconds)
2021-09-24 02:17:30 +0000xlei(akans@pool-68-129-84-118.nycmny.fios.verizon.net)
2021-09-24 02:17:39 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 02:18:40 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2021-09-24 02:20:59 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 02:21:24 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 02:23:21 +0000goepsilongo_(~goepsilon@2603-7000-ab00-62ed-bda1-bc58-a701-afae.res6.spectrum.com)
2021-09-24 02:24:03 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-09-24 02:25:18 +0000goepsilongo(~goepsilon@2603-7000-ab00-62ed-89d8-d02e-77d4-d554.res6.spectrum.com) (Ping timeout: 260 seconds)
2021-09-24 02:29:16 +0000Ranhir(~Ranhir@157.97.53.139)
2021-09-24 02:31:20 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 02:31:45 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 02:32:36 +0000sneedsfeed(~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com)
2021-09-24 02:36:57 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving)
2021-09-24 02:37:26 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-24 02:39:08 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-24 02:39:08 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-24 02:39:08 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 02:42:01 +0000 <Axman6> which quadrants would they be in? trying to remember how atan works...
2021-09-24 02:42:05 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 264 seconds)
2021-09-24 02:42:05 +0000Everything(~Everythin@37.115.210.35) ()
2021-09-24 02:42:25 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 02:42:49 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 02:43:24 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-24 02:43:49 +0000 <Axman6> ah, -,- and +,+ - the sleepy owl and dead owl quadrants
2021-09-24 02:43:54 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-09-24 02:44:49 +0000shiraeeshi[m](~shiraeesh@2001:470:69fc:105::1:77)
2021-09-24 02:45:04 +0000shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-09-24 02:45:46 +0000hendursaga(~weechat@user/hendursaga) (Quit: hendursaga)
2021-09-24 02:46:16 +0000hendursaga(~weechat@user/hendursaga)
2021-09-24 02:52:45 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 02:53:09 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 02:53:43 +0000alx741(~alx741@181.196.68.94) (Quit: alx741)
2021-09-24 03:03:28 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 03:03:53 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 03:08:21 +0000Guest43(~Guest43@2804:14d:ba83:4337:d20e:967:f49:191d)
2021-09-24 03:09:08 +0000Guest43(~Guest43@2804:14d:ba83:4337:d20e:967:f49:191d) (Client Quit)
2021-09-24 03:13:49 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 03:14:14 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 03:17:51 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-24 03:21:37 +0000Guest866(~chris@81.96.113.213) (Remote host closed the connection)
2021-09-24 03:21:52 +0000pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-09-24 03:22:12 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-09-24 03:24:11 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 03:24:12 +0000PigDude_PigDude
2021-09-24 03:24:37 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 03:24:53 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-24 03:29:10 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-24 03:29:27 +0000machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds)
2021-09-24 03:30:19 +0000glguy(x@libera/staff/glguy) (Read error: Connection reset by peer)
2021-09-24 03:33:04 +0000chris(~chris@81.96.113.213)
2021-09-24 03:33:08 +0000chrisGuest1928
2021-09-24 03:34:32 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 03:34:57 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 03:37:29 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2021-09-24 03:37:44 +0000elias_(~elias@bl9-97-115.dsl.telepac.pt) (Quit: Leaving)
2021-09-24 03:38:06 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 03:39:48 +0000pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-09-24 03:44:53 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 03:45:18 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 03:46:21 +0000pfurla_(~pfurla@235.15.195.173.client.static.strong-in52.as13926.net)
2021-09-24 03:49:29 +0000pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-09-24 03:50:07 +0000glguy(x@libera/staff/glguy)
2021-09-24 03:51:17 +0000pfurla_pfurla
2021-09-24 03:55:04 +0000acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 265 seconds)
2021-09-24 03:55:12 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 03:55:37 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 03:56:05 +0000monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-09-24 04:00:54 +0000yauhsien_(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 04:00:54 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
2021-09-24 04:04:27 +0000vjoki(~vjoki@2a00:d880:3:1::fea1:9ae) (Quit: ...)
2021-09-24 04:05:10 +0000vjoki(~vjoki@2a00:d880:3:1::fea1:9ae)
2021-09-24 04:14:33 +0000monochrom(trebla@216.138.220.146)
2021-09-24 04:19:43 +0000bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-09-24 04:22:08 +0000zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-09-24 04:25:14 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-24 04:27:31 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-24 04:36:14 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-24 04:37:22 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-24 04:37:22 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-24 04:37:22 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 04:40:30 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-24 04:42:10 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-24 04:42:10 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-24 04:43:33 +0000sneedsfeed(~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) (Ping timeout: 256 seconds)
2021-09-24 04:44:08 +0000lavaman(~lavaman@98.38.249.169)
2021-09-24 04:49:41 +0000yauhsien_(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-24 04:50:30 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-24 04:55:25 +0000michalz(~michalz@185.246.204.61)
2021-09-24 05:00:16 +0000oxide(~lambda@user/oxide)
2021-09-24 05:02:06 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 260 seconds)
2021-09-24 05:05:43 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-24 05:09:05 +0000dumbsharka(~amirvince@user/amirvincent64) (Ping timeout: 264 seconds)
2021-09-24 05:09:47 +0000mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-24 05:12:30 +0000turlando(~turlando@user/turlando) (Read error: Connection reset by peer)
2021-09-24 05:12:46 +0000turlando(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-09-24 05:12:46 +0000turlando(~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host)
2021-09-24 05:12:46 +0000turlando(~turlando@user/turlando)
2021-09-24 05:13:52 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-24 05:14:17 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-09-24 05:16:32 +0000slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-09-24 05:19:57 +0000aliosablack(~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374)
2021-09-24 05:25:38 +0000aliosablack(~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) (Quit: Leaving)
2021-09-24 05:25:53 +0000aliosablack(~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374)
2021-09-24 05:26:47 +0000aliosablack(~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) (Client Quit)
2021-09-24 05:29:30 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2021-09-24 05:29:50 +0000pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-09-24 05:32:20 +0000pfurla(~pfurla@235.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 252 seconds)
2021-09-24 05:38:51 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-24 05:44:34 +0000pfurla_pfurla
2021-09-24 05:48:17 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-24 05:51:02 +0000Guest1928(~chris@81.96.113.213) (Remote host closed the connection)
2021-09-24 05:51:39 +0000chomwitt(~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374)
2021-09-24 06:02:15 +0000steven1(~steven@172.92.136.203)
2021-09-24 06:03:38 +0000mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds)
2021-09-24 06:06:06 +0000kimjetwav(~user@2607:fea8:235f:9730:f1dd:e856:2be4:2476)
2021-09-24 06:06:28 +0000 <steven1> hi, I saw this paper on using hyperfunctions to perform list fusion on calls to `zip`, has it ever been considered for GHC? It doesn't seem to be in use now and I don't see an issue for it https://arxiv.org/abs/1309.5135
2021-09-24 06:14:49 +0000echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2021-09-24 06:15:44 +0000echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2021-09-24 06:18:43 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-24 06:20:18 +0000pounce(~pounce@facebook/engineering/pounce) (Quit: bye bye!)
2021-09-24 06:21:51 +0000kimjetwav(~user@2607:fea8:235f:9730:f1dd:e856:2be4:2476) (Remote host closed the connection)
2021-09-24 06:23:30 +0000root1(root@2600:3c02::f03c:92ff:fe1a:c779)
2021-09-24 06:24:31 +0000kimjetwav(~user@2607:fea8:235f:9730:9246:a28d:f255:7bd7)
2021-09-24 06:25:42 +0000mikoto-chan(~mikoto-ch@84.199.144.235)
2021-09-24 06:32:17 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-24 06:33:41 +0000renzhi(~xp@2607:fa49:6500:b100::5845) (Ping timeout: 264 seconds)
2021-09-24 06:34:05 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-09-24 06:34:06 +0000vysn(~vysn@user/vysn)
2021-09-24 06:36:10 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Client Quit)
2021-09-24 06:46:28 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 06:46:32 +0000renzhi(~xp@2607:fa49:6500:b100::1d9d)
2021-09-24 06:47:37 +0000chomwitt(~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) (Ping timeout: 252 seconds)
2021-09-24 06:50:59 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-24 06:51:40 +0000wonko(~wjc@62.115.229.50)
2021-09-24 06:56:46 +0000lavaman(~lavaman@98.38.249.169)
2021-09-24 06:58:50 +0000chele(~chele@user/chele)
2021-09-24 07:00:03 +0000steven1(~steven@172.92.136.203) (Quit: WeeChat 3.2)
2021-09-24 07:01:19 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-09-24 07:06:00 +0000max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-09-24 07:06:23 +0000nschoe(~quassel@178.251.84.79)
2021-09-24 07:07:13 +0000ubert(~Thunderbi@77.119.171.246.wireless.dyn.drei.com)
2021-09-24 07:07:33 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-09-24 07:07:45 +0000 <[exa]> stevenxl:
2021-09-24 07:08:02 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2021-09-24 07:08:12 +0000 <[exa]> whoops sorry I wanted to hilite steven1 with the hyperfunctions from above and it backfired. :]
2021-09-24 07:08:50 +0000 <[exa]> re the paper, isn't that functionality present in the streaming libraries now?
2021-09-24 07:09:04 +0000chomwitt(~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374)
2021-09-24 07:09:32 +0000dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-09-24 07:12:23 +0000phma(~phma@host-67-44-209-62.hnremote.net) (Read error: Connection reset by peer)
2021-09-24 07:13:14 +0000phma(~phma@host-67-44-208-122.hnremote.net)
2021-09-24 07:13:23 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-09-24 07:22:52 +0000evertedsphere(~sm@36.255.87.108)
2021-09-24 07:25:12 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-24 07:26:34 +0000euandreh_(~euandreh@2804:14c:33:9fe5:f1aa:cb1f:b2aa:34a9)
2021-09-24 07:33:50 +0000lavaman(~lavaman@98.38.249.169)
2021-09-24 07:34:20 +0000euandreh_euandreh
2021-09-24 07:35:10 +0000hnOsmium0001(uid453710@id-453710.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-24 07:39:15 +0000everteds1here(~sm@36.255.87.108)
2021-09-24 07:39:15 +0000everteds1here(~sm@36.255.87.108) (Client Quit)
2021-09-24 07:39:18 +0000evertedsphere(~sm@36.255.87.108) (Quit: leaving)
2021-09-24 07:39:33 +0000evertedsphere(~sm@36.255.87.108)
2021-09-24 07:42:41 +0000cfricke(~cfricke@user/cfricke)
2021-09-24 07:44:07 +0000evertedsphere(~sm@36.255.87.108) (Client Quit)
2021-09-24 07:44:21 +0000evertedsphere(~sm@36.255.87.108)
2021-09-24 07:44:32 +0000fendor(~fendor@178.165.167.3.wireless.dyn.drei.com)
2021-09-24 07:44:39 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-24 07:45:28 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Remote host closed the connection)
2021-09-24 07:48:13 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:b7d2:712:7ac2:adb6)
2021-09-24 07:49:53 +0000madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-09-24 07:53:24 +0000brsvh(~brsvh@45.33.39.92)
2021-09-24 07:58:10 +0000acidjnk(~acidjnk@p200300d0c703cb776830e60a2c5c772a.dip0.t-ipconnect.de)
2021-09-24 08:02:19 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl)
2021-09-24 08:05:19 +0000hendursa1(~weechat@user/hendursaga)
2021-09-24 08:08:23 +0000smarton(~smarton@gnu/webmaster/smarton)
2021-09-24 08:08:42 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-09-24 08:08:51 +0000hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-09-24 08:12:50 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) ()
2021-09-24 08:14:33 +0000neo2(~neo3@cpe-292712.ip.primehome.com)
2021-09-24 08:17:18 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-24 08:17:43 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-24 08:22:51 +0000pera(~pera@137.221.132.200)
2021-09-24 08:23:15 +0000peraGuest1491
2021-09-24 08:25:38 +0000neo2(~neo3@cpe-292712.ip.primehome.com) (Remote host closed the connection)
2021-09-24 08:27:29 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-24 08:32:40 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds)
2021-09-24 08:35:22 +0000oxide(~lambda@user/oxide) (Ping timeout: 252 seconds)
2021-09-24 08:37:11 +0000oxide(~lambda@user/oxide)
2021-09-24 08:40:21 +0000mc47(~mc47@xmonad/TheMC47)
2021-09-24 08:41:47 +0000azeem(~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) (Read error: Connection reset by peer)
2021-09-24 08:42:19 +0000azeem(~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb)
2021-09-24 08:43:50 +0000azeem(~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) (Read error: Connection reset by peer)
2021-09-24 08:44:04 +0000azeem(~azeem@emp-48-249.eduroam.uu.se)
2021-09-24 08:45:53 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80)
2021-09-24 08:48:14 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 08:50:18 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Ping timeout: 260 seconds)
2021-09-24 08:52:33 +0000smarton(~smarton@gnu/webmaster/smarton) (Quit: Quit)
2021-09-24 08:52:38 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-09-24 08:59:39 +0000lavaman(~lavaman@98.38.249.169)
2021-09-24 09:00:43 +0000neurocyte013(~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
2021-09-24 09:02:27 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-24 09:02:57 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-24 09:04:18 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 260 seconds)
2021-09-24 09:07:32 +0000Alex_test(~al_test@94.233.241.29) (Quit: ;-)
2021-09-24 09:07:34 +0000azeem(~azeem@emp-48-249.eduroam.uu.se) (Read error: Connection reset by peer)
2021-09-24 09:07:51 +0000AlexZenon(~alzenon@94.233.241.29) (Quit: ;-)
2021-09-24 09:08:53 +0000Guest|90(~Guest|90@natd.fit.cvut.cz)
2021-09-24 09:10:51 +0000Guest|90(~Guest|90@natd.fit.cvut.cz) (Client Quit)
2021-09-24 09:10:51 +0000Guest1491(~pera@137.221.132.200) (Read error: Connection reset by peer)
2021-09-24 09:13:21 +0000AlexZenon(~alzenon@94.233.241.29)
2021-09-24 09:14:59 +0000brsvh(~brsvh@45.33.39.92) (Ping timeout: 256 seconds)
2021-09-24 09:15:54 +0000phma(~phma@host-67-44-208-122.hnremote.net) (Read error: Connection reset by peer)
2021-09-24 09:16:36 +0000azeem(~azeem@emp-48-249.eduroam.uu.se)
2021-09-24 09:19:43 +0000phma(~phma@host-67-44-208-122.hnremote.net)
2021-09-24 09:21:34 +0000mixfix41(~homefame@user/mixfix41) (Ping timeout: 260 seconds)
2021-09-24 09:23:00 +0000notzmv(~zmv@user/notzmv)
2021-09-24 09:27:34 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-24 09:34:46 +0000wonko(~wjc@62.115.229.50) (Ping timeout: 252 seconds)
2021-09-24 09:37:59 +0000ph88(~ph88@2a02:8109:9e00:7e5c:f1e5:9d26:3b71:29c5) (Ping timeout: 246 seconds)
2021-09-24 09:41:40 +0000ulvarrefr(~user@185.24.53.152)
2021-09-24 09:42:38 +0000Alex_test(~al_test@94.233.241.29)
2021-09-24 09:43:44 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl)
2021-09-24 09:44:49 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) (Client Quit)
2021-09-24 09:46:02 +0000neurocyte0132(~neurocyte@92.119.9.88)
2021-09-24 09:46:02 +0000neurocyte0132(~neurocyte@92.119.9.88) (Changing host)
2021-09-24 09:46:02 +0000neurocyte0132(~neurocyte@user/neurocyte)
2021-09-24 09:46:22 +0000xff0x(~xff0x@2001:1a81:5262:8400:31c4:2554:56e4:740e) (Ping timeout: 252 seconds)
2021-09-24 09:49:40 +0000acidjnk(~acidjnk@p200300d0c703cb776830e60a2c5c772a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-09-24 09:50:36 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:b7d2:712:7ac2:adb6) (Quit: WeeChat 2.8)
2021-09-24 09:52:35 +0000goepsilongo_(~goepsilon@2603-7000-ab00-62ed-bda1-bc58-a701-afae.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2021-09-24 09:56:34 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-24 09:58:23 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-09-24 09:58:34 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-24 10:07:13 +0000azeem(~azeem@emp-48-249.eduroam.uu.se) (Read error: Connection reset by peer)
2021-09-24 10:07:40 +0000alzgh(~alzgh@user/alzgh)
2021-09-24 10:07:49 +0000xff0x(~xff0x@2001:1a81:5262:8400:5d23:43c7:1c6a:a9b6)
2021-09-24 10:07:52 +0000jespada(~jespada@2803:9800:9842:7a62:4d47:2975:7b31:a447) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-09-24 10:08:47 +0000azeem(~azeem@emp-48-249.eduroam.uu.se)
2021-09-24 10:13:53 +0000ulvarrefr(~user@185.24.53.152) (Remote host closed the connection)
2021-09-24 10:14:27 +0000Guest57(~Guest57@wificampus-020162.grenet.fr)
2021-09-24 10:19:59 +0000azeem(~azeem@emp-48-249.eduroam.uu.se) (Ping timeout: 252 seconds)
2021-09-24 10:23:11 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 265 seconds)
2021-09-24 10:26:53 +0000azeem(~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb)
2021-09-24 10:29:10 +0000azeem(~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) (Read error: Connection reset by peer)
2021-09-24 10:30:12 +0000azeem(~azeem@emp-48-249.eduroam.uu.se)
2021-09-24 10:30:59 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-09-24 10:31:49 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-09-24 10:33:58 +0000pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net)
2021-09-24 10:38:20 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl)
2021-09-24 10:40:03 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-09-24 10:41:05 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 10:41:21 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-09-24 10:41:42 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-09-24 10:45:54 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-24 10:46:02 +0000ubert(~Thunderbi@77.119.171.246.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2021-09-24 10:47:55 +0000Guest57(~Guest57@wificampus-020162.grenet.fr) (Ping timeout: 256 seconds)
2021-09-24 10:47:57 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80)
2021-09-24 10:52:34 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Ping timeout: 260 seconds)
2021-09-24 10:53:27 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:b7d2:712:7ac2:adb6)
2021-09-24 10:54:01 +0000xff0x(~xff0x@2001:1a81:5262:8400:5d23:43c7:1c6a:a9b6) (Ping timeout: 252 seconds)
2021-09-24 10:54:38 +0000mikoto-chan(~mikoto-ch@84.199.144.235) (Ping timeout: 252 seconds)
2021-09-24 10:55:05 +0000xff0x(~xff0x@2001:1a81:5262:8400:7a57:83e4:f571:218)
2021-09-24 10:55:54 +0000xiongxin(~quassel@119.123.100.167)
2021-09-24 10:56:02 +0000alx741(~alx741@181.196.68.94)
2021-09-24 10:56:42 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) ()
2021-09-24 11:00:01 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-24 11:00:54 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-24 11:01:46 +0000mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-24 11:02:41 +0000__monty__(~toonn@user/toonn)
2021-09-24 11:03:19 +0000pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 252 seconds)
2021-09-24 11:11:46 +0000VoidNoir0(~VoidNoir0@72.80.203.52) (Quit: Connection closed)
2021-09-24 11:13:31 +0000Brumaire(~quassel@37.164.124.26)
2021-09-24 11:14:17 +0000Guest55(~Guest55@84-45-243-170.static.enta.net)
2021-09-24 11:14:26 +0000azeem(~azeem@emp-48-249.eduroam.uu.se) (Ping timeout: 252 seconds)
2021-09-24 11:14:54 +0000 <Guest55> is there a way to return another type from a bool depending on if its true or false?
2021-09-24 11:15:39 +0000 <hpc> you mean like if p then "string" else 5?
2021-09-24 11:15:44 +0000 <Guest55> yeah
2021-09-24 11:15:47 +0000 <hpc> use Either
2021-09-24 11:15:54 +0000 <hpc> if p then Left "string" else Right 5
2021-09-24 11:15:57 +0000 <hpc> :t if p then Left "string" else Right 5
2021-09-24 11:15:58 +0000 <lambdabot> error:
2021-09-24 11:15:58 +0000 <lambdabot> • Couldn't match expected type ‘Bool’ with actual type ‘Expr’
2021-09-24 11:15:58 +0000 <lambdabot> • In the expression: p
2021-09-24 11:16:04 +0000 <hpc> :t \p -> if p then Left "string" else Right 5
2021-09-24 11:16:05 +0000 <Guest55> Bool -> Either String Double
2021-09-24 11:16:05 +0000 <lambdabot> Num b => Bool -> Either [Char] b
2021-09-24 11:16:15 +0000 <hpc> yep
2021-09-24 11:16:18 +0000 <Guest55> but then the datatype thats returned has to be the same length
2021-09-24 11:16:48 +0000 <hpc> not quite, Either isn't like C unions
2021-09-24 11:16:54 +0000 <hpc> the two Either types can be anything
2021-09-24 11:17:12 +0000 <Guest55> i have a "parse" function, i had several, like parseOrder :: String -> Order, parseTrades :: String -> [Trade] ...
2021-09-24 11:17:38 +0000 <Guest55> then i wrote parse "order" :: String -> String -> Order
2021-09-24 11:17:40 +0000 <Guest55> and got stuck
2021-09-24 11:18:02 +0000 <Guest55> i wanted to make a datatype like data Option = Order | Trade | ...
2021-09-24 11:18:14 +0000 <Guest55> and have the type returned somehow calculated from this
2021-09-24 11:18:24 +0000 <Guest55> i guess it would have to be in a class?
2021-09-24 11:18:33 +0000 <Guest55> like an associated type family or something
2021-09-24 11:18:44 +0000 <hpc> you probably don't want a class here
2021-09-24 11:18:59 +0000 <hpc> imagine you wanted parseManyOptions sometime in the future
2021-09-24 11:19:01 +0000 <Guest55> for the associated type?
2021-09-24 11:19:09 +0000 <hpc> (or just anything that interacts with multiple Options)
2021-09-24 11:19:11 +0000 <Guest55> oh, i was thinking maybe that the Options was singleton
2021-09-24 11:19:27 +0000 <hpc> if you do a class, that list is going to have to all be orders, or all be trades
2021-09-24 11:19:38 +0000azeem(~azeem@emp-48-249.eduroam.uu.se)
2021-09-24 11:19:40 +0000 <Guest55> i mean, to calculate the type of the output from matching a sum datatype
2021-09-24 11:19:52 +0000 <hpc> you'd do that with the data constructor
2021-09-24 11:20:06 +0000 <Guest55> wouldnt the class resolution be able to choose the instance corresponding to the singleton sum option?
2021-09-24 11:20:06 +0000 <hpc> data Option = OrderOption Order | TradeOption Trade | ...
2021-09-24 11:20:14 +0000 <hpc> and then when you're using it
2021-09-24 11:20:19 +0000 <hpc> foo :: Option -> something
2021-09-24 11:20:26 +0000 <hpc> foo (OrderOption order) = something with order
2021-09-24 11:20:32 +0000 <hpc> foo (TradeOption trade) = something with trade
2021-09-24 11:21:19 +0000 <Guest55> you still have "something" not being polymorphic
2021-09-24 11:21:28 +0000 <hpc> that's just a placeholder
2021-09-24 11:21:30 +0000 <Guest55> i need the type to be determined by some type level calculation
2021-09-24 11:21:59 +0000 <Guest55> hpc: i mean, it would throw an error if the different definitions tried to return different types
2021-09-24 11:22:09 +0000 <Guest55> Either would be ok if it wast extensible
2021-09-24 11:22:26 +0000vysn(~vysn@user/vysn) (Ping timeout: 260 seconds)
2021-09-24 11:22:39 +0000 <Guest55> and you seem to be saying something like creating a container for the results of the same length as the input options
2021-09-24 11:23:10 +0000 <Guest55> and im asking, how, instead of doing that, do i use type families to calculate the result type?
2021-09-24 11:23:22 +0000nschoe(~quassel@178.251.84.79) (Ping timeout: 260 seconds)
2021-09-24 11:23:24 +0000 <Guest55> im not sure why you thought using a class wasnt the way to go
2021-09-24 11:23:37 +0000 <hpc> i didn't mention classes
2021-09-24 11:23:44 +0000 <Guest55> i need a polymorphic output
2021-09-24 11:23:45 +0000 <hpc> er, wasn't
2021-09-24 11:23:53 +0000 <hpc> classes don't do polymorphism all that well
2021-09-24 11:24:03 +0000 <hpc> at least, not in the way i suspect you want
2021-09-24 11:24:15 +0000 <alzgh> I have `data myData = firstCons String | secondCons Int` and `az :: [myData]`. I want to filter all the `fistCons` and return the `String`s. I know how to write the `filter` or `foldr` but I'm not sure how to check for the type and extract the `String` out of that type.
2021-09-24 11:24:18 +0000 <Guest55> well, i mean, if the class was parametric on the singleton options type level label
2021-09-24 11:24:18 +0000 <hpc> like, (+) is polymorphic in that you can use it on many numeric types
2021-09-24 11:24:37 +0000 <hpc> but once you're locked into one numeric type you don't get to mix them at all
2021-09-24 11:24:50 +0000 <alzgh> O, I do a pattern match maybe?
2021-09-24 11:25:11 +0000 <Guest55> i cant see a Maybe in your code?
2021-09-24 11:25:28 +0000 <Guest55> :t maybe
2021-09-24 11:25:29 +0000 <lambdabot> b -> (a -> b) -> Maybe a -> b
2021-09-24 11:25:58 +0000 <Guest55> oh, you want to delete the other entries
2021-09-24 11:26:12 +0000ubert(~Thunderbi@77.119.171.246.wireless.dyn.drei.com)
2021-09-24 11:26:16 +0000 <hpc> alzgh: yeah, you'd filter for FirstCons and then use map and pattern match to extract the strings
2021-09-24 11:26:33 +0000 <hpc> map (\FirstCons s -> s) . filter isFirstCons
2021-09-24 11:26:35 +0000 <hpc> or something like that
2021-09-24 11:26:36 +0000 <Guest55> yes your just going to use filter and pattern matching to check if its the right part of the sum datatype, returning True if it is
2021-09-24 11:26:51 +0000 <Guest55> :t filter isLeft
2021-09-24 11:26:52 +0000 <lambdabot> [Either a b] -> [Either a b]
2021-09-24 11:27:07 +0000 <Guest55> :t map fromLeft . filter isLeft
2021-09-24 11:27:08 +0000 <lambdabot> [Either a b1] -> [Either (Either a b1) b2 -> Either a b1]
2021-09-24 11:27:12 +0000 <Guest55> !?
2021-09-24 11:27:23 +0000 <Guest55> nvm
2021-09-24 11:27:41 +0000 <alzgh> thanks, I guess I have a rough idea. gonna come back if stuck :D
2021-09-24 11:27:51 +0000 <tomsmeding> :t lefts
2021-09-24 11:27:51 +0000 <Guest55> list comprehension syntax would be better
2021-09-24 11:27:52 +0000 <lambdabot> [Either a b] -> [a]
2021-09-24 11:28:30 +0000 <tomsmeding> :t \l -> [x | Left x <- l]
2021-09-24 11:28:31 +0000 <lambdabot> [Either a b] -> [a]
2021-09-24 11:28:50 +0000 <Guest55> :t \xs -> [y <- | a@(Left y) <- xs,isLeft a]
2021-09-24 11:28:51 +0000 <lambdabot> error:
2021-09-24 11:28:51 +0000 <lambdabot> parse error on input ‘<-’
2021-09-24 11:28:51 +0000 <lambdabot> Perhaps this statement should be within a 'do' block?
2021-09-24 11:28:59 +0000 <tomsmeding> why do you want the isLeft?
2021-09-24 11:29:00 +0000 <Guest55> :t \xs -> [y | a@(Left y) <- xs,isLeft a]
2021-09-24 11:29:02 +0000 <lambdabot> [Either a b] -> [a]
2021-09-24 11:29:06 +0000 <Guest55> thats lefts
2021-09-24 11:29:18 +0000 <tomsmeding> yuo don't need to check, list comprehensions already discard the elements that don't match the pattern
2021-09-24 11:29:27 +0000 <Guest55> :t \xs -> [y | a@(Left y) <- xs]
2021-09-24 11:29:28 +0000 <lambdabot> [Either a b] -> [a]
2021-09-24 11:29:30 +0000 <tomsmeding> yeah
2021-09-24 11:29:31 +0000 <Guest55> oh, awesome
2021-09-24 11:29:34 +0000 <tomsmeding> also:
2021-09-24 11:29:36 +0000 <tomsmeding> :t lefts
2021-09-24 11:29:36 +0000 <lambdabot> [Either a b] -> [a]
2021-09-24 11:29:38 +0000 <tomsmeding> ;)
2021-09-24 11:29:48 +0000 <hpc> > [y | (Left y) <- [Left "yes", Right "no"]]
2021-09-24 11:29:48 +0000 <Guest55> anyway
2021-09-24 11:29:49 +0000 <lambdabot> ["yes"]
2021-09-24 11:30:33 +0000 <Guest55> how do i have the output type of a function be determined by a type level calculation over the type level data stored in a singletons sum type input?
2021-09-24 11:30:52 +0000 <tomsmeding> what exactly is the type of the input?
2021-09-24 11:30:54 +0000azeem(~azeem@emp-48-249.eduroam.uu.se) (Read error: Connection reset by peer)
2021-09-24 11:31:06 +0000 <Guest55> for example SBool
2021-09-24 11:31:20 +0000 <Guest55> but generally i will be having to extend it as i find new things to parse
2021-09-24 11:31:50 +0000azeem(~azeem@emp-48-249.eduroam.uu.se)
2021-09-24 11:31:57 +0000 <Guest55> hmm, maybe ther ReadS hack would work, cant remember if that used Overlapping instances in some hackey way
2021-09-24 11:32:15 +0000 <Guest55> like, thats basically the parsing function we normally use
2021-09-24 11:32:28 +0000 <tomsmeding> Guest55: a type family?
2021-09-24 11:32:46 +0000 <Guest55> but then your just writing read instances that resolve based on the type of the output rather than the "choice" input
2021-09-24 11:32:56 +0000 <tomsmeding> type family RetType b where RetType 'True = MyTrueThing ; RetType 'False = MyFalseThing
2021-09-24 11:33:02 +0000 <Guest55> tomsmedling: i was thinking maybe an associated type family
2021-09-24 11:33:07 +0000 <tomsmeding> myfun :: SBool b -> other things -> RetType b
2021-09-24 11:33:15 +0000 <Guest55> exactly!
2021-09-24 11:33:18 +0000 <Guest55> thanks
2021-09-24 11:33:28 +0000 <tomsmeding> this is a normal, closed type family, not an associated one though
2021-09-24 11:33:33 +0000 <Guest55> i couldnt quite visualise that
2021-09-24 11:33:52 +0000 <Guest55> ie, the `b' and how that parameter conveys the type level option
2021-09-24 11:33:57 +0000 <tomsmeding> yeah
2021-09-24 11:34:16 +0000 <Guest55> now im thinking to just make read instanes!
2021-09-24 11:34:42 +0000 <tomsmeding> but you were so well on your way to type-level haskell enlightenment!
2021-09-24 11:34:44 +0000 <Guest55> my singletons machinery is burried somewhere almost irritrivable
2021-09-24 11:35:02 +0000 <Guest55> tomsmeding: unfortunately not
2021-09-24 11:35:05 +0000 <tomsmeding> :p
2021-09-24 11:35:12 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-24 11:35:17 +0000tomsmedingjokes
2021-09-24 11:35:37 +0000 <Guest55> the 8-fold path to a waste of lazyness
2021-09-24 11:36:15 +0000 <hpc> heh, reminds me of http://thecodelesscode.com
2021-09-24 11:36:56 +0000 <Guest55> "The target hardware, likewise, lies in ruin."
2021-09-24 11:36:57 +0000 <Guest55> lol
2021-09-24 11:37:17 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-09-24 11:38:06 +0000 <Guest55> can anyone talk me through some code i have seen being shared recently?
2021-09-24 11:38:41 +0000 <Guest55> a user called fog put together a "clock" library, but i cant find it, and i couldnt understand how it worked
2021-09-24 11:39:15 +0000 <Guest55> i think it was something to do with traversing IO lists or something
2021-09-24 11:39:47 +0000 <Guest55> basically, i want to filter a persistent ping, to only transmit when it change content
2021-09-24 11:40:04 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2021-09-24 11:40:15 +0000 <Guest55> like, if it just broadcast the time of day to the nearest minute, then i would expect only one item in the stream to arrive per minute
2021-09-24 11:40:46 +0000 <Guest55> but if the input is like, every second or something, idk how to write this IO filter so it streams through correctly without jamming or something
2021-09-24 11:41:56 +0000 <tomsmeding> I think if you find the code in question, people will be able to help you better :)
2021-09-24 11:42:12 +0000 <Guest55> https://github.com/fog-hs/clock-scanner
2021-09-24 11:43:25 +0000 <Guest55> i guess its basically an IO streaming nearest-neighbour nub that im after
2021-09-24 11:43:43 +0000 <tomsmeding> if that is what this code is doing, it's doing _vastly_ more complicated stuff than necessary
2021-09-24 11:43:49 +0000 <Guest55> i think i understood how to write maps and folds using scanners, but not filters
2021-09-24 11:44:08 +0000 <Guest55> could be a problem to do with traverse being shape preserving?
2021-09-24 11:44:13 +0000 <tomsmeding> are you sure you want to work with ListT IO, and not just with channels from Control.Concurrent (perhaps STM) ?
2021-09-24 11:44:44 +0000 <Guest55> the library is self contained readable and succinct and imo quite well designed
2021-09-24 11:44:50 +0000 <Guest55> i wouldnt consider an alternative
2021-09-24 11:45:11 +0000 <Guest55> i mean, if you have something cannonical...
2021-09-24 11:45:34 +0000 <tomsmeding> a streaming library, or just a simple channel? :p
2021-09-24 11:46:01 +0000tomsmedingdoesn't know how to reason about comonads and hylomorphisms
2021-09-24 11:46:11 +0000 <Guest55> its supposed to be a principled replacement for the ad-hoc construction (based on cursors) used by conduit/pipes appraoch to streaming
2021-09-24 11:46:24 +0000 <Guest55> or the algebra of streaming functions
2021-09-24 11:46:27 +0000max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2021-09-24 11:46:37 +0000 <Guest55> it just uses the compositionality of the scanner state update functions
2021-09-24 11:47:10 +0000 <Guest55> something like map f . map g = map (f . g)
2021-09-24 11:47:39 +0000 <Guest55> idk if it handles branches or multiple output functions or anything like that
2021-09-24 11:47:49 +0000 <Guest55> probably just have to use extensible records...
2021-09-24 11:48:20 +0000 <Guest55> anyway, idk how to write a filter on the IOList using Scanner
2021-09-24 11:48:52 +0000 <Guest55> i mean, its supposed to be "above" traverse in the class hierarchy, so maybe the shape preserving thing that would break a filter doesnt apply
2021-09-24 11:49:06 +0000Lycurgus(~juan@98.4.112.204)
2021-09-24 11:49:53 +0000 <Guest55> basically just working with;
2021-09-24 11:49:53 +0000 <Guest55> scannerM :: Monad m => (s -> a -> m (b,s)) -> s -> t m a -> m (t m b,s)
2021-09-24 11:50:24 +0000 <Guest55> t m a, is then basically able to be MonadicList IO a
2021-09-24 11:50:54 +0000shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-09-24 11:50:55 +0000 <Guest55> i guess i have to use the `s' portion of the output
2021-09-24 11:51:12 +0000ph88(~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583)
2021-09-24 11:51:15 +0000 <Guest55> if the `t m b' is going to be the same shape
2021-09-24 11:51:25 +0000 <Guest55> i think thats like the mapped part of the traverse
2021-09-24 11:51:43 +0000 <Guest55> and the `s' is the carry, which i guess is where you accumulate the filtered list
2021-09-24 11:51:45 +0000ubert1(~Thunderbi@91.141.60.166.wireless.dyn.drei.com)
2021-09-24 11:52:00 +0000 <Guest55> sorry this is really compllicated, i have to take a break
2021-09-24 11:52:18 +0000ubert(~Thunderbi@77.119.171.246.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2021-09-24 11:52:19 +0000ubert1ubert
2021-09-24 11:54:53 +0000 <Guest55> i think a biparametric (eg monadic list) container that implements scannerM as above
2021-09-24 11:55:01 +0000__monty__(~toonn@user/toonn)
2021-09-24 11:55:06 +0000 <Guest55> wait, idk. sorry
2021-09-24 11:55:28 +0000 <Guest55> er, i mean, thats basically the least sufficient interface right?
2021-09-24 11:55:33 +0000 <Guest55> its one line...
2021-09-24 11:55:40 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-09-24 11:56:28 +0000 <Guest55> maybe filter needs its own class?
2021-09-24 11:56:37 +0000 <Guest55> since it has to be able to reconstruct it?
2021-09-24 11:57:19 +0000 <Guest55> and then it could just have the defaults in terms of get and set as this library seems to present
2021-09-24 11:57:26 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 265 seconds)
2021-09-24 11:57:49 +0000 <Guest55> but, with the possibility of not just being impllemented that way
2021-09-24 11:58:01 +0000 <Guest55> like, anything that can implement a monadic filtering function
2021-09-24 11:58:07 +0000 <Guest55> any container*
2021-09-24 11:58:19 +0000 <Guest55> not sure what the type would be, going for a cig
2021-09-24 12:04:22 +0000xiongxin(~quassel@119.123.100.167) (Ping timeout: 252 seconds)
2021-09-24 12:05:02 +0000 <Guest55> hmm, i guess the best i could hope for is a default implementation via get and set
2021-09-24 12:05:05 +0000xiongxin(~quassel@113.116.35.121)
2021-09-24 12:05:12 +0000 <Guest55> since the type of filter itslef is uniformative
2021-09-24 12:05:20 +0000 <Guest55> ie it wouldnt make a good class function
2021-09-24 12:05:37 +0000 <Guest55> ok, im off, ciao
2021-09-24 12:06:32 +0000Guest55(~Guest55@84-45-243-170.static.enta.net) (Quit: Client closed)
2021-09-24 12:20:43 +0000wonko(~wjc@62.115.229.50)
2021-09-24 12:25:54 +0000euandreh(~euandreh@2804:14c:33:9fe5:f1aa:cb1f:b2aa:34a9) (Ping timeout: 260 seconds)
2021-09-24 12:27:11 +0000machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-09-24 12:27:12 +0000Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2021-09-24 12:29:06 +0000euandreh(~euandreh@2804:14c:33:9fe5:f1aa:cb1f:b2aa:34a9)
2021-09-24 12:30:09 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds)
2021-09-24 12:32:28 +0000acidjnk(~acidjnk@p200300d0c703cb7748f323b024886b38.dip0.t-ipconnect.de)
2021-09-24 12:35:14 +0000azeem(~azeem@emp-48-249.eduroam.uu.se) (Ping timeout: 260 seconds)
2021-09-24 12:35:19 +0000gehmehgeh(~user@user/gehmehgeh)
2021-09-24 12:39:06 +0000Ranhir(~Ranhir@157.97.53.139)
2021-09-24 12:42:41 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 12:42:53 +0000Guest|51(~Guest|51@144.173.23.19)
2021-09-24 12:43:06 +0000Guest|51(~Guest|51@144.173.23.19) (Client Quit)
2021-09-24 12:44:19 +0000mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds)
2021-09-24 12:45:14 +0000azeem(~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb)
2021-09-24 12:46:26 +0000azeem(~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) (Read error: Connection reset by peer)
2021-09-24 12:47:16 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-24 12:47:43 +0000fendor_(~fendor@178.165.207.87.wireless.dyn.drei.com)
2021-09-24 12:48:04 +0000azeem(~azeem@emp-48-249.eduroam.uu.se)
2021-09-24 12:49:33 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80)
2021-09-24 12:50:36 +0000fendor(~fendor@178.165.167.3.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2021-09-24 12:53:01 +0000jespada(~jespada@2803:9800:9842:7a62:2546:af34:8714:120f)
2021-09-24 12:53:54 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Ping timeout: 260 seconds)
2021-09-24 12:58:04 +0000mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-24 12:59:35 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-24 13:00:12 +0000ddb(~ddb@ipv6two.tilde.club) (Remote host closed the connection)
2021-09-24 13:00:34 +0000ddb(~ddb@ipv6two.tilde.club)
2021-09-24 13:02:10 +0000pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net)
2021-09-24 13:06:37 +0000geranim0(~sam@modemcable242.171-178-173.mc.videotron.ca)
2021-09-24 13:06:38 +0000cfricke(~cfricke@user/cfricke) (Ping timeout: 252 seconds)
2021-09-24 13:07:24 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-24 13:11:05 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-09-24 13:14:17 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-09-24 13:15:30 +0000xiongxin(~quassel@113.116.35.121) (Read error: Connection reset by peer)
2021-09-24 13:16:45 +0000xiongxin(~quassel@119.123.102.171)
2021-09-24 13:22:47 +0000dumbsharka(~amirvince@user/amirvincent64)
2021-09-24 13:31:47 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-24 13:36:41 +0000hololeap_hololeap
2021-09-24 13:36:41 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-24 13:37:39 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-24 13:37:52 +0000azeem(~azeem@emp-48-249.eduroam.uu.se) (Ping timeout: 252 seconds)
2021-09-24 13:39:25 +0000geranim0(~sam@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 265 seconds)
2021-09-24 13:41:07 +0000azeem(~azeem@emp-48-249.eduroam.uu.se)
2021-09-24 13:41:27 +0000Sgeo(~Sgeo@user/sgeo)
2021-09-24 13:42:06 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-24 13:42:06 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-24 13:42:06 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 13:45:21 +0000neurocyte01328(~neurocyte@92.119.9.88)
2021-09-24 13:45:21 +0000neurocyte01328(~neurocyte@92.119.9.88) (Changing host)
2021-09-24 13:45:21 +0000neurocyte01328(~neurocyte@user/neurocyte)
2021-09-24 13:47:53 +0000neurocyte0132(~neurocyte@user/neurocyte) (Ping timeout: 252 seconds)
2021-09-24 13:47:53 +0000neurocyte01328neurocyte0132
2021-09-24 13:48:09 +0000doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-09-24 13:53:31 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-24 13:57:59 +0000terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat)
2021-09-24 14:03:42 +0000Pickchea(~private@user/pickchea)
2021-09-24 14:05:26 +0000ubert1(~Thunderbi@178.165.171.176.wireless.dyn.drei.com)
2021-09-24 14:06:05 +0000max22-(~maxime@2a01cb08833598006032d61cd2b0f81d.ipv6.abo.wanadoo.fr)
2021-09-24 14:06:29 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-24 14:07:01 +0000ubert(~Thunderbi@91.141.60.166.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-09-24 14:07:01 +0000ubert1ubert
2021-09-24 14:09:53 +0000xiongxin(~quassel@119.123.102.171) (Ping timeout: 265 seconds)
2021-09-24 14:09:56 +0000xiongxin_(~quassel@113.116.35.121)
2021-09-24 14:11:24 +0000hammock(~Hammock@2600:1700:19a1:3330::588)
2021-09-24 14:11:32 +0000Brumaire(~quassel@37.164.124.26) (Ping timeout: 252 seconds)
2021-09-24 14:11:50 +0000xff0x(~xff0x@2001:1a81:5262:8400:7a57:83e4:f571:218) (Ping timeout: 260 seconds)
2021-09-24 14:12:34 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-09-24 14:14:38 +0000vysn(~vysn@user/vysn)
2021-09-24 14:14:43 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-09-24 14:14:54 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2021-09-24 14:15:36 +0000slowButPresent(~slowButPr@user/slowbutpresent)
2021-09-24 14:18:18 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-24 14:20:55 +0000xff0x(~xff0x@2001:1a81:5262:8400:7a57:83e4:f571:218)
2021-09-24 14:21:11 +0000ubert1(~Thunderbi@91.141.79.118.wireless.dyn.drei.com)
2021-09-24 14:23:02 +0000ubert(~Thunderbi@178.165.171.176.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2021-09-24 14:23:03 +0000ubert1ubert
2021-09-24 14:27:18 +0000hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-09-24 14:27:58 +0000acidjnk(~acidjnk@p200300d0c703cb7748f323b024886b38.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-09-24 14:28:23 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com)
2021-09-24 14:28:39 +0000hololeap(~hololeap@user/hololeap)
2021-09-24 14:34:52 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat)
2021-09-24 14:35:29 +0000hpc(~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 264 seconds)
2021-09-24 14:35:41 +0000xsperry(~as@user/xsperry) ()
2021-09-24 14:38:37 +0000zebrag(~chris@user/zebrag)
2021-09-24 14:39:03 +0000azeem(~azeem@emp-48-249.eduroam.uu.se) (Read error: Connection reset by peer)
2021-09-24 14:39:12 +0000azeem(~azeem@emp-48-249.eduroam.uu.se)
2021-09-24 14:39:16 +0000ystael(~ystael@user/ystael) (Read error: Connection reset by peer)
2021-09-24 14:40:06 +0000Guest58(~Guest58@173-17-255-12.client.mchsi.com)
2021-09-24 14:41:50 +0000hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-09-24 14:42:15 +0000hendursaga(~weechat@user/hendursaga)
2021-09-24 14:42:55 +0000bgamari_(~bgamari@64.223.174.87)
2021-09-24 14:43:13 +0000ystael(~ystael@user/ystael)
2021-09-24 14:43:22 +0000bgamari(~bgamari@2001:470:e438::1) (Ping timeout: 252 seconds)
2021-09-24 14:43:22 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80)
2021-09-24 14:43:34 +0000kimjetwav(~user@2607:fea8:235f:9730:9246:a28d:f255:7bd7) (Ping timeout: 260 seconds)
2021-09-24 14:43:58 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 14:44:47 +0000Guest58(~Guest58@173-17-255-12.client.mchsi.com) (Ping timeout: 256 seconds)
2021-09-24 14:45:01 +0000kimjetwav(~user@2607:fea8:235f:9730:9246:a28d:f255:7bd7)
2021-09-24 14:45:31 +0000azeem(~azeem@emp-48-249.eduroam.uu.se) (Ping timeout: 252 seconds)
2021-09-24 14:46:29 +0000hnOsmium0001(uid453710@id-453710.hampstead.irccloud.com)
2021-09-24 14:48:44 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com)
2021-09-24 14:48:56 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-24 14:52:42 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2021-09-24 14:53:14 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:b7d2:712:7ac2:adb6) (Quit: WeeChat 2.8)
2021-09-24 14:56:23 +0000azeem(~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb)
2021-09-24 14:58:29 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-09-24 15:00:02 +0000juhp(~juhp@bb42-60-204-249.singnet.com.sg) (Quit: juhp)
2021-09-24 15:00:16 +0000juhp(~juhp@bb42-60-204-249.singnet.com.sg)
2021-09-24 15:02:23 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat)
2021-09-24 15:02:43 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2021-09-24 15:03:43 +0000bw(sid2730@user/betawaffle) (Ping timeout: 252 seconds)
2021-09-24 15:03:43 +0000cln(sid336875@id-336875.ilkley.irccloud.com) (Ping timeout: 252 seconds)
2021-09-24 15:03:47 +0000scav(sid309693@id-309693.helmsley.irccloud.com) (Ping timeout: 250 seconds)
2021-09-24 15:03:47 +0000kaychaks__(sid236345@id-236345.helmsley.irccloud.com) (Ping timeout: 250 seconds)
2021-09-24 15:03:47 +0000edmundnoble(sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 250 seconds)
2021-09-24 15:03:47 +0000PotatoGim(sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 245 seconds)
2021-09-24 15:03:54 +0000Firedancer(sid336191@id-336191.hampstead.irccloud.com) (Ping timeout: 268 seconds)
2021-09-24 15:03:54 +0000amir(sid22336@user/amir) (Ping timeout: 268 seconds)
2021-09-24 15:03:54 +0000SrPx(sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 268 seconds)
2021-09-24 15:03:56 +0000edmundnoble(sid229620@id-229620.helmsley.irccloud.com)
2021-09-24 15:04:01 +0000kaychaks__(sid236345@id-236345.helmsley.irccloud.com)
2021-09-24 15:04:03 +0000Firedancer(sid336191@id-336191.hampstead.irccloud.com)
2021-09-24 15:04:06 +0000b20n(sid115913@id-115913.uxbridge.irccloud.com) (Read error: Connection reset by peer)
2021-09-24 15:04:06 +0000dmj`(sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 260 seconds)
2021-09-24 15:04:15 +0000b20n(sid115913@id-115913.uxbridge.irccloud.com)
2021-09-24 15:04:16 +0000tapas(sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 252 seconds)
2021-09-24 15:04:17 +0000eruditass(uid248673@id-248673.uxbridge.irccloud.com) (Ping timeout: 264 seconds)
2021-09-24 15:04:17 +0000meinside(uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 264 seconds)
2021-09-24 15:04:18 +0000NiKaN(sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 268 seconds)
2021-09-24 15:04:18 +0000acertain(sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 268 seconds)
2021-09-24 15:04:18 +0000obviyus(sid415299@user/obviyus) (Ping timeout: 268 seconds)
2021-09-24 15:04:23 +0000dmj`(sid72307@id-72307.hampstead.irccloud.com)
2021-09-24 15:04:31 +0000pjlsergeant(sid143467@id-143467.hampstead.irccloud.com) (Ping timeout: 268 seconds)
2021-09-24 15:04:35 +0000SrPx(sid108780@id-108780.uxbridge.irccloud.com)
2021-09-24 15:04:35 +0000JSharp(sid4580@id-4580.lymington.irccloud.com) (Ping timeout: 260 seconds)
2021-09-24 15:04:37 +0000amir(sid22336@user/amir)
2021-09-24 15:04:39 +0000cbarrett(sid192934@id-192934.helmsley.irccloud.com) (Ping timeout: 250 seconds)
2021-09-24 15:04:51 +0000scav(sid309693@id-309693.helmsley.irccloud.com)
2021-09-24 15:04:53 +0000xiongxin_(~quassel@113.116.35.121) (Ping timeout: 252 seconds)
2021-09-24 15:05:16 +0000meinside(uid24933@id-24933.helmsley.irccloud.com)
2021-09-24 15:05:16 +0000PotatoGim(sid99505@id-99505.lymington.irccloud.com)
2021-09-24 15:05:18 +0000cbarrett(sid192934@id-192934.helmsley.irccloud.com)
2021-09-24 15:05:19 +0000pjlsergeant(sid143467@id-143467.hampstead.irccloud.com)
2021-09-24 15:05:19 +0000acertain(sid470584@id-470584.hampstead.irccloud.com)
2021-09-24 15:05:24 +0000tapas(sid467876@id-467876.ilkley.irccloud.com)
2021-09-24 15:05:32 +0000Lycurgus(~juan@98.4.112.204) (Quit: Exeunt)
2021-09-24 15:05:35 +0000JSharp(sid4580@id-4580.lymington.irccloud.com)
2021-09-24 15:05:35 +0000xiongxin(~quassel@119.123.102.171)
2021-09-24 15:05:40 +0000NiKaN(sid385034@id-385034.helmsley.irccloud.com)
2021-09-24 15:06:05 +0000eruditass(uid248673@id-248673.uxbridge.irccloud.com)
2021-09-24 15:06:14 +0000obviyus(sid415299@user/obviyus)
2021-09-24 15:06:30 +0000cln(sid336875@id-336875.ilkley.irccloud.com)
2021-09-24 15:06:36 +0000nschoe(~quassel@178.251.84.79)
2021-09-24 15:06:41 +0000bw(sid2730@user/betawaffle)
2021-09-24 15:07:20 +0000Guest8(~Guest8@52.149.12.25)
2021-09-24 15:08:03 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com)
2021-09-24 15:08:04 +0000Guest8(~Guest8@52.149.12.25) (Client Quit)
2021-09-24 15:09:01 +0000Guest95(~Guest95@52.149.12.25)
2021-09-24 15:09:51 +0000 <Guest95> ,
2021-09-24 15:09:56 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-24 15:10:33 +0000Guest95(~Guest95@52.149.12.25) (Client Quit)
2021-09-24 15:10:35 +0000 <geekosaur> .
2021-09-24 15:10:45 +0000 <geekosaur> o, they left
2021-09-24 15:10:50 +0000xiongxin(~quassel@119.123.102.171) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-09-24 15:12:15 +0000zmt01(~zmt00@user/zmt00)
2021-09-24 15:12:59 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 15:13:18 +0000chris(~chris@81.96.113.213)
2021-09-24 15:13:22 +0000chrisGuest7402
2021-09-24 15:14:34 +0000Guest97(~Guest97@52.149.12.25)
2021-09-24 15:15:06 +0000 <shapr> ,
2021-09-24 15:16:08 +0000Guest97(~Guest97@52.149.12.25) (Client Quit)
2021-09-24 15:16:10 +0000zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2021-09-24 15:22:22 +0000vpan(~vilius@212.117.1.172)
2021-09-24 15:23:12 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat)
2021-09-24 15:25:01 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com)
2021-09-24 15:25:06 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-24 15:25:22 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-09-24 15:25:29 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Client Quit)
2021-09-24 15:27:32 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com)
2021-09-24 15:28:52 +0000 <[itchyjunk]> There was a really nice link posted here explaining why numbers are not functions. I wanted to share that link with someone but i can't find it again.
2021-09-24 15:28:55 +0000tnm(~tnm@ipservice-092-218-228-188.092.218.pools.vodafone-ip.de)
2021-09-24 15:30:22 +0000 <monochrom> And yet there will be a time when it is beneficial to admit numbers as functions.
2021-09-24 15:30:38 +0000hexfive(~eric@50.35.83.177)
2021-09-24 15:30:48 +0000 <monochrom> And in more than one way, too.
2021-09-24 15:30:50 +0000 <[itchyjunk]> oh ohh.. i finally convinenced myself that numbers are not functions
2021-09-24 15:31:08 +0000 <[itchyjunk]> /o\ disaster
2021-09-24 15:32:24 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-24 15:32:31 +0000 <[itchyjunk]> found the link : http://conal.net/blog/posts/everything-is-a-function-in-haskell
2021-09-24 15:34:25 +0000 <monochrom> My understand is, for example, operator theory begins by saying this: you have a differential equation like "3*y(t) + y'(t) = 0". Wouldn't it be nice to refactor that to "(3 + diff) y = 0". For example Schrödinger's equation and Dirac's equations are in this form.
2021-09-24 15:35:17 +0000 <monochrom> We can understand that to mean that diff is a higher-order function (now called "operator"), it maps a number function to its derivative. We know how to extend "+" to mean adding two higher-order functions.
2021-09-24 15:35:19 +0000 <[itchyjunk]> interesting..
2021-09-24 15:35:34 +0000 <monochrom> But this also means "3" is a higher-order function of the same type as diff.
2021-09-24 15:36:28 +0000 <monochrom> Everything is what you need it to be for the purpose at hand.
2021-09-24 15:37:37 +0000 <monochrom> In Haskell, you can take the stance that if the type does not look like "X -> Y" then the term is not a function. This fits Haskell's purpose.
2021-09-24 15:37:37 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-24 15:37:45 +0000 <monochrom> But Haskell doesn't stand for the whole world.
2021-09-24 15:38:00 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-24 15:38:41 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Remote host closed the connection)
2021-09-24 15:40:58 +0000madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 260 seconds)
2021-09-24 15:41:38 +0000alaspeanutcheese(~alaspeanu@52pc67.sshunet.nl)
2021-09-24 15:43:38 +0000jakalx(~jakalx@base.jakalx.net) ()
2021-09-24 15:44:11 +0000machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection)
2021-09-24 15:44:29 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-24 15:45:33 +0000hexfive(~eric@50.35.83.177) (Quit: WeeChat 3.0.1)
2021-09-24 15:46:58 +0000machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-09-24 15:47:35 +0000 <[itchyjunk]> i see
2021-09-24 15:47:52 +0000 <[itchyjunk]> i knew numbers were treated as function in lambda calculus in some sense
2021-09-24 15:48:17 +0000tinhatcat(~manjaro-g@2620:103:a000:2201:8e4c:af6a:e11c:11a1)
2021-09-24 15:48:35 +0000 <geekosaur> you can even treat numbers as functions in Haskell to some extent (literals, at least)
2021-09-24 15:49:03 +0000tinhatcat(~manjaro-g@2620:103:a000:2201:8e4c:af6a:e11c:11a1) (Client Quit)
2021-09-24 15:49:07 +0000jtomas(~jtomas@95.red-88-11-64.dynamicip.rima-tde.net)
2021-09-24 15:49:27 +0000jtomas(~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) ()
2021-09-24 15:50:58 +0000ubert(~Thunderbi@91.141.79.118.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-09-24 15:51:42 +0000ph88(~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583) (Ping timeout: 260 seconds)
2021-09-24 15:55:17 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80)
2021-09-24 15:56:20 +0000 <Cale> If the right instances are in scope :)
2021-09-24 15:58:29 +0000 <dminuoso> Or you can treat them as numbers on the basis of being polymorphic, a function taking a Num dictionary..
2021-09-24 15:59:04 +0000 <Cale> fair, yeah
2021-09-24 15:59:04 +0000 <dminuoso> Though, this line of thinking entertains the idea that the core idea of "X is just a function" is something useful, when in fact it's just particular mind models or perspectives that introduce this idea.
2021-09-24 16:00:03 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving)
2021-09-24 16:03:44 +0000Guest7402(~chris@81.96.113.213) (Remote host closed the connection)
2021-09-24 16:06:21 +0000vpan(~vilius@212.117.1.172) (Ping timeout: 265 seconds)
2021-09-24 16:08:31 +0000zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-09-24 16:08:36 +0000chris(~chris@81.96.113.213)
2021-09-24 16:08:40 +0000chrisGuest6764
2021-09-24 16:10:07 +0000zaquest(~notzaques@5.128.210.178)
2021-09-24 16:12:16 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-24 16:12:44 +0000lbseale(~lbseale@user/ep1ctetus)
2021-09-24 16:13:07 +0000Guest6764(~chris@81.96.113.213) (Ping timeout: 265 seconds)
2021-09-24 16:13:35 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 16:14:40 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-09-24 16:16:26 +0000chris(~chris@81.96.113.213)
2021-09-24 16:16:30 +0000chrisGuest2952
2021-09-24 16:17:56 +0000python47`(~user@88.160.31.174)
2021-09-24 16:18:02 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-24 16:19:04 +0000jakalx(~jakalx@base.jakalx.net)
2021-09-24 16:19:08 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-24 16:19:53 +0000python476(~user@88.160.31.174) (Ping timeout: 265 seconds)
2021-09-24 16:20:42 +0000vpan(~vilius@212.117.1.172)
2021-09-24 16:21:42 +0000_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-09-24 16:27:59 +0000python47`(~user@88.160.31.174) (Quit: ERC (IRC client for Emacs 28.0.50))
2021-09-24 16:28:22 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-24 16:30:39 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds)
2021-09-24 16:31:22 +0000_bin(~bin@user/bin/x-1583188) (Ping timeout: 260 seconds)
2021-09-24 16:35:51 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 276 seconds)
2021-09-24 16:36:19 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2021-09-24 16:36:20 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-24 16:37:10 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-09-24 16:37:13 +0000xff0x(~xff0x@2001:1a81:5262:8400:7a57:83e4:f571:218) (Ping timeout: 252 seconds)
2021-09-24 16:37:15 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-24 16:37:15 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-24 16:37:15 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 16:39:09 +0000xff0x(~xff0x@2001:1a81:5287:3100:76b:e505:93a5:449f)
2021-09-24 16:39:56 +0000ubert(~Thunderbi@91.141.79.118.wireless.dyn.drei.com)
2021-09-24 16:41:10 +0000pfurla_(~pfurla@235.15.195.173.client.static.strong-in52.as13926.net)
2021-09-24 16:41:32 +0000_bin(~bin@user/bin/x-1583188)
2021-09-24 16:44:03 +0000pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-09-24 16:44:47 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat)
2021-09-24 16:45:38 +0000python476(~user@88.160.31.174)
2021-09-24 16:49:32 +0000chele(~chele@user/chele) (Remote host closed the connection)
2021-09-24 16:53:27 +0000geranim0(~sam@modemcable242.171-178-173.mc.videotron.ca)
2021-09-24 16:55:07 +0000tommd(~tommd@75-164-130-101.ptld.qwest.net)
2021-09-24 16:56:33 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-24 16:59:33 +0000pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-09-24 17:00:36 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 17:02:25 +0000pfurla_(~pfurla@235.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 265 seconds)
2021-09-24 17:02:25 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2021-09-24 17:03:11 +0000lavaman(~lavaman@98.38.249.169)
2021-09-24 17:04:02 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com)
2021-09-24 17:05:19 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-24 17:06:09 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-09-24 17:07:32 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-09-24 17:08:05 +0000nschoe(~quassel@178.251.84.79) (Ping timeout: 252 seconds)
2021-09-24 17:08:50 +0000geranim0(~sam@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection)
2021-09-24 17:09:12 +0000geranim0(~sam@modemcable242.171-178-173.mc.videotron.ca)
2021-09-24 17:09:44 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2021-09-24 17:13:31 +0000geranim0(~sam@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 252 seconds)
2021-09-24 17:14:19 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat)
2021-09-24 17:15:19 +0000ph88(~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583)
2021-09-24 17:17:18 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-24 17:17:18 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-24 17:17:18 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 17:17:32 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-24 17:18:13 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-24 17:19:27 +0000slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net)
2021-09-24 17:24:31 +0000Guest9(~Guest9@ipservice-092-218-228-188.092.218.pools.vodafone-ip.de)
2021-09-24 17:24:33 +0000jushur(~human@user/jushur) (Quit: ¯\_(ツ)_/¯)
2021-09-24 17:25:30 +0000tfeb(~tfb@88.98.95.237)
2021-09-24 17:34:11 +0000tfeb(~tfb@88.98.95.237) (Quit: died)
2021-09-24 17:35:58 +0000TDANG_(~TDANG@cpe-107-15-144-45.nc.res.rr.com)
2021-09-24 17:38:40 +0000TDANG(~TDANG@inet-177-7.ets.org) (Ping timeout: 265 seconds)
2021-09-24 17:38:52 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Remote host closed the connection)
2021-09-24 17:40:56 +0000dehhy^(~dehhy@12.203.127.82) (Remote host closed the connection)
2021-09-24 17:41:49 +0000sneedsfeed(~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com)
2021-09-24 17:42:10 +0000 <sneedsfeed> what is the preferred way of sharing code in this community?
2021-09-24 17:42:59 +0000 <dminuoso> @where paste
2021-09-24 17:42:59 +0000 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-09-24 17:43:06 +0000 <dminuoso> But you can use whatever you fancy
2021-09-24 17:43:13 +0000 <geekosaur> depends on what you mean by sharing code. snippets via gist or paste.tomsmeding.com, larger programs/libraries on hackage
2021-09-24 17:43:21 +0000 <dminuoso> As long as its not offending in terms of requiring registration of full with advertisements.
2021-09-24 17:43:33 +0000Guest9(~Guest9@ipservice-092-218-228-188.092.218.pools.vodafone-ip.de) ()
2021-09-24 17:44:13 +0000 <sneedsfeed> https://paste.tomsmeding.com/ seems perfect. thanks. (y)
2021-09-24 17:46:43 +0000vpan(~vilius@212.117.1.172) (Quit: Leaving.)
2021-09-24 17:48:54 +0000lavaman(~lavaman@98.38.249.169)
2021-09-24 17:49:20 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-24 17:51:24 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-24 17:52:34 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-24 17:53:13 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-09-24 17:53:58 +0000opqdonut(opqdonut@pseudo.fixme.fi) (Remote host closed the connection)
2021-09-24 17:54:35 +0000opqdonut(opqdonut@pseudo.fixme.fi)
2021-09-24 17:56:49 +0000nrl^(~nrl@12.203.127.82)
2021-09-24 17:57:20 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-24 17:58:37 +0000kimjetwav(~user@2607:fea8:235f:9730:9246:a28d:f255:7bd7) (Ping timeout: 252 seconds)
2021-09-24 18:01:01 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-24 18:01:01 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-24 18:01:01 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 18:02:06 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Quit: Client closed)
2021-09-24 18:05:13 +0000tnm(~tnm@ipservice-092-218-228-188.092.218.pools.vodafone-ip.de) (Quit: leaving)
2021-09-24 18:05:34 +0000econo(uid147250@user/econo)
2021-09-24 18:05:50 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-24 18:06:41 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-24 18:07:14 +0000lavaman(~lavaman@98.38.249.169)
2021-09-24 18:07:37 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-24 18:07:50 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2021-09-24 18:07:51 +0000lavaman(~lavaman@98.38.249.169)
2021-09-24 18:07:53 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-24 18:08:21 +0000justsomeguy(~justsomeg@user/justsomeguy)
2021-09-24 18:10:02 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80)
2021-09-24 18:10:09 +0000lavaman(~lavaman@98.38.249.169)
2021-09-24 18:11:28 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-09-24 18:18:25 +0000sneedsfeed(~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) (Ping timeout: 256 seconds)
2021-09-24 18:18:52 +0000justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-09-24 18:20:12 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-24 18:21:22 +0000lavaman(~lavaman@98.38.249.169)
2021-09-24 18:21:25 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-24 18:21:37 +0000lavaman(~lavaman@98.38.249.169)
2021-09-24 18:25:31 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-24 18:25:31 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-24 18:25:31 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 18:38:42 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds)
2021-09-24 18:41:19 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2021-09-24 18:41:38 +0000gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-09-24 18:49:02 +0000VoidNoir0(~VoidNoir0@72.80.203.52)
2021-09-24 18:49:37 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-24 18:54:28 +0000yinghua(~yinghua@2800:2121:1400:1db:c0c5:a435:cabe:dd29)
2021-09-24 18:56:50 +0000yinghua(~yinghua@2800:2121:1400:1db:c0c5:a435:cabe:dd29) (Read error: Connection reset by peer)
2021-09-24 18:57:08 +0000yinghua(~yinghua@2800:2121:1400:1db:68a8:baa5:f71b:a8b5)
2021-09-24 18:59:32 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-24 19:04:50 +0000ubert1(~Thunderbi@91.141.79.118.wireless.dyn.drei.com)
2021-09-24 19:13:24 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Remote host closed the connection)
2021-09-24 19:15:58 +0000oxide(~lambda@user/oxide) (Quit: oxide)
2021-09-24 19:17:01 +0000hpc(~juzz@ip98-169-35-13.dc.dc.cox.net)
2021-09-24 19:17:42 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds)
2021-09-24 19:17:45 +0000troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 265 seconds)
2021-09-24 19:18:08 +0000troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2021-09-24 19:18:21 +0000justsomeguy(~justsomeg@user/justsomeguy)
2021-09-24 19:19:04 +0000 <zzz> ki$º-ç4--lllllllmmmmmmmmmmmmmmmm~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:19:10 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:19:16 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:19:22 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:19:28 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:19:34 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:19:40 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:19:46 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:19:52 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:19:58 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:20:04 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:20:10 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:20:14 +0000 <awpr> zzz something's broken on your computer/keyboard/irc client
2021-09-24 19:20:16 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:20:22 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:20:28 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:20:34 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:20:39 +0000 <tomsmeding> cat on keyboard?
2021-09-24 19:20:40 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:20:46 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:20:52 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:20:53 +0000 <tomsmeding> yeah cat on keyboard
2021-09-24 19:20:58 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:21:04 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:21:10 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:21:13 +0000 <tomsmeding> zzz: ping
2021-09-24 19:21:16 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:21:22 +0000ChanServ+o geekosaur
2021-09-24 19:21:22 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:21:28 +0000 <zzz> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2021-09-24 19:21:30 +0000zzzgeekosaurzzz
2021-09-24 19:21:36 +0000 <robbert-vdh> Or probably, accidentally pasting a bunch of garbage into a terminal window
2021-09-24 19:21:56 +0000 <tomsmeding> perhaps they copied something from ms teams
2021-09-24 19:22:03 +0000geekosaur-o geekosaur
2021-09-24 19:22:10 +0000 <robbert-vdh> I'll always blame Teams when given the chance
2021-09-24 19:22:19 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2021-09-24 19:22:36 +0000 <maerwald> I think it's a rat, not a cat
2021-09-24 19:24:41 +0000pavonia(~user@user/siracusa)
2021-09-24 19:28:40 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-24 19:35:48 +0000zzz(~yin@user/yin)
2021-09-24 19:35:55 +0000 <zzz> so sorry about that
2021-09-24 19:36:07 +0000 <zzz> cat on keyboard...
2021-09-24 19:36:18 +0000 <tomsmeding> we must know, was it a cat?
2021-09-24 19:36:45 +0000 <zzz> it was. do i have to pay cat tax?
2021-09-24 19:36:48 +0000Guest2952(~chris@81.96.113.213) (Remote host closed the connection)
2021-09-24 19:36:54 +0000 <tomsmeding> maerwald: ha
2021-09-24 19:37:01 +0000 <int-e> just cat-proof that ~ key
2021-09-24 19:37:28 +0000 <tomsmeding> zzz: maerwald thought it was a rat rather than a cat, presumably because it was only one key
2021-09-24 19:37:40 +0000 <geekosaur> the start of it was more keys though
2021-09-24 19:37:53 +0000 <maerwald> I'm suspecting bad keyboard firmware
2021-09-24 19:37:56 +0000 <maerwald> it bailed
2021-09-24 19:38:04 +0000 <maerwald> try qmk
2021-09-24 19:38:09 +0000 <monochrom> I have a cunning plan! Every key on the keyboard should come with a captcha test.
2021-09-24 19:38:19 +0000 <zzz> oh no. i'm just now seeing the damage
2021-09-24 19:38:26 +0000chris(~chris@81.96.113.213)
2021-09-24 19:38:27 +0000chrisGuest1466
2021-09-24 19:38:29 +0000 <monochrom> or perhaps rebrand it to "catcha test" >:)
2021-09-24 19:39:05 +0000 <zzz> wait how did my cat type the
2021-09-24 19:39:13 +0000 <zzz> greek mu?
2021-09-24 19:39:26 +0000 <int-e> monochrom: we need a Completely Automated Public Turing test to tell Cats and Humans Apart
2021-09-24 19:39:33 +0000 <mousey> it's right-alt + m
2021-09-24 19:39:44 +0000 <monochrom> "mu" is the closest to "meow" a cat can get in human society :)
2021-09-24 19:39:47 +0000 <tomsmeding> I don't see a µ, just ç
2021-09-24 19:39:58 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 19:40:02 +0000 <zzz> mousey: right you are
2021-09-24 19:40:17 +0000 <zzz> monochrom: :)
2021-09-24 19:40:19 +0000 <mousey> probably that key got pawed :)
2021-09-24 19:41:12 +0000 <zzz> i came into the room he was already preparing to fall asleep on top of it
2021-09-24 19:41:17 +0000Guest1466(~chris@81.96.113.213) (Remote host closed the connection)
2021-09-24 19:41:43 +0000 <tomsmeding> cats these days
2021-09-24 19:42:44 +0000 <zzz> anyways, sorry about that
2021-09-24 19:43:23 +0000 <zzz> to be honest, i have no idea how to prevent it from happening again
2021-09-24 19:43:32 +0000 <tomsmeding> lock screen?
2021-09-24 19:43:43 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2021-09-24 19:44:49 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-24 19:45:05 +0000evertedsphere(~sm@36.255.87.108) (Remote host closed the connection)
2021-09-24 19:45:48 +0000_xor(~xor@74.215.232.67) (Quit: brb)
2021-09-24 19:46:08 +0000chris(~chris@81.96.113.213)
2021-09-24 19:46:12 +0000chrisGuest5179
2021-09-24 19:46:16 +0000 <hololeap> I want to know how the cat was hitting <enter> after a certain number of ~'s
2021-09-24 19:46:27 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-09-24 19:46:54 +0000 <geekosaur> some clients automatically wrap
2021-09-24 19:48:10 +0000 <zzz> the enter key ir right next to the tilde in this keyboard
2021-09-24 19:48:17 +0000_xor(~xor@74.215.232.67)
2021-09-24 19:48:40 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-24 19:48:53 +0000 <zzz> but it seems like its wrapping
2021-09-24 19:49:53 +0000 <zzz> interestingly, the µ's count as 2 characters
2021-09-24 19:49:58 +0000 <geekosaur> yeh, every line is the same length (te first looks shorter but has 2 extended chars in it)
2021-09-24 19:50:18 +0000 <hololeap> zzz, here ya go: https://www.thegreenhead.com/imgs/anti-cat-keyboard-cover-5.jpg
2021-09-24 19:50:33 +0000 <zzz> ha! thanks
2021-09-24 19:50:35 +0000 <geekosaur> that's because irc doesn't natively support unicode, so the utf8 expansion is counted in the characters
2021-09-24 19:50:38 +0000Guest5179(~chris@81.96.113.213) (Ping timeout: 260 seconds)
2021-09-24 19:50:51 +0000hololeapwants to know what "EXTREME CAT TUNNEL" is
2021-09-24 19:51:10 +0000 <awpr> configure client to reject messages over N characters? there's only so much spam a cat can generate if it has to press return once per message
2021-09-24 19:51:23 +0000 <awpr> the line wrapping just amplified its capabilities
2021-09-24 19:51:47 +0000 <dsal> Change your cat's password.
2021-09-24 19:52:08 +0000 <monochrom> configure client to reject data chunks of too-low or too-high entropies :)
2021-09-24 19:52:09 +0000 <awpr> configure cat to go to sleep after 30 minutes of inactivity
2021-09-24 19:52:21 +0000 <awpr> or is that the default?
2021-09-24 19:52:57 +0000emf(~emf@2620:10d:c090:400::5:38ea)
2021-09-24 19:53:07 +0000 <exarkun> looking for `IO a -> IO b -> IO c -> IO (a, b, c)`, not finding it
2021-09-24 19:53:26 +0000 <awpr> :t liftA3 (,,)
2021-09-24 19:53:27 +0000 <lambdabot> Applicative f => f a -> f b -> f c -> f (a, b, c)
2021-09-24 19:53:28 +0000 <hololeap> exarkun: liftA3 (,,)
2021-09-24 19:53:57 +0000 <tomsmeding> hololeap: http://www.unihabitat.jp/wp-content/uploads/2014/10/f66.jpg
2021-09-24 19:54:03 +0000 <tomsmeding> http://www.unihabitat.jp/products/upt15bk/
2021-09-24 19:54:07 +0000 <exarkun> dang I probably should have known that
2021-09-24 19:54:17 +0000 <hololeap> but you can probably skip (,,) and just use whatever function you're passing the triple to
2021-09-24 19:54:25 +0000zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Changing host)
2021-09-24 19:54:25 +0000zfnmxt(~zfnmxtzfn@user/zfnmxt)
2021-09-24 19:54:30 +0000 <monochrom> onoes cat prison
2021-09-24 19:54:50 +0000nitrix(~nitrix@user/nitrix)
2021-09-24 19:55:08 +0000 <hololeap> lmao
2021-09-24 19:55:38 +0000emf(~emf@2620:10d:c090:400::5:38ea) (Quit: emf)
2021-09-24 19:55:39 +0000 <exarkun> awpr, hololeap: ty
2021-09-24 19:55:40 +0000 <monochrom> In Chinese we word "house arrest" as "soft custody". Well, this cat prison is literally soft. >:)
2021-09-24 19:55:58 +0000emf(~emf@2620:10d:c090:400::5:38ea)
2021-09-24 19:57:42 +0000 <hololeap> it's pretty funny that cats seem to be universally attracted to laying on keyboards, for whatever reason
2021-09-24 19:59:54 +0000 <c_wraith> I think it's mostly that they're attention centers.
2021-09-24 20:00:05 +0000 <c_wraith> It's uncommon for cats to lounge on keyboards when no human is present
2021-09-24 20:00:34 +0000 <geekosaur> unless they're laptops and then it's because they're warm
2021-09-24 20:02:22 +0000 <tomsmeding> related: https://np.reddit.com/r/cats/comments/kg5w0u/my_cat_chester_kept_sleeping_on_top_of_my_pc/
2021-09-24 20:06:17 +0000 <dminuoso> 22:00:05 c_wraith | It's uncommon for cats to lounge on keyboards when no human is present
2021-09-24 20:06:17 +0000mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds)
2021-09-24 20:06:30 +0000 <dminuoso> c_wraith: Do video tape your keyboard, or how do you come to this knowledge?
2021-09-24 20:06:54 +0000 <geekosaur> the cat probably follows them around looking for attention
2021-09-24 20:07:04 +0000 <c_wraith> Mostly coming from my cat, who is too busy following me from room to room pretending it's a coincidence to lounge on a keyboard in another room
2021-09-24 20:07:04 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80)
2021-09-24 20:07:59 +0000mikoto-chan(~mikoto-ch@83.137.2.249)
2021-09-24 20:09:13 +0000frisbro_(uid518331@id-518331.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-24 20:10:05 +0000emf(~emf@2620:10d:c090:400::5:38ea) (Quit: emf)
2021-09-24 20:10:31 +0000Pickchea(~private@user/pickchea)
2021-09-24 20:11:32 +0000emf(~emf@2620:10d:c090:400::5:38ea)
2021-09-24 20:11:32 +0000_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-09-24 20:14:53 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-24 20:15:48 +0000acidjnk(~acidjnk@p200300d0c703cb77bd57d6e6b991bf0a.dip0.t-ipconnect.de)
2021-09-24 20:16:48 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-24 20:18:33 +0000 <zzz> when you are not there you must assume the cat is and simultaneously is not on your keyboard
2021-09-24 20:19:00 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2021-09-24 20:19:09 +0000 <tomsmeding> does that effect extend to people that don't have a cat?
2021-09-24 20:19:29 +0000 <zzz> how do you know you don't have a cat?
2021-09-24 20:19:36 +0000 <tomsmeding> right
2021-09-24 20:23:13 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-24 20:24:52 +0000agoraphobic(~agoraphob@ip11-173.bon.riksnet.se) (Ping timeout: 252 seconds)
2021-09-24 20:25:36 +0000 <hololeap> cats are always lurking in the borders between our dimensions
2021-09-24 20:27:05 +0000tomsmedinghears a cat whining outside
2021-09-24 20:27:47 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-24 20:27:47 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-24 20:27:47 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 20:27:55 +0000 <tomsmeding> fighting, actually :o
2021-09-24 20:35:32 +0000 <hololeap> or the frisky frolic
2021-09-24 20:35:58 +0000 <tomsmeding> didn't sound too friendly tbh
2021-09-24 20:36:21 +0000 <hololeap> that act isn't particularly friendly among cats :3
2021-09-24 20:36:33 +0000 <tomsmeding> appropriate emoticon
2021-09-24 20:37:05 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-24 20:38:04 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-09-24 20:38:36 +0000agoraphobic(~agoraphob@ip11-173.bon.riksnet.se)
2021-09-24 20:40:08 +0000dwt_(~dwt_@c-98-200-58-177.hsd1.tx.comcast.net)
2021-09-24 20:45:57 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-24 20:45:57 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-24 20:45:57 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 20:48:54 +0000 <monochrom> Yikes haha Schrödinger's cat and keyboard entangled system.
2021-09-24 20:50:02 +0000 <monochrom> Hey that's a nice resolution. If you observe junk output on IRC, then it means the cat is alive, not superposed. >:)
2021-09-24 20:51:09 +0000yinghua_(~yinghua@2800:2121:1400:1db:c0c5:a435:cabe:dd29)
2021-09-24 20:53:31 +0000yinghua(~yinghua@2800:2121:1400:1db:68a8:baa5:f71b:a8b5) (Ping timeout: 252 seconds)
2021-09-24 20:54:28 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2021-09-24 20:54:56 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-09-24 20:59:45 +0000hololeap(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-09-24 21:01:00 +0000dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-09-24 21:01:34 +0000pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 260 seconds)
2021-09-24 21:01:46 +0000xff0x(~xff0x@2001:1a81:5287:3100:76b:e505:93a5:449f) (Ping timeout: 252 seconds)
2021-09-24 21:02:19 +0000hololeap(~hololeap@user/hololeap)
2021-09-24 21:02:21 +0000xff0x(~xff0x@2001:1a81:5287:3100:96a7:c495:38fd:b41b)
2021-09-24 21:05:04 +0000fendor_(~fendor@178.165.207.87.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-24 21:09:23 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-09-24 21:10:38 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2021-09-24 21:10:43 +0000ubert1(~Thunderbi@91.141.79.118.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-24 21:12:08 +0000Lord_of_Life_Lord_of_Life
2021-09-24 21:14:39 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 21:17:35 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-09-24 21:19:19 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-24 21:19:52 +0000wonko(~wjc@62.115.229.50) (Ping timeout: 252 seconds)
2021-09-24 21:22:04 +0000madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-09-24 21:45:54 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-09-24 21:49:34 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-24 21:55:32 +0000mikoto-chan(~mikoto-ch@83.137.2.249) (Quit: mikoto-chan)
2021-09-24 21:55:32 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-24 21:56:32 +0000shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection)
2021-09-24 21:59:49 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-09-24 22:00:03 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-09-24 22:00:26 +0000MQ-17J(~MQ-17J@8.21.10.6)
2021-09-24 22:00:27 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-09-24 22:02:53 +0000michalz(~michalz@185.246.204.61) (Remote host closed the connection)
2021-09-24 22:04:23 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-09-24 22:04:36 +0000wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net)
2021-09-24 22:04:36 +0000wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host)
2021-09-24 22:04:36 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 22:08:38 +0000bontaq(~user@ool-45779fe5.dyn.optonline.net)
2021-09-24 22:08:56 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-24 22:10:59 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 22:12:58 +0000vysn(~vysn@user/vysn) (Ping timeout: 260 seconds)
2021-09-24 22:12:58 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-24 22:14:38 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2021-09-24 22:15:29 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-09-24 22:16:11 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Quit: Leaving)
2021-09-24 22:17:11 +0000vysn(~vysn@user/vysn)
2021-09-24 22:19:18 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-24 22:31:16 +0000_xor(~xor@74.215.232.67) (Quit: brb)
2021-09-24 22:31:58 +0000xff0x(~xff0x@2001:1a81:5287:3100:96a7:c495:38fd:b41b) (Ping timeout: 252 seconds)
2021-09-24 22:32:14 +0000_xor(~xor@74.215.232.67)
2021-09-24 22:32:33 +0000xff0x(~xff0x@2001:1a81:5287:3100:448c:6d89:40d5:fb1d)
2021-09-24 22:38:06 +0000kimjetwav(~user@2607:fea8:235f:9730:8d3b:ad5a:287:4c82)
2021-09-24 22:39:15 +0000hololeap. o ( hyperdimensional modem where each network port is a different timestream )
2021-09-24 22:40:30 +0000 <hololeap> if the cat sends junk to libera on all timestreams, you know it's a metacat
2021-09-24 22:40:48 +0000daDude(~daDude@cpc91646-hart11-2-0-cust432.11-3.cable.virginm.net)
2021-09-24 22:41:05 +0000 <geekosaur> all cats are metacats :þ
2021-09-24 22:41:23 +0000 <hololeap> *queue sci-fi theremin stuff*
2021-09-24 22:42:22 +0000chomwitt(~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) (Ping timeout: 260 seconds)
2021-09-24 22:46:22 +0000hatds(~hatds@c-107-4-136-72.hsd1.mn.comcast.net)
2021-09-24 22:48:43 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-09-24 22:49:49 +0000Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-09-24 22:49:50 +0000 <hatds> I'm using cabal for an otherwise simple throwaway project that compiles into a .exe. How can I instruct cabal to copy the executable to the root folder (where the .cabal file is) each time it builds?
2021-09-24 22:53:48 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-24 22:53:52 +0000 <hpc> --bindir=.
2021-09-24 22:54:03 +0000 <hpc> probably
2021-09-24 22:54:25 +0000 <hpc> i haven't ever had to use it, but that looks right
2021-09-24 22:54:43 +0000alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-24 22:55:02 +0000alzgh(~alzgh@user/alzgh)
2021-09-24 22:55:16 +0000vysn(~vysn@user/vysn) (Remote host closed the connection)
2021-09-24 22:56:04 +0000rawles(~o@user/rawles) (Quit: -)
2021-09-24 22:56:22 +0000tommd(~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 260 seconds)
2021-09-24 22:57:17 +0000tommd(~tommd@75-164-130-101.ptld.qwest.net)
2021-09-24 22:58:43 +0000Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-09-24 22:59:40 +0000 <hatds> @hpc it accepts and recognizes "--bindir=.", but it doesn't seem to do anything
2021-09-24 22:59:40 +0000 <lambdabot> Maybe you meant: src rc pl ghc
2021-09-24 22:59:46 +0000phma(~phma@host-67-44-208-122.hnremote.net) (Read error: Connection reset by peer)
2021-09-24 23:00:17 +0000phma(~phma@host-67-44-208-122.hnremote.net)
2021-09-24 23:00:43 +0000max22-(~maxime@2a01cb08833598006032d61cd2b0f81d.ipv6.abo.wanadoo.fr) (Quit: Leaving)
2021-09-24 23:01:12 +0000 <hpc> hatds: are you doing cabal build or cabal install?
2021-09-24 23:01:19 +0000 <hpc> i got that out of "cabal build --help"
2021-09-24 23:01:24 +0000 <hatds> cabal build
2021-09-24 23:01:25 +0000phma(~phma@host-67-44-208-122.hnremote.net) (Read error: Connection reset by peer)
2021-09-24 23:01:30 +0000 <hpc> no clue then
2021-09-24 23:01:58 +0000 <hpc> maybe write some powershell that copies the binary back out?
2021-09-24 23:02:06 +0000phma(~phma@host-67-44-208-122.hnremote.net)
2021-09-24 23:02:17 +0000tommd(~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-09-24 23:02:48 +0000 <hatds> heh
2021-09-24 23:02:54 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-09-24 23:03:11 +0000 <hpc> i have a lot of "i give up" bash scripts, myself :P
2021-09-24 23:03:50 +0000 <awpr> wait isn't the difference between build and install precisely that install copies binaries and build doesn't?
2021-09-24 23:03:57 +0000machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds)
2021-09-24 23:04:51 +0000 <hpc> install registers the package and copies things to a global or per-user directory
2021-09-24 23:05:06 +0000 <hpc> build still has to put the binaries somewhere, and you can set where that is
2021-09-24 23:05:25 +0000 <hpc> it's like -o in gcc
2021-09-24 23:05:33 +0000 <hpc> except not working apparently
2021-09-24 23:05:36 +0000 <hatds> does install still "register" something when it is just an executable?
2021-09-24 23:05:39 +0000 <awpr> `--bindir=DIR installation directory for executables`
2021-09-24 23:05:49 +0000 <awpr> that sounds like it should have no effect if you're not installing
2021-09-24 23:05:58 +0000 <hpc> oh, hmm, maybe?
2021-09-24 23:06:01 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-24 23:06:08 +0000 <hpc> odd that it would show up under cabal build --help then
2021-09-24 23:08:53 +0000Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 252 seconds)
2021-09-24 23:10:00 +0000alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-24 23:10:21 +0000 <geekosaur> unless it affects Paths.hs?
2021-09-24 23:10:37 +0000terrorjack(~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com)
2021-09-24 23:10:57 +0000 <hatds> "cabal install" with "--installdir=." works at least
2021-09-24 23:15:49 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-24 23:20:19 +0000madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds)
2021-09-24 23:20:59 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-24 23:21:10 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-24 23:21:10 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-24 23:21:10 +0000wroathe(~wroathe@user/wroathe)
2021-09-24 23:22:11 +0000smitop(~smitop@user/smitop) (Remote host closed the connection)
2021-09-24 23:24:07 +0000smitop(~smitop@user/smitop)
2021-09-24 23:24:46 +0000karim(uid519758@id-519758.helmsley.irccloud.com)
2021-09-24 23:29:47 +0000justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-09-24 23:37:03 +0000 <monochrom> It's --installdir= indeed. --bindir is for a bygone era.
2021-09-24 23:37:55 +0000 <hpc> ah
2021-09-24 23:38:05 +0000 <hpc> it's easy to forget that even haskell sometimes has a bit of a fossil record
2021-09-24 23:38:17 +0000 <monochrom> And watch out for the default "is it copying or is it symlinking?". And the default "I won't replace, it's oh so safer".
2021-09-24 23:38:40 +0000 <monochrom> On both counts the defaults are wrong.
2021-09-24 23:39:47 +0000 <monochrom> The default on "I won't replace" disrespects that if you bother to enter "cabal install the exe" you have very much confirmed that you want to replace.
2021-09-24 23:41:07 +0000 <monochrom> The default on "I make a symlink, I won't copy" disrespects the reality that it is symlinking to what you will consider ephemeral build files that one day you will delete and clean up.
2021-09-24 23:41:46 +0000MQ-17J(~MQ-17J@8.21.10.6) (Ping timeout: 252 seconds)
2021-09-24 23:42:34 +0000 <monochrom> On top of that, the symlinking misfeature was also a blocking factor in supporting Windows.
2021-09-24 23:43:40 +0000 <monochrom> In retrospect quite frankly why would anyone bother to even offer the choice of symlinking. No one would need it, no one should use it, and it would and did block Windows users.
2021-09-24 23:44:19 +0000 <hpc> better than hardlinking i guess :D
2021-09-24 23:45:03 +0000 <geekosaur> hardlinking across directories doesn't even work on some filesystems
2021-09-24 23:45:18 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-24 23:46:20 +0000machinedgod(~machinedg@24.105.81.50)
2021-09-24 23:46:36 +0000 <hpc> my last job had to deal with a system where filesystems were lazily mounted
2021-09-24 23:46:46 +0000machinedgod(~machinedg@24.105.81.50) (Remote host closed the connection)
2021-09-24 23:46:58 +0000 <hpc> you had to ssh in, authenticate with this weird thing i can only describe as the 1975 version of 2fa, and then run "find /"
2021-09-24 23:47:23 +0000 <hpc> because not every operation worked to trigger mounting the filesystems
2021-09-24 23:47:35 +0000 <monochrom> Would "ls /tmp/x" work?
2021-09-24 23:47:55 +0000 <hpc> it wasn't just /tmp
2021-09-24 23:47:58 +0000 <geekosaur> presumably only for /and /tmp
2021-09-24 23:48:01 +0000 <hpc> these were real disk filesystems
2021-09-24 23:48:04 +0000 <monochrom> Yikes
2021-09-24 23:48:05 +0000 <hpc> mounted wherever
2021-09-24 23:48:27 +0000 <hpc> imagine having to ls /var/www/html before starting httpd
2021-09-24 23:48:46 +0000machinedgod(~machinedg@24.105.81.50)
2021-09-24 23:48:48 +0000 <monochrom> Now you've got me wondering what does "1975 2fa" means :)
2021-09-24 23:49:12 +0000 <monochrom> Did it involve walking up to someone else's desk and asking for permission in person?
2021-09-24 23:49:15 +0000 <hpc> i don't remember much of it at all, but it was like you had something on one system
2021-09-24 23:49:21 +0000 <hpc> you ssh in, and it prints a 6 digit number
2021-09-24 23:49:32 +0000 <hpc> you type that into the other program, and it prints out another 6 digit number
2021-09-24 23:49:36 +0000 <hpc> and you type that in
2021-09-24 23:49:42 +0000 <geekosaur> ow
2021-09-24 23:50:01 +0000 <monochrom> Interesting.
2021-09-24 23:50:20 +0000 <monochrom> Did you cryptanalyse reverse-engineer the mapping?
2021-09-24 23:50:28 +0000 <monochrom> I mean >:)
2021-09-24 23:50:31 +0000 <hpc> heh
2021-09-24 23:51:18 +0000 <hpc> i luckily never had to deal with it myself
2021-09-24 23:51:40 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-09-24 23:51:48 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-09-24 23:53:33 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-09-24 23:55:51 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-24 23:56:00 +0000 <monochrom> In Haskell.Love, Andrew Boardman's "historical futurism" talk spent a little time relating an old, ad hoc, very personal, version control system that an old company used.
2021-09-24 23:56:39 +0000 <monochrom> I guess as part of illustrating "if you become complacent with your existing tools, you will block new blood".
2021-09-24 23:57:01 +0000 <monochrom> So, you would put your commit/patch on a floppy diskette.
2021-09-24 23:57:04 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-09-24 23:57:40 +0000 <monochrom> You would bring it to a dedicated desk for loading up your patch and performing the merge and the conflict resolution.
2021-09-24 23:58:06 +0000 <monochrom> So very nicely the dedicated desk served as a very physical, very personal mutex.
2021-09-24 23:58:11 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-09-24 23:58:33 +0000 <monochrom> Clearly it was clumsy. But it was also good enough. No one would have enough incentive to change it.
2021-09-24 23:59:06 +0000 <hpc> in manufacturing they call that a hardware interlock :D
2021-09-24 23:59:15 +0000 <monochrom> He also took the time to explain "floppy diskettes" for the young people who may have no idea what it would mean :)
2021-09-24 23:59:29 +0000 <geekosaur> heh