IRCBrowse

2021/11/28

2021-11-28 00:02:07 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:02:26 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:04:06 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:04:24 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:06:04 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:06:22 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:06:55 +0100evocatus(~evocatus@213.193.2.105) (Quit: Leaving)
2021-11-28 00:08:22 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-11-28 00:10:03 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:10:21 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:12:01 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:12:19 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:13:59 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:14:06 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2021-11-28 00:14:17 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:15:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:16:15 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:17:55 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:18:13 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:19:45 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-11-28 00:21:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:22:16 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:23:51 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-11-28 00:25:07 +0100Cajun(~Cajun@user/cajun)
2021-11-28 00:25:55 +0100chomwitt(~chomwitt@94.69.34.153) (Ping timeout: 250 seconds)
2021-11-28 00:27:11 +0100accio(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 00:27:19 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal)
2021-11-28 00:29:23 +0100acciojonatanb
2021-11-28 00:32:43 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:33:07 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:33:49 +0100xcmw(~textual@dyn-72-33-0-245.uwnet.wisc.edu)
2021-11-28 00:34:14 +0100jmorris(uid433911@id-433911.hampstead.irccloud.com)
2021-11-28 00:34:29 +0100pfurla(~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…)
2021-11-28 00:37:45 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:38:02 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:38:37 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-11-28 00:39:17 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-11-28 00:41:47 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:42:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:43:13 +0100max22-(~maxime@2a01cb08833598002d178c07f23bab16.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-28 00:45:31 +0100slac59050(~slack1256@181.42.48.169) (Ping timeout: 268 seconds)
2021-11-28 00:46:14 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2021-11-28 00:46:30 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-11-28 00:47:01 +0100Jing(~hedgehog@2604:a840:3::1065) (Remote host closed the connection)
2021-11-28 00:47:11 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 00:47:28 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 00:47:39 +0100Jing(~hedgehog@2604:a840:3::1065)
2021-11-28 00:48:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 00:50:04 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-28 00:50:11 +0100xff0x(~xff0x@2001:1a81:53f8:4700:e80:8ab6:f849:2190) (Ping timeout: 250 seconds)
2021-11-28 00:51:02 +0100random-jellyfish(~random-je@user/random-jellyfish)
2021-11-28 00:51:10 +0100xff0x(~xff0x@2001:1a81:53f8:4700:f0ef:5c35:fcd3:7767)
2021-11-28 00:51:47 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit)
2021-11-28 00:52:01 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-28 00:57:36 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-28 00:58:08 +0100mmhat(~mmh@55d430d9.access.ecotel.net) (Quit: WeeChat 3.3)
2021-11-28 01:00:36 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-28 01:00:36 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-28 01:00:36 +0100wroathe(~wroathe@user/wroathe)
2021-11-28 01:02:31 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection)
2021-11-28 01:09:41 +0100hololeap(~hololeap@user/hololeap)
2021-11-28 01:09:48 +0100hololeap_(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-11-28 01:10:39 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-11-28 01:11:17 +0100random-jellyfish(~random-je@user/random-jellyfish) (Ping timeout: 256 seconds)
2021-11-28 01:14:13 +0100justsomeguy(~justsomeg@user/justsomeguy) (Client Quit)
2021-11-28 01:15:21 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 01:19:50 +0100deadmarshal(~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds)
2021-11-28 01:22:45 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-11-28 01:22:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-11-28 01:22:53 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-28 01:35:15 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 01:40:02 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-11-28 01:45:27 +0100Jing(~hedgehog@2604:a840:3::1065) (Remote host closed the connection)
2021-11-28 01:45:35 +0100lavaman(~lavaman@98.38.249.169)
2021-11-28 01:46:18 +0100Jing(~hedgehog@2604:a840:3::1065)
2021-11-28 02:01:39 +0100pfurla(~pfurla@201.17.118.230)
2021-11-28 02:03:25 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-11-28 02:04:41 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-28 02:05:24 +0100Midjak2(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-11-28 02:05:59 +0100Midjak2(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Remote host closed the connection)
2021-11-28 02:06:37 +0100Midjak2(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-11-28 02:07:49 +0100Midjak2(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Client Quit)
2021-11-28 02:08:31 +0100Midjak2(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-11-28 02:08:39 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Ping timeout: 260 seconds)
2021-11-28 02:10:05 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2021-11-28 02:10:42 +0100Midjak2(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Client Quit)
2021-11-28 02:11:14 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-11-28 02:11:42 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-11-28 02:11:59 +0100jumper149(~jumper149@static.6.71.203.116.clients.your-server.de) (Quit: WeeChat 3.3)
2021-11-28 02:13:04 +0100acidjnk_new(~acidjnk@p200300d0c7271e120859696da5d9d189.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-11-28 02:17:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-11-28 02:25:16 +0100renzhi(~xp@2607:fa49:6500:b100::5cef)
2021-11-28 02:26:09 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection)
2021-11-28 02:35:16 +0100Guest17(~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed)
2021-11-28 02:37:28 +0100bollu(uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-28 02:41:09 +0100x88x88x(~cheeg@gateway/vpn/pia/x88x88x)
2021-11-28 02:42:40 +0100jespada(~jespada@87.74.37.56) (Ping timeout: 268 seconds)
2021-11-28 02:43:21 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.3)
2021-11-28 02:44:31 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2021-11-28 02:44:32 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds)
2021-11-28 02:44:33 +0100pretty_d1(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-11-28 02:44:49 +0100jespada(~jespada@87.74.37.56)
2021-11-28 02:48:19 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-11-28 02:48:32 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-11-28 02:50:28 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep)
2021-11-28 02:55:00 +0100yaroot(~yaroot@47.70.30.125.dy.iij4u.or.jp) (Ping timeout: 268 seconds)
2021-11-28 03:00:29 +0100pretty_d1(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-11-28 03:05:23 +0100 <ozzloy> https://paste.tomsmeding.com/aiY7KeGt i want to take the length of a list, divide by 2, and see if the result is less than another number
2021-11-28 03:05:59 +0100 <ozzloy> > length [1,2] / 2 < 3
2021-11-28 03:06:00 +0100 <lambdabot> error:
2021-11-28 03:06:00 +0100 <lambdabot> • No instance for (Fractional Int) arising from a use of ‘/’
2021-11-28 03:06:00 +0100 <lambdabot> • In the first argument of ‘(<)’, namely ‘length [1, 2] / 2’
2021-11-28 03:06:31 +0100 <ozzloy> > 2 / 2
2021-11-28 03:06:33 +0100 <lambdabot> 1.0
2021-11-28 03:06:40 +0100 <ozzloy> > 1.0 < 3
2021-11-28 03:06:42 +0100 <lambdabot> True
2021-11-28 03:07:04 +0100 <ozzloy> > length [1,2] / 2
2021-11-28 03:07:06 +0100 <lambdabot> error:
2021-11-28 03:07:06 +0100 <lambdabot> • No instance for (Fractional Int) arising from a use of ‘/’
2021-11-28 03:07:06 +0100 <lambdabot> • In the expression: length [1, 2] / 2
2021-11-28 03:07:49 +0100 <EvanR> there's / and there's `div`
2021-11-28 03:08:07 +0100 <EvanR> > 22 / 7 -- float division
2021-11-28 03:08:09 +0100 <lambdabot> 3.142857142857143
2021-11-28 03:08:18 +0100 <EvanR> > 22 `div` 7 -- integer division
2021-11-28 03:08:19 +0100 <lambdabot> 3
2021-11-28 03:08:23 +0100 <ozzloy> > length [1,2]
2021-11-28 03:08:24 +0100 <lambdabot> 2
2021-11-28 03:08:27 +0100 <ozzloy> > 2 / 2
2021-11-28 03:08:29 +0100 <lambdabot> 1.0
2021-11-28 03:08:39 +0100 <EvanR> when you use / on literals they default to Double
2021-11-28 03:08:48 +0100 <EvanR> you can't use it on Ints
2021-11-28 03:09:10 +0100 <ozzloy> i see
2021-11-28 03:09:14 +0100 <EvanR> > length [1,2] `div` 2
2021-11-28 03:09:15 +0100 <lambdabot> 1
2021-11-28 03:09:18 +0100 <EvanR> > length [1,2,3] `div` 2
2021-11-28 03:09:19 +0100 <lambdabot> 1
2021-11-28 03:10:15 +0100 <ozzloy> so length gives back an integer, and '/' doesn't work on integers
2021-11-28 03:10:19 +0100superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4)
2021-11-28 03:10:21 +0100 <EvanR> pretty much
2021-11-28 03:10:46 +0100 <EvanR> unless you convert them to float first
2021-11-28 03:10:47 +0100 <ozzloy> i feel like it would be clearer if 2 / 2 also gave a type error
2021-11-28 03:10:57 +0100 <EvanR> heh
2021-11-28 03:11:29 +0100 <ozzloy> because as it stands, length [1,2] -> 2, and 2 / 2 works, but length [1,2] / 2 doesn't
2021-11-28 03:11:35 +0100 <EvanR> it's funny defaulting rules are probably there so beginners aren't so frustrated?
2021-11-28 03:11:39 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2021-11-28 03:12:02 +0100 <EvanR> trying stuff on the terminal like we are doing xD
2021-11-28 03:12:21 +0100 <ozzloy> it sure looks like substitution doesn't work in this instance, you can't replace an expression with something that reduces to it
2021-11-28 03:12:37 +0100 <EvanR> it doesn't work, until you remember that numeric literals have additional magic
2021-11-28 03:12:42 +0100 <ozzloy> go hard, or go home
2021-11-28 03:12:44 +0100 <EvanR> 2 isn't just 2
2021-11-28 03:12:58 +0100 <EvanR> it's a polymorphic value that depends on the results of type inference / checking
2021-11-28 03:13:07 +0100 <ozzloy> if you're going to go hard on types, go all the way
2021-11-28 03:13:12 +0100 <EvanR> :t 2
2021-11-28 03:13:13 +0100 <lambdabot> Num p => p
2021-11-28 03:13:30 +0100 <EvanR> so when you use it with /, it's not obviously a type error
2021-11-28 03:13:37 +0100 <EvanR> it depends on p
2021-11-28 03:13:59 +0100 <ozzloy> > div 3 2
2021-11-28 03:14:00 +0100 <EvanR> when you use it with length [1,2] :: Int, definitely a type error
2021-11-28 03:14:01 +0100 <lambdabot> 1
2021-11-28 03:14:10 +0100 <ozzloy> > div -3 -2
2021-11-28 03:14:11 +0100 <lambdabot> error:
2021-11-28 03:14:11 +0100 <lambdabot> • No instance for (Num (Integer -> Integer -> Integer))
2021-11-28 03:14:11 +0100 <lambdabot> arising from a use of ‘e_132’
2021-11-28 03:14:17 +0100 <EvanR> > div (-3) (-2)
2021-11-28 03:14:18 +0100 <lambdabot> 1
2021-11-28 03:14:36 +0100 <ozzloy> > div (-3) 2
2021-11-28 03:14:38 +0100 <lambdabot> -2
2021-11-28 03:14:44 +0100 <EvanR> > quot (-3) (-2)
2021-11-28 03:14:45 +0100 <lambdabot> 1
2021-11-28 03:14:58 +0100 <boxscape_> % :set -XLexicalNegation
2021-11-28 03:14:58 +0100 <yahb> boxscape_:
2021-11-28 03:14:59 +0100 <ozzloy> so div rounds towards negative infinity?
2021-11-28 03:15:01 +0100 <EvanR> > quot (-3) 2
2021-11-28 03:15:03 +0100 <lambdabot> -1
2021-11-28 03:15:06 +0100 <boxscape_> % quot -3 -2
2021-11-28 03:15:06 +0100 <yahb> boxscape_: 1
2021-11-28 03:15:58 +0100 <EvanR> > divMod (-3) 2
2021-11-28 03:15:59 +0100 <lambdabot> (-2,1)
2021-11-28 03:16:01 +0100 <ozzloy> well, in this case, div will do
2021-11-28 03:16:04 +0100 <EvanR> > quotRem (-3) 2
2021-11-28 03:16:05 +0100 <lambdabot> (-1,-1)
2021-11-28 03:16:20 +0100 <EvanR> they do the same thing if both arguments are positive
2021-11-28 03:19:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 03:20:51 +0100jmorris(uid433911@id-433911.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-28 03:21:55 +0100 <EvanR> ozzloy, you're going to hate this extension that lets you use "string literals" in the same way as number literals, they can be interpreted by a type class to become whatever value xD
2021-11-28 03:22:28 +0100 <EvanR> can be handy, and abuse xD
2021-11-28 03:22:34 +0100 <EvanR> d
2021-11-28 03:22:45 +0100 <ozzloy> heh
2021-11-28 03:22:58 +0100 <boxscape_> we've got the same thing for lists, too!
2021-11-28 03:23:04 +0100 <ozzloy> i am impressed and horrified
2021-11-28 03:24:57 +0100 <ozzloy> makes me think of #define i (rand() % i) from c
2021-11-28 03:25:00 +0100 <dsal> The list can lead to excitement.
2021-11-28 03:25:34 +0100 <ozzloy> that'll teach you to use single letter variables for iteration
2021-11-28 03:25:55 +0100 <EvanR> but single letter variables are awesome :'(
2021-11-28 03:26:39 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-28 03:26:53 +0100 <ozzloy> so, ok, it's implemented in a principled way
2021-11-28 03:27:13 +0100 <ozzloy> it's not a special hack for integers to sometimes be autoconverted to doubles
2021-11-28 03:28:17 +0100 <boxscape_> yeah implicit conversions aren't a thing in Haskell
2021-11-28 03:28:25 +0100 <dsal> No, you generally know what type you're dealing with.
2021-11-28 03:28:54 +0100 <ozzloy> well, maybe not me specifically, but someone well versed enough
2021-11-28 03:29:16 +0100 <EvanR> if you don't know what type you're dealing with, stop immediately
2021-11-28 03:29:26 +0100 <ozzloy> there are rules that can be learned that aren't just "except in that case, because."
2021-11-28 03:29:32 +0100 <boxscape_> the neat thing is you can usually tell what type you're dealing with by asking the compiler
2021-11-28 03:29:47 +0100 <boxscape_> > map ((+1) :: _) [1..5]
2021-11-28 03:29:49 +0100 <lambdabot> [2,3,4,5,6]
2021-11-28 03:29:57 +0100 <boxscape_> I expected it to tell me the type :(
2021-11-28 03:30:01 +0100 <dsal> Haha
2021-11-28 03:30:06 +0100 <boxscape_> % map ((+1) :: _) [1..5]
2021-11-28 03:30:06 +0100 <yahb> boxscape_: ; <interactive>:25:14: error:; * Found type wildcard `_' standing for `b -> b'; Where: `b' is a rigid type variable bound by; the inferred type of it :: (Enum b, Num b) => [b]; at <interactive>:25:1-22; To use the inferred type, enable PartialTypeSignatures; * In an expression type signature: _; In the first argument of `map', namely `((+ 1) :: _)';
2021-11-28 03:30:08 +0100 <dsal> You could try a value hole
2021-11-28 03:30:18 +0100 <boxscape_> I guess lambdabot has -XPartialTypeSignatures
2021-11-28 03:30:53 +0100 <ozzloy> "dear compiler, how long has it been since our last conversation. i can barely recall. it is with great excitement that i come to you for help in my time of need, for i am most certain that you will know the answer to my queries...
2021-11-28 03:31:27 +0100 <boxscape_> There has been some discussion about making compiler messages friendlier and sounding less like it's yelling at you about mistakes :)
2021-11-28 03:31:49 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 250 seconds)
2021-11-28 03:31:50 +0100 <EvanR> ozzloy, the relevant feature is called "defaults" ... https://www.haskell.org/onlinereport/decls.html#sect4.3.4
2021-11-28 03:32:09 +0100 <EvanR> since its related to ambiguous types, it's worth knowing xD
2021-11-28 03:32:16 +0100 <EvanR> since that's a common compilation error
2021-11-28 03:34:44 +0100 <EvanR> the formatting here needs work xD
2021-11-28 03:34:51 +0100 <ozzloy> i feel like it would be great to have a primer on haskell's types all by itself
2021-11-28 03:35:32 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2021-11-28 03:36:31 +0100 <EvanR> the ahem... default "default" rule appears to be
2021-11-28 03:36:32 +0100xff0x(~xff0x@2001:1a81:53f8:4700:f0ef:5c35:fcd3:7767) (Ping timeout: 240 seconds)
2021-11-28 03:36:33 +0100 <EvanR> default (Integer, Double)
2021-11-28 03:37:12 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 03:37:13 +0100 <EvanR> if Integer works, Integer, else try Double, else give up
2021-11-28 03:37:25 +0100 <ozzloy> i see
2021-11-28 03:37:34 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Ping timeout: 268 seconds)
2021-11-28 03:38:23 +0100xff0x(~xff0x@2001:1a81:523b:c600:3d37:9c6b:bc10:3149)
2021-11-28 03:41:47 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2021-11-28 03:41:48 +0100notzmv(~zmv@user/notzmv)
2021-11-28 03:43:19 +0100 <ozzloy> https://paste.tomsmeding.com/rh1Fc6SX i have "helper (pieces + 1) xs" in 3 places for the function "repeats" at the bottom
2021-11-28 03:43:37 +0100 <ozzloy> i feel like it could be better
2021-11-28 03:43:38 +0100alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-11-28 03:44:13 +0100 <EvanR> as long as helper pieces and xs are referring to the same thing in each place, it can be lifted out
2021-11-28 03:44:53 +0100 <ozzloy> the goal of repeats is to find the longest subsequence of xs where xs is some positive whole number repeats of that subsequence
2021-11-28 03:44:55 +0100 <EvanR> I guess, as we just discussed, 1 has to refer to the same kind of 1 in each place xD
2021-11-28 03:45:12 +0100 <ozzloy> heh
2021-11-28 03:45:21 +0100 <EvanR> it's your recursion call
2021-11-28 03:45:48 +0100 <EvanR> you can still lift it out thanks to lazy evaluation xD
2021-11-28 03:45:55 +0100 <ozzloy> the one on line 79 should never happen
2021-11-28 03:46:13 +0100 <ozzloy> "lift it out"
2021-11-28 03:46:19 +0100 <EvanR> if true, you could put error "impossible"
2021-11-28 03:47:21 +0100 <EvanR> but yeah the function could use some tidying
2021-11-28 03:48:19 +0100 <EvanR> here's what lifted it out could look like
2021-11-28 03:48:23 +0100 <EvanR> where
2021-11-28 03:48:44 +0100 <EvanR> helper pieces xs = let loop = helper (pieces + 1) xs in
2021-11-28 03:48:55 +0100 <EvanR> (all that other code with loop substituted)
2021-11-28 03:49:06 +0100wei2912(~wei2912@116.88.103.128)
2021-11-28 03:49:22 +0100wei2912(~wei2912@116.88.103.128) (Client Quit)
2021-11-28 03:49:25 +0100 <EvanR> not saying it's easier to read but it's less repetitive
2021-11-28 03:49:32 +0100 <ozzloy> i see
2021-11-28 03:50:24 +0100 <EvanR> oh, you have guards...
2021-11-28 03:51:08 +0100jbox(~jbox@user/jbox)
2021-11-28 03:52:02 +0100ubert(~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-11-28 03:53:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-11-28 03:54:06 +0100ubert(~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de)
2021-11-28 03:55:46 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3)
2021-11-28 03:55:54 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2021-11-28 03:56:40 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-11-28 03:56:47 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-28 03:56:57 +0100 <Square> if i have : class MyClz a where ; type MyType a. How can a function "fkn :: MyClz a => MyType a -> SomeType" be "non injective" regarding MyType. I thought it would defined solely by MyClz a?
2021-11-28 03:59:14 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-11-28 03:59:29 +0100ubert1(~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de)
2021-11-28 04:00:02 +0100renzhi(~xp@2607:fa49:6500:b100::5cef) (Ping timeout: 240 seconds)
2021-11-28 04:00:54 +0100ubert(~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-11-28 04:00:54 +0100ubert1ubert
2021-11-28 04:04:41 +0100 <EvanR> I'm not sure but, MyType could certainly be non injective
2021-11-28 04:04:43 +0100 <pavonia> Square: "type" is just a type synonym, so different instances could define the same type
2021-11-28 04:04:50 +0100 <EvanR> ^
2021-11-28 04:05:16 +0100 <EvanR> MyType a doesn't necessarily lead back to a
2021-11-28 04:05:24 +0100 <EvanR> only*
2021-11-28 04:08:25 +0100 <Square> yeah i saw that injectivity definition. f a ∼ f b implies a ∼ b
2021-11-28 04:11:36 +0100x88x88x(~cheeg@gateway/vpn/pia/x88x88x) (Ping timeout: 245 seconds)
2021-11-28 04:14:38 +0100 <Square> Oh seems TypeFamilyDependencies saved me for now atleast.
2021-11-28 04:17:15 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-11-28 04:17:15 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-11-28 04:17:15 +0100finn_elijaFinnElija
2021-11-28 04:19:07 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 04:21:32 +0100td_(~td@94.134.91.117) (Ping timeout: 240 seconds)
2021-11-28 04:21:59 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-11-28 04:23:36 +0100td_(~td@muedsl-82-207-238-244.citykom.de)
2021-11-28 04:24:41 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-11-28 04:34:02 +0100boxscape_(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-11-28 04:40:00 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2021-11-28 04:40:23 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net)
2021-11-28 04:44:20 +0100 <yin> what does this mean: [__0] rejecting: aoc2021-0.1.0.0 (conflict: requires LexicalNegation)
2021-11-28 04:44:23 +0100 <yin> ?
2021-11-28 04:44:38 +0100 <yin> i can't use LexicalNegation?
2021-11-28 04:46:47 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer)
2021-11-28 04:48:47 +0100Robin_Jadoul(~Robin_Jad@152.67.64.160)
2021-11-28 04:49:09 +0100jmorris(uid433911@id-433911.hampstead.irccloud.com)
2021-11-28 04:52:17 +0100jkaye(~jkaye@2601:281:8300:7530:ee04:303f:9e4f:aa70)
2021-11-28 04:52:32 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-11-28 04:52:57 +0100 <EvanR> maybe your ghc doesn't support it
2021-11-28 04:57:05 +0100superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Remote host closed the connection)
2021-11-28 04:57:23 +0100 <yin> i think that's it
2021-11-28 04:58:02 +0100 <yin> 8.10.7
2021-11-28 04:58:20 +0100superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4)
2021-11-28 04:58:43 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 04:58:47 +0100Jing(~hedgehog@2604:a840:3::1065) (Remote host closed the connection)
2021-11-28 04:59:08 +0100 <yushyin> LexicalNegation is since 9.0.1
2021-11-28 04:59:21 +0100Jing(~hedgehog@125.105.11.101)
2021-11-28 05:00:46 +0100deadmarshal(~deadmarsh@95.38.228.7) (Ping timeout: 245 seconds)
2021-11-28 05:00:59 +0100hiruji(~hiruji@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in)
2021-11-28 05:03:33 +0100superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Remote host closed the connection)
2021-11-28 05:05:02 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-11-28 05:14:43 +0100superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4)
2021-11-28 05:17:47 +0100hiruji(~hiruji@2606:6080:1002:9:ffc4:b9c1:20ad:82f9)
2021-11-28 05:17:51 +0100Robin_Jadoul(~Robin_Jad@152.67.64.160) (Ping timeout: 245 seconds)
2021-11-28 05:20:27 +0100jkaye(~jkaye@2601:281:8300:7530:ee04:303f:9e4f:aa70) (Ping timeout: 260 seconds)
2021-11-28 05:27:39 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Read error: Connection reset by peer)
2021-11-28 05:27:47 +0100superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Read error: Connection reset by peer)
2021-11-28 05:27:48 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-11-28 05:28:10 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-11-28 05:31:22 +0100superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4)
2021-11-28 05:32:27 +0100 <superstar64> How do I debug non-termination? Running this program takes up all my swap.
2021-11-28 05:32:36 +0100 <superstar64> *system memory and swap.
2021-11-28 05:37:55 +0100 <EvanR> Well other than profiling fu... you could try to narrow down where in the program is happening by excising 1/2 of the program at a time
2021-11-28 05:38:16 +0100 <EvanR> where in the program the loop is happening
2021-11-28 05:38:35 +0100 <EvanR> are you sure its non-termination and not just something very inefficient
2021-11-28 05:38:54 +0100 <EvanR> (is there any print outs or anything during the loop)
2021-11-28 05:41:48 +0100 <superstar64> EvanR, I kinda have this problem where running the program makes my system unusable.
2021-11-28 05:42:07 +0100 <EvanR> so it's using a lot of memory
2021-11-28 05:42:39 +0100 <EvanR> can you run it and press control C very fast to recover
2021-11-28 05:42:55 +0100 <EvanR> if so, that's your ticket to starting to bisect search through it
2021-11-28 05:45:16 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 05:50:06 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 05:51:53 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 05:53:33 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 05:55:34 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-11-28 05:55:42 +0100ubert(~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-11-28 05:55:51 +0100img(~img@user/img)
2021-11-28 05:57:19 +0100ubert(~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de)
2021-11-28 06:00:10 +0100justBOOMERjustache
2021-11-28 06:02:03 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-11-28 06:10:18 +0100 <yin> if i do readFile "./file" from src/Main.hs inside a cabal project is the path relative to Main.hs or the project's root?
2021-11-28 06:13:10 +0100 <EvanR> I would guess neither
2021-11-28 06:14:39 +0100 <EvanR> once the exe is compiled and run, the working directory (which can be changed at runtime) is ...... *gets a book on unix*
2021-11-28 06:15:59 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2021-11-28 06:17:02 +0100 <EvanR> https://en.wikipedia.org/wiki/Working_directory
2021-11-28 06:19:14 +0100 <EvanR> I actually have no idea what it is by default, but it could be e.g. the current working dir of the user who ran it for example. The cabal project is very unlikely as that will not be on the end users machine
2021-11-28 06:24:03 +0100mvk(~mvk@2607:fea8:5cc1:fa00::4702) (Ping timeout: 268 seconds)
2021-11-28 06:24:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-28 06:28:37 +0100deadmarshal(~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds)
2021-11-28 06:29:48 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-11-28 06:29:58 +0100gdown(~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2021-11-28 06:35:30 +0100reumeth(~reumeth@user/reumeth)
2021-11-28 06:36:00 +0100 <yin> i'm trying to set up a cabal project for advent of code where i have a folder "input" with one input file per day. the goal is to have one module per day, each module reading it's own file from that folder
2021-11-28 06:37:08 +0100 <sclv> typically if you're running an executable, the cwd is whatever directory your terminal happened to be in when you ran it
2021-11-28 06:37:36 +0100 <sclv> which is usually the top level of the cabal project, but obviously it can be anywhere
2021-11-28 06:39:37 +0100 <EvanR> so make sure the exe and the user are in that folder
2021-11-28 06:40:11 +0100 <sclv> well the exe need not be in that folder
2021-11-28 06:40:55 +0100 <EvanR> it would make it convenient to organize the days and run it
2021-11-28 06:41:01 +0100 <sclv> like if your exe is in ./dist-newstyle/foo/x/something/foo and you invoke it with that path then that's fine
2021-11-28 06:41:17 +0100 <sclv> your cwd is still where you invoked it from
2021-11-28 06:41:42 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-11-28 06:41:45 +0100 <sclv> alternately just pass the damn thing a path to the desired directory
2021-11-28 06:42:04 +0100 <EvanR> yeah it is pretty easy to type ./dist-newstyle/build/x86_64-linux/ghc-8.10.7/Nov2021-C-0.1.0.0/x/Nov2021-C/build/Nov2021-C/N^C2021-C
2021-11-28 06:42:24 +0100 <sclv> it is for me, since its tab-complete, tab complete, tab complete
2021-11-28 06:42:25 +0100 <EvanR> when did cabal start doing this crap xD
2021-11-28 06:42:38 +0100 <sclv> and thenceforth its "uparrow"
2021-11-28 06:42:39 +0100 <EvanR> my autocomplete gets caught up 4 times
2021-11-28 06:42:57 +0100 <sclv> do you not have an up arrow on your keyboard
2021-11-28 06:43:04 +0100 <EvanR> I just cabal run usually
2021-11-28 06:43:09 +0100 <sclv> that works too :-P
2021-11-28 06:43:14 +0100 <EvanR> so the command is not in my history lol
2021-11-28 06:43:31 +0100 <sclv> also it prints the path at the end of a build, so its double-click to select, copy, paste
2021-11-28 06:43:52 +0100 <sclv> or cabal list-bin
2021-11-28 06:44:27 +0100alzgh(~alzgh@user/alzgh)
2021-11-28 06:45:20 +0100nahcetan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-11-28 06:45:28 +0100n8chan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2021-11-28 06:46:03 +0100 <EvanR> why does it seem like a duplicate build tree under /x/
2021-11-28 06:46:27 +0100lavaman(~lavaman@98.38.249.169)
2021-11-28 06:49:06 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 06:49:57 +0100 <sclv> project structure means we need packages, and subcomponents both
2021-11-28 06:50:20 +0100 <sclv> i think potentially if we were very careful there's at most one too many directories
2021-11-28 06:50:46 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
2021-11-28 06:51:10 +0100 <sclv> but most naive attempts to factor it away have failed -- they look like they work, but eventually two subcomponents or something end up trying to put things in the same directory and name clashes can occur
2021-11-28 06:53:16 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-11-28 06:54:34 +0100 <sclv> like i don't recall exactly why you need the additional thing after /build/ but iirc there's some stuff that doesn't go in there but that ends up in /build directly (maybe preprocessor-related?) and if you collapsed the two you could get certain possible clashes
2021-11-28 06:55:14 +0100 <sclv> arguably what would be nice is if the final artifact was _also_ auto-symlinked to somewhere pleasant high up in the tree
2021-11-28 07:11:24 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-11-28 07:15:21 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 07:15:52 +0100xff0x(~xff0x@2001:1a81:523b:c600:3d37:9c6b:bc10:3149) (Ping timeout: 268 seconds)
2021-11-28 07:16:34 +0100xff0x(~xff0x@2001:1a81:523b:c600:8cc:44db:ddba:ac5d)
2021-11-28 07:23:08 +0100bliminse(~bliminse@host86-188-36-178.range86-188.btcentralplus.com) (Quit: Lost terminal)
2021-11-28 07:26:52 +0100bliminse(~bliminse@host86-188-36-178.range86-188.btcentralplus.com)
2021-11-28 07:29:54 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-11-28 07:31:27 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2021-11-28 07:31:38 +0100pragma-(~chaos@user/pragmatic-chaos)
2021-11-28 07:37:25 +0100phma_(~phma@host-67-44-208-5.hnremote.net)
2021-11-28 07:37:27 +0100phma_(~phma@host-67-44-208-5.hnremote.net) (Read error: Connection reset by peer)
2021-11-28 07:37:52 +0100phma_(~phma@host-67-44-208-5.hnremote.net)
2021-11-28 07:38:08 +0100phma(phma@2001:5b0:2144:5518:1989:d92a:fa65:167d) (Read error: Connection reset by peer)
2021-11-28 07:42:17 +0100p3n_p3n
2021-11-28 07:42:27 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-11-28 07:42:49 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2021-11-28 07:43:02 +0100jmorris(uid433911@id-433911.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-28 07:43:26 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 07:44:57 +0100lavaman(~lavaman@98.38.249.169)
2021-11-28 07:49:02 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-11-28 07:51:03 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-11-28 07:56:20 +0100ubert(~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-11-28 07:56:28 +0100yaroot(~yaroot@52.102.13.160.dy.iij4u.or.jp)
2021-11-28 07:58:41 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 07:58:58 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:00:38 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:00:47 +0100ubert(~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de)
2021-11-28 08:00:56 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:01:18 +0100superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Quit: Leaving)
2021-11-28 08:04:55 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:05:13 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:09:20 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:09:38 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:13:25 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:13:43 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:15:23 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:15:41 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:15:46 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds)
2021-11-28 08:16:19 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-11-28 08:19:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:19:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:20:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 08:24:12 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:24:30 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:26:18 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:26:36 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:30:24 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:30:41 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:32:21 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:32:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:32:59 +0100davean(~davean@davean.sciesnet.net) (Quit: WeeChat 2.8)
2021-11-28 08:33:07 +0100davean(~davean@davean.sciesnet.net)
2021-11-28 08:34:47 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:35:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:36:02 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:36:19 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:37:59 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:39:56 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:41:36 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:41:54 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:43:34 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:43:52 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:46:07 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:46:24 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:48:04 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:48:22 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:49:35 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-11-28 08:50:29 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 08:50:31 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-28 08:50:58 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-11-28 08:52:50 +0100ph88^(~ph88@ip5f5af068.dynamic.kabel-deutschland.de) (Quit: Leaving)
2021-11-28 08:54:30 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:54:47 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:55:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-11-28 08:55:23 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-11-28 08:55:23 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-11-28 08:57:03 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 08:57:20 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 08:58:50 +0100deadmarshal(~deadmarsh@95.38.228.7) (Ping timeout: 268 seconds)
2021-11-28 09:01:01 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 09:01:19 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 09:02:19 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-11-28 09:05:05 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 09:06:37 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 09:06:54 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 09:07:34 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 09:07:50 +0100random-jellyfish(~random-je@user/random-jellyfish)
2021-11-28 09:10:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 09:13:20 +0100xcmw(~textual@dyn-72-33-0-245.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-11-28 09:15:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 09:20:44 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 09:21:40 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-28 09:21:43 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 09:22:00 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 09:23:40 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 09:27:44 +0100chomwitt(~chomwitt@2a02:587:dc14:4600:12c3:7bff:fe6d:d374)
2021-11-28 09:30:59 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-11-28 09:32:07 +0100gehmehgeh(~user@user/gehmehgeh)
2021-11-28 09:34:29 +0100namkeleser(~namkelese@101.175.102.188) (Ping timeout: 256 seconds)
2021-11-28 09:35:40 +0100aliosablack(~chomwitt@2a02:587:dc16:f200:12c3:7bff:fe6d:d374)
2021-11-28 09:38:12 +0100chomwitt(~chomwitt@2a02:587:dc14:4600:12c3:7bff:fe6d:d374) (Ping timeout: 265 seconds)
2021-11-28 09:39:34 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2021-11-28 09:41:40 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-11-28 09:42:15 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi)
2021-11-28 09:46:33 +0100x88x88x(~cheeg@gateway/vpn/pia/x88x88x)
2021-11-28 09:49:38 +0100mmhat(~mmh@55d4d614.access.ecotel.net)
2021-11-28 09:49:38 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2021-11-28 09:50:01 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-28 09:54:38 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 265 seconds)
2021-11-28 09:54:45 +0100SSCC(~SSCC@59-102-95-229.tpgi.com.au)
2021-11-28 09:54:57 +0100deadmarshal(~deadmarsh@95.38.228.7) (Ping timeout: 268 seconds)
2021-11-28 09:55:28 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-28 09:57:37 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 09:58:54 +0100x88x88x(~cheeg@gateway/vpn/pia/x88x88x) (Remote host closed the connection)
2021-11-28 09:59:40 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-11-28 10:01:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 10:02:28 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-28 10:07:36 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-28 10:10:45 +0100random-jellyfish(~random-je@user/random-jellyfish) (Ping timeout: 256 seconds)
2021-11-28 10:10:56 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 10:14:47 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-11-28 10:14:56 +0100aliosablack(~chomwitt@2a02:587:dc16:f200:12c3:7bff:fe6d:d374) (Ping timeout: 265 seconds)
2021-11-28 10:14:56 +0100acidjnk_new(~acidjnk@p200300d0c7271e120859696da5d9d189.dip0.t-ipconnect.de)
2021-11-28 10:15:14 +0100 <arahael> I'm trying to make sense of the new Amazonka 2.0 API, and it's very confusing. How should I make a "Paths"? (Reference: https://github.com/brendanhay/amazonka/blob/aeecded1501510d607082bb9a65aa5086755251f/lib/services/… )
2021-11-28 10:15:25 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-11-28 10:15:57 +0100 <arahael> It seems to suggest that I should use 'newPaths', but the implementation doesn't make sense there... I've got a bunch of paths I want to invalidate, why would I use provide 'nothing'?
2021-11-28 10:17:48 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-11-28 10:17:48 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2021-11-28 10:17:51 +0100allbery_bgeekosaur
2021-11-28 10:18:02 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving)
2021-11-28 10:19:15 +0100 <arahael> I mean, the implementation is: newPaths pQuantity_ = Paths' { items = Prelude.Nothing, quantity = pQuantity_ }
2021-11-28 10:19:21 +0100 <arahael> That makes no sense, does it?
2021-11-28 10:23:13 +0100 <jackdk> arahael: general amazonka convention: newFoo makes a "minimal" value of a shape (all required fields provided) and then you use lenses to set the remaining fields
2021-11-28 10:23:45 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 10:25:09 +0100 <jackdk> arahael: https://github.com/brendanhay/amazonka/blob/0ccede621e56fb6f240e4850e205cde82d0e4a4b/examples/src/… look at the way `newTagging` is assembled
2021-11-28 10:27:25 +0100 <arahael> jackdk: Why would the number of items differ from the contents, though? It seems a bit weird.
2021-11-28 10:27:54 +0100 <arahael> jackdk: So basically I provide the paths twice - firstly in that 'newPaths' to set the count, and then using lenses again to give the actual paths again?
2021-11-28 10:28:31 +0100 <arahael> jackdk: I'm also getting the impression that, eg in that example, @"tagSet" isn't actually a string?
2021-11-28 10:29:20 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-11-28 10:29:42 +0100 <jackdk> arahael: it probably wouldn't - amazonka is generated by parsing service and payload defintions from aws' botocore project
2021-11-28 10:30:06 +0100 <jackdk> arahael: @"tagSet" is an explicit type application - that's the @ - of a type-level string "tagSet"
2021-11-28 10:30:14 +0100 <jackdk> arahael: see https://hackage.haskell.org/package/generic-lens
2021-11-28 10:31:52 +0100 <arahael> Well, that works. I guess I really do need to give generic-lens a proper read now, and figure out what "type-level strings" are.
2021-11-28 10:31:55 +0100 <arahael> Thanks again :)
2021-11-28 10:32:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-11-28 10:32:40 +0100 <arahael> I'll rewrite the 'runAWST' using bit another time :) Slow-and-steady... Between nethack games, of course. :)
2021-11-28 10:33:18 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-11-28 10:35:35 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-11-28 10:35:45 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving)
2021-11-28 10:35:54 +0100 <jackdk> arahael: I would probably shove the Env into whatever ReaderT you have lying around, and then write your own wrapper around `send` which feeds the Env to amazonka's send
2021-11-28 10:36:42 +0100 <arahael> jackdk: That's the thing, I very rarely even use ReaderT - infact, I've barely learnt about MonadTransformers, though I'm aware of the need to do 'liftIO' and the like when I need to get into that.
2021-11-28 10:39:32 +0100pfurla(~pfurla@201.17.118.230) (Read error: Connection reset by peer)
2021-11-28 10:39:38 +0100pfurla_(~pfurla@2804:14d:5c81:4104:c02e:81ef:e775:3a9e)
2021-11-28 10:39:49 +0100lavaman(~lavaman@98.38.249.169)
2021-11-28 10:40:05 +0100 <jackdk> arahael: I see. https://github.com/qfpl/applied-fp-course might be a good read for you then, in particular bonus/mtl.md
2021-11-28 10:40:08 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection)
2021-11-28 10:41:03 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 260 seconds)
2021-11-28 10:41:10 +0100 <arahael> jackdk: Thanks for the recommendation. :) I'll check it out.
2021-11-28 10:42:30 +0100 <arahael> Woo, and as a bonus, that's an example of markdown-based literate haskell. I was going to play with that for the Advent of Code!
2021-11-28 10:45:25 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 10:46:19 +0100random-jellyfish(~random-je@user/random-jellyfish)
2021-11-28 10:50:09 +0100SSCC(~SSCC@59-102-95-229.tpgi.com.au) (Quit: Client closed)
2021-11-28 10:50:13 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-11-28 10:51:09 +0100 <arahael> Hmm, I should probably find some time to do those data61 courses again.
2021-11-28 10:51:23 +0100 <arahael> (Probably lots I've forgotten or missed)
2021-11-28 10:59:41 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-11-28 11:00:32 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2021-11-28 11:01:28 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-11-28 11:03:40 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 11:04:40 +0100boxscape_(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de)
2021-11-28 11:05:22 +0100chomwitt(~chomwitt@2a02:587:dc16:f200:12c3:7bff:fe6d:d374)
2021-11-28 11:08:50 +0100ubert(~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-11-28 11:09:47 +0100deadmarshal(~deadmarsh@95.38.228.7) (Quit: ZNC 1.8.2 - https://znc.in)
2021-11-28 11:10:00 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-11-28 11:10:12 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 11:11:55 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 11:12:12 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 11:15:53 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 11:16:11 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 11:16:20 +0100aliosablack(~chomwitt@2a02:587:dc16:f200:12c3:7bff:fe6d:d374)
2021-11-28 11:16:20 +0100chomwitt(~chomwitt@2a02:587:dc16:f200:12c3:7bff:fe6d:d374) (Read error: Connection reset by peer)
2021-11-28 11:18:00 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 11:18:16 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 11:20:31 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 11:20:48 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 11:21:30 +0100jmorris(uid433911@id-433911.hampstead.irccloud.com)
2021-11-28 11:22:27 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection)
2021-11-28 11:24:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 11:30:39 +0100deadmarshal(~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds)
2021-11-28 11:30:47 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-28 11:31:31 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-11-28 11:33:42 +0100hololeap_(~hololeap@user/hololeap)
2021-11-28 11:33:48 +0100hololeap(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-11-28 11:34:38 +0100fef(~thedawn@user/thedawn)
2021-11-28 11:34:46 +0100x88x88x(~cheeg@218.212.160.154)
2021-11-28 11:36:39 +0100hololeap_(~hololeap@user/hololeap) (Remote host closed the connection)
2021-11-28 11:37:54 +0100hololeap_(~hololeap@user/hololeap)
2021-11-28 11:37:59 +0100xff0x(~xff0x@2001:1a81:523b:c600:8cc:44db:ddba:ac5d) (Ping timeout: 260 seconds)
2021-11-28 11:38:08 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 11:38:46 +0100xff0x(~xff0x@2001:1a81:523b:c600:f9b1:c475:746a:8f2c)
2021-11-28 11:40:32 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-28 11:42:33 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Ping timeout: 256 seconds)
2021-11-28 11:45:20 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 268 seconds)
2021-11-28 11:49:37 +0100jstolarek(~jstolarek@137.220.120.162)
2021-11-28 11:52:11 +0100random-jellyfish(~random-je@user/random-jellyfish) (Ping timeout: 256 seconds)
2021-11-28 11:52:25 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 11:57:37 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-11-28 11:57:51 +0100jstolarek(~jstolarek@137.220.120.162) (Ping timeout: 256 seconds)
2021-11-28 11:59:19 +0100linkedlistist(uid528169@lymington.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-28 11:59:42 +0100fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-11-28 12:00:06 +0100fef(~thedawn@user/thedawn)
2021-11-28 12:01:08 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-11-28 12:15:37 +0100Robin_Jadoul(~Robin_Jad@152.67.64.160)
2021-11-28 12:21:54 +0100cosimone(~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3)
2021-11-28 12:24:48 +0100Robin_Jadoul(~Robin_Jad@152.67.64.160) (Ping timeout: 268 seconds)
2021-11-28 12:26:23 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2021-11-28 12:27:23 +0100zaquest(~notzaques@5.130.79.72)
2021-11-28 12:28:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 12:29:35 +0100x88x88x(~cheeg@218.212.160.154) (Ping timeout: 256 seconds)
2021-11-28 12:35:18 +0100desantra(~skykanin@user/skykanin)
2021-11-28 12:35:32 +0100kennyd(~bc8165b6@cerf.good1.com)
2021-11-28 12:38:27 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-11-28 12:40:54 +0100neurocyte0132889(~neurocyte@94.16.91.65)
2021-11-28 12:40:54 +0100neurocyte0132889(~neurocyte@94.16.91.65) (Changing host)
2021-11-28 12:40:54 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-11-28 12:42:18 +0100Robin_Jadoul(~Robin_Jad@152.67.64.160)
2021-11-28 12:43:59 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-11-28 12:45:10 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-28 12:51:58 +0100Guest17(~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-11-28 12:53:53 +0100jstolarek(~jstolarek@137.220.120.162)
2021-11-28 12:56:44 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
2021-11-28 13:00:14 +0100jstolarek(~jstolarek@137.220.120.162) (Ping timeout: 256 seconds)
2021-11-28 13:01:41 +0100neurocyte0132889(~neurocyte@94.16.91.65)
2021-11-28 13:01:41 +0100neurocyte0132889(~neurocyte@94.16.91.65) (Changing host)
2021-11-28 13:01:41 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-11-28 13:03:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-11-28 13:06:44 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep)
2021-11-28 13:07:51 +0100lyiriyah`(~lyiriyah@2a00:23c8:5f85:9101:2e5c:cadb:3fa7:7a3b)
2021-11-28 13:08:00 +0100lyiriyah`(~lyiriyah@2a00:23c8:5f85:9101:2e5c:cadb:3fa7:7a3b) (Remote host closed the connection)
2021-11-28 13:09:18 +0100rtsn(~nstr@c-c7fe225c.07-59-7570703.bbcust.telenor.se) (Ping timeout: 256 seconds)
2021-11-28 13:11:08 +0100Guest17(~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed)
2021-11-28 13:16:19 +0100forell_forell
2021-11-28 13:16:56 +0100forell(~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Changing host)
2021-11-28 13:16:56 +0100forell(~forell@user/forell)
2021-11-28 13:19:03 +0100pfurla(~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552)
2021-11-28 13:22:28 +0100pfurla_(~pfurla@2804:14d:5c81:4104:c02e:81ef:e775:3a9e) (Ping timeout: 265 seconds)
2021-11-28 13:23:49 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 13:27:04 +0100hskpracticehskpr
2021-11-28 13:30:21 +0100jakalx(~jakalx@base.jakalx.net)
2021-11-28 13:30:51 +0100boxscape_(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Quit: Connection closed)
2021-11-28 13:35:17 +0100hskpr(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 13:35:35 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 13:39:21 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 13:39:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 13:41:04 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 13:41:15 +0100pfurla(~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552) (Quit: gone to sleep. ZZZzzz…)
2021-11-28 13:43:05 +0100namkeleser(~namkelese@101.175.102.188)
2021-11-28 13:44:57 +0100deadmarshal(~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds)
2021-11-28 13:46:23 +0100lavaman(~lavaman@98.38.249.169)
2021-11-28 13:48:04 +0100_ht_(~quassel@94.198.43.109)
2021-11-28 13:48:05 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Ping timeout: 265 seconds)
2021-11-28 13:50:48 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 13:51:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 13:51:11 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-11-28 13:52:37 +0100machinedgod(~machinedg@24.105.81.50)
2021-11-28 13:53:01 +0100pfurla(~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552)
2021-11-28 13:54:03 +0100pfurla(~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552) (Client Quit)
2021-11-28 13:55:13 +0100pfurla(~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552)
2021-11-28 13:56:09 +0100pfurla(~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552) (Client Quit)
2021-11-28 13:57:49 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 13:58:06 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 13:59:36 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 13:59:53 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 14:01:33 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 14:01:58 +0100MoC(~moc@user/moc)
2021-11-28 14:03:32 +0100koz(~koz@121.99.240.58) (Ping timeout: 240 seconds)
2021-11-28 14:04:18 +0100nckx(~nckx@tobias.gr) (Ping timeout: 260 seconds)
2021-11-28 14:05:21 +0100namkeleser(~namkelese@101.175.102.188) (Ping timeout: 256 seconds)
2021-11-28 14:07:49 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-11-28 14:10:24 +0100koz(~koz@121.99.240.58)
2021-11-28 14:10:41 +0100namkeleser(~namkelese@101.175.102.188)
2021-11-28 14:16:05 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-11-28 14:17:52 +0100MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-11-28 14:18:43 +0100lavaman(~lavaman@98.38.249.169)
2021-11-28 14:19:31 +0100namkeleser(~namkelese@101.175.102.188) (Ping timeout: 256 seconds)
2021-11-28 14:20:23 +0100shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-11-28 14:21:39 +0100 <yin> how can I cabal run with command line arguments?
2021-11-28 14:22:44 +0100 <Franciman> cabal run progname -- arguments
2021-11-28 14:22:56 +0100 <Franciman> I don't remember if you actually need --
2021-11-28 14:23:22 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-11-28 14:23:48 +0100mcglk_(~mcglk@131.191.49.120) (Read error: Connection reset by peer)
2021-11-28 14:24:07 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-11-28 14:25:03 +0100 <yin> ah, i was missing progname
2021-11-28 14:25:18 +0100 <yin> thanks
2021-11-28 14:29:40 +0100 <geekosaur> you need -- if it takes options starting with -, otherwise they'll be eaten by cabal
2021-11-28 14:29:56 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net)
2021-11-28 14:29:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 14:33:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 14:34:32 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan)
2021-11-28 14:34:40 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2021-11-28 14:47:54 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 14:49:51 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 14:53:33 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-28 14:56:34 +0100reumeth(~reumeth@user/reumeth) (Ping timeout: 260 seconds)
2021-11-28 14:58:17 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-28 14:59:00 +0100 <albet70> what kleisli arrow is used for?
2021-11-28 14:59:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 14:59:50 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-28 15:00:16 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-28 15:01:12 +0100jmorris(uid433911@id-433911.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-28 15:01:15 +0100 <Rembane_> :t (>=>) -- Are you thinking of this one, albet70?
2021-11-28 15:01:16 +0100 <lambdabot> Monad m => (a -> m b) -> (b -> m c) -> a -> m c
2021-11-28 15:01:35 +0100 <albet70> yes
2021-11-28 15:01:48 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-28 15:01:55 +0100 <albet70> effect?
2021-11-28 15:02:23 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-28 15:04:19 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 15:04:20 +0100cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2021-11-28 15:04:22 +0100cheater1__(~Username@user/cheater)
2021-11-28 15:04:25 +0100cheater1__cheater
2021-11-28 15:04:35 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2)
2021-11-28 15:05:09 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 15:05:26 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 15:07:06 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 15:07:08 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-11-28 15:07:43 +0100 <albet70> >>= is an advanced version of <$> which can do if-else, is >=> an advanced version of >>=?
2021-11-28 15:08:10 +0100 <hpc> @src (>=>)
2021-11-28 15:08:10 +0100 <lambdabot> Source not found. Do you think like you type?
2021-11-28 15:08:14 +0100 <hpc> bah
2021-11-28 15:08:18 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 15:08:27 +0100 <hpc> (>=>) is defined in terms of (>>=)
2021-11-28 15:08:41 +0100zer0bitz(~zer0bitz@dsl-hkibng31-54fabc-15.dhcp.inet.fi)
2021-11-28 15:08:43 +0100 <hpc> https://hackage.haskell.org/package/base-4.16.0.0/docs/src/Control.Monad.html#%3E%3D%3E
2021-11-28 15:09:29 +0100 <hpc> if you consider (<=<) instead, it has some nice parallels to (.)
2021-11-28 15:09:31 +0100 <hpc> :t (<=<)
2021-11-28 15:09:32 +0100 <lambdabot> Monad m => (b -> m c) -> (a -> m b) -> a -> m c
2021-11-28 15:09:35 +0100 <hpc> :t (.)
2021-11-28 15:09:36 +0100 <lambdabot> (b -> c) -> (a -> b) -> a -> c
2021-11-28 15:09:57 +0100 <hpc> so it's like function composition with extra goodies
2021-11-28 15:10:47 +0100jstolarek(~jstolarek@137.220.120.162)
2021-11-28 15:11:38 +0100 <hpc> :t (=<<)
2021-11-28 15:11:39 +0100 <lambdabot> Monad m => (a -> m b) -> m a -> m b
2021-11-28 15:11:40 +0100 <hpc> :t ($)
2021-11-28 15:11:40 +0100 <lambdabot> (a -> b) -> a -> b
2021-11-28 15:11:49 +0100 <hpc> ^ is another point of comparison
2021-11-28 15:12:42 +0100cosimone`(~user@93-44-184-115.ip98.fastwebnet.it)
2021-11-28 15:14:02 +0100cosimone(~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Ping timeout: 240 seconds)
2021-11-28 15:14:22 +0100 <albet70> . is a subset of <=<?
2021-11-28 15:15:19 +0100 <albet70> why people prefer <<= than <=<?
2021-11-28 15:15:32 +0100Robin_Jadoul(~Robin_Jad@152.67.64.160) (Quit: Robin_Jadoul)
2021-11-28 15:15:48 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection)
2021-11-28 15:16:00 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 15:16:06 +0100 <albet70> :t (<<=)
2021-11-28 15:16:07 +0100 <lambdabot> error:
2021-11-28 15:16:07 +0100 <lambdabot> • Variable not in scope: <<=
2021-11-28 15:16:07 +0100 <lambdabot> • Perhaps you meant one of these:
2021-11-28 15:16:21 +0100 <Rembane_> albet70: If you already have a value =<< is much easier to work with. :)
2021-11-28 15:16:49 +0100helby(helby@alpine/moderator/helby)
2021-11-28 15:16:57 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection)
2021-11-28 15:17:07 +0100 <Rembane_> albet70: getLine >>= putStrLn -- is easier than:
2021-11-28 15:17:09 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 15:17:36 +0100 <hpc> yeah, (<=<) is more useful for the theoretical connections
2021-11-28 15:17:45 +0100 <Rembane_> albet70: (const getLine) >=> putStrLn ()
2021-11-28 15:18:12 +0100 <hpc> being able to wave your hands and say "Kleisli is a category" makes various other things possible
2021-11-28 15:18:16 +0100 <Rembane_> Indeed, although both (<=<) and (>=>) are very nice for doing pointless style programming with monads.
2021-11-28 15:18:40 +0100lavaman(~lavaman@98.38.249.169)
2021-11-28 15:21:31 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 15:21:38 +0100 <helby> Hello people, I got some error during cabal build > linux-musl/bin/ld: cannot find -lffi Any idea? https://envs.sh/Eub.txt
2021-11-28 15:21:49 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 15:22:59 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-11-28 15:25:47 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 15:26:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 15:26:47 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-28 15:28:18 +0100acidjnk_new(~acidjnk@p200300d0c7271e120859696da5d9d189.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-11-28 15:28:24 +0100 <helby> I would say, I failed in fail
2021-11-28 15:28:35 +0100 <helby> hups not, here
2021-11-28 15:31:13 +0100 <albet70> >>= :: (e->a) -> (a->e->b) ->e -> b is ok?
2021-11-28 15:31:24 +0100fusion86(~fusion@2a02-a44c-e6e5-1-f563-676f-4b4e-88fc.fixed6.kpn.net)
2021-11-28 15:31:49 +0100 <geekosaur> % :t (>>=) @((->) _)
2021-11-28 15:31:49 +0100 <yahb> geekosaur: (w -> a) -> (a -> w -> b) -> w -> b
2021-11-28 15:33:08 +0100 <geekosaur> which is the same as: (w -> a) -> (a -> w -> b) -> (w -> b)
2021-11-28 15:33:23 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2021-11-28 15:33:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-28 15:33:51 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-11-28 15:34:15 +0100 <albet70> :% :t (<=<) @((->) _)
2021-11-28 15:34:36 +0100 <albet70> % :t (<=<) @((->) _)
2021-11-28 15:34:36 +0100 <yahb> albet70: (b -> w -> c) -> (a -> w -> b) -> a -> w -> c
2021-11-28 15:36:33 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 15:36:51 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 15:39:37 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-11-28 15:41:26 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-11-28 15:42:46 +0100 <fusion86> Hey all, for a homework assignment we have to write a simple ical parser. So far so good. However I am currently stuck on verifying whether the lexed tokens actually from a valid structure. For this I need to check whether a token at a given position is of a certain type. I currently do this with a crappy pattern match, but I was wondering whether there is a better way to solve this. Code: https://paste.tomsmeding.co
2021-11-28 15:42:46 +0100 <fusion86> m/aML9L05e
2021-11-28 15:43:01 +0100 <fusion86> Non-linebroken link: https://paste.tomsmeding.com/aML9L05e
2021-11-28 15:43:03 +0100desantra(~skykanin@user/skykanin) (Quit: WeeChat 3.3)
2021-11-28 15:44:01 +0100 <fusion86> This does use an in house parser, but the pattern match thingy should be understandable without knowing about the parser lib.
2021-11-28 15:44:57 +0100acidjnk_new(~acidjnk@p200300d0c7271e12682d634f453929c6.dip0.t-ipconnect.de)
2021-11-28 15:45:11 +0100renzhi(~xp@2607:fa49:6500:b100::5cef)
2021-11-28 15:45:46 +0100 <helby> fixed, missed libffi-dev crap
2021-11-28 15:47:26 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 15:47:44 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 15:49:24 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 15:49:26 +0100 <albet70> % :t (>=>) @((->) _)
2021-11-28 15:49:26 +0100 <yahb> albet70: (a -> w -> b) -> (b -> w -> c) -> a -> w -> c
2021-11-28 15:49:41 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 15:51:21 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 15:51:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 15:52:19 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 260 seconds)
2021-11-28 15:54:13 +0100waleee(~waleee@h-82-196-111-63.NA.cust.bahnhof.se)
2021-11-28 15:56:26 +0100haask(~harry@92.234.0.237)
2021-11-28 15:57:08 +0100haask(~harry@92.234.0.237) (Remote host closed the connection)
2021-11-28 15:58:33 +0100haask(~harry@92.234.0.237)
2021-11-28 15:59:16 +0100hololeap_hololeap
2021-11-28 16:02:03 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 16:02:20 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 16:03:02 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-11-28 16:03:50 +0100waleee(~waleee@h-82-196-111-63.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2021-11-28 16:04:33 +0100 <albet70> I wonder what's the case to use >>= and >=> on function form
2021-11-28 16:05:15 +0100jkaye(~jkaye@2601:281:8300:7530:9397:8874:2ff1:8d72)
2021-11-28 16:06:01 +0100 <geekosaur> we don't, usually. but the Functor instance is useful and we get the Applicative and Monad instances "for free", as it were
2021-11-28 16:06:21 +0100 <geekosaur> every so often we use those, but they tend to make for really confusing code
2021-11-28 16:07:33 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 250 seconds)
2021-11-28 16:07:53 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-11-28 16:08:19 +0100 <geekosaur> people's minds just don't seem to generalize that way
2021-11-28 16:08:28 +0100 <hpc> there's Reader, if you don't count newtype wrappers
2021-11-28 16:08:58 +0100 <hpc> but you probably should in this case, you go crazy pretty quickly without it :D
2021-11-28 16:10:38 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 16:10:55 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 16:12:35 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 16:12:43 +0100 <geekosaur> (there's a bit of "just because you can, doesn't mean you should" in here)
2021-11-28 16:12:53 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 16:13:10 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 16:14:48 +0100x88x88x(~cheeg@218.212.160.154)
2021-11-28 16:16:00 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50))
2021-11-28 16:17:25 +0100x88x88x-(~cheeg@gateway/vpn/pia/x88x88x)
2021-11-28 16:17:32 +0100_ht_(~quassel@94.198.43.109) (Ping timeout: 240 seconds)
2021-11-28 16:17:35 +0100zebrag(~chris@user/zebrag)
2021-11-28 16:18:18 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-11-28 16:18:24 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds)
2021-11-28 16:19:05 +0100benjamin[m]12(~benjaminm@2001:470:69fc:105::1:3f2f)
2021-11-28 16:19:39 +0100x88x88x(~cheeg@218.212.160.154) (Ping timeout: 256 seconds)
2021-11-28 16:20:03 +0100 <albet70> so Reader is useless?
2021-11-28 16:20:19 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-11-28 16:20:54 +0100waleee(~waleee@h-82-196-111-63.NA.cust.bahnhof.se)
2021-11-28 16:21:24 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi)
2021-11-28 16:22:45 +0100kronicmage(user72429@neotame.csclub.uwaterloo.ca) (Quit: WeeChat 3.0.1)
2021-11-28 16:22:46 +0100 <hpc> Reader is useful, doing Reader stuff with bare (->) is what geekosaur is refering to
2021-11-28 16:25:51 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 16:26:09 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 16:27:35 +0100 <geekosaur> right, Reader adds just enough that it's sane to work with. ((->) e) directly is mind-bending
2021-11-28 16:29:37 +0100acidjnk_new(~acidjnk@p200300d0c7271e12682d634f453929c6.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-11-28 16:29:51 +0100alzgh(~alzgh@user/alzgh) (Ping timeout: 256 seconds)
2021-11-28 16:34:34 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 16:35:15 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer)
2021-11-28 16:36:39 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-28 16:36:39 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-28 16:36:39 +0100wroathe(~wroathe@user/wroathe)
2021-11-28 16:38:41 +0100deadmarshal(~deadmarsh@95.38.228.7) (Ping timeout: 245 seconds)
2021-11-28 16:40:09 +0100jstolarek(~jstolarek@137.220.120.162) (Ping timeout: 265 seconds)
2021-11-28 16:41:14 +0100waleee(~waleee@h-82-196-111-63.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2021-11-28 16:41:15 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2021-11-28 16:41:48 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-11-28 16:43:28 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 16:43:39 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-11-28 16:43:46 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 16:43:58 +0100alzgh(alzgh@user/alzgh)
2021-11-28 16:45:12 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-28 16:45:23 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-11-28 16:47:23 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 16:47:41 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 16:47:57 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2)
2021-11-28 16:49:19 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-11-28 16:49:32 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 240 seconds)
2021-11-28 16:50:07 +0100pfurla(~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552)
2021-11-28 16:52:17 +0100fusion86(~fusion@2a02-a44c-e6e5-1-f563-676f-4b4e-88fc.fixed6.kpn.net) (Remote host closed the connection)
2021-11-28 16:52:39 +0100fusion86(~fusion@2a02-a44c-e6e5-1-f563-676f-4b4e-88fc.fixed6.kpn.net)
2021-11-28 16:53:48 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 16:55:31 +0100xff0x(~xff0x@2001:1a81:523b:c600:f9b1:c475:746a:8f2c) (Ping timeout: 268 seconds)
2021-11-28 16:57:33 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds)
2021-11-28 16:58:07 +0100hiruji`(~hiruji@pool-100-4-208-71.albyny.fios.verizon.net)
2021-11-28 16:58:16 +0100hiruji(~hiruji@2606:6080:1002:9:ffc4:b9c1:20ad:82f9) (Ping timeout: 245 seconds)
2021-11-28 16:58:24 +0100hiruji`(~hiruji@pool-100-4-208-71.albyny.fios.verizon.net) (Remote host closed the connection)
2021-11-28 16:59:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-28 16:59:29 +0100mcglk(~mcglk@131.191.49.120)
2021-11-28 16:59:33 +0100hiruji(~hiruji@user/hiruji)
2021-11-28 16:59:48 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 17:00:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 17:00:09 +0100lambdap(~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap)
2021-11-28 17:00:24 +0100lambdap(~lambdap@static.167.190.119.168.clients.your-server.de)
2021-11-28 17:01:41 +0100helby(helby@alpine/moderator/helby) ()
2021-11-28 17:01:46 +0100hiruji(~hiruji@user/hiruji) (Client Quit)
2021-11-28 17:03:39 +0100hiruji(~hiruji@user/hiruji)
2021-11-28 17:04:19 +0100koz(~koz@121.99.240.58) (Ping timeout: 265 seconds)
2021-11-28 17:04:25 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-28 17:08:24 +0100alzgh(alzgh@user/alzgh) (Remote host closed the connection)
2021-11-28 17:10:18 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2021-11-28 17:11:33 +0100fusion86(~fusion@2a02-a44c-e6e5-1-f563-676f-4b4e-88fc.fixed6.kpn.net) (Quit: Leaving)
2021-11-28 17:13:33 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-11-28 17:14:01 +0100alzgh(alzgh@user/alzgh)
2021-11-28 17:15:38 +0100phma_phma
2021-11-28 17:17:28 +0100xff0x(~xff0x@2001:1a81:523b:c600:f9b1:c475:746a:8f2c)
2021-11-28 17:19:54 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-28 17:21:46 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 17:22:59 +0100jakalx(~jakalx@base.jakalx.net)
2021-11-28 17:26:20 +0100bollu(uid233390@id-233390.helmsley.irccloud.com)
2021-11-28 17:26:31 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-11-28 17:28:29 +0100cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2021-11-28 17:28:43 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-28 17:29:25 +0100koz(~koz@121.99.240.58)
2021-11-28 17:31:22 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 17:32:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 17:33:27 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-11-28 17:34:51 +0100cheater(~Username@user/cheater)
2021-11-28 17:35:06 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-11-28 17:35:15 +0100x88x88x-(~cheeg@gateway/vpn/pia/x88x88x) (Ping timeout: 265 seconds)
2021-11-28 17:36:08 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-11-28 17:36:29 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-11-28 17:37:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-11-28 17:41:47 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 17:42:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 17:43:02 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds)
2021-11-28 17:45:39 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-11-28 17:45:58 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-28 17:48:00 +0100mc47(~mc47@xmonad/TheMC47)
2021-11-28 17:48:57 +0100kennyd(~bc8165b6@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2021-11-28 17:49:14 +0100hiruji(~hiruji@user/hiruji) (Ping timeout: 256 seconds)
2021-11-28 17:52:15 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 260 seconds)
2021-11-28 17:54:49 +0100haask(~harry@92.234.0.237) (Remote host closed the connection)
2021-11-28 17:59:21 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 17:59:29 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2) (Remote host closed the connection)
2021-11-28 17:59:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 18:00:20 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net) (Remote host closed the connection)
2021-11-28 18:00:29 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2)
2021-11-28 18:03:19 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 18:04:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 18:04:38 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection)
2021-11-28 18:04:46 +0100random-jellyfish(~random-je@user/random-jellyfish)
2021-11-28 18:07:48 +0100ph88(~ph88@2a02:8109:9e00:71d0:cdf3:eec1:2823:7459) (Quit: Leaving)
2021-11-28 18:07:52 +0100fendor(~fendor@77.119.160.165.wireless.dyn.drei.com)
2021-11-28 18:08:00 +0100haask(~harry@92.234.0.237)
2021-11-28 18:08:01 +0100jkaye(~jkaye@2601:281:8300:7530:9397:8874:2ff1:8d72) (Ping timeout: 250 seconds)
2021-11-28 18:08:17 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 18:12:57 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-11-28 18:14:25 +0100 <koz> A while back, someone posted a link in here which argued that 'constant time' access is really Theta(sqrt(n)) due to (among other things) limitations of our physics. I can't seem to find that link anymore - does anyone know what I'm looking for?
2021-11-28 18:14:53 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2021-11-28 18:15:43 +0100 <hpc> haha, that's awesome
2021-11-28 18:16:30 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-11-28 18:17:08 +0100Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com)
2021-11-28 18:20:22 +0100reumeth(~reumeth@user/reumeth)
2021-11-28 18:23:37 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net)
2021-11-28 18:24:40 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Client Quit)
2021-11-28 18:29:23 +0100 <EvanR> true, try implementing constant time lookup in conway life
2021-11-28 18:30:23 +0100 <EvanR> you can only access at most order of t^2 things around you in a given time
2021-11-28 18:30:47 +0100Sgeo(~Sgeo@user/sgeo)
2021-11-28 18:31:34 +0100 <hpc> wouldn't it be the light-sphere's volume, not its surface area?
2021-11-28 18:32:04 +0100 <koz> hpc: The thing I'm trying to find specifies why it's not volume.
2021-11-28 18:32:06 +0100 <EvanR> the volume of the light sphere is a square xD
2021-11-28 18:32:19 +0100 <EvanR> proof by cellular automaton
2021-11-28 18:32:44 +0100sheb(~sheb@31.223.228.71)
2021-11-28 18:33:20 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 18:34:36 +0100 <hpc> also space is expanding, so you only have a few hundred trillion years to work with
2021-11-28 18:34:42 +0100 <hpc> so asymptotic notation doesn't really work :D
2021-11-28 18:36:32 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2021-11-28 18:38:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-11-28 18:39:42 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 18:40:38 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-28 18:40:39 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-11-28 18:42:03 +0100 <[exa]> koz: it's called "the myth of ram"
2021-11-28 18:42:16 +0100 <[exa]> koz: http://www.ilikebigbits.com/2014_04_21_myth_of_ram_1.html
2021-11-28 18:42:19 +0100 <EvanR> holographic principle says all information in the volume is encoded on the surface
2021-11-28 18:42:26 +0100 <koz> [exa]: Thank you!
2021-11-28 18:43:18 +0100 <dolio> The holographic principle explanation is silly, though.
2021-11-28 18:44:00 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-11-28 18:44:31 +0100 <[exa]> hard computer science truths: 1] universe is finite 2] dimensions are few
2021-11-28 18:45:06 +0100 <EvanR> keep your universe to yourself
2021-11-28 18:45:07 +0100 <dolio> The actual relevant reason is that chips are flat, and will probably remain mostly flat, because of heat dissipation.
2021-11-28 18:45:44 +0100fef(~thedawn@user/thedawn) (Quit: Leaving)
2021-11-28 18:45:47 +0100lavaman(~lavaman@98.38.249.169)
2021-11-28 18:46:26 +0100 <yin> how do i tell cabal to run with -O2 by default?
2021-11-28 18:47:07 +0100 <sclv> you can put it in ghc options in the ~/.cabal/config file
2021-11-28 18:47:08 +0100mvk(~mvk@2607:fea8:5cc1:fa00::4702)
2021-11-28 18:47:10 +0100 <sclv> i dont recommend it tho
2021-11-28 18:47:20 +0100 <yin> ghc-options: -O2 ?
2021-11-28 18:48:00 +0100 <yin> can't i put it in my projectname.cabal file?
2021-11-28 18:48:11 +0100 <yin> and why not?
2021-11-28 18:48:26 +0100 <sclv> well then it only runs on that package by default
2021-11-28 18:48:28 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-11-28 18:48:35 +0100 <sclv> which isn't what i thought you were asking
2021-11-28 18:48:39 +0100 <sclv> but yes, you can also put it there!
2021-11-28 18:48:42 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit)
2021-11-28 18:48:43 +0100 <yin> sclv: that's exactly what i wat
2021-11-28 18:48:46 +0100 <yin> *want
2021-11-28 18:48:47 +0100 <sclv> ok, then put it there :-)
2021-11-28 18:48:56 +0100 <yin> i did
2021-11-28 18:49:05 +0100 <yin> it's not working
2021-11-28 18:49:53 +0100 <yin> cabal run myporject is using -O1 (which is the default, according to docs)
2021-11-28 18:49:56 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 18:50:05 +0100 <yin> project, even
2021-11-28 18:50:25 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-11-28 18:50:36 +0100 <EvanR> so constant time is both not physically accurate for RAM and theoretically misleading for hashtables since they're based on finite ints, got it
2021-11-28 18:51:28 +0100 <EvanR> or with finite anything everything is O(1), and then it's really not
2021-11-28 18:52:29 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 18:53:35 +0100 <[exa]> EvanR: there's O, theta and omega. Everything is O(1) in an universe that ends with the big-antibang, but we're usually going for the average/lower/amortized complexity
2021-11-28 18:54:01 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 18:54:24 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-11-28 18:55:31 +0100 <[exa]> in this view, you're usually trying to get the average/amortized complexity, where universe size is luckily not relevant
2021-11-28 18:57:11 +0100 <EvanR> actually how did physics even sneak in. Don't you usually just identify what it is you are counting as basic operations and say that has cost 1 or size 1 and go from there. And the result is relative to that and not stephen hawking shit
2021-11-28 18:57:11 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-28 18:57:14 +0100 <dolio> O doesn't have anything to do with what sort of performance you're measuring.
2021-11-28 18:59:25 +0100 <[exa]> EvanR: physics sneaks in because it creates the O bound on the amount of RAM vs latency. (in 2D universe the RAM access would be A(n)).
2021-11-28 18:59:44 +0100 <EvanR> A?
2021-11-28 19:00:14 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-28 19:00:14 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-28 19:00:14 +0100wroathe(~wroathe@user/wroathe)
2021-11-28 19:00:15 +0100 <[exa]> dolio: I'm usually using O for asymptotic upper bound, theta for both-bounds, omega for lower bound, A for amortized time ( <- EvanR )
2021-11-28 19:00:37 +0100 <[exa]> we might just be clashing on notation, sorry :]
2021-11-28 19:01:21 +0100 <dolio> There are upper bounds, both bounds and lower bounds for worst case, average case and amortized cost.
2021-11-28 19:02:32 +0100 <[exa]> dolio: that sounds overly complicated (like, average case is amortized right, by beancounting), do you have a link to definitions?
2021-11-28 19:03:30 +0100 <dolio> Wikipedia. O, Ω, Θ, o, etc. have nothing inherently to do with costs of algorithms.
2021-11-28 19:03:51 +0100 <dolio> They are abount bounds on functions.
2021-11-28 19:04:54 +0100 <dolio> Average, worst, amortized, etc. identifies which cost function is being analyzed.
2021-11-28 19:05:00 +0100 <[exa]> that checks, I was pointing out that the finite-universe shortcut to O(1) doesn't work with Θ
2021-11-28 19:05:05 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 19:05:22 +0100econo(uid147250@user/econo)
2021-11-28 19:05:35 +0100 <EvanR> (also who invited the big anti-bang?)
2021-11-28 19:05:57 +0100 <[exa]> EvanR: I couldn't remember how's the end of universe called. Big shrink? Big squash?
2021-11-28 19:06:08 +0100 <EvanR> big crunch?
2021-11-28 19:06:14 +0100 <[exa]> ah yes, likely
2021-11-28 19:06:40 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 19:06:45 +0100 <hpc> that only happens in desitter spaces
2021-11-28 19:07:05 +0100 <EvanR> last I checked expansion is accelerating
2021-11-28 19:07:08 +0100 <hpc> our universe will accelerate its expansion until light-cones are too small to support mass
2021-11-28 19:07:40 +0100 <hpc> and then if roger penrose is correct, really weird stuff happens
2021-11-28 19:07:49 +0100 <EvanR> yawn xD
2021-11-28 19:07:52 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Remote host closed the connection)
2021-11-28 19:08:05 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 19:08:30 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit)
2021-11-28 19:08:51 +0100 <hpc> ?
2021-11-28 19:09:30 +0100 <EvanR> penrose tiling IP scandal
2021-11-28 19:09:38 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 19:10:00 +0100 <dolio> Also, amortized is not the same as average. Amortized analysis involves attributing some costs of expensive operations to cheaper operations, and ensuring the enough cheap operations occur between expensive ones to ensure that the total cost is less per operation than the expensive ones.
2021-11-28 19:10:35 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2021-11-28 19:10:47 +0100 <dolio> Whereas average case is about the performance of 'most' inputs or something.
2021-11-28 19:10:49 +0100 <hpc> EvanR: link?
2021-11-28 19:11:53 +0100 <EvanR> http://bit-player.org/2017/sir-roger-penroses-toilet-paper
2021-11-28 19:11:56 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-11-28 19:12:53 +0100 <[exa]> dolio: we usually did beancounting and divided that by the number of operations, which sounds a lot like average... although "average" might be over a different set, yeah
2021-11-28 19:13:04 +0100 <dolio> Like, quicksort's average case might be some function of log n, because most inputs will sort in log time.
2021-11-28 19:13:44 +0100 <hpc> heh
2021-11-28 19:13:51 +0100 <dolio> Er, n*(log n).
2021-11-28 19:13:55 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 19:14:41 +0100 <[exa]> ah yeah "average run over a random input of size n" vs "average in a series of related runs"
2021-11-28 19:14:52 +0100[exa]punishes self
2021-11-28 19:15:29 +0100fendor(~fendor@77.119.160.165.wireless.dyn.drei.com) (Remote host closed the connection)
2021-11-28 19:15:47 +0100 <dolio> Yeah. And amortized is better than that, even, I think. It's like, something 'expensive' doesn't happen until you've accumulated enough slack from cheap stuff.
2021-11-28 19:16:05 +0100Algernon69(~Algernon6@2a04:cec0:11d8:d959:c93d:9f3e:f0b5:db46)
2021-11-28 19:16:19 +0100 <dolio> So, it's not just averaging out randomly.
2021-11-28 19:16:34 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit)
2021-11-28 19:16:47 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 19:17:05 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit)
2021-11-28 19:17:14 +0100cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2021-11-28 19:17:17 +0100cheater1__(~Username@user/cheater)
2021-11-28 19:17:19 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-28 19:17:21 +0100cheater1__cheater
2021-11-28 19:17:31 +0100lavaman(~lavaman@98.38.249.169)
2021-11-28 19:20:23 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 19:20:41 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 19:21:02 +0100deadmarshal(~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds)
2021-11-28 19:22:41 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 19:22:45 +0100Lycurgus(~juan@98.4.112.204)
2021-11-28 19:22:51 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit)
2021-11-28 19:24:19 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 19:24:28 +0100lorenzuru_(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit)
2021-11-28 19:24:57 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 19:25:05 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Quit: Client closed)
2021-11-28 19:25:11 +0100danso(~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.3)
2021-11-28 19:25:26 +0100danso(~danso@23-233-111-52.cpe.pppoe.ca)
2021-11-28 19:26:46 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 19:27:03 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit)
2021-11-28 19:27:16 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 19:27:30 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit)
2021-11-28 19:27:43 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 19:30:22 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net)
2021-11-28 19:32:53 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-11-28 19:32:53 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2021-11-28 19:33:33 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-28 19:35:42 +0100 <yin> how do we pass command line arguments to ghcid?
2021-11-28 19:36:17 +0100lemmyd(~bc8165b6@cerf.good1.com)
2021-11-28 19:37:10 +0100lemmyd(~bc8165b6@cerf.good1.com) ()
2021-11-28 19:37:20 +0100 <Hecate> --setup
2021-11-28 19:37:39 +0100jollygood2(~bc8165b6@cerf.good1.com)
2021-11-28 19:37:48 +0100jollygood2(~bc8165b6@cerf.good1.com) ()
2021-11-28 19:38:36 +0100Lycurgus(~juan@98.4.112.204) (Quit: Exeunt)
2021-11-28 19:40:06 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 19:44:45 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 19:44:56 +0100jstolarek(~jstolarek@137.220.120.162)
2021-11-28 19:45:03 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 19:45:07 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-28 19:45:51 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 19:48:17 +0100gdown(~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net)
2021-11-28 19:48:21 +0100boxscape_(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de)
2021-11-28 19:49:44 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-11-28 19:50:35 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-11-28 19:51:01 +0100Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)
2021-11-28 19:51:11 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-11-28 19:51:45 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Quit: lorenzuru)
2021-11-28 19:51:58 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 19:52:26 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit)
2021-11-28 19:54:56 +0100cosimone`(~user@93-44-184-115.ip98.fastwebnet.it) (Ping timeout: 265 seconds)
2021-11-28 19:56:03 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-11-28 19:56:39 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-28 19:59:39 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection)
2021-11-28 20:00:42 +0100deadmarshal(~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds)
2021-11-28 20:01:47 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2021-11-28 20:02:10 +0100danso(~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.3)
2021-11-28 20:02:29 +0100danso(~danso@23-233-111-52.cpe.pppoe.ca)
2021-11-28 20:02:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-28 20:02:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-28 20:02:34 +0100wroathe(~wroathe@user/wroathe)
2021-11-28 20:02:56 +0100danso(~danso@23-233-111-52.cpe.pppoe.ca) (Client Quit)
2021-11-28 20:03:09 +0100Algernon69(~Algernon6@2a04:cec0:11d8:d959:c93d:9f3e:f0b5:db46) (Ping timeout: 265 seconds)
2021-11-28 20:03:16 +0100danso(~danso@23-233-111-52.cpe.pppoe.ca)
2021-11-28 20:05:16 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection)
2021-11-28 20:06:45 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-28 20:09:07 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 20:09:25 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 20:10:43 +0100xkuru(~xkuru@user/xkuru)
2021-11-28 20:13:03 +0100Guest878(~Guest87@93-42-90-100.ip86.fastwebnet.it)
2021-11-28 20:13:23 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection)
2021-11-28 20:15:21 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 20:15:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 20:18:07 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-11-28 20:19:47 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 20:19:48 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-11-28 20:20:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 20:20:09 +0100 <yin> i did --run=":main args"
2021-11-28 20:20:51 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-11-28 20:20:51 +0100 <yin> culdn't seem to get setup to work
2021-11-28 20:21:00 +0100 <yin> i'm sure i'm missing something
2021-11-28 20:21:18 +0100ec(~ec@gateway/tor-sasl/ec)
2021-11-28 20:21:28 +0100 <yin> also for some reason --no-status is not working
2021-11-28 20:21:39 +0100jakalx(~jakalx@base.jakalx.net)
2021-11-28 20:28:37 +0100max22-(~maxime@2a01cb0883359800f9d5861d99da2e2e.ipv6.abo.wanadoo.fr)
2021-11-28 20:30:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 20:30:56 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 20:31:21 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-11-28 20:32:21 +0100ec(~ec@gateway/tor-sasl/ec)
2021-11-28 20:32:58 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-28 20:33:28 +0100glider_glider
2021-11-28 20:34:14 +0100hays(rootvegeta@fsf/member/hays) (Quit: hays)
2021-11-28 20:34:18 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-11-28 20:34:33 +0100hays(rootvegeta@fsf/member/hays)
2021-11-28 20:34:48 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 20:36:53 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 20:37:11 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 20:37:29 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-11-28 20:39:09 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 20:39:26 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 20:39:45 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-11-28 20:41:26 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 20:41:43 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 20:42:40 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 20:42:58 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 20:47:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 20:49:20 +0100 <Franciman> yin:
2021-11-28 20:49:38 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 20:49:47 +0100 <Franciman> are you trying to pass arguents to cabal?
2021-11-28 20:49:57 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Remote host closed the connection)
2021-11-28 20:50:48 +0100 <geekosaur> ghcid, if I read scrollback correctly
2021-11-28 20:50:57 +0100zincy_(~zincy@host86-181-60-139.range86-181.btcentralplus.com)
2021-11-28 20:52:30 +0100cosimone(~user@93-44-184-115.ip98.fastwebnet.it)
2021-11-28 20:54:02 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-11-28 20:54:15 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it)
2021-11-28 20:54:19 +0100lorenzuru(~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Remote host closed the connection)
2021-11-28 20:56:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-28 20:56:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-28 20:56:53 +0100wroathe(~wroathe@user/wroathe)
2021-11-28 20:57:43 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2) (Remote host closed the connection)
2021-11-28 20:58:37 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection)
2021-11-28 21:00:29 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-11-28 21:01:01 +0100gehmehgeh(~user@user/gehmehgeh)
2021-11-28 21:01:17 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-11-28 21:04:59 +0100juhp(~juhp@128.106.188.82) (Ping timeout: 260 seconds)
2021-11-28 21:07:14 +0100juhp(~juhp@128.106.188.82)
2021-11-28 21:09:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-11-28 21:10:38 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3)
2021-11-28 21:11:57 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection)
2021-11-28 21:12:26 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 21:12:39 +0100zava(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de)
2021-11-28 21:13:19 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 21:14:40 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-11-28 21:17:05 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-11-28 21:17:09 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Ping timeout: 256 seconds)
2021-11-28 21:19:23 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 21:19:43 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 21:20:42 +0100zava(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.3)
2021-11-28 21:20:58 +0100zava(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de)
2021-11-28 21:23:21 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 21:23:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 21:23:43 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-11-28 21:24:52 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-28 21:25:23 +0100curiousgay_(~curiousga@77-120-141-90.kha.volia.net)
2021-11-28 21:25:30 +0100notzmv(~zmv@user/notzmv)
2021-11-28 21:25:31 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Read error: Connection reset by peer)
2021-11-28 21:25:39 +0100Guest878(~Guest87@93-42-90-100.ip86.fastwebnet.it) (Ping timeout: 256 seconds)
2021-11-28 21:26:17 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds)
2021-11-28 21:26:21 +0100x_kuru(~xkuru@user/xkuru)
2021-11-28 21:28:16 +0100waleee(~waleee@h-82-196-111-63.na.cust.bahnhof.se)
2021-11-28 21:29:06 +0100xkuru(~xkuru@user/xkuru) (Ping timeout: 245 seconds)
2021-11-28 21:29:51 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-11-28 21:31:51 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 21:32:09 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 21:33:38 +0100reumeth(~reumeth@user/reumeth) (Ping timeout: 268 seconds)
2021-11-28 21:35:28 +0100 <sm> @where paste, yin
2021-11-28 21:35:28 +0100 <lambdabot> I know nothing about paste,.
2021-11-28 21:35:34 +0100mreh(~matthew@host81-157-195-163.range81-157.btcentralplus.com)
2021-11-28 21:35:50 +0100 <Hecate> @where paste
2021-11-28 21:35:50 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-11-28 21:36:12 +0100 <sm> (a similarish ghcid command works here)
2021-11-28 21:37:35 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:356c:6df7:ff7f:48a3)
2021-11-28 21:37:57 +0100 <hpc> @where paste -- ooh, does that error message mean this works now?
2021-11-28 21:37:57 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-11-28 21:38:00 +0100 <mreh> could someone explain the type of runF?
2021-11-28 21:38:00 +0100 <hpc> yessssss
2021-11-28 21:38:18 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2)
2021-11-28 21:39:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 21:39:06 +0100 <mreh> I'm not quite sure how to use it
2021-11-28 21:39:49 +0100xff0x(~xff0x@2001:1a81:523b:c600:f9b1:c475:746a:8f2c) (Ping timeout: 265 seconds)
2021-11-28 21:40:00 +0100mrehreads http://comonad.com/reader/2011/free-monads-for-less-2/
2021-11-28 21:40:13 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 21:40:40 +0100xff0x(~xff0x@2001:1a81:523b:c600:e658:9e80:725:12f4)
2021-11-28 21:41:40 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2021-11-28 21:41:47 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection)
2021-11-28 21:42:18 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 21:43:39 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-11-28 21:43:47 +0100cjb(~cjb@user/cjb)
2021-11-28 21:43:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-11-28 21:43:55 +0100 <sm> hpc, this also works:
2021-11-28 21:43:55 +0100 <sm> @where paste (@ must be in column 0, argument word must have nothing next to it)
2021-11-28 21:43:55 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-11-28 21:44:15 +0100nckx(~nckx@tobias.gr)
2021-11-28 21:44:58 +0100 <sm> it would save some noise if it were a little more forgiving
2021-11-28 21:46:57 +0100 <edwardk> mreh: runF takes come computation in the 'free' monad, how to convert 'a's at the leaves to values of type 'r' and the ability to convert layers of 'f r -> r' and runs the whole tree of actions represented by the free monad.
2021-11-28 21:47:45 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Ping timeout: 256 seconds)
2021-11-28 21:48:01 +0100 <edwardk> e.g. if you have some other monad 'm', you might pick r = 'm a' pass it 'pure as the first argument, and something that converts f (m a) -> m a as the second. and interpret into the other monad
2021-11-28 21:48:52 +0100 <edwardk> that is what 'fromF' does, using runF.
2021-11-28 21:50:30 +0100P1RATEZ(piratez@user/p1ratez)
2021-11-28 21:53:51 +0100acidjnk_new(~acidjnk@p200300d0c7271e27c5c24316ea6f3b87.dip0.t-ipconnect.de)
2021-11-28 21:56:15 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 21:56:32 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 21:59:08 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 21:59:27 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-11-28 22:02:27 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 22:02:45 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 22:05:51 +0100Hecate(~mariposa@163.172.211.189) (Changing host)
2021-11-28 22:05:51 +0100Hecate(~mariposa@user/hecate)
2021-11-28 22:07:03 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection)
2021-11-28 22:07:12 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 22:08:31 +0100mreh(~matthew@host81-157-195-163.range81-157.btcentralplus.com) (Ping timeout: 250 seconds)
2021-11-28 22:10:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 22:11:15 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 22:12:21 +0100zincy_(~zincy@host86-181-60-139.range86-181.btcentralplus.com) (Remote host closed the connection)
2021-11-28 22:13:02 +0100alx741(~alx741@181.196.69.248) (Ping timeout: 240 seconds)
2021-11-28 22:14:38 +0100dsrt^(~dsrt@68.101.58.90) (Remote host closed the connection)
2021-11-28 22:15:57 +0100x88x88x(~cheeg@gateway/vpn/pia/x88x88x)
2021-11-28 22:16:01 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection)
2021-11-28 22:16:31 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 22:18:08 +0100curiousgay_curiousgay
2021-11-28 22:19:48 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 22:19:48 +0100haask(~harry@92.234.0.237) (Read error: Connection reset by peer)
2021-11-28 22:20:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 22:21:00 +0100mreh(~matthew@host81-157-195-163.range81-157.btcentralplus.com)
2021-11-28 22:21:11 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Ping timeout: 256 seconds)
2021-11-28 22:24:07 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 22:24:13 +0100Algernon69(~Algernon6@2a01:e0a:511:6ce0:c935:9328:4c7f:5838)
2021-11-28 22:24:25 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 22:25:55 +0100alx741(~alx741@181.196.69.176)
2021-11-28 22:27:52 +0100deadmarshal(~deadmarsh@95.38.228.7)
2021-11-28 22:28:17 +0100nitrix(~nitrix@user/nitrix)
2021-11-28 22:28:38 +0100Algernon69(~Algernon6@2a01:e0a:511:6ce0:c935:9328:4c7f:5838) (Ping timeout: 265 seconds)
2021-11-28 22:30:47 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 22:31:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 22:32:31 +0100deadmarshal(~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds)
2021-11-28 22:34:45 +0100Pickchea(~private@user/pickchea)
2021-11-28 22:34:53 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net)
2021-11-28 22:36:10 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Client Quit)
2021-11-28 22:38:44 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 22:39:31 +0100mreh(~matthew@host81-157-195-163.range81-157.btcentralplus.com) (Ping timeout: 245 seconds)
2021-11-28 22:39:42 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-28 22:39:45 +0100jstolarek(~jstolarek@137.220.120.162) (Ping timeout: 265 seconds)
2021-11-28 22:40:32 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-11-28 22:42:51 +0100ec(~ec@gateway/tor-sasl/ec)
2021-11-28 22:43:24 +0100mastarija(~mastarija@2a05:4f46:e0e:5000:d2c:da22:1ce0:f7f1)
2021-11-28 22:43:51 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-11-28 22:48:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 22:49:15 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 22:51:13 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 22:51:31 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 22:53:11 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 22:53:29 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 22:54:24 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:356c:6df7:ff7f:48a3) (Remote host closed the connection)
2021-11-28 22:57:25 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 22:57:43 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 22:58:29 +0100mastarija(~mastarija@2a05:4f46:e0e:5000:d2c:da22:1ce0:f7f1) (Quit: Leaving)
2021-11-28 23:02:37 +0100mreh(~matthew@host81-157-195-163.range81-157.btcentralplus.com)
2021-11-28 23:02:59 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection)
2021-11-28 23:03:28 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 23:05:44 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection)
2021-11-28 23:06:14 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 23:07:01 +0100gnyeki(~gnyeki@li578-216.members.linode.com) (Changing host)
2021-11-28 23:07:01 +0100gnyeki(~gnyeki@user/gnyeki)
2021-11-28 23:09:22 +0100n3t(~n3t@user/n3t) (Quit: WeeChat 2.9)
2021-11-28 23:09:30 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-11-28 23:10:13 +0100n3t(n3t@s45.mydevil.net)
2021-11-28 23:10:19 +0100n3t(n3t@s45.mydevil.net) (Changing host)
2021-11-28 23:10:19 +0100n3t(n3t@user/n3t)
2021-11-28 23:11:39 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl) (Ping timeout: 265 seconds)
2021-11-28 23:12:45 +0100zer0bitz(~zer0bitz@dsl-hkibng31-54fabc-15.dhcp.inet.fi) (Ping timeout: 256 seconds)
2021-11-28 23:13:12 +0100gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 276 seconds)
2021-11-28 23:13:57 +0100gehmehgeh(~user@user/gehmehgeh)
2021-11-28 23:19:31 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 23:19:49 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 23:20:40 +0100pavonia(~user@user/siracusa)
2021-11-28 23:22:48 +0100mreh(~matthew@host81-157-195-163.range81-157.btcentralplus.com) (Ping timeout: 268 seconds)
2021-11-28 23:25:41 +0100nuh^(~nuh@68.101.58.90)
2021-11-28 23:27:30 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-11-28 23:32:40 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 23:32:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 23:33:24 +0100jonatanb(~accio@31-178-144-108.dynamic.chello.pl)
2021-11-28 23:35:04 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 23:35:21 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 23:37:28 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2) (Remote host closed the connection)
2021-11-28 23:39:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-28 23:41:23 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-11-28 23:41:43 +0100 <EvanR> https://paste.tomsmeding.com/RyJqXSBg 😎
2021-11-28 23:43:53 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 23:44:11 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 23:45:15 +0100 <EvanR> dangit I think I missed something
2021-11-28 23:46:32 +0100nautical(~nautical@2601:602:900:1630::396f)
2021-11-28 23:46:40 +0100 <nautical> help
2021-11-28 23:47:16 +0100 <EvanR> to integrate I need an initial value
2021-11-28 23:48:12 +0100 <Axman6> @help
2021-11-28 23:48:12 +0100 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
2021-11-28 23:49:53 +0100 <EvanR> and I only had one pair of shades
2021-11-28 23:50:03 +0100 <geekosaur> nautical, what is your problem?
2021-11-28 23:50:18 +0100 <nautical> sorry, that was an accident
2021-11-28 23:51:07 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2021-11-28 23:52:47 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection)
2021-11-28 23:52:59 +0100alzgh(alzgh@user/alzgh) (Ping timeout: 256 seconds)
2021-11-28 23:53:02 +0100nautical(~nautical@2601:602:900:1630::396f) (Quit: WeeChat 3.3)
2021-11-28 23:53:18 +0100nautical(~nautical@2601:602:900:1630::396f)
2021-11-28 23:54:54 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:356c:6df7:ff7f:48a3)
2021-11-28 23:56:55 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-28 23:57:12 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-28 23:57:13 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-28 23:57:29 +0100alzgh(~alzgh@user/alzgh)
2021-11-28 23:59:09 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)