IRCBrowse

2021/09/24

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