IRCBrowse

2021/09/23

2021-09-23 00:01:17 +0000Guest8432(~chris@81.96.113.213) (Ping timeout: 265 seconds)
2021-09-23 00:02:50 +0000haskl(~haskl@user/haskl) (Ping timeout: 260 seconds)
2021-09-23 00:04:53 +0000pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 264 seconds)
2021-09-23 00:10:29 +0000khanred(~khanred@user/khanred) (Quit: Leaving)
2021-09-23 00:11:13 +0000Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-09-23 00:16:49 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 00:16:55 +0000tommd(~tommd@75-164-130-101.ptld.qwest.net)
2021-09-23 00:18:12 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 00:19:09 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 00:20:36 +0000 <Axman6> janus: I sometimes feel like filter should have the type filter :: (a -> Maybe a) -> [a] -> [a] because it is clear(er) which results are kept and rejected, but that also too general
2021-09-23 00:20:54 +0000 <glguy> :t mapMaybe
2021-09-23 00:20:55 +0000 <lambdabot> (a -> Maybe b) -> [a] -> [b]
2021-09-23 00:21:14 +0000 <Axman6> data KeepDrop = Keep | Drop; filter :: (a -> KeepDrop) -> [a] -> [a]
2021-09-23 00:21:40 +0000 <Axman6> at least that is clear whether you are filtering in or out
2021-09-23 00:22:38 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2021-09-23 00:23:38 +0000 <monochrom> > guard (== 10) [1, 10, 2, 10, 3]
2021-09-23 00:23:40 +0000 <lambdabot> error:
2021-09-23 00:23:40 +0000 <lambdabot> • Couldn't match expected type ‘Bool’ with actual type ‘a0 -> Bool’
2021-09-23 00:23:40 +0000 <lambdabot> • In the first argument of ‘guard’, namely ‘(== 10)’
2021-09-23 00:23:50 +0000 <monochrom> oops nevermind!
2021-09-23 00:24:30 +0000 <monochrom> But I love too general.
2021-09-23 00:24:48 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2021-09-23 00:25:01 +0000 <monochrom> Alternative m => (a -> m b) -> [a] -> [a] :)
2021-09-23 00:25:46 +0000 <monochrom> newtype BoolProxy a = BoolProxy Bool >:)
2021-09-23 00:27:03 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-23 00:27:11 +0000 <monochrom> err Alternative is too general. filter needs a way to ask "is this empty?"
2021-09-23 00:27:54 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 00:28:06 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 00:28:16 +0000 <monochrom> (Monoid b, Eq b) => (a -> b) -> [a] -> [a] has a better chance, filter can ask "f x == mempty"
2021-09-23 00:29:03 +0000 <monochrom> To be sure, equality is too strong, not general enough.
2021-09-23 00:30:11 +0000 <monochrom> Foldable m => (a -> m b) -> [a] -> [a] Last proposal, Foldable supports "null". >:)
2021-09-23 00:31:35 +0000 <monochrom> I think a lower-tech solution is s/filter/select/
2021-09-23 00:32:31 +0000 <monochrom> But I like my well-versedness of Foldable :)
2021-09-23 00:33:05 +0000 <Axman6> yeah, I would definitely like to see the name changed. alternative name to not confuse SQLians could be `keep`
2021-09-23 00:33:41 +0000 <monochrom> I think there is nothing to confuse. In fact it needs the SQL analogy.
2021-09-23 00:34:17 +0000alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 00:34:17 +0000 <monochrom> "select (== 10) xs" and "select * from xs where x=10"
2021-09-23 00:34:57 +0000 <awpr> isn't "select" supposed to refer to the field projection operator?
2021-09-23 00:35:00 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 00:35:34 +0000 <monochrom> hehe OK!
2021-09-23 00:36:45 +0000 <monochrom> Use generalised list comprehensions (TransformListComp), then it is SQL. >:)
2021-09-23 00:37:23 +0000lbseale(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-09-23 00:39:18 +0000 <monochrom> Enjoy this depravity! https://mail.haskell.org/pipermail/haskell-cafe/2018-February/128607.html
2021-09-23 00:41:41 +0000 <monochrom> like SQL but in IO ---> "is this stored procedure?" meme :)
2021-09-23 00:45:41 +0000jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-09-23 00:46:06 +0000meinside(uid24933@id-24933.helmsley.irccloud.com)
2021-09-23 00:46:14 +0000TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 265 seconds)
2021-09-23 00:48:33 +0000TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-09-23 00:49:41 +0000jespada(~jespada@2803:9800:9842:7a62:4d47:2975:7b31:a447) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-09-23 00:50:06 +0000pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-09-23 00:50:22 +0000jespada(~jespada@2803:9800:9842:7a62:4d47:2975:7b31:a447)
2021-09-23 00:51:07 +0000vicfred(~vicfred@user/vicfred)
2021-09-23 00:51:48 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 00:52:31 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-23 00:53:02 +0000pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-09-23 00:53:52 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 00:55:12 +0000jespada(~jespada@2803:9800:9842:7a62:4d47:2975:7b31:a447) (Client Quit)
2021-09-23 00:56:23 +0000TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 265 seconds)
2021-09-23 00:59:35 +0000TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-09-23 01:00:44 +0000tommd(~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-09-23 01:00:44 +0000nfd(~nfd@user/nfd) (Ping timeout: 265 seconds)
2021-09-23 01:05:08 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 01:05:41 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 01:05:41 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 01:06:19 +0000pony(~ed@101.100.135.103)
2021-09-23 01:08:46 +0000dsrt^(~dsrt@12.203.127.82) (Remote host closed the connection)
2021-09-23 01:09:05 +0000xff0x(~xff0x@2001:1a81:53e4:c100:9734:4648:32e:324) (Ping timeout: 264 seconds)
2021-09-23 01:10:24 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-09-23 01:10:51 +0000xff0x(~xff0x@2001:1a81:5223:600:b86a:7176:6676:68da)
2021-09-23 01:25:07 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-09-23 01:26:39 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 01:32:25 +0000OutreEE(~OutreEE@modemcable105.60-176-173.mc.videotron.ca) (Quit: leaving)
2021-09-23 01:34:35 +0000Nahra(~user@static.161.95.99.88.clients.your-server.de)
2021-09-23 01:35:30 +0000justsomeguy(~justsomeg@user/justsomeguy)
2021-09-23 01:37:37 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 01:40:02 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 01:42:41 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 264 seconds)
2021-09-23 01:44:29 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-09-23 01:46:34 +0000yinghua_(~yinghua@2800:2121:1400:1db:8c9e:15bc:1174:e66f) (Quit: Leaving)
2021-09-23 01:47:33 +0000nehsou^(~nehsou@12.203.127.82)
2021-09-23 01:47:41 +0000nfd(~nfd@user/nfd)
2021-09-23 01:51:48 +0000chris(~chris@81.96.113.213)
2021-09-23 01:51:52 +0000chrisGuest4896
2021-09-23 01:54:48 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 02:08:52 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds)
2021-09-23 02:10:02 +0000shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-09-23 02:10:28 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-09-23 02:13:46 +0000td_(~td@94.134.91.222) (Ping timeout: 252 seconds)
2021-09-23 02:13:51 +0000thyriaen_(~thyriaen@dynamic-077-011-207-214.77.11.pool.telefonica.de)
2021-09-23 02:15:46 +0000td_(~td@94.134.91.102)
2021-09-23 02:16:38 +0000thyriaen(~thyriaen@dynamic-078-054-003-131.78.54.pool.telefonica.de) (Ping timeout: 252 seconds)
2021-09-23 02:25:19 +0000nfd(~nfd@user/nfd) (Ping timeout: 265 seconds)
2021-09-23 02:33:51 +0000shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-09-23 02:33:59 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-09-23 02:34:06 +0000shriekingnoise(~shrieking@186.137.144.80)
2021-09-23 02:43:35 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds)
2021-09-23 02:45:43 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-09-23 02:47:52 +0000Everything(~Everythin@37.115.210.35) (Quit: leaving)
2021-09-23 02:49:06 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 02:55:44 +0000alx741(~alx741@186.178.109.225) (Quit: alx741)
2021-09-23 03:02:54 +0000eruditass(uid248673@id-248673.uxbridge.irccloud.com)
2021-09-23 03:06:04 +0000m5zs7k(aquares@web10.mydevil.net) (Quit: m5zs7k)
2021-09-23 03:08:13 +0000n3t(n3t@s45.mydevil.net) (Ping timeout: 252 seconds)
2021-09-23 03:08:53 +0000machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds)
2021-09-23 03:15:31 +0000m5zs7k(aquares@web10.mydevil.net)
2021-09-23 03:18:46 +0000n3t(n3t@s45.mydevil.net)
2021-09-23 03:22:34 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-09-23 03:23:19 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-23 03:25:09 +0000Phantastes(~Phantaste@c-67-173-229-120.hsd1.co.comcast.net)
2021-09-23 03:34:05 +0000justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-09-23 03:34:25 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 03:35:44 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 03:36:22 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2021-09-23 03:40:14 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-23 03:43:32 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-23 03:43:32 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-23 03:43:32 +0000wroathe(~wroathe@user/wroathe)
2021-09-23 03:47:55 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-23 03:50:51 +0000dragestil_(~quassel@user/dragestil) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-09-23 03:52:14 +0000img(~img@user/img)
2021-09-23 03:59:25 +0000monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-09-23 04:00:40 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 04:05:29 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 264 seconds)
2021-09-23 04:06:16 +0000theproffesor(~theproffe@user/theproffesor)
2021-09-23 04:14:39 +0000phma(~phma@host-67-44-209-25.hnremote.net) (Read error: Connection reset by peer)
2021-09-23 04:15:36 +0000phma(~phma@host-67-44-209-25.hnremote.net)
2021-09-23 04:16:09 +0000ubert(~Thunderbi@178.115.76.102.wireless.dyn.drei.com)
2021-09-23 04:16:32 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-23 04:18:25 +0000benin036932301(~benin@183.82.179.112)
2021-09-23 04:33:34 +0000zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-09-23 04:50:34 +0000neo1(~neo3@cpe-292712.ip.primehome.com)
2021-09-23 04:50:46 +0000ubert(~Thunderbi@178.115.76.102.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-23 05:00:11 +0000thyriaen_(~thyriaen@dynamic-077-011-207-214.77.11.pool.telefonica.de) (Remote host closed the connection)
2021-09-23 05:03:17 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:1c28:7782:3d08:8ee5) (Remote host closed the connection)
2021-09-23 05:03:33 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 05:08:53 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-23 05:10:15 +0000img(~img@user/img)
2021-09-23 05:16:09 +0000shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-09-23 05:17:38 +0000slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-09-23 05:19:39 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-23 05:19:48 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 05:20:41 +0000img(~img@user/img)
2021-09-23 05:21:05 +0000fendor(~fendor@91.141.44.67.wireless.dyn.drei.com)
2021-09-23 05:23:09 +0000img(~img@user/img) (Client Quit)
2021-09-23 05:24:31 +0000img(~img@user/img)
2021-09-23 05:26:14 +0000chomwitt(~chomwitt@2a02:587:dc15:500:12c3:7bff:fe6d:d374)
2021-09-23 05:27:47 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2021-09-23 05:39:21 +0000fendor(~fendor@91.141.44.67.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-23 05:43:03 +0000monochrom(trebla@216.138.220.146)
2021-09-23 05:43:39 +0000neurocyte013(~neurocyte@94.46.73.189)
2021-09-23 05:43:39 +0000neurocyte013(~neurocyte@94.46.73.189) (Changing host)
2021-09-23 05:43:39 +0000neurocyte013(~neurocyte@user/neurocyte)
2021-09-23 05:48:59 +0000jakalx(~jakalx@base.jakalx.net)
2021-09-23 05:53:53 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 05:58:49 +0000leeb(~leeb@KD111239156011.au-net.ne.jp)
2021-09-23 06:02:20 +0000neurocyte0136(~neurocyte@94.46.73.189)
2021-09-23 06:02:20 +0000neurocyte0136(~neurocyte@94.46.73.189) (Changing host)
2021-09-23 06:02:20 +0000neurocyte0136(~neurocyte@user/neurocyte)
2021-09-23 06:02:21 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 06:03:18 +0000neurocyte013(~neurocyte@user/neurocyte) (Ping timeout: 265 seconds)
2021-09-23 06:03:19 +0000neurocyte0136neurocyte013
2021-09-23 06:04:18 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 06:05:37 +0000mikoto-chan(~mikoto-ch@84.199.144.235)
2021-09-23 06:05:51 +0000brainfreeze(~brainfree@2a03:1b20:4:f011::20d) (Remote host closed the connection)
2021-09-23 06:07:05 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-23 06:10:05 +0000oxide(~lambda@user/oxide)
2021-09-23 06:10:30 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl)
2021-09-23 06:13:17 +0000mikoto-chan(~mikoto-ch@84.199.144.235) (Ping timeout: 264 seconds)
2021-09-23 06:14:52 +0000vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-09-23 06:15:08 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:9a4c:f98d:fe2a:f3fb)
2021-09-23 06:16:08 +0000xff0x(~xff0x@2001:1a81:5223:600:b86a:7176:6676:68da) (Ping timeout: 246 seconds)
2021-09-23 06:18:25 +0000leeb(~leeb@KD111239156011.au-net.ne.jp) (Quit: WeeChat 3.1)
2021-09-23 06:24:14 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-09-23 06:25:18 +0000michalz(~michalz@185.246.204.33)
2021-09-23 06:26:47 +0000max22-(~maxime@2a01cb088335980058a57494ba8a7fa3.ipv6.abo.wanadoo.fr)
2021-09-23 06:31:04 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-23 06:32:52 +0000ubert(~Thunderbi@178.115.76.102.wireless.dyn.drei.com)
2021-09-23 06:33:21 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-09-23 06:43:57 +0000dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-09-23 06:46:58 +0000 <c_wraith> Oh hey, I finally found the documentation for what happened to typed template haskell in GHC 9: https://github.com/mpickering/ghc-proposals/blob/code-texp/proposals/0000-code-texp.rst
2021-09-23 06:47:29 +0000 <c_wraith> man, that wasn't even listed in the ghc release notes
2021-09-23 06:48:29 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 06:50:24 +0000alzgh(~alzgh@user/alzgh)
2021-09-23 06:56:58 +0000xff0x(~xff0x@2001:1a81:5223:600:73c2:6d1c:8473:e5c)
2021-09-23 06:59:36 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 07:00:13 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 07:00:34 +0000wonko(~wjc@62.115.229.50)
2021-09-23 07:02:42 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 07:08:51 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 07:09:26 +0000fendor(~fendor@91.141.44.67.wireless.dyn.drei.com)
2021-09-23 07:09:53 +0000tomsmeding(~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-23 07:10:44 +0000cfricke(~cfricke@user/cfricke)
2021-09-23 07:13:34 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-09-23 07:13:34 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-09-23 07:14:04 +0000jassob1(~jassob@korrob.vth.sgsnet.se) (Ping timeout: 252 seconds)
2021-09-23 07:14:40 +0000max22-(~maxime@2a01cb088335980058a57494ba8a7fa3.ipv6.abo.wanadoo.fr) (Quit: Leaving)
2021-09-23 07:15:57 +0000tomsmeding(~tomsmedin@tomsmeding.com)
2021-09-23 07:17:50 +0000max22-(~maxime@2a01cb0883359800c2d20f3cebb254b2.ipv6.abo.wanadoo.fr)
2021-09-23 07:22:18 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-09-23 07:26:03 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-09-23 07:31:04 +0000Phantastes(~Phantaste@c-67-173-229-120.hsd1.co.comcast.net) (Quit: Client closed)
2021-09-23 07:32:26 +0000xff0x(~xff0x@2001:1a81:5223:600:73c2:6d1c:8473:e5c) (Ping timeout: 246 seconds)
2021-09-23 07:35:34 +0000max22-(~maxime@2a01cb0883359800c2d20f3cebb254b2.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-09-23 07:36:02 +0000xff0x(~xff0x@2001:1a81:5223:600:4590:f64e:9612:bb35)
2021-09-23 07:36:48 +0000jassob1(~jassob@korrob.vth.sgsnet.se)
2021-09-23 07:39:18 +0000chele(~chele@user/chele)
2021-09-23 07:42:14 +0000oxide(~lambda@user/oxide) (Ping timeout: 252 seconds)
2021-09-23 07:43:18 +0000oxide(~lambda@user/oxide)
2021-09-23 07:43:46 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds)
2021-09-23 07:44:44 +0000max22-(~maxime@2a01cb0883359800314f2df76d295fb2.ipv6.abo.wanadoo.fr)
2021-09-23 07:45:41 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 07:48:53 +0000max22-(~maxime@2a01cb0883359800314f2df76d295fb2.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-09-23 07:59:45 +0000deejaytee(~deejaytee@vpn-fn-228.net.ed.ac.uk)
2021-09-23 08:05:07 +0000acidjnk(~acidjnk@p200300d0c703cb18913af8c2365c753d.dip0.t-ipconnect.de)
2021-09-23 08:05:40 +0000hendursa1(~weechat@user/hendursaga)
2021-09-23 08:08:27 +0000hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-09-23 08:08:56 +0000max22-(~maxime@2a01cb08833598003f8d109b31f91ec0.ipv6.abo.wanadoo.fr)
2021-09-23 08:14:44 +0000max22-(~maxime@2a01cb08833598003f8d109b31f91ec0.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-09-23 08:17:44 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2021-09-23 08:17:44 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-09-23 08:17:47 +0000allbery_bgeekosaur
2021-09-23 08:20:40 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2021-09-23 08:21:55 +0000oxide(~lambda@user/oxide) (Ping timeout: 268 seconds)
2021-09-23 08:29:29 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-09-23 08:34:44 +0000oxide(~lambda@user/oxide)
2021-09-23 08:35:46 +0000madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-09-23 08:39:56 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 08:41:48 +0000hnOsmium0001(uid453710@id-453710.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-23 08:42:09 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Remote host closed the connection)
2021-09-23 08:42:35 +0000jstolarek(~jstolarek@erx128.neoplus.adsl.tpnet.pl)
2021-09-23 08:43:32 +0000pony(~ed@101.100.135.103) (Quit: WeeChat 3.0.1)
2021-09-23 08:49:16 +0000jstolarek(~jstolarek@erx128.neoplus.adsl.tpnet.pl) (Quit: leaving)
2021-09-23 08:53:51 +0000 <lortabac> imagine it was technically possible to have Functor and Traversable instances for Set, would such instances be lawful?
2021-09-23 08:54:46 +0000 <dminuoso> No.
2021-09-23 08:55:14 +0000 <dminuoso> `fmap (const 1)`
2021-09-23 08:55:17 +0000 <dminuoso> What now?
2021-09-23 08:55:20 +0000 <lortabac> technically the laws are not violated, but the documentation says "preserving the structure" and "same shape" in bold
2021-09-23 08:56:11 +0000__monty__(~toonn@user/toonn)
2021-09-23 08:57:09 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 08:57:10 +0000 <dminuoso> Or rather, if we had functor on fmap, we could modify the set structure
2021-09-23 08:57:22 +0000 <dminuoso> functor on set, argh.
2021-09-23 08:59:27 +0000 <lortabac> I agree with you that it's morally wrong, but a colleague of mine made me notice that the laws are not violated
2021-09-23 08:59:56 +0000 <dminuoso> Is associativity preserved?>
2021-09-23 09:00:05 +0000Teohehim[m](~teocmatri@2001:470:69fc:105::d327) (Quit: You have been kicked for being idle)
2021-09-23 09:00:14 +0000 <dminuoso> I'd think not
2021-09-23 09:00:26 +0000Teohehim[m](~teocmatri@2001:470:69fc:105::d327)
2021-09-23 09:02:18 +0000 <dminuoso> But otoh, if we take free theorems, we just need to prove that `fmap id = id`
2021-09-23 09:02:22 +0000 <dminuoso> So I guess you're right.
2021-09-23 09:02:29 +0000 <lortabac> I don't actually know
2021-09-23 09:03:16 +0000 <dminuoso> I mean composition of functions is associative, irrespective of whether they are injective or not.
2021-09-23 09:03:38 +0000benin036932301(~benin@183.82.179.112) (Ping timeout: 252 seconds)
2021-09-23 09:04:15 +0000 <tomsmeding> I don't even see an associativity law in the Functor type class
2021-09-23 09:04:40 +0000 <dminuoso> Oh sorry, I meant composition.
2021-09-23 09:04:47 +0000 <dminuoso> Im going back to work now.
2021-09-23 09:05:14 +0000 <tomsmeding> Things get hairy though when the ordering on your contained types doesn't have structural equality
2021-09-23 09:05:56 +0000 <tomsmeding> like, data Thing a = Thing a Int ; instance Eq a => Eq (Thing a) where Thing x _ == Thing y _ = x == y ; instance Ord a => Ord (Thing a) where compare (Thing x _) (Thing y _) = compare x y
2021-09-23 09:06:38 +0000 <dminuoso> Does it, though?
2021-09-23 09:07:04 +0000 <tomsmeding> let f (Thing x y) = Thing y x
2021-09-23 09:07:07 +0000 <dminuoso> Just to get that part away, there is a library on hackage with constrained typeclasses.
2021-09-23 09:07:16 +0000 <dminuoso> So with that we could make a Functor-like typeclass for Set.
2021-09-23 09:07:22 +0000 <dminuoso> Cant recall its name right now
2021-09-23 09:07:49 +0000 <dminuoso> But we can relatively trivially make it ourselves, you just carry a set of constraints as an associated type in the typeclass.
2021-09-23 09:07:53 +0000 <tomsmeding> fmap f (fmap f (Set.fromList [Thing 1 10, Thing 2 10, Thing 3 10])) = Set.fromList [Thing ? 10] for some non-deterministic value of ?
2021-09-23 09:08:08 +0000 <tomsmeding> but f . f = id, so fmap (f . f) (Set.fromList [things]) = Set.fromList [things]
2021-09-23 09:08:16 +0000tfeb(~tfb@88.98.95.237)
2021-09-23 09:08:23 +0000 <lortabac> thanks tomsmeding
2021-09-23 09:08:46 +0000 <dminuoso> tomsmeding: We only need to prove `fmap id = id`
2021-09-23 09:08:49 +0000 <tomsmeding> this example presented by Thing 10 1 == Thing 10 2
2021-09-23 09:08:51 +0000 <dminuoso> Free theorems.
2021-09-23 09:09:00 +0000 <dminuoso> Though, do they even apply here?
2021-09-23 09:09:02 +0000 <tomsmeding> well fmap id = id here!
2021-09-23 09:09:06 +0000 <dminuoso> I think they do.
2021-09-23 09:09:08 +0000 <dminuoso> Yes.
2021-09-23 09:09:15 +0000 <tomsmeding> but the composition law doesn't hold :p
2021-09-23 09:09:52 +0000 <tomsmeding> but really, the type of some 'ordfmap' would be (Ord a, Ord b) => (a -> b) -> f a -> f b
2021-09-23 09:10:03 +0000 <dminuoso> tomsmeding: mmm, arguably thye are still the same.
2021-09-23 09:10:13 +0000 <tomsmeding> meaning that it has two additional pieces of data, the Ord dictionaries; so I think the free theorem would get a lot more complicated
2021-09-23 09:10:26 +0000tomsmedingdoesn't know enough about free theorems to be able to say what they would become here
2021-09-23 09:10:33 +0000 <dminuoso> So lets make it concrete
2021-09-23 09:10:35 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 09:14:59 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 246 seconds)
2021-09-23 09:17:33 +0000 <tomsmeding> dminuoso: https://paste.tomsmeding.com/dIxK0hCQ
2021-09-23 09:21:02 +0000neo1(~neo3@cpe-292712.ip.primehome.com) (Remote host closed the connection)
2021-09-23 09:21:12 +0000 <dminuoso> Ah.
2021-09-23 09:25:52 +0000 <sshine> when 'data Foo f = Foo { fooBar :: f Bar }' cannot derive Eq, Ord, Show, is that because of an impossibility? I imagine that the instance would have to look like 'Show (f Bar) => Show (Foo f)'...
2021-09-23 09:26:04 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds)
2021-09-23 09:26:10 +0000 <tomsmeding> also not when you set FlexibleContexts?
2021-09-23 09:26:46 +0000 <tomsmeding> in any case, with FlexibleContexts, you can use StandaloneDeriving to write it yourself: deriving instance Show (f Bar) => Show (Foo f)
2021-09-23 09:26:48 +0000 <merijn> sshine: You can standalone derive it
2021-09-23 09:26:57 +0000 <merijn> ah, too late
2021-09-23 09:26:59 +0000tomsmedingwas first
2021-09-23 09:27:17 +0000 <merijn> (Show1 f) might also work :p
2021-09-23 09:28:12 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 09:29:05 +0000 <sshine> thanks :)
2021-09-23 09:31:58 +0000 <sshine> then if I've got a whole bunch of fields prefixed with f, then that seems a little inconvenient. I guess I could derive my instances for particular f rather than all f.
2021-09-23 09:33:17 +0000 <sshine> there's a bunch for which it doesn't make any sense anyways.
2021-09-23 09:36:04 +0000tfeb(~tfb@88.98.95.237) (Quit: died)
2021-09-23 09:42:40 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 09:43:42 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 09:45:44 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2021-09-23 09:46:24 +0000 <kuribas> lens > gcc: runInteractiveProcess: posix_spawnp: resource exhausted (Cannot allocate memory)
2021-09-23 09:46:31 +0000 <kuribas> Why would lens require > 3 GB?
2021-09-23 09:46:38 +0000 <kuribas> also, why does lens call gcc?
2021-09-23 09:46:48 +0000 <kuribas> or is this during linking?
2021-09-23 09:47:29 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Ping timeout: 264 seconds)
2021-09-23 09:47:59 +0000pera(~pera@user/pera)
2021-09-23 09:49:17 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 09:50:46 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 09:52:48 +0000 <[exa]> kuribas: likely
2021-09-23 09:53:36 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 09:56:14 +0000marmayr(~marmayr@193-154-203-202.adsl.highway.telekom.at)
2021-09-23 09:58:26 +0000wonko(~wjc@62.115.229.50) (Changing host)
2021-09-23 09:58:26 +0000wonko(~wjc@user/wonko)
2021-09-23 09:58:41 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-23 10:02:07 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Ping timeout: 256 seconds)
2021-09-23 10:04:04 +0000euandreh_(~euandreh@2804:14c:33:9fe5:62bf:2631:9503:606c)
2021-09-23 10:04:44 +0000gehmehgeh(~user@user/gehmehgeh)
2021-09-23 10:05:16 +0000mc47(~mc47@xmonad/TheMC47)
2021-09-23 10:07:09 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-09-23 10:09:38 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-09-23 10:12:07 +0000phma(~phma@host-67-44-209-25.hnremote.net) (Read error: Connection reset by peer)
2021-09-23 10:12:47 +0000phma(~phma@host-67-44-209-62.hnremote.net)
2021-09-23 10:14:58 +0000Nova_(~textual@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 10:17:43 +0000Nova_(~textual@2405:4802:15e:7450:c0c8:2b0d:7922:9178) ()
2021-09-23 10:18:45 +0000Nova_(~textual@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 10:21:56 +0000Nova_(~textual@2405:4802:15e:7450:c0c8:2b0d:7922:9178) (Textual IRC Client: www.textualapp.com)
2021-09-23 10:26:18 +0000cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2021-09-23 10:26:20 +0000cheater1__(~Username@user/cheater)
2021-09-23 10:26:23 +0000cheater1__cheater
2021-09-23 10:30:54 +0000 <tomsmeding> kuribas: compiling aeson takes >2GB, if I recall correctly the same holds for vector, perhaps to a slightly lesser degree
2021-09-23 10:30:59 +0000 <tomsmeding> /me is not surprised
2021-09-23 10:31:38 +0000dumbsharka(~amirvince@user/amirvincent64) (Ping timeout: 252 seconds)
2021-09-23 10:31:48 +0000 <kuribas> tomsmeding: I have 3 GB, (no swap).
2021-09-23 10:31:59 +0000 <kuribas> we added 2 GB and 4 GB swap, now it compiles :)
2021-09-23 10:32:16 +0000 <tomsmeding> haskell (tm)
2021-09-23 10:32:19 +0000ulvarrefr(~user@185.24.53.152) (Remote host closed the connection)
2021-09-23 10:32:30 +0000dumbsharka(~amirvince@user/amirvincent64)
2021-09-23 10:33:18 +0000notzmv(~zmv@user/notzmv)
2021-09-23 10:33:57 +0000 <maerwald> `module <...> cannot be linked; it is only available as a boot module`
2021-09-23 10:34:00 +0000 <maerwald> uh
2021-09-23 10:34:07 +0000Nova____________(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 10:34:21 +0000Nova____________(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178) ()
2021-09-23 10:34:48 +0000 <maerwald> this is a lie
2021-09-23 10:37:00 +0000 <maerwald> I think TH breaks this
2021-09-23 10:37:07 +0000 <tomsmeding> that's what you think
2021-09-23 10:37:58 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 10:38:14 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds)
2021-09-23 10:39:26 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-09-23 10:40:48 +0000pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net)
2021-09-23 10:40:54 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 10:42:29 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2021-09-23 10:45:34 +0000frisbro_(uid518331@id-518331.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-23 10:45:34 +0000frisbro(uid518331@id-518331.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-23 10:45:59 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-09-23 10:46:23 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 10:47:04 +0000ishutin(~ishutin@80-95-82-223.pool.digikabel.hu) (Ping timeout: 252 seconds)
2021-09-23 10:48:50 +0000ishutin(~ishutin@62-165-196-48.pool.digikabel.hu)
2021-09-23 10:51:51 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-23 10:52:10 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 10:52:18 +0000\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 10:57:22 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 10:57:58 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 11:00:44 +0000alx741(~alx741@186.178.109.225)
2021-09-23 11:02:59 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 11:03:40 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 11:04:53 +0000pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 246 seconds)
2021-09-23 11:08:38 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 11:11:00 +0000AlexNoo_(~AlexNoo@94.233.241.29)
2021-09-23 11:12:41 +0000AlexZenon(~alzenon@94.233.241.181) (Ping timeout: 264 seconds)
2021-09-23 11:13:52 +0000Alex_test(~al_test@94.233.241.181) (Ping timeout: 252 seconds)
2021-09-23 11:14:22 +0000AlexNoo(~AlexNoo@94.233.241.181) (Ping timeout: 260 seconds)
2021-09-23 11:17:05 +0000AlexZenon(~alzenon@94.233.241.29)
2021-09-23 11:17:54 +0000Alex_test(~al_test@94.233.241.29)
2021-09-23 11:19:47 +0000Teohehim[m](~teocmatri@2001:470:69fc:105::d327) (Quit: You have been kicked for being idle)
2021-09-23 11:21:20 +0000\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-09-23 11:21:41 +0000\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 11:21:41 +0000\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178) (Client Quit)
2021-09-23 11:23:26 +0000\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 11:23:27 +0000\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178) (Client Quit)
2021-09-23 11:32:13 +0000alzgh(~alzgh@user/alzgh) (Ping timeout: 256 seconds)
2021-09-23 11:35:27 +0000 <TDANG_> I want to learn Plutus. Where to get started?
2021-09-23 11:37:39 +0000 <maerwald> TDANG_: https://plutus-pioneer-program.readthedocs.io/en/latest/index.html
2021-09-23 11:38:02 +0000 <maerwald> if you've never done haskell, that won't be an easy experience
2021-09-23 11:38:27 +0000 <maerwald> even for haskellers I'd say plutus is pretty advanced Haskell and has complicated API
2021-09-23 11:38:33 +0000 <TDANG_> I learned basic Haskell already
2021-09-23 11:38:47 +0000 <maerwald> maybe wait for Marlowe
2021-09-23 11:38:53 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.2.1)
2021-09-23 11:38:57 +0000 <maerwald> Plutus isn't basic haskell, unfortunately
2021-09-23 11:39:08 +0000 <TDANG_> Oh, I see
2021-09-23 11:40:00 +0000 <TDANG_> So I need to learn advance Haskell first
2021-09-23 11:40:01 +0000 <TDANG_> Thanks
2021-09-23 11:41:26 +0000 <sshine> TDANG_, I think you start here: https://docs.cardano.org/plutus/learn-about-plutus
2021-09-23 11:41:58 +0000 <TDANG_> ya, thanks
2021-09-23 11:42:28 +0000 <TDANG_> any source from Youtube?
2021-09-23 11:43:22 +0000 <sshine> TDANG_, I don't know. I wish I knew of some way to discover what youtube videos existed given some set of keywords. :-D
2021-09-23 11:43:55 +0000 <TDANG_> ;-) thanks anyway
2021-09-23 11:44:45 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 11:49:44 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Ping timeout: 268 seconds)
2021-09-23 11:52:02 +0000 <sshine> TDANG_, it seems that the main challenge in learning Plutus is understanding the domain model of the Cardano blockchain. even the simplest examples of a Plutus contract uses a bunch of terminology and what appears to be stubs.
2021-09-23 11:52:12 +0000 <sshine> TDANG_, https://www.youtube.com/watch?v=IEn6jUo-0vU -- I think this is a good start on youtube.
2021-09-23 11:52:34 +0000AlexNoo_AlexNoo
2021-09-23 11:53:07 +0000neo1(~neo3@cpe-292712.ip.primehome.com)
2021-09-23 11:53:37 +0000 <TDANG_> Ya, I watched that video series and it seems to be too complicated too
2021-09-23 11:53:53 +0000 <maerwald> sshine: I think the only time when you actually submit a contract is when you *redeem*. The "control flow" isn't well documented imo.
2021-09-23 11:54:16 +0000 <TDANG_> Ya
2021-09-23 11:54:38 +0000 <maerwald> before that it's just addresses and hashes
2021-09-23 11:54:48 +0000 <maerwald> a huge pile of those
2021-09-23 11:55:01 +0000 <TDANG_> Phew
2021-09-23 11:55:17 +0000 <maerwald> TDANG_: but you can try the plutus playground
2021-09-23 11:55:28 +0000 <maerwald> https://playground.plutus.iohkdev.io/
2021-09-23 12:00:16 +0000frisbro_(uid518331@id-518331.helmsley.irccloud.com)
2021-09-23 12:02:21 +0000bontaq(~user@ool-45779fe5.dyn.optonline.net)
2021-09-23 12:02:50 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 12:07:03 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-09-23 12:07:36 +0000 <sshine> maerwald, good to know. I don't know much about how Cardano's runtime works.
2021-09-23 12:09:02 +0000machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-09-23 12:09:55 +0000jespada(~jespada@2803:9800:9842:7a62:4d47:2975:7b31:a447)
2021-09-23 12:11:08 +0000tommd(~tommd@75-164-130-101.ptld.qwest.net)
2021-09-23 12:11:32 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-09-23 12:25:22 +0000deejaytee(~deejaytee@vpn-fn-228.net.ed.ac.uk) (Ping timeout: 252 seconds)
2021-09-23 12:26:30 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-09-23 12:26:50 +0000yinghua(~yinghua@2800:2121:1400:1db:e974:19dd:c7f3:8cf6)
2021-09-23 12:28:34 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 12:29:09 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 12:31:58 +0000lbseale(~lbseale@user/ep1ctetus)
2021-09-23 12:32:18 +0000tinwood(~tinwood@canonical/tinwood) (Remote host closed the connection)
2021-09-23 12:33:42 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-09-23 12:35:16 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds)
2021-09-23 12:35:24 +0000tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io)
2021-09-23 12:35:24 +0000tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host)
2021-09-23 12:35:24 +0000tinwood(~tinwood@canonical/tinwood)
2021-09-23 12:36:32 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) (Quit: Client closed)
2021-09-23 12:41:39 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl)
2021-09-23 12:42:17 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) (Client Quit)
2021-09-23 12:43:23 +0000shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-09-23 12:47:37 +0000fendor_(~fendor@178.165.167.3.wireless.dyn.drei.com)
2021-09-23 12:50:14 +0000fendor(~fendor@91.141.44.67.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-09-23 12:51:06 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 12:54:19 +0000Guest4896(~chris@81.96.113.213) (Remote host closed the connection)
2021-09-23 12:56:09 +0000biberu\(~biberu@user/biberu)
2021-09-23 12:57:41 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-09-23 12:59:37 +0000biberu(~biberu@user/biberu) (Ping timeout: 252 seconds)
2021-09-23 12:59:37 +0000biberu\biberu
2021-09-23 13:02:10 +0000slowButPresent(~slowButPr@user/slowbutpresent)
2021-09-23 13:03:42 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 13:05:59 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 13:06:51 +0000deejaytee(~deejaytee@pat-125-254.wlan.net.ed.ac.uk)
2021-09-23 13:07:40 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 265 seconds)
2021-09-23 13:07:59 +0000MQ-17J(~MQ-17J@8.21.10.6)
2021-09-23 13:09:24 +0000doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-09-23 13:10:34 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-09-23 13:14:03 +0000wagle(~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-09-23 13:14:36 +0000wagle(~wagle@quassel.wagle.io)
2021-09-23 13:15:47 +0000cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2021-09-23 13:16:11 +0000cheater(~Username@user/cheater)
2021-09-23 13:19:24 +0000wagle(~wagle@quassel.wagle.io) (Client Quit)
2021-09-23 13:19:55 +0000wagle(~wagle@quassel.wagle.io)
2021-09-23 13:23:06 +0000cfricke(~cfricke@user/cfricke)
2021-09-23 13:23:35 +0000deejaytee(~deejaytee@pat-125-254.wlan.net.ed.ac.uk) (Quit: Leaving)
2021-09-23 13:24:18 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-23 13:24:43 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-23 13:26:38 +0000Guest372(~xxx@47.245.54.240)
2021-09-23 13:27:46 +0000 <dminuoso> Does someone know where in Haskell I can find IMF time/date serialization routines? Im already using servant/warp, so if there's something in my transitive dependency tree that'd be ideal
2021-09-23 13:28:21 +0000 <dminuoso> If it helps, that's the same format as HTTP Expires or Last-Modified headers use.
2021-09-23 13:29:43 +0000 <dminuoso> My concrete problem is, I want to encode a timestamp in an Expires header in a servant response.
2021-09-23 13:33:26 +0000pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net)
2021-09-23 13:38:29 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds)
2021-09-23 13:40:09 +0000hexfive(~eric@50.35.83.177)
2021-09-23 13:40:27 +0000hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-09-23 13:40:56 +0000hendursaga(~weechat@user/hendursaga)
2021-09-23 13:41:50 +0000Wolfe(~Wolfe@bras-base-mltnon2530w-grc-42-184-145-76-196.dsl.bell.ca)
2021-09-23 13:43:14 +0000zebrag(~chris@user/zebrag)
2021-09-23 13:43:36 +0000hexfive(~eric@50.35.83.177) (Client Quit)
2021-09-23 13:45:01 +0000nschoe(~quassel@178.251.84.79)
2021-09-23 13:46:10 +0000fendor_(~fendor@178.165.167.3.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-23 13:49:33 +0000byorgey(~byorgey@155.138.238.211)
2021-09-23 13:50:33 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-23 13:50:33 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-23 13:50:33 +0000wroathe(~wroathe@user/wroathe)
2021-09-23 13:50:38 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 13:55:31 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-23 14:01:08 +0000shriekingnoise(~shrieking@186.137.144.80)
2021-09-23 14:03:46 +0000MQ-17J(~MQ-17J@8.21.10.6) (Ping timeout: 260 seconds)
2021-09-23 14:04:22 +0000neo1(~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 252 seconds)
2021-09-23 14:05:16 +0000Wolfe(~Wolfe@bras-base-mltnon2530w-grc-42-184-145-76-196.dsl.bell.ca) (Quit: Client closed)
2021-09-23 14:06:53 +0000alx741(~alx741@186.178.109.225) (Ping timeout: 246 seconds)
2021-09-23 14:08:35 +0000kimjetwav(~user@2607:fea8:235f:9730:158b:8b68:ef55:bdbf) (Quit: logout)
2021-09-23 14:10:36 +0000Everything(~Everythin@37.115.210.35)
2021-09-23 14:15:51 +0000hnOsmium0001(uid453710@id-453710.hampstead.irccloud.com)
2021-09-23 14:18:19 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Quit: Client closed)
2021-09-23 14:19:58 +0000alx741(~alx741@181.196.69.154)
2021-09-23 14:21:10 +0000mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Remote host closed the connection)
2021-09-23 14:22:36 +0000superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4)
2021-09-23 14:23:06 +0000 <superstar64> Is `(forall m. Monad m => m a)` isomorphic to `a`?
2021-09-23 14:23:11 +0000dextaa(~DV@user/dextaa) (Ping timeout: 252 seconds)
2021-09-23 14:23:29 +0000 <dminuoso> No.
2021-09-23 14:23:38 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-09-23 14:24:05 +0000acidjnk(~acidjnk@p200300d0c703cb18913af8c2365c753d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-09-23 14:24:33 +0000 <superstar64> what stops it from being isomorphic? Can't you instantiate `m` to Identity and convert Identity to any monad using pure?
2021-09-23 14:24:48 +0000 <dminuoso> Mmm
2021-09-23 14:25:07 +0000 <dminuoso> superstar64: impredicativity stops it.
2021-09-23 14:25:17 +0000 <dminuoso> To instantiate `a` at a type involving a forall requires impredicative types
2021-09-23 14:25:27 +0000Sgeo(~Sgeo@user/sgeo)
2021-09-23 14:25:44 +0000 <dminuoso> Or maybe I misunderstand
2021-09-23 14:26:02 +0000 <earthy> dminuoso: does hodatime not help?
2021-09-23 14:26:33 +0000 <dminuoso> let's have a look
2021-09-23 14:28:03 +0000 <superstar64> and if it is isomorphic, then this should be a valid definition for bind right? `(>>=) :: Monad m => m a -> ((forall m'. Monad m' => m' a) -> m b) -> m b`
2021-09-23 14:28:46 +0000 <dminuoso> % to :: Monad m => (forall a m. Monad m => m a) -> (forall b. b); to x = runIdentity x
2021-09-23 14:28:46 +0000 <yahb> dminuoso:
2021-09-23 14:29:06 +0000 <dminuoso> But going back - not sure how to do that without impredicativity
2021-09-23 14:30:02 +0000 <dminuoso> % from :: (forall b. b) -> (forall a m. Monad m => m a); from x = x
2021-09-23 14:30:02 +0000 <yahb> dminuoso:
2021-09-23 14:30:04 +0000 <dminuoso> Oh uh.
2021-09-23 14:30:17 +0000 <dminuoso> I did not expect that
2021-09-23 14:30:29 +0000 <earthy> but really, you probably want to just look at Data.Time.Format.ISO8601 from the time package.
2021-09-23 14:30:49 +0000 <dminuoso> ericson2314: ISO8601 is not IMF time.
2021-09-23 14:30:58 +0000 <dminuoso> So its not valid
2021-09-23 14:31:25 +0000 <dminuoso> Can someone explain to me why `from` type checks and doesnt fail with an impredicativity error?
2021-09-23 14:31:32 +0000 <ericson2314> bad tab complete? :)
2021-09-23 14:31:48 +0000 <dminuoso> ericson2314: Seems like it. I swear weechat has some strange bugs with tab completion.
2021-09-23 14:32:05 +0000 <superstar64> dminuoso, i think those definitions are wrong. the types are you want are: `from :: (forall m. Monad m => m a) -> a` and `to :: a -> forall m. Monad m => m a`
2021-09-23 14:32:21 +0000 <superstar64> `to` here is just pure
2021-09-23 14:33:11 +0000dextaa(~DV@user/dextaa)
2021-09-23 14:33:15 +0000 <dminuoso> Mmm yeah
2021-09-23 14:33:15 +0000 <superstar64> and i think eta expanded runIdentity works for `from` here.
2021-09-23 14:33:17 +0000 <ericson2314> no worries :)
2021-09-23 14:33:19 +0000 <dminuoso> % from :: (forall m. Monad m => m a) -> a; from x = runIdentity x
2021-09-23 14:33:19 +0000 <yahb> dminuoso:
2021-09-23 14:33:41 +0000 <dminuoso> % to :: Monad m => a -> m a; to = pure
2021-09-23 14:33:41 +0000 <yahb> dminuoso:
2021-09-23 14:33:57 +0000 <dminuoso> superstar64: guess that's an isomorphism then.
2021-09-23 14:34:11 +0000xff0x(~xff0x@2001:1a81:5223:600:4590:f64e:9612:bb35) (Ping timeout: 246 seconds)
2021-09-23 14:34:56 +0000k``(~user@152.1.137.158)
2021-09-23 14:35:02 +0000 <superstar64> The reason I'm asking is because I'm making my own language and I'm considering putting everything inside a monad.
2021-09-23 14:35:21 +0000xff0x(~xff0x@2001:1a81:5223:600:555a:39d8:cddd:a28c)
2021-09-23 14:35:42 +0000 <superstar64> and I can use that definition of (>>=) I posted earlier to even have variables be inside monads
2021-09-23 14:37:31 +0000 <earthy> ah. Data.Time.Format.HTTP from the time-http package, or explicitly use a format string with Data.Time.Format.formatTime
2021-09-23 14:38:42 +0000 <superstar64> I'll require let generalization for every variable binding but I think I get imperative looking code where the type check can tell if it's pure or not.
2021-09-23 14:39:20 +0000 <superstar64> I should probably look into effect systems to so if something like this exists yet or not.
2021-09-23 14:39:42 +0000Lycurgus(~juan@98.4.112.204)
2021-09-23 14:40:26 +0000amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-09-23 14:40:33 +0000 <k``> When you `SPECIALIZE` a class method, does it only specialise the definition given in the class's definition, or will it also specialise instance-specific definitions?
2021-09-23 14:44:01 +0000 <k``> For a more concrete example, say `Foldable` specialized `foldMap` . Would that only apply to the 'default' `foldMap` defined with `foldr`, or any `foldMap` that an instance defines?
2021-09-23 14:46:54 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 14:50:25 +0000theproffesor(~theproffe@user/theproffesor) (Leaving)
2021-09-23 14:51:22 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Ping timeout: 260 seconds)
2021-09-23 14:52:13 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 14:52:53 +0000alzgh(~alzgh@user/alzgh)
2021-09-23 14:54:46 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2021-09-23 14:55:59 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 14:58:22 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-09-23 14:58:36 +0000 <sshine> I'm using 'req' to create an authenticated HTTP request. but running my request, I don't get any output. I suspect an error isn't propagated. I tried changing the retry policy so I'm not waiting a long time, but I'm still not getting anything.
2021-09-23 15:00:13 +0000 <sshine> I also tried to change 'jsonResponse' into 'bsResponse' just to see if it's taking a long time to decode, but still no response.
2021-09-23 15:00:28 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-23 15:01:38 +0000 <sshine> https://gist.github.com/sshine/fd27702785b50f401e088134dc77ca61
2021-09-23 15:01:58 +0000neo1(~neo3@cpe-292712.ip.primehome.com)
2021-09-23 15:02:00 +0000 <sshine> can anyone suggest a way for me to get debugging output?
2021-09-23 15:03:11 +0000wonko(~wjc@user/wonko) (Ping timeout: 265 seconds)
2021-09-23 15:03:40 +0000jlamothe(~jlamothe@104.158.48.100) (Quit: leaving)
2021-09-23 15:11:28 +0000pera(~pera@user/pera) (Ping timeout: 252 seconds)
2021-09-23 15:12:42 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 15:13:13 +0000pera(~pera@137.221.132.228)
2021-09-23 15:13:37 +0000peraGuest402
2021-09-23 15:13:54 +0000 <sshine> pointing it to a netcat, it seems like it doesn't send anything.
2021-09-23 15:16:28 +0000epolanski(uid312403@id-312403.helmsley.irccloud.com)
2021-09-23 15:17:12 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-09-23 15:19:22 +0000neo2(~neo3@cpe-292712.ip.primehome.com)
2021-09-23 15:20:28 +0000wonko(~wjc@62.115.229.50)
2021-09-23 15:21:31 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:9a4c:f98d:fe2a:f3fb) (Quit: WeeChat 2.8)
2021-09-23 15:21:52 +0000neo2(~neo3@cpe-292712.ip.primehome.com) (Read error: Connection reset by peer)
2021-09-23 15:23:01 +0000neo1(~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 252 seconds)
2021-09-23 15:24:30 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 15:24:46 +0000 <carbolymer> any ideas how can I write a such function: MonadBaseControl b m => (a -> c) -> b (StM m a) -> b (StM m c)
2021-09-23 15:25:05 +0000 <carbolymer> I can't wrap my head around MonadBaseControl and what can I assume about `StM m`
2021-09-23 15:26:11 +0000 <c_wraith> Do you mean STM?
2021-09-23 15:26:18 +0000 <carbolymer> no
2021-09-23 15:26:27 +0000 <carbolymer> c_wraith: https://hackage.haskell.org/package/monad-control-1.0.3.1/docs/Control-Monad-Trans-Control.html#t:…
2021-09-23 15:26:28 +0000 <monochrom> Is b a Functor? Is StM m a Functor? This type looks like fmap . fmap
2021-09-23 15:27:14 +0000 <carbolymer> monochrom: b is a Monad and Applicative, StM can be basically anything
2021-09-23 15:27:15 +0000 <monochrom> I.e., fmap (fmap (f :: a->c)) :: b (StM m a) -> b (StM m c)
2021-09-23 15:27:17 +0000 <carbolymer> probably usually a functor
2021-09-23 15:27:44 +0000 <carbolymer> hmm
2021-09-23 15:28:09 +0000 <carbolymer> I could add additional constraint that would make it work for `Functor (StM m)`
2021-09-23 15:28:14 +0000 <c_wraith> StM is a type family. that makes things complicated.
2021-09-23 15:28:35 +0000 <carbolymer> s/complicated/interesting
2021-09-23 15:29:04 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 15:30:41 +0000jlamothe(~jlamothe@104.158.48.100)
2021-09-23 15:32:18 +0000bjs(sid190364@user/bjs) ()
2021-09-23 15:32:25 +0000Chai-T-Rex(~ChaiTRex@user/chaitrex) (Quit: Chai-T-Rex)
2021-09-23 15:32:32 +0000bjs(sid190364@user/bjs)
2021-09-23 15:33:01 +0000bjs(sid190364@user/bjs) (Client Quit)
2021-09-23 15:33:12 +0000bjs(sid190364@user/bjs)
2021-09-23 15:33:21 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2021-09-23 15:34:11 +0000mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-23 15:34:46 +0000xff0x(~xff0x@2001:1a81:5223:600:555a:39d8:cddd:a28c) (Ping timeout: 260 seconds)
2021-09-23 15:35:15 +0000 <k``> I can never remember this: In error messages, which is the 'Expected type' and which is the 'Actual type'? (I.e. which one is from the signature and which is from the value?)
2021-09-23 15:35:35 +0000xff0x(~xff0x@2001:1a81:5223:600:7b8b:d6b9:4e09:bc2d)
2021-09-23 15:36:18 +0000 <monochrom> I usually don't care. But it seems expected is from the outside, actual is from the inside.
2021-09-23 15:37:01 +0000 <monochrom> > 'x' :: Bool
2021-09-23 15:37:02 +0000 <lambdabot> error:
2021-09-23 15:37:03 +0000 <lambdabot> • Couldn't match expected type ‘Bool’ with actual type ‘Char’
2021-09-23 15:37:03 +0000 <lambdabot> • In the expression: 'x' :: Bool
2021-09-23 15:37:12 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 15:37:13 +0000 <monochrom> perhaps that helps
2021-09-23 15:37:17 +0000 <k``> OK, so if I `foldr f` where `f :: b -> a -> b`, the expected type is `a -> b -> b` and the actual type is `b -> a -> b`?
2021-09-23 15:37:44 +0000 <k``> > foldr (flip (:))
2021-09-23 15:37:46 +0000 <lambdabot> error:
2021-09-23 15:37:46 +0000 <lambdabot> • Occurs check: cannot construct the infinite type: a ~ [a]
2021-09-23 15:37:46 +0000 <lambdabot> Expected type: [a] -> [a] -> [a]
2021-09-23 15:37:57 +0000max22-(~maxime@2a01cb0883359800cdfb9fe06cd30ce5.ipv6.abo.wanadoo.fr)
2021-09-23 15:38:31 +0000 <monochrom> > (undefined :: Char) :: Bool
2021-09-23 15:38:33 +0000 <lambdabot> error:
2021-09-23 15:38:33 +0000 <lambdabot> • Couldn't match expected type ‘Bool’ with actual type ‘Char’
2021-09-23 15:38:33 +0000 <lambdabot> • In the expression: (undefined :: Char) :: Bool
2021-09-23 15:38:47 +0000 <k``> Thanks, monochrom!
2021-09-23 15:38:55 +0000 <monochrom> > (True :: Char) :: Bool
2021-09-23 15:38:56 +0000 <lambdabot> error:
2021-09-23 15:38:56 +0000 <lambdabot> • Couldn't match expected type ‘Char’ with actual type ‘Bool’
2021-09-23 15:38:56 +0000 <lambdabot> • In the expression: (True :: Char) :: Boolerror:
2021-09-23 15:41:51 +0000cfricke(~cfricke@user/cfricke) (Ping timeout: 265 seconds)
2021-09-23 15:47:22 +0000nschoe(~quassel@178.251.84.79) (Ping timeout: 260 seconds)
2021-09-23 15:52:28 +0000ph88(~ph88@2a02:8109:9e00:7e5c:f1e5:9d26:3b71:29c5)
2021-09-23 15:56:32 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-09-23 16:00:49 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-09-23 16:01:34 +0000Guest402(~pera@137.221.132.228) (Ping timeout: 252 seconds)
2021-09-23 16:02:07 +0000hiepph[m](~hiepphmat@2001:470:69fc:105::e3a8) (Write error: Connection reset by peer)
2021-09-23 16:02:08 +0000fcortesi(~fcortesi@2001:470:69fc:105::f3a9) (Read error: Connection reset by peer)
2021-09-23 16:02:08 +0000MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Read error: Connection reset by peer)
2021-09-23 16:02:08 +0000the-coot[m](~the-cootm@2001:470:69fc:105::95f) (Read error: Connection reset by peer)
2021-09-23 16:02:09 +0000aidy(~aidy@2001:470:69fc:105::c7b4) (Read error: Connection reset by peer)
2021-09-23 16:02:09 +0000srid[m](~sridmatri@2001:470:69fc:105::1c2) (Write error: Connection reset by peer)
2021-09-23 16:02:09 +0000jophish(~jophish@2001:470:69fc:105::670) (Write error: Connection reset by peer)
2021-09-23 16:02:09 +0000Deide(~deide@user/deide) (Write error: Connection reset by peer)
2021-09-23 16:02:09 +0000jneira[m](~jneiramat@2001:470:69fc:105::d729) (Write error: Connection reset by peer)
2021-09-23 16:02:09 +0000reza[m](~rezaphone@2001:470:69fc:105::3eda) (Read error: Connection reset by peer)
2021-09-23 16:02:09 +0000yin[m](~zwromatri@2001:470:69fc:105::1d4) (Read error: Connection reset by peer)
2021-09-23 16:02:09 +0000hsek[m](~hsekmatri@2001:470:69fc:105::d18f) (Write error: Connection reset by peer)
2021-09-23 16:02:09 +0000sky_lounge[m](~skylounge@2001:470:69fc:105::efa6) (Write error: Connection reset by peer)
2021-09-23 16:02:09 +0000alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Write error: Connection reset by peer)
2021-09-23 16:02:09 +0000schuelermine[m](~schuelerm@user/schuelermine) (Write error: Connection reset by peer)
2021-09-23 16:02:09 +0000fgaz(~fgaz@2001:470:69fc:105::842) (Write error: Connection reset by peer)
2021-09-23 16:02:09 +0000jesser[m](~jessermat@2001:470:69fc:105::d5ae) (Read error: Connection reset by peer)
2021-09-23 16:02:09 +0000kar1(~kar1@2001:470:69fc:105::c308) (Read error: Connection reset by peer)
2021-09-23 16:02:09 +0000asdofindia-m(~akshaymat@2001:470:69fc:105::831) (Write error: Connection reset by peer)
2021-09-23 16:02:09 +0000soft(~soft-matr@2001:470:69fc:105::c75) (Write error: Connection reset by peer)
2021-09-23 16:02:09 +0000bb010g(~bb010g@2001:470:69fc:105::9a5) (Read error: Connection reset by peer)
2021-09-23 16:02:09 +0000afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b) (Read error: Connection reset by peer)
2021-09-23 16:02:09 +0000SawyerBergeron[m(~sawyerber@2001:470:69fc:105::3036) (Read error: Connection reset by peer)
2021-09-23 16:02:10 +0000maralorn(~maralorn@2001:470:69fc:105::251) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000Arathorn(~arathorn@2001:470:69fc:105::1f) (Read error: Connection reset by peer)
2021-09-23 16:02:10 +0000jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Read error: Connection reset by peer)
2021-09-23 16:02:10 +0000moats(~oats@user/oats) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000lwe[m](~dendrumat@2001:470:69fc:105::2f9b) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000SimonWeiss[m](~weiss-dma@2001:470:69fc:105::bebd) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000bitonic(~bitonic@2001:470:69fc:105::1812) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000masaeedu[m](~masaeedum@2001:470:69fc:105::e256) (Read error: Connection reset by peer)
2021-09-23 16:02:10 +0000quantum(~quantum@user/quantum/x-8556232) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000stoicswe[m](~deadlette@2001:470:69fc:105::d277) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000carmysilna(~brightly-@2001:470:69fc:105::2190) (Read error: Connection reset by peer)
2021-09-23 16:02:10 +0000Topik[m](~topikmatr@2001:470:69fc:105::a082) (Read error: Connection reset by peer)
2021-09-23 16:02:10 +0000erinvanderveen[m(~erinvande@2001:470:69fc:105::e8f3) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000IgnatInsarov[m](~kindaroma@2001:470:69fc:105::f5d9) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000Magnus[m](~magthetch@2001:470:69fc:105::d1a7) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000cdsmith(~cdsmithma@2001:470:69fc:105::284) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000Deewiant(~deewiant@2001:470:69fc:105::2fd3) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000Las[m](~lasmatrix@2001:470:69fc:105::74e) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000infinisil(~infinisil@2001:470:69fc:105::ff8) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000kevin[m]1(~pnotequal@2001:470:69fc:105::a54) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000Ollie[m](~ollieocha@2001:470:69fc:105::41a5) (Write error: Connection reset by peer)
2021-09-23 16:02:10 +0000craige[m](~craigemcw@2001:470:69fc:105::35f1) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000unrooted(~unrooted@2001:470:69fc:105::a4a) (Read error: Connection reset by peer)
2021-09-23 16:02:11 +0000smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000reddishblue[m](~reddishbl@2001:470:69fc:105::21eb) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000siraben(~siraben@user/siraben) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000commuswift[m](~commuswif@2001:470:69fc:105::e862) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000Drew[m](~drewefenw@2001:470:69fc:105::c8c4) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000PotatoHatsue(~berberman@2001:470:69fc:105::b488) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000hjulle[m](~hjullemat@2001:470:69fc:105::1dd) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000denbrahe[m](~denbrahem@2001:470:69fc:105::19c0) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000justosophy[m](~justosoph@2001:470:69fc:105::572f) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000ormaaj(~ormaaj@user/ormaaj) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000kadoban(~kadoban@user/kadoban) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000ixlun(~ixlun@2001:470:69fc:105::41b3) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000peddie(~peddie@2001:470:69fc:105::25d) (Write error: Connection reset by peer)
2021-09-23 16:02:11 +0000rosariopulella[m(~rosariopu@2001:470:69fc:105::a57) (Write error: Connection reset by peer)
2021-09-23 16:02:12 +0000Morrow[m](~morrowmma@2001:470:69fc:105::1d0) (Write error: Connection reset by peer)
2021-09-23 16:02:12 +0000cloudy(~cloudy@2001:470:69fc:105::50c0) (Write error: Connection reset by peer)
2021-09-23 16:02:12 +0000psydroid(~psydroid@user/psydroid) (Write error: Connection reset by peer)
2021-09-23 16:02:12 +0000fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0) (Read error: Connection reset by peer)
2021-09-23 16:02:12 +0000dualinverter[m](~dualinver@2001:470:69fc:105::16a7) (Read error: Connection reset by peer)
2021-09-23 16:02:12 +0000monadfritz[m](~ahdytmatr@2001:470:69fc:105::e1f1) (Read error: Connection reset by peer)
2021-09-23 16:02:12 +0000stites[m]1(~sammtopoi@2001:470:69fc:105::e887) (Write error: Connection reset by peer)
2021-09-23 16:02:12 +0000unclechu(~unclechu@2001:470:69fc:105::354) (Write error: Connection reset by peer)
2021-09-23 16:02:12 +0000ericson2314(~ericson23@2001:470:69fc:105::70c) (Write error: Connection reset by peer)
2021-09-23 16:02:12 +0000marinelli[m](~marinelli@2001:470:69fc:105::2d8) (Write error: Connection reset by peer)
2021-09-23 16:02:12 +0000Tisoxin(~ikosit@user/ikosit) (Read error: Connection reset by peer)
2021-09-23 16:02:12 +0000sm(~sm@plaintextaccounting/sm) (Write error: Connection reset by peer)
2021-09-23 16:02:12 +0000zfnmxt(~zfnmxtzfn@user/zfnmxt) (Write error: Connection reset by peer)
2021-09-23 16:02:12 +0000oak-(~oakuniver@2001:470:69fc:105::fcd) (Read error: Connection reset by peer)
2021-09-23 16:02:12 +0000bakinonion[m](~bakinonio@2001:470:69fc:105::ddb3) (Read error: Connection reset by peer)
2021-09-23 16:02:12 +0000ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Read error: Connection reset by peer)
2021-09-23 16:02:12 +0000wysteriary[m](~wysteriar@2001:470:69fc:105::a42e) (Read error: Connection reset by peer)
2021-09-23 16:02:12 +0000amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Read error: Connection reset by peer)
2021-09-23 16:02:12 +0000jchia[m](~jchiamatr@2001:470:69fc:105::c50b) (Read error: Connection reset by peer)
2021-09-23 16:02:12 +0000ongy[m](~ongymatri@2001:470:69fc:105::5018) (Read error: Connection reset by peer)
2021-09-23 16:03:12 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 16:04:00 +0000jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef)
2021-09-23 16:04:03 +0000chele(~chele@user/chele) (Remote host closed the connection)
2021-09-23 16:04:56 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 16:05:06 +0000chomwitt(~chomwitt@2a02:587:dc15:500:12c3:7bff:fe6d:d374) (Ping timeout: 260 seconds)
2021-09-23 16:05:16 +0000Everything(~Everythin@37.115.210.35) ()
2021-09-23 16:06:01 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 16:06:02 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-23 16:06:29 +0000 <awpr> sshine: when I was defining a bunch of those types, I ended up writing instances like `deriving stock instance (forall a. Eq a => Eq (f a), Eq x) => Eq (MyType x f)`
2021-09-23 16:06:30 +0000maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2021-09-23 16:06:42 +0000jchia[m](~jchiamatr@2001:470:69fc:105::c50b)
2021-09-23 16:06:42 +0000MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-09-23 16:06:42 +0000dualinverter[m](~dualinver@2001:470:69fc:105::16a7)
2021-09-23 16:06:42 +0000fgaz(~fgaz@2001:470:69fc:105::842)
2021-09-23 16:06:42 +0000peddie(~peddie@2001:470:69fc:105::25d)
2021-09-23 16:06:42 +0000Morrow[m](~morrowmma@2001:470:69fc:105::1d0)
2021-09-23 16:06:42 +0000cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-09-23 16:06:42 +0000thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9)
2021-09-23 16:06:42 +0000hsek[m](~hsekmatri@2001:470:69fc:105::d18f)
2021-09-23 16:06:42 +0000ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2)
2021-09-23 16:06:56 +0000bb010g(~bb010g@2001:470:69fc:105::9a5)
2021-09-23 16:06:56 +0000vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-09-23 16:06:56 +0000Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-09-23 16:06:56 +0000ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-09-23 16:06:56 +0000amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2021-09-23 16:06:56 +0000the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-09-23 16:06:56 +0000moats(~oats@user/oats)
2021-09-23 16:07:08 +0000soft(~soft-matr@2001:470:69fc:105::c75)
2021-09-23 16:07:14 +0000 <awpr> when there are lots of fields and few `Type` type parameters, it saves a lot of typing out `Eq (f Int), Eq (f String), ......`
2021-09-23 16:07:16 +0000zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-09-23 16:07:24 +0000oak-(~oakuniver@2001:470:69fc:105::fcd)
2021-09-23 16:07:24 +0000kadoban(~kadoban@user/kadoban)
2021-09-23 16:07:24 +0000bitonic(~bitonic@2001:470:69fc:105::1812)
2021-09-23 16:07:24 +0000Arathorn(~arathorn@2001:470:69fc:105::1f)
2021-09-23 16:07:24 +0000jophish(~jophish@2001:470:69fc:105::670)
2021-09-23 16:07:24 +0000ericson2314(~ericson23@2001:470:69fc:105::70c)
2021-09-23 16:07:24 +0000Ollie[m](~ollieocha@2001:470:69fc:105::41a5)
2021-09-23 16:07:24 +0000PotatoHatsue(~berberman@2001:470:69fc:105::b488)
2021-09-23 16:07:24 +0000ixlun(~ixlun@2001:470:69fc:105::41b3)
2021-09-23 16:07:24 +0000unclechu(~unclechu@2001:470:69fc:105::354)
2021-09-23 16:07:24 +0000Deewiant(~deewiant@2001:470:69fc:105::2fd3)
2021-09-23 16:07:24 +0000unrooted(~unrooted@2001:470:69fc:105::a4a)
2021-09-23 16:07:36 +0000RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc)
2021-09-23 16:07:36 +0000rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70)
2021-09-23 16:07:36 +0000maralorn(~maralorn@2001:470:69fc:105::251)
2021-09-23 16:07:36 +0000SimonWeiss[m](~weiss-dma@2001:470:69fc:105::bebd)
2021-09-23 16:07:37 +0000denbrahe[m](~denbrahem@2001:470:69fc:105::19c0)
2021-09-23 16:07:37 +0000lwe[m](~dendrumat@2001:470:69fc:105::2f9b)
2021-09-23 16:07:50 +0000jesser[m](~jessermat@2001:470:69fc:105::d5ae)
2021-09-23 16:08:02 +0000erinvanderveen[m(~erinvande@2001:470:69fc:105::e8f3)
2021-09-23 16:08:02 +0000reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-09-23 16:08:02 +0000quantum(~quantum@user/quantum/x-8556232)
2021-09-23 16:08:02 +0000marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2021-09-23 16:08:04 +0000hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2021-09-23 16:08:16 +0000craige[m](~craigemcw@2001:470:69fc:105::35f1)
2021-09-23 16:08:18 +0000Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-09-23 16:08:30 +0000afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b)
2021-09-23 16:08:30 +0000reddishblue[m](~reddishbl@2001:470:69fc:105::21eb)
2021-09-23 16:08:30 +0000sm(~sm@plaintextaccounting/sm)
2021-09-23 16:08:30 +0000schuelermine[m](~schuelerm@user/schuelermine)
2021-09-23 16:08:42 +0000justosophy[m](~justosoph@2001:470:69fc:105::572f)
2021-09-23 16:08:42 +0000kevin[m]1(~pnotequal@2001:470:69fc:105::a54)
2021-09-23 16:08:42 +0000Deide(~deide@user/deide)
2021-09-23 16:08:54 +0000fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0)
2021-09-23 16:08:54 +0000hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d)
2021-09-23 16:09:07 +0000IgnatInsarov[m](~kindaroma@2001:470:69fc:105::f5d9)
2021-09-23 16:09:07 +0000srid[m](~sridmatri@2001:470:69fc:105::1c2)
2021-09-23 16:09:07 +0000psydroid(~psydroid@user/psydroid)
2021-09-23 16:09:08 +0000seiryn(~seiryn@2a01cb040147e000e4dbf764ff30bd96.ipv6.abo.wanadoo.fr)
2021-09-23 16:09:21 +0000wysteriary[m](~wysteriar@2001:470:69fc:105::a42e)
2021-09-23 16:09:24 +0000Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2021-09-23 16:09:43 +0000stoicswe[m](~deadlette@2001:470:69fc:105::d277)
2021-09-23 16:09:55 +0000sam[m]1(~sammtopoi@2001:470:69fc:105::e887)
2021-09-23 16:10:07 +0000Topik[m](~topikmatr@2001:470:69fc:105::a082)
2021-09-23 16:10:07 +0000alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2021-09-23 16:10:07 +0000yin[m](~zwromatri@2001:470:69fc:105::1d4)
2021-09-23 16:10:08 +0000asdofindia-m(~akshaymat@2001:470:69fc:105::831)
2021-09-23 16:10:08 +0000OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300)
2021-09-23 16:10:08 +0000kar1(~kar1@2001:470:69fc:105::c308)
2021-09-23 16:10:08 +0000ongy[m](~ongymatri@2001:470:69fc:105::5018)
2021-09-23 16:10:08 +0000ormaaj(~ormaaj@user/ormaaj)
2021-09-23 16:10:08 +0000hjulle[m](~hjullemat@2001:470:69fc:105::1dd)
2021-09-23 16:10:22 +0000infinisil(~infinisil@2001:470:69fc:105::ff8)
2021-09-23 16:10:22 +0000Drew[m](~drewefenw@2001:470:69fc:105::c8c4)
2021-09-23 16:10:22 +0000jneira[m](~jneiramat@2001:470:69fc:105::d729)
2021-09-23 16:10:22 +0000Magnus[m](~magthetch@2001:470:69fc:105::d1a7)
2021-09-23 16:10:22 +0000siraben(~siraben@user/siraben)
2021-09-23 16:10:23 +0000SawyerBergeron[m(~sawyerber@2001:470:69fc:105::3036)
2021-09-23 16:10:35 +0000sky_lounge[m](~skylounge@2001:470:69fc:105::efa6)
2021-09-23 16:10:36 +0000smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2021-09-23 16:10:45 +0000hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-09-23 16:10:53 +0000monadfritz[m](~ahdytmatr@2001:470:69fc:105::e1f1)
2021-09-23 16:10:53 +0000bakinonion[m](~bakinonio@2001:470:69fc:105::ddb3)
2021-09-23 16:11:05 +0000rosariopulella[m(~rosariopu@2001:470:69fc:105::a57)
2021-09-23 16:11:07 +0000masaeedu[m](~masaeedum@2001:470:69fc:105::e256)
2021-09-23 16:11:08 +0000fcortesi(~fcortesi@2001:470:69fc:105::f3a9)
2021-09-23 16:11:29 +0000hiepph[m](~hiepphmat@2001:470:69fc:105::e3a8)
2021-09-23 16:11:29 +0000ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2021-09-23 16:11:29 +0000cloudy(~cloudy@2001:470:69fc:105::50c0)
2021-09-23 16:11:52 +0000commuswift[m](~commuswif@2001:470:69fc:105::e862)
2021-09-23 16:11:54 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2021-09-23 16:11:56 +0000carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-09-23 16:11:56 +0000fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2021-09-23 16:11:57 +0000aidy(~aidy@2001:470:69fc:105::c7b4)
2021-09-23 16:12:16 +0000hendursaga(~weechat@user/hendursaga)
2021-09-23 16:17:19 +0000bgamari_bgamari
2021-09-23 16:18:08 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2021-09-23 16:18:54 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 16:19:30 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 16:20:01 +0000python47`(~user@88.160.31.174)
2021-09-23 16:21:41 +0000python476(~user@88.160.31.174) (Ping timeout: 264 seconds)
2021-09-23 16:21:47 +0000terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Read error: Connection reset by peer)
2021-09-23 16:23:01 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-23 16:23:01 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-23 16:23:01 +0000wroathe(~wroathe@user/wroathe)
2021-09-23 16:24:05 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 264 seconds)
2021-09-23 16:24:43 +0000terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com)
2021-09-23 16:27:29 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-23 16:27:36 +0000chomwitt(~chomwitt@ppp-94-67-1-143.home.otenet.gr)
2021-09-23 16:30:07 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-09-23 16:39:28 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-09-23 16:39:53 +0000seiryn(~seiryn@2a01cb040147e000e4dbf764ff30bd96.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.2)
2021-09-23 16:40:07 +0000seiryn(~seiryn@2a01cb040147e000e4dbf764ff30bd96.ipv6.abo.wanadoo.fr)
2021-09-23 16:41:32 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Quit: Client closed)
2021-09-23 16:42:02 +0000 <awpr> sshine: also apparently I managed to get better results on this than I remembered: https://github.com/google/hs-ten/blob/e0cf34abb85a0df37f8bd2f4ba0270264455c58f/ten/src/Data/Ten/Ap…
2021-09-23 16:42:19 +0000 <awpr> wrapping fields in that, you get back the ability to say `deriving Eq` with no fanfare
2021-09-23 16:43:44 +0000zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-09-23 16:46:56 +0000superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Quit: Leaving)
2021-09-23 16:47:50 +0000mc47(~mc47@xmonad/TheMC47)
2021-09-23 16:49:17 +0000bgamari(~bgamari@64.223.239.239) (Ping timeout: 246 seconds)
2021-09-23 16:50:35 +0000bgamari(~bgamari@2001:470:e438::1)
2021-09-23 16:54:07 +0000notzmv(~zmv@user/notzmv)
2021-09-23 16:57:30 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-23 16:58:00 +0000 <sshine> awpr, awesome, thanks for replying!
2021-09-23 17:01:09 +0000alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 17:01:28 +0000alzgh(~alzgh@user/alzgh)
2021-09-23 17:04:15 +0000Cajun(~Cajun@user/cajun) (Quit: Client closed)
2021-09-23 17:04:27 +0000econo(uid147250@user/econo)
2021-09-23 17:06:31 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 17:06:59 +0000 <carbolymer> awpr: you're using haskell at google?
2021-09-23 17:08:46 +0000 <awpr> I used to work on a primarily-Haskell project. I'm not anymore, though, the libraries are more of a side project for me atm
2021-09-23 17:10:20 +0000pera(~pera@5ec231fc.skybroadband.com)
2021-09-23 17:10:45 +0000peraGuest3253
2021-09-23 17:10:56 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-23 17:13:29 +0000turlando(~turlando@user/turlando) (Ping timeout: 268 seconds)
2021-09-23 17:13:32 +0000turlando_(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-09-23 17:13:58 +0000turlando_(~turlando@93-42-250-112.ip89.fastwebnet.it) (Client Quit)
2021-09-23 17:14:16 +0000turlando(~turlando@user/turlando)
2021-09-23 17:15:13 +0000seiryn(~seiryn@2a01cb040147e000e4dbf764ff30bd96.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.2)
2021-09-23 17:17:20 +0000seiryn(~seiryn@2a01cb040147e000e4dbf764ff30bd96.ipv6.abo.wanadoo.fr)
2021-09-23 17:19:02 +0000chris(~chris@81.96.113.213)
2021-09-23 17:19:06 +0000chrisGuest2921
2021-09-23 17:19:33 +0000 <carbolymer> I think I've solved it: https://bpa.st/4ZHQ
2021-09-23 17:22:33 +0000\Nova(~novadev@2405:4802:11d:af70:f140:4c76:cde5:9874)
2021-09-23 17:23:14 +0000python47`(~user@88.160.31.174) (Ping timeout: 250 seconds)
2021-09-23 17:23:19 +0000Alex_test(~al_test@94.233.241.29) (Quit: ;-)
2021-09-23 17:24:21 +0000nschoe(~quassel@2a01:e0a:8e:a190:b40e:d941:c021:f607)
2021-09-23 17:24:29 +0000AlexZenon(~alzenon@94.233.241.29) (Quit: ;-)
2021-09-23 17:28:40 +0000TDANG(~TDANG@cpe-107-15-144-45.nc.res.rr.com)
2021-09-23 17:28:40 +0000TDANG_(~TDANG@inet-177-7.ets.org) (Read error: Connection reset by peer)
2021-09-23 17:28:52 +0000Alex_test(~al_test@94.233.241.29)
2021-09-23 17:28:52 +0000TDANG(~TDANG@cpe-107-15-144-45.nc.res.rr.com) (Read error: Connection reset by peer)
2021-09-23 17:30:11 +0000Guest3253(~pera@5ec231fc.skybroadband.com) (Ping timeout: 252 seconds)
2021-09-23 17:31:11 +0000AlexZenon(~alzenon@94.233.241.29)
2021-09-23 17:34:42 +0000\Nova(~novadev@2405:4802:11d:af70:f140:4c76:cde5:9874) (Ping timeout: 260 seconds)
2021-09-23 17:35:47 +0000alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 17:36:00 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 17:36:07 +0000alzgh(~alzgh@user/alzgh)
2021-09-23 17:36:25 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 17:48:22 +0000fresheyeball(~fresheyeb@c-76-25-93-164.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-09-23 17:50:07 +0000k``(~user@152.1.137.158) (Quit: ERC (IRC client for Emacs 27.1))
2021-09-23 17:51:37 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-23 17:51:37 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-23 17:51:37 +0000wroathe(~wroathe@user/wroathe)
2021-09-23 17:52:11 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 17:52:36 +0000dyeplexer(~dyeplexer@user/dyeplexer)
2021-09-23 17:54:15 +0000gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-09-23 17:54:46 +0000pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 260 seconds)
2021-09-23 17:55:49 +0000pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net)
2021-09-23 17:57:30 +0000_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-09-23 17:58:53 +0000zaquest(~notzaques@5.128.210.178)
2021-09-23 18:02:30 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 18:13:41 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 18:23:03 +0000 <maerwald> So I'm planning to switch to another operating system/distro, because fedora is awful. Anything particularly haskell friendly? (e.g. runtime switchable gcc, ncurses compat symlinks, etc.)
2021-09-23 18:23:10 +0000max22-(~maxime@2a01cb0883359800cdfb9fe06cd30ce5.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds)
2021-09-23 18:23:50 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 18:23:59 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 18:24:05 +0000dyeplexer(~dyeplexer@user/dyeplexer) (Ping timeout: 252 seconds)
2021-09-23 18:25:35 +0000 <carbolymer> maerwald: you want to install haskell deps on an os level?
2021-09-23 18:25:43 +0000 <maerwald> no
2021-09-23 18:25:44 +0000madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds)
2021-09-23 18:26:02 +0000 <dsal> I've been enjoying nixos, but it's divisive. :)
2021-09-23 18:26:18 +0000 <maerwald> 100% no
2021-09-23 18:26:39 +0000 <monochrom> From "runtime switchable gcc" I think of nix or docker.
2021-09-23 18:26:55 +0000 <maerwald> I know at least 2 distros that can do it, but they are source distros
2021-09-23 18:27:04 +0000 <monochrom> I am speaking this in the sense of narrowing down to {nix, docker}
2021-09-23 18:27:10 +0000 <carbolymer> maerwald: I'm using Arch and it's great so far, but a few caveats: I manage haskell packages through stack & cabal; it's better to install stack and cabal from packages statically linked (binaries)
2021-09-23 18:27:41 +0000 <monochrom> I understand that other constraints will shrink that set further. Possibly to {} and we throw the towel.
2021-09-23 18:28:32 +0000 <monochrom> But let's look at the bright side!
2021-09-23 18:29:18 +0000 <monochrom> From "fedora is awful" I think of a very large set, {ubuntu, gentoo, ... a lot of things are less bad than fedora} :)
2021-09-23 18:30:17 +0000 <c_wraith> I get a lot of mileage from separating haskell from the OS entirely.
2021-09-23 18:30:25 +0000 <c_wraith> pick an OS you like, then use ghcup
2021-09-23 18:30:32 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-23 18:30:42 +0000 <monochrom> I use ubuntu, and if I use ghcup instead of ubuntu's ghc packages, it's haskell friendly. I haven't needed to switch gcc at all though.
2021-09-23 18:30:58 +0000 <maerwald> c2hs breakages sometimes require older gcc's
2021-09-23 18:31:00 +0000 <monochrom> But we're answering the author of ghcup so there is a bit of irony here. :)
2021-09-23 18:31:04 +0000 <maerwald> at least that happened on fedora
2021-09-23 18:31:34 +0000 <maerwald> one morning, I couldn't build any of c2hs packages
2021-09-23 18:31:39 +0000 <monochrom> Right? "Hey maerwald! Have you tried ghcup?" hahaha
2021-09-23 18:32:00 +0000 <maerwald> occasionally
2021-09-23 18:32:09 +0000 <geekosaur> ubuntu often lets you select versions of things. no idea if that applies to gcc but gcc9 hasn't landed yet
2021-09-23 18:32:24 +0000 <maerwald> I'm honestly leaning towards windows
2021-09-23 18:32:37 +0000 <carbolymer> wat
2021-09-23 18:32:46 +0000 <monochrom> Ah yeah you can co-install multiple versions of gcc on ubuntu, then say "gcc-x.y"
2021-09-23 18:32:52 +0000 <maerwald> 1. has great virtualization, 2. has WSL2, 3. suspend to ram and power/therml throttling actually works
2021-09-23 18:33:00 +0000 <maerwald> but then... all of the rest is awful
2021-09-23 18:33:06 +0000 <c_wraith> oh. yes, I only use linux in wsl2
2021-09-23 18:33:14 +0000Guest66(~Guest66@wificampus-023241.grenet.fr)
2021-09-23 18:33:19 +0000 <c_wraith> mostly debian.
2021-09-23 18:33:23 +0000 <geekosaur> hm, looks like we have 7-10 inm various places. then update-alternatives to switch
2021-09-23 18:33:32 +0000 <monochrom> docker is analogous to wsl in this sense.
2021-09-23 18:34:07 +0000elias_(~elias@bl9-97-115.dsl.telepac.pt)
2021-09-23 18:34:35 +0000 <monochrom> Ironically my laptop is such that linux is better than windows in terms of hardware features working.
2021-09-23 18:34:39 +0000 <yushyin> I have an anecdote, fedora is the distro that had once deleted some files in the user's home directory during texlive upgrade ... so i don't have the greatest faith in this distro.
2021-09-23 18:34:48 +0000 <monochrom> windows is hotter than linux, firstly
2021-09-23 18:35:18 +0000 <maerwald> suspend to ram is broken on my fedora box since a month
2021-09-23 18:35:45 +0000 <monochrom> secondly, on windows it hangs upon screen sleep, on linux it used to but now fixed.
2021-09-23 18:35:50 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 18:36:00 +0000 <Guest66> huh, my experience with fedora has been very positive. I found it be most polished. the devs are very attentive to details
2021-09-23 18:36:32 +0000 <monochrom> I wouldn't be surprised if ubuntu works better than fedora for these hardware and sleep issues, but I haven't tried.
2021-09-23 18:36:39 +0000 <awpr> tbf GHC is the compiler that had once deleted source files when there was a type error, so...
2021-09-23 18:36:44 +0000 <geekosaur> suspend works fine here
2021-09-23 18:36:51 +0000 <Guest66> though my thinkpad X1C has a weird issue on linux where the fans spin uncontrollably right after waking from suspend
2021-09-23 18:36:57 +0000 <carbolymer> What are you saying people. I'm using windows at work and it's a world of pain, everything breaks. I need to reboot to make my peripherals work 1 in 5 times.
2021-09-23 18:37:06 +0000 <maerwald> Guest66: I have many such problems with my X1 Extreme
2021-09-23 18:37:09 +0000 <maerwald> it's impossible
2021-09-23 18:37:13 +0000 <Guest66> ironically hibernate works fine (and it's my only problem)
2021-09-23 18:37:17 +0000 <geekosaur> I haven't tested hibernate, which is disabled by default since it works on relatively few machines, but it worked on my old laptop
2021-09-23 18:37:23 +0000 <Guest66> maerwald: it's the 4th gen
2021-09-23 18:37:51 +0000 <Guest66> why can't lenovo issue a BIOS update and solve my issues
2021-09-23 18:37:58 +0000 <maerwald> so maybe windows is the only solution...
2021-09-23 18:38:22 +0000 <Guest66> heresy! I have a windows partiton and I hate it
2021-09-23 18:38:25 +0000 <maerwald> ghc works fine on WSL2 afaih
2021-09-23 18:38:57 +0000 <monochrom> WSL2 still doesn't solve the problem of "but which linux?"
2021-09-23 18:38:58 +0000 <maerwald> in windows itself it works as far as antivirus scanner, windows defender and file locking allow
2021-09-23 18:39:09 +0000 <maerwald> so half of the time
2021-09-23 18:39:10 +0000 <Guest66> each time I boot into it I have to wait through 5mins of it burning my cpu running all kinds of weird things in the bg
2021-09-23 18:39:31 +0000 <Guest66> "Antimalware Service Executable"
2021-09-23 18:39:32 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl)
2021-09-23 18:39:34 +0000 <Guest66> "System"
2021-09-23 18:39:36 +0000 <monochrom> I bet that gcc on windows will give you more questions, not answers.
2021-09-23 18:39:48 +0000 <maerwald> msys2 is a cluster...
2021-09-23 18:40:07 +0000 <yushyin> My windows workstation wakes up from suspend at random times and goes back into suspend mode after a while, a bit annoying i must say.
2021-09-23 18:40:12 +0000 <Guest66> I heard Peter Haskell say that they once has a bug on ghc for windows that made your src files get deleted
2021-09-23 18:40:50 +0000landonf(landonf@mac68k.info)
2021-09-23 18:41:20 +0000 <Guest66> It's Simon Peyton Jones ... for some reason I thought it was Peter (it was a talk)
2021-09-23 18:41:59 +0000Lycurgus(~juan@98.4.112.204) (Quit: Exeunt)
2021-09-23 18:42:56 +0000 <geekosaur> yeh, it's not hard to find that bug in the gitlab issue tracker
2021-09-23 18:44:27 +0000 <maerwald> OpenSUSE?
2021-09-23 18:45:01 +0000 <monochrom> Are they still around?
2021-09-23 18:45:11 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 18:45:36 +0000 <Guest66> uhhh, yes they're a non-negligeable player in the commercial linux market
2021-09-23 18:45:39 +0000 <monochrom> Distant memory of OpenSuSE, Caldera, OS/2
2021-09-23 18:45:53 +0000 <monochrom> I still have a Caldera rubber penguin.
2021-09-23 18:46:56 +0000 <Guest66> I think arch is good if you prefer the devs not mess with upstream too much
2021-09-23 18:47:36 +0000 <maerwald> Guest66: the reason I wanna leave fedora is because maintainers push whatever upstream claims is stable
2021-09-23 18:47:44 +0000 <maerwald> arch does the same, constantly breaking your system
2021-09-23 18:48:14 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-09-23 18:48:32 +0000 <monochrom> I think ubuntu is better in that regard. They actually have hired devs to vet things.
2021-09-23 18:48:57 +0000 <Guest66> I think that's not very fair. What does breaking your system mean? if you have dev environemnts then yes I would agree (just use docker)
2021-09-23 18:49:12 +0000 <geekosaur> https://gitlab.haskell.org/ghc/ghc/-/issues/163
2021-09-23 18:49:13 +0000 <maerwald> Guest66: your desktop environment, kernel, suspend to ram etc etc
2021-09-23 18:49:19 +0000 <yushyin> Guest66: this channel has a general dislike for arch, don't bother mentioning it here
2021-09-23 18:49:20 +0000 <monochrom> At least unless you talk about the multiverse, but that one is vetted by the debian conservative people.
2021-09-23 18:49:26 +0000 <maerwald> Guest66: I've used arch for 3 years or so, every update broke something
2021-09-23 18:49:37 +0000 <Guest66> yushyin: hah, too late
2021-09-23 18:49:57 +0000 <awpr> I use arch whenever I have a choice, and don't plan to change that, but I totally agree that stuff constantly breaks
2021-09-23 18:50:04 +0000 <geekosaur> arch really messed up its ghc/haskell packaging
2021-09-23 18:50:14 +0000 <carbolymer> geekosaur: yes
2021-09-23 18:50:18 +0000 <Guest66> maerwald: I'm very curious about that, any examples of what broke?
2021-09-23 18:50:19 +0000 <geekosaur> arch itself is okay but use ghcup
2021-09-23 18:50:27 +0000 <carbolymer> geekosaur: yes
2021-09-23 18:50:33 +0000 <maerwald> Guest66: your deskopt environment
2021-09-23 18:50:41 +0000 <carbolymer> geekosaur: or static binaries of stack and cabal
2021-09-23 18:50:50 +0000alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 18:50:54 +0000 <maerwald> you don't expect me to have logs from those 200 incidents 10 years ago? :)
2021-09-23 18:51:09 +0000alzgh(~alzgh@user/alzgh)
2021-09-23 18:51:17 +0000 <maerwald> my KDE was constantly broken is all I know
2021-09-23 18:51:37 +0000 <Guest66> no no I don't mean in that way, it's just that my experience (from 2020 years) was different
2021-09-23 18:52:13 +0000 <geekosaur> 10 years ago? I think they instituted rawhide to iron those kinds of issues out
2021-09-23 18:52:24 +0000 <Guest66> oh yes KDE, they updated their _official_ themes and highlighted a bug as old as time: kwin can't handle rounded borders
2021-09-23 18:52:36 +0000 <Guest66> it annoys me immeasurably
2021-09-23 18:52:44 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) ()
2021-09-23 18:52:49 +0000 <maerwald> changing processes and attitude takes 10 years (minimum)
2021-09-23 18:53:02 +0000 <Guest66> but not enough to use GNOME, and def no where near going back to bspwm/xmonad
2021-09-23 18:53:04 +0000 <maerwald> I'm pretty confident I don't want arch
2021-09-23 18:53:15 +0000 <maerwald> it's sad that alpine linux abandoned desktop
2021-09-23 18:53:24 +0000 <maerwald> too few musl based distros for desktop
2021-09-23 18:53:31 +0000 <maerwald> building static haskell exes on the fly is nice
2021-09-23 18:53:37 +0000 <Guest66> what about Nix?
2021-09-23 18:53:47 +0000 <maerwald> Guest66: it's awful?
2021-09-23 18:53:59 +0000 <Guest66> I used it for a couple months, ran away from the FHS incompatibility
2021-09-23 18:54:22 +0000 <maerwald> Programmers not caring about complexity is when you should leave, yes
2021-09-23 18:54:53 +0000 <Guest66> "hey here is this tar.gz, just run make on it" is hell when you're on Nix. If it's not in nixpkgs, your will suffer
2021-09-23 18:54:59 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl)
2021-09-23 18:55:22 +0000kimjetwav(~user@2607:fea8:235f:9730:5dc1:21d2:283d:a2f8)
2021-09-23 18:55:33 +0000 <Guest66> and my system was noticeably slower with all the symlinks
2021-09-23 18:56:10 +0000shailangsa(~shailangs@host86-186-132-44.range86-186.btcentralplus.com) (Remote host closed the connection)
2021-09-23 18:56:56 +0000 <maerwald> everything is a file -> everything is a symlink
2021-09-23 18:57:16 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Remote host closed the connection)
2021-09-23 18:57:32 +0000 <awpr> I want to see an "everything is a CAF" OS
2021-09-23 18:58:01 +0000 <Clint> wht's a caf
2021-09-23 18:58:15 +0000 <carbolymer> calf without leg
2021-09-23 18:58:38 +0000 <awpr> Constant Applicative Form, a top-level Haskell binding that just applies something to some arguments
2021-09-23 18:59:31 +0000 <Guest66> awpr: well how would you implement "files" that way?
2021-09-23 18:59:47 +0000 <monochrom> Perhaps don't do files at all.
2021-09-23 19:00:00 +0000 <awpr> unsafePerformIO :)
2021-09-23 19:00:03 +0000 <monochrom> Have a different data model.
2021-09-23 19:00:39 +0000 <monochrom> PalmOS did not have files for example. It had a relational database. The way I heard it.
2021-09-23 19:00:50 +0000 <geekosaur> pick
2021-09-23 19:01:21 +0000 <geekosaur> https://en.wikipedia.org/wiki/Pick_operating_system
2021-09-23 19:02:04 +0000 <monochrom> Caldera and OS/2 and PalmOS. Anyone wanna try out NeXT or CP/M? Apple Integer BASIC?
2021-09-23 19:03:06 +0000nitrix(~nitrix@user/nitrix) (Quit: Genius is one percent inspiration and ninety-nine percent perspiration)
2021-09-23 19:03:23 +0000 <Guest66> I still can't believe CP/M was lost QDOS
2021-09-23 19:03:29 +0000 <Guest66> lost to*
2021-09-23 19:03:48 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 19:03:54 +0000max22-(~maxime@2a01cb088335980002701e26d2f7aa66.ipv6.abo.wanadoo.fr)
2021-09-23 19:04:46 +0000arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) ()
2021-09-23 19:05:23 +0000 <monochrom> A lot of CP/M spirits still live today. CRLF. 8-character filename plus 3-letter extension.
2021-09-23 19:07:52 +0000 <geekosaur> com files (memeory images starting at $0100) held on for a remarkably long time
2021-09-23 19:08:11 +0000 <monochrom> Yeah.
2021-09-23 19:10:10 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-23 19:10:50 +0000ubert(~Thunderbi@178.115.76.102.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2021-09-23 19:10:54 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-09-23 19:11:00 +0000 <monochrom> Interesting, the name "BIOS" may have come from CP/M too.
2021-09-23 19:11:28 +0000 <geekosaur> probably
2021-09-23 19:11:52 +0000nschoe(~quassel@2a01:e0a:8e:a190:b40e:d941:c021:f607) (Ping timeout: 252 seconds)
2021-09-23 19:13:10 +0000kimjetwav(~user@2607:fea8:235f:9730:5dc1:21d2:283d:a2f8) (Ping timeout: 260 seconds)
2021-09-23 19:13:29 +0000python47`(~user@88.160.31.174)
2021-09-23 19:14:40 +0000 <Guest66> I really don't understand the author's two arguments for writing the Parser type synonym here: https://markkarpov.com/tutorial/megaparsec.html#parsect-and-parsec-monads
2021-09-23 19:15:40 +0000 <Guest66> when they say "if your code stays polymorphic" do they mean I would write "Parsec Void Text Int" every time?
2021-09-23 19:16:50 +0000 <Guest66> because to me it's just a matter of not repeating the some composition (for "code beauty" ...)
2021-09-23 19:16:58 +0000 <geekosaur> no, when you reach that level Parser is just a shorthand. but lots of parser code doesn't refer to most of that so you'd just write an (unused) type variable, and then the excessive polymorphism bites
2021-09-23 19:17:14 +0000 <monochrom> "GHC cannot do much in terms of optimization if your parsers stay polymorphic"
2021-09-23 19:17:49 +0000 <monochrom> Type inference gives very polymorphic types.
2021-09-23 19:18:21 +0000 <Guest66> I'm sorry what's an unused type variable. Could your give me an example where the code stays polymorphic because that's what I'm missing
2021-09-23 19:18:23 +0000 <geekosaur> that too, if you just lket ghc infer the types it'll iinsert unused type vars
2021-09-23 19:18:54 +0000 <monochrom> However, I come from another angle.
2021-09-23 19:19:36 +0000 <monochrom> Most people who talk about code optimizations talk about of personal fantasy.
2021-09-23 19:19:52 +0000 <monochrom> s/talk about of/talk out of/
2021-09-23 19:20:07 +0000teddyc(theodorc@cassarossa.samfundet.no) (Ping timeout: 252 seconds)
2021-09-23 19:21:03 +0000 <monochrom> Both kinds of fantasies: how code optimizations work, how much you actually need.
2021-09-23 19:22:00 +0000notzmv(~zmv@user/notzmv) (Remote host closed the connection)
2021-09-23 19:22:07 +0000vicfred(~vicfred@user/vicfred)
2021-09-23 19:22:18 +0000 <mrianbloom> Is anyone successfully using a Haskell binding to Tensorflow?
2021-09-23 19:22:37 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2.1)
2021-09-23 19:22:53 +0000 <mrianbloom> Python is just causing so many problems, I've been hoping to phase it out.
2021-09-23 19:22:59 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 19:23:25 +0000nschoe(~quassel@2a01:e0a:8e:a190:6260:d0a4:612a:667e)
2021-09-23 19:23:39 +0000 <jpds> Seems to be an official thing: https://github.com/tensorflow/haskell
2021-09-23 19:25:11 +0000alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 19:25:17 +0000mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Quit: mikoto-chan)
2021-09-23 19:25:31 +0000alzgh(~alzgh@user/alzgh)
2021-09-23 19:25:31 +0000mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-23 19:26:17 +0000 <monochrom> I look at this whole thing from the points of view of getting things done, teaching, learning.
2021-09-23 19:27:02 +0000python47`(~user@88.160.31.174) (Remote host closed the connection)
2021-09-23 19:27:05 +0000xff0x(~xff0x@2001:1a81:5223:600:7b8b:d6b9:4e09:bc2d) (Ping timeout: 264 seconds)
2021-09-23 19:27:12 +0000 <monochrom> If you're getting things done, the actual problem you're solving already determines how much/little polymorphism you should have. You shouldn't even have a choice there.
2021-09-23 19:27:48 +0000xff0x(~xff0x@2001:1a81:5223:600:5044:85d:79f3:4926)
2021-09-23 19:28:05 +0000 <monochrom> And then, in case you need much polymorphism, how to make it fast is a different issue, there are techniques.
2021-09-23 19:29:04 +0000 <monochrom> And in case you need much monomorphism, and if it means you have to handwrite very long types with like 10 type parameters, how to manage it is also a different issue.
2021-09-23 19:30:58 +0000 <monochrom> Type aliases shorten your type sigs but makes you remember more names. You are trading reading "speed" vs brain memory recall. The sweet spot depends on your actual code.
2021-09-23 19:31:11 +0000 <monochrom> s/remember/memorize/
2021-09-23 19:31:49 +0000\Nova(~novadev@2405:4802:11d:af70:55d5:5371:aee0:b50e)
2021-09-23 19:32:09 +0000 <monochrom> If you're teaching or learning, Piaget's theory: concrete before abstract, special before general, monomorphic before polymorphic.
2021-09-23 19:32:16 +0000 <monochrom> It's that simple.
2021-09-23 19:33:04 +0000 <[exa]> tangible colorful motivation
2021-09-23 19:34:33 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-09-23 19:35:55 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 19:36:30 +0000nschoe(~quassel@2a01:e0a:8e:a190:6260:d0a4:612a:667e) (Ping timeout: 260 seconds)
2021-09-23 19:39:36 +0000 <c_wraith> you can often add bounded polymorphism to just about anything.
2021-09-23 19:39:46 +0000 <c_wraith> So... probably best not to. :)
2021-09-23 19:39:50 +0000 <c_wraith> :t view
2021-09-23 19:39:51 +0000 <lambdabot> MonadReader s m => Getting a s a -> m a
2021-09-23 19:39:59 +0000 <c_wraith> I *still* don't like the type of that
2021-09-23 19:40:04 +0000 <c_wraith> even though it's clearly useful
2021-09-23 19:41:30 +0000 <c_wraith> or rather, I don't like that the MonadReader instance most frequently used with it is (->)
2021-09-23 19:41:55 +0000 <awpr> don't look at `Control.Lens.Indexed` then
2021-09-23 19:42:24 +0000 <c_wraith> I have on several occasions, because I made the mistake of thinking useful things were in that module
2021-09-23 19:42:38 +0000 <awpr> that thing is so delicately balanced on the van laarhoven lens types that it just seems like an astonishing bit of luck that it was possible
2021-09-23 19:43:02 +0000 <[exa]> I'm trying to get `llvm-hs` working in github ubuntu runner and it's telling me that it can't match `forall r1. ContT r1 m a` with `ContT r m a` during installation at some point (AnyCont.hs line 15). Did anyone see/solve that?
2021-09-23 19:43:14 +0000 <c_wraith> IIRC, that mess was mostly "there are only ever going to be two instances, so we felt fine adding all these other things"
2021-09-23 19:45:06 +0000 <awpr> [exa]: https://github.com/llvm-hs/llvm-hs/commit/227a33c183a4abc5dfbee50081ee793348e38355 perhaps?
2021-09-23 19:45:47 +0000Guest66(~Guest66@wificampus-023241.grenet.fr) (Ping timeout: 256 seconds)
2021-09-23 19:45:56 +0000 <[exa]> oh lovely that might be it
2021-09-23 19:48:12 +0000nehsou^(~nehsou@12.203.127.82) (Remote host closed the connection)
2021-09-23 19:48:46 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Quit: Client closed)
2021-09-23 19:51:14 +0000python476(~user@88.160.31.174)
2021-09-23 19:52:21 +0000kayprish(~kayprish@46.240.130.158)
2021-09-23 19:54:19 +0000Pickchea(~private@user/pickchea)
2021-09-23 19:57:56 +0000oxide(~lambda@user/oxide) (Quit: oxide)
2021-09-23 19:59:02 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Remote host closed the connection)
2021-09-23 19:59:25 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 20:00:04 +0000hiepph[m](~hiepphmat@2001:470:69fc:105::e3a8) ()
2021-09-23 20:00:13 +0000wonko(~wjc@62.115.229.50) (Ping timeout: 252 seconds)
2021-09-23 20:04:27 +0000rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-09-23 20:05:13 +0000xff0x(~xff0x@2001:1a81:5223:600:5044:85d:79f3:4926) (Ping timeout: 252 seconds)
2021-09-23 20:05:55 +0000dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-09-23 20:06:00 +0000xff0x(~xff0x@2001:1a81:5223:600:4c14:d9af:343:6bc3)
2021-09-23 20:06:21 +0000pera(~pera@5ec231fc.skybroadband.com)
2021-09-23 20:06:28 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-09-23 20:06:46 +0000peraGuest2276
2021-09-23 20:09:08 +0000mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds)
2021-09-23 20:11:17 +0000_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-09-23 20:13:07 +0000amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Quit: Leaving)
2021-09-23 20:16:27 +0000jushur(~human@user/jushur)
2021-09-23 20:17:10 +0000kayprish(~kayprish@46.240.130.158) (Read error: Connection reset by peer)
2021-09-23 20:21:30 +0000aliosablack(~chomwitt@athedsl-351887.home.otenet.gr)
2021-09-23 20:21:46 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 20:22:01 +0000Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-09-23 20:22:42 +0000chomwitt(~chomwitt@ppp-94-67-1-143.home.otenet.gr) (Ping timeout: 260 seconds)
2021-09-23 20:25:16 +0000max22-(~maxime@2a01cb088335980002701e26d2f7aa66.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-09-23 20:26:02 +0000max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-09-23 20:26:11 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-23 20:27:18 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-23 20:27:43 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-23 20:28:56 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds)
2021-09-23 20:29:21 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-09-23 20:35:04 +0000 <ixlun> Out of interest does GHC have the ability to fold 'trivial' functions that can then be the basis of compile time checks? I'm thinking something like https://hackage.haskell.org/package/safe-money-0.9.1/docs/Money.html#v:mkSeparators
2021-09-23 20:35:56 +0000 <ixlun> This returns a `Maybe Separators` but it would be nice if the compiler could do a compile-time check to ensure the critera matches and then the `Maybe` wouldn't be needed.
2021-09-23 20:36:12 +0000alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 20:36:17 +0000 <ixlun> Kind of similar to C++'s `constexpr`, I guess.
2021-09-23 20:36:22 +0000alzgh(~alzgh@user/alzgh)
2021-09-23 20:36:40 +0000acidjnk(~acidjnk@p200300d0c703cb1858335af67d16cb54.dip0.t-ipconnect.de)
2021-09-23 20:44:14 +0000teddyc(theodorc@cassarossa.samfundet.no)
2021-09-23 20:45:40 +0000shailangsa(~shailangs@host217-39-45-200.range217-39.btcentralplus.com)
2021-09-23 20:46:31 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 20:46:58 +0000TDANG(~TDANG@inet-177-7.ets.org)
2021-09-23 20:49:27 +0000 <TDANG> How can I translate following statement
2021-09-23 20:49:31 +0000 <TDANG> hello :: Contract () EmptySchema T.Text ()
2021-09-23 20:49:41 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 20:49:41 +0000cfricke(~cfricke@user/cfricke)
2021-09-23 20:51:08 +0000 <maerwald> translate?
2021-09-23 20:51:23 +0000 <monochrom> Translate to what?
2021-09-23 20:51:31 +0000 <TDANG> I mean, interprete
2021-09-23 20:51:42 +0000 <TDANG> How do I understand that statement
2021-09-23 20:51:44 +0000 <maerwald> TDANG: did you follow the plutus pioneer program?
2021-09-23 20:51:52 +0000 <TDANG> Not yet
2021-09-23 20:51:56 +0000 <maerwald> please do so
2021-09-23 20:51:59 +0000 <maerwald> it's explained there
2021-09-23 20:52:14 +0000 <monochrom> Contract is a type, but it takes 4 type parameters. Here the 4 type parameters are given: (), EmptySchema, T.Text, ().
2021-09-23 20:52:45 +0000System123(~System123@151.52.127.10)
2021-09-23 20:52:46 +0000 <c_wraith> ixlun: ghc will inline and simplify in several cases, which will often achieve the same result. Though it won't do that across recursive functions, and there are other limits too.
2021-09-23 20:52:59 +0000 <c_wraith> ixlun: if you want to guarantee it happens at compile-time, you need to involve template haskell
2021-09-23 20:53:08 +0000System123(~System123@151.52.127.10) (Read error: Connection reset by peer)
2021-09-23 20:53:14 +0000 <monochrom> At this point you can do worse than checking out the documentation of this Contract type for real.
2021-09-23 20:53:48 +0000Guest2921(~chris@81.96.113.213) (Remote host closed the connection)
2021-09-23 20:54:43 +0000 <TDANG> Oh, I got you
2021-09-23 20:55:59 +0000 <monochrom> Well, either that, or you should learn Haskell syntax for real.
2021-09-23 20:56:19 +0000cfricke(~cfricke@user/cfricke) (Ping timeout: 252 seconds)
2021-09-23 20:56:20 +0000 <monochrom> And at this point I just mean syntax.
2021-09-23 20:56:32 +0000 <TDANG> great
2021-09-23 20:56:48 +0000 <TDANG> Is the plutus-pioneer-program here: https://github.com/input-output-hk/plutus-pioneer-program
2021-09-23 20:57:10 +0000 <monochrom> https://soupi.github.io/rfc/reading_simple_haskell/ can get you to be able to read/guess pretty quickly.
2021-09-23 20:58:18 +0000vysn(~vysn@user/vysn)
2021-09-23 20:58:39 +0000chris(~chris@81.96.113.213)
2021-09-23 20:58:44 +0000chrisGuest4945
2021-09-23 20:59:06 +0000Guest51(~Guest51@93-172-101-61.bb.netvision.net.il)
2021-09-23 20:59:21 +0000 <Guest51> can anyone help me? https://discourse.haskell.org/t/couldnt-figure-out-what-ghc-version-the-project-is-using/3310/5
2021-09-23 20:59:29 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 264 seconds)
2021-09-23 21:02:58 +0000Guest4945(~chris@81.96.113.213) (Ping timeout: 252 seconds)
2021-09-23 21:06:28 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 21:08:56 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-09-23 21:09:08 +0000michalz(~michalz@185.246.204.33) (Remote host closed the connection)
2021-09-23 21:09:50 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2021-09-23 21:10:16 +0000Lord_of_Life_Lord_of_Life
2021-09-23 21:11:47 +0000wrengr_awaywrengr
2021-09-23 21:12:04 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 21:14:04 +0000 <sshine> I'm trying to create a wrapper around 'req' that takes a 'ToJSON body => Maybe body' as argument. but my attempt fails because 'NoReqBody :: NoReqBody' and 'ReqBodyJson (toJSON body) :: ReqBodyJson Value' don't have the same type.
2021-09-23 21:15:09 +0000 <sshine> the 'req' function has a bunch of type-class constraints that allows it to take either one as argument, and I'm somehow failing to express some similar ones.
2021-09-23 21:15:41 +0000dextaa(~DV@user/dextaa) (Ping timeout: 252 seconds)
2021-09-23 21:15:50 +0000aliosablack(~chomwitt@athedsl-351887.home.otenet.gr) (Ping timeout: 265 seconds)
2021-09-23 21:16:59 +0000 <awpr> kinda sounds like you're doing something like `maybe NoReqBody ReqBodyJson` that's trying to unify those types
2021-09-23 21:17:14 +0000hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-09-23 21:17:35 +0000 <awpr> would probably need two different calls to `req` at different types instead
2021-09-23 21:18:33 +0000 <sshine> exactly that
2021-09-23 21:18:55 +0000 <sshine> I'll go with two.
2021-09-23 21:20:12 +0000 <sshine> thanks.
2021-09-23 21:20:50 +0000dextaa(~DV@user/dextaa)
2021-09-23 21:26:43 +0000slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (Ping timeout: 268 seconds)
2021-09-23 21:26:45 +0000sneedsfeed(~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com)
2021-09-23 21:27:57 +0000 <sneedsfeed> what should I use if I want to apply a function to a value, then apply that function again to the output repeatedly, each iteration evaluating that output for a condition?
2021-09-23 21:28:09 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 21:28:23 +0000Guest51(~Guest51@93-172-101-61.bb.netvision.net.il) (Quit: Client closed)
2021-09-23 21:28:36 +0000 <monochrom> Perhaps "until" helps. It's in Prelude.
2021-09-23 21:28:46 +0000 <sneedsfeed> thanks ill check it out
2021-09-23 21:32:42 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Ping timeout: 260 seconds)
2021-09-23 21:33:10 +0000pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 252 seconds)
2021-09-23 21:33:57 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-09-23 21:34:22 +0000 <sshine> > until (> 1000) (* 2) 1
2021-09-23 21:34:24 +0000 <lambdabot> 1024
2021-09-23 21:34:59 +0000 <maerwald> > until (const False) (* 2) 1
2021-09-23 21:35:07 +0000 <lambdabot> mueval-core: Time limit exceeded
2021-09-23 21:35:26 +0000 <Franciman> coding in C++ after 5 years of haskell
2021-09-23 21:35:33 +0000 <maerwald> it's like dropping a stone into a deep well
2021-09-23 21:36:00 +0000 <monochrom> > until (\e -> e+1 == 1) (/ 2) 1 :: Double
2021-09-23 21:36:02 +0000 <lambdabot> 1.1102230246251565e-16
2021-09-23 21:36:06 +0000 <monochrom> > until (\e -> e+1 == 1) (/ 2) 1 :: Float
2021-09-23 21:36:08 +0000 <lambdabot> 5.9604645e-8
2021-09-23 21:36:15 +0000 <monochrom> Instant machine epsilon :)
2021-09-23 21:36:17 +0000 <awpr> > until odd (*2) (1 :: Int)
2021-09-23 21:36:19 +0000 <lambdabot> 1
2021-09-23 21:36:40 +0000 <monochrom> See also https://gist.github.com/AndrewBarfield/2557034
2021-09-23 21:37:24 +0000 <hpc> monochrom: not quite epsilon
2021-09-23 21:37:29 +0000 <monochrom> Or perhaps I need to look ahead:
2021-09-23 21:37:37 +0000 <monochrom> > until (\e -> e/2+1 == 1) (/ 2) 1 :: Float
2021-09-23 21:37:39 +0000 <lambdabot> 1.1920929e-7
2021-09-23 21:37:41 +0000 <hpc> > until (\e -> e/2 == e) (/2) 1
2021-09-23 21:37:42 +0000 <lambdabot> 0.0
2021-09-23 21:37:50 +0000 <hpc> > until (\e -> e/2 == 0) (/2) 1
2021-09-23 21:37:51 +0000 <lambdabot> 5.0e-324
2021-09-23 21:37:54 +0000 <hpc> there we go
2021-09-23 21:38:08 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer)
2021-09-23 21:38:21 +0000 <monochrom> No, machine epsilon is not about e/2==0
2021-09-23 21:38:47 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-09-23 21:38:58 +0000 <hpc> oh, i see
2021-09-23 21:39:16 +0000 <hpc> it's about rounding error, not the smallest float
2021-09-23 21:40:24 +0000 <monochrom> e/2==0 tells you how much denormalized madness the machine goes out of its way to support.
2021-09-23 21:40:55 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 21:41:37 +0000 <hpc> > floor (1/0) -- the only number that matters
2021-09-23 21:41:38 +0000 <lambdabot> 1797693134862315907729305190789024733617976978942306572734300811577326758055...
2021-09-23 21:42:08 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2021-09-23 21:43:03 +0000 <monochrom> heh
2021-09-23 21:43:10 +0000 <monochrom> machine megatron
2021-09-23 21:45:20 +0000 <sshine> > toRational (read "NaN" :: Double)
2021-09-23 21:45:22 +0000 <lambdabot> (-26965397022934738615939577861835371004269654684134598591014512173659901370...
2021-09-23 21:45:36 +0000madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-09-23 21:46:13 +0000 <monochrom> machine batman. (because "nanananananana...")
2021-09-23 21:47:53 +0000 <hpc> meanwhile in marvel physics, doctor strange decays into doctor up
2021-09-23 21:47:57 +0000Cajun(~Cajun@user/cajun)
2021-09-23 21:48:25 +0000 <monochrom> haha
2021-09-23 21:54:59 +0000sneedsfeed(~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) (Ping timeout: 256 seconds)
2021-09-23 21:55:54 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 21:57:20 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-23 21:57:35 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-09-23 22:06:57 +0000kayprish(~kayprish@46.240.130.158)
2021-09-23 22:07:32 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-09-23 22:07:56 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-09-23 22:09:55 +0000chris(~chris@81.96.113.213)
2021-09-23 22:09:59 +0000chrisGuest728
2021-09-23 22:14:32 +0000Guest728(~chris@81.96.113.213) (Ping timeout: 252 seconds)
2021-09-23 22:15:06 +0000chris(~chris@81.96.113.213)
2021-09-23 22:15:10 +0000chrisGuest4036
2021-09-23 22:17:15 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-09-23 22:17:25 +0000Guest4036(~chris@81.96.113.213) (Remote host closed the connection)
2021-09-23 22:18:24 +0000chris(~chris@81.96.113.213)
2021-09-23 22:18:28 +0000chrisGuest866
2021-09-23 22:18:56 +0000nrl^(~nrl@12.203.127.82)
2021-09-23 22:21:57 +0000max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Quit: Leaving)
2021-09-23 22:23:04 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 22:23:15 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 22:26:09 +0000mousey(~sky@gateway/tor-sasl/mousey)
2021-09-23 22:26:20 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 22:28:14 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-09-23 22:43:19 +0000nrl^(~nrl@12.203.127.82) (Ping timeout: 265 seconds)
2021-09-23 22:46:26 +0000doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-09-23 22:50:29 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 22:50:31 +0000nrl^(~nrl@12.203.127.82)
2021-09-23 22:52:07 +0000kayprish(~kayprish@46.240.130.158) (Remote host closed the connection)
2021-09-23 22:53:17 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-23 22:53:50 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 22:54:35 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 22:54:48 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 22:56:15 +0000epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-23 23:03:55 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-09-23 23:05:19 +0000seiryn(~seiryn@2a01cb040147e000e4dbf764ff30bd96.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.2.1)
2021-09-23 23:06:36 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 23:07:11 +0000mousey(~sky@gateway/tor-sasl/mousey) (Remote host closed the connection)
2021-09-23 23:07:30 +0000mousey(~sky@gateway/tor-sasl/mousey)
2021-09-23 23:20:28 +0000madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds)
2021-09-23 23:23:00 +0000 <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-23 23:23:42 +0000 <geekosaur> because it's not defined as a class method
2021-09-23 23:23:59 +0000 <geekosaur> it's defined as `(<$>) = fmap` at the top level
2021-09-23 23:24:23 +0000 <geekosaur> it'd actually be bad as a method because that would allow them to have different definitions
2021-09-23 23:25:49 +0000 <zzz> ah right
2021-09-23 23:26:23 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 23:26:28 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 23:26:53 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 23:28:01 +0000vysn(~vysn@user/vysn) (Remote host closed the connection)
2021-09-23 23:32:38 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-09-23 23:36:25 +0000MQ-17J(~MQ-17J@8.21.10.6)
2021-09-23 23:36:43 +0000\Nova(~novadev@2405:4802:11d:af70:55d5:5371:aee0:b50e) (Quit: zzz...)
2021-09-23 23:36:48 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 23:37:06 +0000\Nova(~novadev@2405:4802:11d:af70:55d5:5371:aee0:b50e)
2021-09-23 23:37:06 +0000\Nova(~novadev@2405:4802:11d:af70:55d5:5371:aee0:b50e) (Client Quit)
2021-09-23 23:37:07 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 23:37:13 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 23:37:31 +0000acidjnk(~acidjnk@p200300d0c703cb1858335af67d16cb54.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-09-23 23:37:48 +0000\Nova(~novadev@2405:4802:11d:af70:55d5:5371:aee0:b50e)
2021-09-23 23:37:48 +0000\Nova(~novadev@2405:4802:11d:af70:55d5:5371:aee0:b50e) (Client Quit)
2021-09-23 23:38:10 +0000\Nova(~novadev@2405:4802:11d:af70:55d5:5371:aee0:b50e)
2021-09-23 23:38:10 +0000\Nova(~novadev@2405:4802:11d:af70:55d5:5371:aee0:b50e) (Client Quit)
2021-09-23 23:38:32 +0000\Nova(~novadev@2405:4802:11d:af70:55d5:5371:aee0:b50e)
2021-09-23 23:38:32 +0000\Nova(~novadev@2405:4802:11d:af70:55d5:5371:aee0:b50e) (Client Quit)
2021-09-23 23:38:49 +0000yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 23:40:47 +0000lavaman(~lavaman@98.38.249.169)
2021-09-23 23:47:08 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 23:47:22 +0000MQ-17J(~MQ-17J@8.21.10.6) (Ping timeout: 252 seconds)
2021-09-23 23:47:33 +0000Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 23:50:43 +0000xlei(akans@pool-68-129-84-118.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2021-09-23 23:51:34 +0000MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-23 23:57:23 +0000Guest2276(~pera@5ec231fc.skybroadband.com) (Ping timeout: 252 seconds)
2021-09-23 23:57:50 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 260 seconds)