2022/03/18

2022-03-18 00:02:14 +0100 <romesrf> sclv: in what context are you trying to do that? is it something that has been before and you're trying to understand the proof better? or..?
2022-03-18 00:02:26 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-03-18 00:03:55 +0100 <romesrf> sclv: or are you trying to make sense of something you learned? that happens to me a lot -- reading a small sentence in a book and spending the next hour thinking about it and trying to understand it
2022-03-18 00:04:06 +0100 <sclv> there's proofs that hold in set, and they're neat. https://www.cs.ox.ac.uk/jeremy.gibbons/publications/uitbaf.pdf -- out of my own interests i'm trying to figure out if they hold more generally
2022-03-18 00:04:56 +0100 <romesrf> reading...
2022-03-18 00:05:14 +0100 <romesrf> I understand! that's cool
2022-03-18 00:07:22 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 00:11:36 +0100InstX1(~Liam@2600:1006:b063:97f2:1474:50a6:6a5e:a11b)
2022-03-18 00:13:24 +0100Inst(~Liam@2601:6c4:4080:3f80:697a:4acd:f9b4:d4e0) (Ping timeout: 240 seconds)
2022-03-18 00:13:31 +0100weekOldRoadkill(~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) (Quit: Leaving)
2022-03-18 00:14:02 +0100deadmarshal_(~deadmarsh@95.38.229.240)
2022-03-18 00:14:35 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 00:15:51 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-18 00:18:02 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-18 00:18:21 +0100deadmarshal_(~deadmarsh@95.38.229.240) (Ping timeout: 256 seconds)
2022-03-18 00:21:38 +0100InstX1(~Liam@2600:1006:b063:97f2:1474:50a6:6a5e:a11b) (Read error: Connection reset by peer)
2022-03-18 00:24:49 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-18 00:26:08 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-18 00:27:27 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-03-18 00:28:19 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-18 00:33:27 +0100Hash(~Hash@irc.websecurity.group) (Quit: ZNC - https://znc.in)
2022-03-18 00:33:52 +0100Hash(~Hash@hey.howstoned.ru)
2022-03-18 00:34:37 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-18 00:35:21 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-03-18 00:35:30 +0100Codaraxis(~Codaraxis@user/codaraxis) (Ping timeout: 250 seconds)
2022-03-18 00:39:32 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-18 00:41:51 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-18 00:46:02 +0100jao(~jao@89.45.90.164) (Ping timeout: 240 seconds)
2022-03-18 00:47:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-18 00:48:07 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-03-18 00:49:31 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 256 seconds)
2022-03-18 00:50:36 +0100niemand(~niemand@p54a9c867.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-18 00:51:48 +0100chenqisu1(~chenqisu1@183.217.201.47)
2022-03-18 00:56:19 +0100Inst(~Liam@2601:6c4:4080:3f80:987d:a880:2d2e:6529)
2022-03-18 00:59:00 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-18 00:59:09 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-18 00:59:58 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 01:01:31 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-18 01:02:33 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-18 01:04:19 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-18 01:04:25 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-18 01:04:25 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-18 01:04:25 +0100wroathe(~wroathe@user/wroathe)
2022-03-18 01:04:32 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-18 01:10:32 +0100yauhsien(~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 01:11:39 +0100tsmc[m](~tsmcmatri@2001:470:69fc:105::1:7e1)
2022-03-18 01:16:57 +0100Inst(~Liam@2601:6c4:4080:3f80:987d:a880:2d2e:6529) (Ping timeout: 240 seconds)
2022-03-18 01:18:04 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee)
2022-03-18 01:21:10 +0100Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
2022-03-18 01:21:32 +0100awschnap(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 01:23:32 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2022-03-18 01:26:28 +0100 <romesrf> night everyone
2022-03-18 01:26:31 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-03-18 01:27:37 +0100 <yuvi> hi all, im working on a programming assignment where i have to find all partitions of a string. the function type is parts :: [a] -> [[[a]]]. details and my attempt here: https://pastebin.com/EwNx3kJa
2022-03-18 01:27:52 +0100 <yuvi> any pointers to push me in the right direction?
2022-03-18 01:28:31 +0100 <yuvi> i am aware my code is horrifically ugly :D
2022-03-18 01:30:01 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-18 01:30:48 +0100 <hpc> let's rearrange the example result a bit
2022-03-18 01:31:06 +0100 <hpc> [["abc"], ["ab","c"], ["a","bc"], ["a","b","c"]]
2022-03-18 01:31:30 +0100 <hpc> there's a pattern in the first elements of each list
2022-03-18 01:32:36 +0100nexus(~nexus@87-97-2-198.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-18 01:32:40 +0100yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 01:33:07 +0100 <hpc> and then, say you look at where the first element is "a"
2022-03-18 01:33:36 +0100 <hpc> [["bc"], ["b", "c"]] looks an awful lot like all the partitions of a slightly smaller string
2022-03-18 01:34:27 +0100 <hpc> supposing you had startingString = "a" and subPartitions = [["bc"], ["b", "c"]], see how to get from there to [["a","bc"], ["a","b","c"]]
2022-03-18 01:34:34 +0100nexus(~nexus@79-120-162-157.pool.digikabel.hu)
2022-03-18 01:34:58 +0100 <hpc> then once you have that list of solutions given you split at "a"
2022-03-18 01:35:03 +0100mmhat(~mmh@55d4b07c.access.ecotel.net) (Quit: WeeChat 3.4.1)
2022-03-18 01:35:14 +0100 <hpc> and another list of solutions that split at "ab"
2022-03-18 01:35:33 +0100 <hpc> or perhaps even, say you have a list: [solutions "abc", solutions "ab", solutions "a"]
2022-03-18 01:35:49 +0100 <hpc> turn that into a flatter structure of just all the partitions
2022-03-18 01:37:07 +0100 <hpc> yuvi: hopefully that's enough to get you started without giving the whole game away :D
2022-03-18 01:40:09 +0100 <yuvi> alright, ill take some time to process that
2022-03-18 01:41:43 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.)
2022-03-18 01:43:23 +0100yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-18 01:43:32 +0100SignalGarden(~ash@user/SignalWalker) (Ping timeout: 250 seconds)
2022-03-18 01:44:00 +0100 <Axman6> this is definitely a problem best solved bottom up - what are all the partitions of ""? What are all the partitions of "b"? what are all the partitions of "ab"? How do they relate to the partitions "b" before?
2022-03-18 01:45:19 +0100 <hpc> from that perspective i suppose i did sort of give the game away
2022-03-18 01:45:39 +0100 <hpc> sometimes just finding the right recurrence relation is 90% of the work
2022-03-18 01:46:19 +0100zmt01(~zmt00@user/zmt00) (Ping timeout: 250 seconds)
2022-03-18 01:46:38 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-18 01:47:10 +0100alMalsamolumberjack123
2022-03-18 01:50:21 +0100zmt00(~zmt00@user/zmt00)
2022-03-18 01:51:15 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-18 01:51:33 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-18 01:57:02 +0100Andre4(~Andrea@p4fdb1e2a.dip0.t-ipconnect.de)
2022-03-18 01:57:30 +0100Andre4(~Andrea@p4fdb1e2a.dip0.t-ipconnect.de) ()
2022-03-18 02:00:12 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-03-18 02:00:51 +0100Codaraxis(~Codaraxis@user/codaraxis)
2022-03-18 02:04:32 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-18 02:05:46 +0100SignalGarden(~ash@user/SignalWalker)
2022-03-18 02:07:20 +0100CiaoSen(~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-03-18 02:11:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-03-18 02:11:55 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4.1)
2022-03-18 02:14:50 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 02:17:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-03-18 02:18:12 +0100awschnap(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-18 02:28:11 +0100razetime(~quassel@117.254.34.103)
2022-03-18 02:31:32 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds)
2022-03-18 02:32:12 +0100chomwitt(~chomwitt@2a02:587:dc19:ca00:a7f3:60c8:c144:5351) (Ping timeout: 240 seconds)
2022-03-18 02:32:53 +0100dfg(~dfg@user/dfg) (Quit: I hate quit messages.)
2022-03-18 02:35:12 +0100acmb(~acmb@24-124-64-234-dynamic.midco.net)
2022-03-18 02:35:49 +0100dfg(dfg@user/dfg)
2022-03-18 02:36:17 +0100acmb(~acmb@24-124-64-234-dynamic.midco.net) ()
2022-03-18 02:37:09 +0100raym(~raym@user/raym) (Quit: afk for sometime)
2022-03-18 02:39:00 +0100SignalGarden(~ash@user/SignalWalker) (Ping timeout: 250 seconds)
2022-03-18 02:39:02 +0100acmb(~acmb@24-124-64-234-dynamic.midco.net)
2022-03-18 02:39:24 +0100SignalGarden(~ash@user/SignalWalker)
2022-03-18 02:39:28 +0100acmb(~acmb@24-124-64-234-dynamic.midco.net) (WeeChat 3.4.1)
2022-03-18 02:43:06 +0100alp(~alp@user/alp) (Ping timeout: 252 seconds)
2022-03-18 02:47:58 +0100 <yuvi> hpr: this is my attempt to implement that recursion, but they way i append the head element in every step means it breaks for input length > 3, like "abcd". further advice?
2022-03-18 02:48:11 +0100 <yuvi> https://pastebin.com/Ri174gVT
2022-03-18 02:48:58 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-18 02:48:59 +0100 <yuvi> hpc: pinged wrong user
2022-03-18 02:49:17 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-03-18 02:54:01 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 02:54:22 +0100acmb(~acmb@user/acmb)
2022-03-18 02:54:51 +0100 <hpc> it looks like when you do parts "abcd", you're only getting the results where it splits on "a"?
2022-03-18 02:55:03 +0100 <hpc> at least, by my reading of it
2022-03-18 02:55:54 +0100 <hpc> when i wrote [solutions "abc", solutions "ab", solutions "a"] above, that was a big hint
2022-03-18 02:56:02 +0100 <yuvi> parts "abcd" ends up being parts "bcd" with a appended onto it
2022-03-18 02:56:34 +0100 <hpc> somehow in your definition of parts, you'll want to end up with something resembling that list
2022-03-18 02:56:44 +0100 <hpc> with the definition of solutions being up to you
2022-03-18 02:57:11 +0100 <hpc> but making sure you're doing ["abc", "ab", "a"] and not just "a" is the key here
2022-03-18 03:00:45 +0100acmb(~acmb@user/acmb) (WeeChat 3.4.1)
2022-03-18 03:01:33 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-18 03:03:40 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-18 03:05:36 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-18 03:06:08 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-18 03:06:17 +0100kilolympus(~kilolympu@31.205.200.235) (Ping timeout: 240 seconds)
2022-03-18 03:09:51 +0100kilolympus(~kilolympu@31.205.200.235)
2022-03-18 03:10:25 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 03:15:06 +0100mixfix41(~sdenynine@user/mixfix41)
2022-03-18 03:17:59 +0100ProfSimm(~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds)
2022-03-18 03:21:28 +0100chenqisu1(~chenqisu1@183.217.201.47) (Ping timeout: 250 seconds)
2022-03-18 03:23:12 +0100fockerized(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 250 seconds)
2022-03-18 03:23:30 +0100alphabeta(~kilolympu@31.205.200.235)
2022-03-18 03:23:39 +0100kilolympus(~kilolympu@31.205.200.235) (Ping timeout: 256 seconds)
2022-03-18 03:24:33 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-18 03:24:45 +0100AlexNoo_(~AlexNoo@94.233.240.162)
2022-03-18 03:25:16 +0100fockerized(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-03-18 03:27:13 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-18 03:27:58 +0100Alex_test(~al_test@178.34.161.174) (Ping timeout: 250 seconds)
2022-03-18 03:28:11 +0100AlexZenon(~alzenon@178.34.161.174) (Ping timeout: 252 seconds)
2022-03-18 03:28:11 +0100AlexNoo(~AlexNoo@178.34.161.174) (Ping timeout: 252 seconds)
2022-03-18 03:30:17 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-18 03:30:17 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-18 03:30:17 +0100wroathe(~wroathe@user/wroathe)
2022-03-18 03:32:31 +0100Alex_test(~al_test@94.233.240.162)
2022-03-18 03:32:58 +0100AlexZenon(~alzenon@94.233.240.162)
2022-03-18 03:39:15 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2022-03-18 03:41:02 +0100ubert(~Thunderbi@p200300ecdf15887dfd6bfc6fe6a8a410.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-18 03:41:19 +0100ubert(~Thunderbi@p200300ecdf1588f0fd6bfc6fe6a8a410.dip0.t-ipconnect.de)
2022-03-18 03:42:25 +0100razetime(~quassel@117.254.34.103) (Read error: Connection reset by peer)
2022-03-18 03:48:47 +0100SignalGarden(~ash@user/SignalWalker) (Quit: WeeChat 3.4.1)
2022-03-18 03:49:43 +0100ProfSimm(~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds)
2022-03-18 04:04:13 +0100vysn(~vysn@user/vysn)
2022-03-18 04:04:29 +0100razetime(~quassel@117.254.34.103)
2022-03-18 04:09:08 +0100nexus(~nexus@79-120-162-157.pool.digikabel.hu) (Ping timeout: 250 seconds)
2022-03-18 04:11:00 +0100nexus(~nexus@77-234-86-159.pool.digikabel.hu)
2022-03-18 04:12:25 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-b409-678c-49f6-3fbd.res6.spectrum.com)
2022-03-18 04:12:52 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-b409-678c-49f6-3fbd.res6.spectrum.com) (Remote host closed the connection)
2022-03-18 04:14:24 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds)
2022-03-18 04:15:09 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 04:24:05 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2022-03-18 04:24:29 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2022-03-18 04:35:18 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-18 04:43:18 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-18 04:45:37 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 04:47:49 +0100mbuf(~Shakthi@136.185.68.186)
2022-03-18 04:48:18 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-18 04:49:48 +0100razetime(~quassel@117.254.34.103) (Ping timeout: 240 seconds)
2022-03-18 04:51:16 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee)
2022-03-18 04:56:01 +0100ProfSimm(~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds)
2022-03-18 04:58:02 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-18 04:59:12 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-18 05:06:39 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-03-18 05:08:11 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-18 05:11:32 +0100yuvi(~uv125@user/yuvi) (Ping timeout: 250 seconds)
2022-03-18 05:12:38 +0100Akiva(~Akiva@user/Akiva)
2022-03-18 05:15:59 +0100waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2022-03-18 05:19:32 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-18 05:21:30 +0100razetime(~quassel@117.254.34.103)
2022-03-18 05:21:56 +0100ubert(~Thunderbi@p200300ecdf1588f0fd6bfc6fe6a8a410.dip0.t-ipconnect.de) (Quit: ubert)
2022-03-18 05:22:15 +0100ubert(~Thunderbi@p200300ecdf1588f0fd6bfc6fe6a8a410.dip0.t-ipconnect.de)
2022-03-18 05:22:18 +0100Unicorn_Princess(~Unicorn_P@46-54-248-191.static.kate-wing.si) (Quit: Leaving)
2022-03-18 05:23:02 +0100geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 240 seconds)
2022-03-18 05:25:48 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-18 05:26:00 +0100Vajb(~Vajb@85-76-32-5-nat.elisa-mobile.fi)
2022-03-18 05:29:37 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 05:31:57 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds)
2022-03-18 05:33:25 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-03-18 05:37:55 +0100dsrt^(~dsrt@65.240.140.18)
2022-03-18 05:38:02 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-18 05:42:12 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds)
2022-03-18 05:44:03 +0100zebrag(~chris@user/zebrag) (Ping timeout: 252 seconds)
2022-03-18 05:50:06 +0100Vajb(~Vajb@85-76-32-5-nat.elisa-mobile.fi) (Read error: Connection reset by peer)
2022-03-18 05:50:42 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-18 06:04:12 +0100vysn(~vysn@user/vysn) (Ping timeout: 240 seconds)
2022-03-18 06:09:40 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-18 06:13:30 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 250 seconds)
2022-03-18 06:18:02 +0100nexus(~nexus@77-234-86-159.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-18 06:19:58 +0100nexus(~nexus@84-236-10-61.pool.digikabel.hu)
2022-03-18 06:21:43 +0100rkrishnan(~user@2402:e280:215c:2cd:bf0b:551a:7bea:1580)
2022-03-18 06:28:38 +0100Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Read error: Connection reset by peer)
2022-03-18 06:28:53 +0100Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
2022-03-18 06:29:32 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds)
2022-03-18 06:34:39 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 252 seconds)
2022-03-18 06:35:37 +0100coot(~coot@213.134.190.95)
2022-03-18 06:36:54 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds)
2022-03-18 06:39:03 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-18 06:50:14 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-03-18 06:51:44 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-03-18 07:08:48 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-03-18 07:09:41 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 07:10:06 +0100johnw_(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0)
2022-03-18 07:10:13 +0100ubert(~Thunderbi@p200300ecdf1588f0fd6bfc6fe6a8a410.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-03-18 07:10:13 +0100ub(~Thunderbi@p548c8d44.dip0.t-ipconnect.de)
2022-03-18 07:10:23 +0100lagash(lagash@lagash.shelltalk.net) (Ping timeout: 252 seconds)
2022-03-18 07:11:01 +0100lagash(lagash@lagash.shelltalk.net)
2022-03-18 07:11:30 +0100johnw(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 260 seconds)
2022-03-18 07:12:28 +0100yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 07:12:31 +0100ububert
2022-03-18 07:15:24 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-03-18 07:15:59 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds)
2022-03-18 07:17:33 +0100yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-03-18 07:18:08 +0100chomwitt(~chomwitt@2a02:587:dc19:ca00:67fe:b14c:d83a:53d8)
2022-03-18 07:18:18 +0100acidjnk(~acidjnk@p200300d0c7049f36f91727e42e27654f.dip0.t-ipconnect.de)
2022-03-18 07:21:10 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 07:32:40 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-18 07:32:55 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 07:33:03 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-03-18 07:39:14 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (*.net *.split)
2022-03-18 07:39:14 +0100haasn(~nand@haasn.dev) (*.net *.split)
2022-03-18 07:39:14 +0100pranshukhandal(~ghost@envs.net) (*.net *.split)
2022-03-18 07:39:14 +0100c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2022-03-18 07:39:14 +0100cross(~cross@spitfire.i.gajendra.net) (*.net *.split)
2022-03-18 07:39:14 +0100Philonous(~Philonous@user/philonous) (*.net *.split)
2022-03-18 07:39:14 +0100ncopa(~ncopa@alpine/developer/ncopa) (*.net *.split)
2022-03-18 07:39:14 +0100hiredman(~hiredman@frontier1.downey.family) (*.net *.split)
2022-03-18 07:39:14 +0100mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (*.net *.split)
2022-03-18 07:43:06 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-03-18 07:44:27 +0100michalz(~michalz@185.246.204.43)
2022-03-18 07:44:34 +0100haasn(~nand@haasn.dev)
2022-03-18 07:44:34 +0100pranshukhandal(~ghost@envs.net)
2022-03-18 07:44:34 +0100c_wraith(~c_wraith@adjoint.us)
2022-03-18 07:44:34 +0100cross(~cross@spitfire.i.gajendra.net)
2022-03-18 07:44:34 +0100Philonous(~Philonous@user/philonous)
2022-03-18 07:44:34 +0100ncopa(~ncopa@alpine/developer/ncopa)
2022-03-18 07:44:34 +0100hiredman(~hiredman@frontier1.downey.family)
2022-03-18 07:44:34 +0100mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net)
2022-03-18 07:48:25 +0100xkuru(~xkuru@user/xkuru)
2022-03-18 07:50:33 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-18 07:53:01 +0100x_kuru(xkuru@user/xkuru)
2022-03-18 07:53:23 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-18 07:54:13 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-18 07:55:16 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-18 07:55:57 +0100sudden(~cat@user/sudden) (Quit: Lost terminal)
2022-03-18 07:56:47 +0100xkuru(~xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-03-18 07:56:51 +0100sudden(~cat@user/sudden)
2022-03-18 08:00:18 +0100YoungFrog(~youngfrog@2a02:a03f:c21b:f900:a45d:272f:6e0f:d723) (Remote host closed the connection)
2022-03-18 08:00:37 +0100YoungFrog(~youngfrog@2a02:a03f:c21b:f900:1dce:7a96:eac5:305b)
2022-03-18 08:06:41 +0100vysn(~vysn@user/vysn)
2022-03-18 08:12:26 +0100mmhat(~mmh@55d47413.access.ecotel.net)
2022-03-18 08:13:37 +0100chenqisu1(~chenqisu1@183.217.201.47)
2022-03-18 08:18:46 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-03-18 08:18:55 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection)
2022-03-18 08:18:59 +0100vglfr(~vglfr@88.155.19.152)
2022-03-18 08:19:57 +0100zaquest(~notzaques@5.130.79.72)
2022-03-18 08:27:24 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-18 08:27:50 +0100foul_owl(~kerry@23.82.193.89) (Ping timeout: 250 seconds)
2022-03-18 08:34:50 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-18 08:37:22 +0100nexus(~nexus@84-236-10-61.pool.digikabel.hu) (Ping timeout: 250 seconds)
2022-03-18 08:37:35 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 08:38:26 +0100fendor(~fendor@178.165.184.46.wireless.dyn.drei.com)
2022-03-18 08:39:08 +0100nexus(~nexus@77-234-80-151.pool.digikabel.hu)
2022-03-18 08:43:12 +0100foul_owl(~kerry@23.82.193.87)
2022-03-18 08:43:16 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 245 seconds)
2022-03-18 08:47:39 +0100chele(~chele@user/chele)
2022-03-18 08:48:32 +0100machinedgod(~machinedg@24.105.81.50)
2022-03-18 08:56:11 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-18 08:59:04 +0100alp(~alp@user/alp)
2022-03-18 09:01:44 +0100cfricke(~cfricke@user/cfricke)
2022-03-18 09:02:09 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi)
2022-03-18 09:03:29 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection)
2022-03-18 09:04:07 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-18 09:05:59 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:4e6a:26fd:9a60:89cd)
2022-03-18 09:15:00 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2022-03-18 09:24:37 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-18 09:25:02 +0100vysn(~vysn@user/vysn) (Ping timeout: 250 seconds)
2022-03-18 09:25:35 +0100xff0x(~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp)
2022-03-18 09:26:00 +0100chomwitt(~chomwitt@2a02:587:dc19:ca00:67fe:b14c:d83a:53d8) (Remote host closed the connection)
2022-03-18 09:26:53 +0100razetime(~quassel@117.254.34.103) (Ping timeout: 256 seconds)
2022-03-18 09:29:34 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 09:30:46 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-18 09:31:32 +0100acidjnk(~acidjnk@p200300d0c7049f36f91727e42e27654f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-18 09:32:53 +0100x_kuru_(~xkuru@user/xkuru)
2022-03-18 09:36:31 +0100x_kuru(xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-03-18 09:37:30 +0100razetime(~quassel@117.254.34.103)
2022-03-18 09:39:15 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-18 09:40:58 +0100sus(zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net)
2022-03-18 09:40:58 +0100pranshukhandal(~ghost@envs.net) (Quit: the lounge - https://webirc.envs.net)
2022-03-18 09:41:26 +0100pranshukhandal(pranshukha@envs.net)
2022-03-18 09:41:32 +0100sus(zero@user/zeromomentum)
2022-03-18 09:43:50 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-03-18 09:44:18 +0100acidjnk(~acidjnk@p200300d0c7049f36b509ee641a981088.dip0.t-ipconnect.de)
2022-03-18 09:44:29 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-18 09:45:22 +0100coot(~coot@213.134.190.95)
2022-03-18 09:45:33 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-03-18 09:46:36 +0100razetime(~quassel@117.254.34.103) (Ping timeout: 245 seconds)
2022-03-18 09:47:11 +0100razetime(~quassel@117.254.34.103)
2022-03-18 09:47:11 +0100skandal(~skandal@user/szahid)
2022-03-18 09:47:15 +0100 <skandal> Hello :)
2022-03-18 09:48:00 +0100Everything(~Everythin@37.115.210.35) (Quit: leaving)
2022-03-18 09:48:14 +0100mc47(~mc47@xmonad/TheMC47)
2022-03-18 09:49:46 +0100 <hololeap> (:
2022-03-18 09:57:12 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-18 09:59:49 +0100ByronJohnson(~bairyn@50-250-232-19-static.hfc.comcastbusiness.net)
2022-03-18 10:00:11 +0100zwro[m](~zwromatri@2001:470:69fc:105::1d4) (Quit: You have been kicked for being idle)
2022-03-18 10:00:44 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-18 10:01:32 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-03-18 10:04:42 +0100nishant(~Nishant@49.37.242.151)
2022-03-18 10:10:25 +0100deadmarshal_(~deadmarsh@95.38.229.235)
2022-03-18 10:11:32 +0100phma(~phma@host-67-44-208-165.hnremote.net) (Read error: Connection reset by peer)
2022-03-18 10:13:07 +0100phma(phma@2001:5b0:210d:5e78:4ddc:46f7:a015:1ae8)
2022-03-18 10:14:53 +0100yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 10:19:35 +0100yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-03-18 10:20:10 +0100ccntrq(~Thunderbi@2a01:c22:8dff:a900:95f9:e3fc:6ba:be65)
2022-03-18 10:28:15 +0100CiaoSen(~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-03-18 10:28:41 +0100acidjnk(~acidjnk@p200300d0c7049f36b509ee641a981088.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2022-03-18 10:32:55 +0100MajorBiscuit(~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl)
2022-03-18 10:34:32 +0100vglfr(~vglfr@88.155.19.152) (Ping timeout: 240 seconds)
2022-03-18 10:34:46 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 10:40:57 +0100chenqisu1(~chenqisu1@183.217.201.47) (Quit: Leaving)
2022-03-18 10:42:00 +0100shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-03-18 10:44:09 +0100__monty__(~toonn@user/toonn)
2022-03-18 10:57:59 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-18 11:02:12 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-03-18 11:12:36 +0100nexus(~nexus@77-234-80-151.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-18 11:12:36 +0100ubert1(~Thunderbi@2a02:8109:9880:303c:e5eb:8f18:bf2f:b46e)
2022-03-18 11:14:33 +0100nexus(~nexus@193-110-63-52.cable-modem.hdsnet.hu)
2022-03-18 11:16:08 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2022-03-18 11:16:21 +0100gentauro(~gentauro@user/gentauro)
2022-03-18 11:18:08 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 250 seconds)
2022-03-18 11:24:19 +0100vglfr(~vglfr@88.155.19.152)
2022-03-18 11:27:28 +0100vysn(~vysn@user/vysn)
2022-03-18 11:38:08 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2022-03-18 11:41:41 +0100vpan(~0@212.117.1.172)
2022-03-18 11:43:58 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-18 11:46:06 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-03-18 11:46:44 +0100CiaoSen(~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-03-18 11:53:32 +0100vglfr(~vglfr@88.155.19.152) (Ping timeout: 240 seconds)
2022-03-18 11:53:39 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 12:01:24 +0100rkrishnan(~user@2402:e280:215c:2cd:bf0b:551a:7bea:1580) (Ping timeout: 240 seconds)
2022-03-18 12:07:39 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-18 12:08:09 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-18 12:08:58 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 12:17:02 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds)
2022-03-18 12:17:37 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 12:23:34 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-18 12:24:00 +0100x_kuru_(~xkuru@user/xkuru) (Ping timeout: 250 seconds)
2022-03-18 12:24:21 +0100xkuru(~xkuru@user/xkuru)
2022-03-18 12:26:05 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 12:28:07 +0100kuribas(~user@ptr-25vy0i7v6t0nxlxx3tw.18120a2.ip6.access.telenet.be)
2022-03-18 12:31:02 +0100razetime(~quassel@117.254.34.103) (Ping timeout: 240 seconds)
2022-03-18 12:31:03 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
2022-03-18 12:31:18 +0100vglfr(~vglfr@88.155.19.152)
2022-03-18 12:32:34 +0100xkuru(~xkuru@user/xkuru) (Ping timeout: 260 seconds)
2022-03-18 12:34:26 +0100razetime(~quassel@117.254.34.103)
2022-03-18 12:35:48 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-18 12:36:38 +0100yauhsien(~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net) (Quit: Leaving)
2022-03-18 12:37:24 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 12:43:51 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 12:50:29 +0100ph88(~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl)
2022-03-18 12:55:38 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.3)
2022-03-18 12:56:34 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-03-18 12:57:07 +0100cfricke(~cfricke@user/cfricke)
2022-03-18 12:58:14 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-18 12:58:57 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 13:00:16 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 13:01:51 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds)
2022-03-18 13:03:10 +0100Topsi(~Tobias@dyndsl-095-033-019-103.ewe-ip-backbone.de)
2022-03-18 13:03:58 +0100coot(~coot@213.134.190.95)
2022-03-18 13:04:12 +0100vglfr(~vglfr@88.155.19.152) (Ping timeout: 240 seconds)
2022-03-18 13:06:05 +0100acidjnk(~acidjnk@p200300d0c7049f369121ad62dc74a3f6.dip0.t-ipconnect.de)
2022-03-18 13:07:46 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-03-18 13:09:32 +0100coot(~coot@213.134.190.95) (Ping timeout: 240 seconds)
2022-03-18 13:09:59 +0100xkuru(~xkuru@user/xkuru)
2022-03-18 13:10:02 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-18 13:11:33 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-03-18 13:12:03 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 13:18:21 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds)
2022-03-18 13:19:30 +0100mncheck(~mncheck@193.224.205.254)
2022-03-18 13:21:50 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-18 13:22:52 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
2022-03-18 13:23:59 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 13:24:37 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-18 13:31:54 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-18 13:32:06 +0100AlexNoo_AlexNoo
2022-03-18 13:32:44 +0100cfricke(~cfricke@user/cfricke) (Ping timeout: 268 seconds)
2022-03-18 13:33:43 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-18 13:34:14 +0100nexus(~nexus@193-110-63-52.cable-modem.hdsnet.hu) (Read error: Connection reset by peer)
2022-03-18 13:35:06 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 13:38:54 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-18 13:39:48 +0100nexus(~nexus@84-236-55-5.pool.digikabel.hu)
2022-03-18 13:42:32 +0100acidjnk(~acidjnk@p200300d0c7049f369121ad62dc74a3f6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-18 13:49:59 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-03-18 13:51:17 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-18 13:51:54 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 13:54:56 +0100jespada(~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-18 13:57:11 +0100Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds)
2022-03-18 13:57:55 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-18 13:59:45 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-18 13:59:50 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 14:00:36 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 14:00:40 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-18 14:01:30 +0100swistak(~swistak@185.21.216.141) (Ping timeout: 250 seconds)
2022-03-18 14:05:07 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-03-18 14:05:41 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-18 14:08:00 +0100In0perable(~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!)
2022-03-18 14:12:57 +0100javiergarea(~javiergar@62.83.194.64.dyn.user.ono.com)
2022-03-18 14:13:45 +0100Inoperable(~PLAYER_1@fancydata.science)
2022-03-18 14:15:51 +0100 <javiergarea> Hello! Anyone here I can discuss a possible idea for #haskell-gsoc with?
2022-03-18 14:16:16 +0100Alleria(~textual@user/alleria) (Quit: Textual IRC Client: www.textualapp.com)
2022-03-18 14:17:37 +0100 <dminuoso> Go for it?
2022-03-18 14:17:50 +0100 <dminuoso> This channel is very lax about what you discuss, for the most part. :)
2022-03-18 14:18:13 +0100Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
2022-03-18 14:18:40 +0100Psybur(~Psybur@mobile-166-171-56-243.mycingular.net)
2022-03-18 14:23:36 +0100bahamas(~lucian@84.232.140.158)
2022-03-18 14:23:42 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.4)
2022-03-18 14:23:54 +0100javiergarea(~javiergar@62.83.194.64.dyn.user.ono.com) (Quit: Client closed)
2022-03-18 14:26:18 +0100tabemann(~travisb@2600:1700:7990:24e0:305:eafc:7502:a3bd) (Remote host closed the connection)
2022-03-18 14:26:31 +0100tabemann(~travisb@2600:1700:7990:24e0:ef59:1828:166d:a63e)
2022-03-18 14:28:43 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 14:28:47 +0100 <alt-romes> what is gsoc?
2022-03-18 14:29:25 +0100 <merijn> Google Summer of Code
2022-03-18 14:30:52 +0100jstolarek(~jstolarek@staticline-31-183-185-185.toya.net.pl)
2022-03-18 14:33:27 +0100vglfr(~vglfr@88.155.19.152)
2022-03-18 14:33:52 +0100jespada(~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net)
2022-03-18 14:33:57 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 14:34:27 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-18 14:35:23 +0100ec(~ec@gateway/tor-sasl/ec)
2022-03-18 14:37:20 +0100SignalGarden(~ash@user/SignalWalker)
2022-03-18 14:38:13 +0100jespada(~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-03-18 14:42:13 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 240 seconds)
2022-03-18 14:45:16 +0100alphabeta(~kilolympu@31.205.200.235) (Ping timeout: 250 seconds)
2022-03-18 14:45:48 +0100bahamas(~lucian@84.232.140.158) (Ping timeout: 252 seconds)
2022-03-18 14:48:56 +0100kilolympus(~kilolympu@31.205.200.235)
2022-03-18 14:54:00 +0100 <Inst> romesrf ;_;
2022-03-18 14:54:13 +0100vglfr(~vglfr@88.155.19.152) (Ping timeout: 240 seconds)
2022-03-18 14:55:45 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2022-03-18 14:56:06 +0100 <alt-romes> Inst: yes?
2022-03-18 14:56:23 +0100alt-romesromesrf
2022-03-18 14:57:15 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-03-18 15:05:02 +0100ManofLetters[m]sent a Haskell code block: https://libera.ems.host/_matrix/media/r0/download/libera.chat/f408ac5bfb0dc2710d45fd82ad7a0fc6600f…
2022-03-18 15:05:19 +0100jespada(~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net)
2022-03-18 15:08:19 +0100 <SignalGarden> is there a good library for f-strings, or something similar? (like how, in Rust or Python, you can do things like `f"foo: {foo}"`)
2022-03-18 15:09:39 +0100 <merijn> There's a number of things that exist, but usually I don't find them worth it compared to "mconcat" + plus explicit conversion to String
2022-03-18 15:12:28 +0100 <merijn> @hackage interpolate
2022-03-18 15:12:28 +0100 <lambdabot> https://hackage.haskell.org/package/interpolate
2022-03-18 15:12:37 +0100 <merijn> But in practice I usually just do: https://github.com/merijn/Belewitte/blob/55722e6374a7820b0d5925bc98cbd1686d4265a7/benchmark-analys…
2022-03-18 15:13:29 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-03-18 15:14:36 +0100 <yushyin> i've used string-interpolate once or twice, and it was okay
2022-03-18 15:16:03 +0100Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 252 seconds)
2022-03-18 15:17:12 +0100 <SignalGarden> oh, i see; thanks
2022-03-18 15:17:22 +0100 <SignalGarden> yeah, i've been using mconcat, too
2022-03-18 15:19:44 +0100shriekingnoise(~shrieking@201.231.16.156)
2022-03-18 15:21:00 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2022-03-18 15:21:29 +0100 <ManofLetters[m]> re `{-# SPECIALIZE test @Int :: Double #-}`, I've added a `Proxy` argument, old style; please let me know if there's a better way; thank you
2022-03-18 15:25:33 +0100philpax_(sid516926@id-516926.lymington.irccloud.com) (Ping timeout: 250 seconds)
2022-03-18 15:25:33 +0100tritlo(sid58727@user/tritlo) (Ping timeout: 250 seconds)
2022-03-18 15:25:33 +0100jakesyl__(sid56879@2a03:5180:f:4::de2f) (Ping timeout: 250 seconds)
2022-03-18 15:25:33 +0100sunarch(sid526836@user/sunarch) (Ping timeout: 250 seconds)
2022-03-18 15:25:33 +0100hamishmack_(sid389057@id-389057.hampstead.irccloud.com) (Ping timeout: 250 seconds)
2022-03-18 15:25:59 +0100mustafa(sid502723@rockylinux/releng/mustafa) (Ping timeout: 250 seconds)
2022-03-18 15:25:59 +0100astra(sid289983@user/amish) (Ping timeout: 250 seconds)
2022-03-18 15:25:59 +0100sa(sid1055@2a03:5180:f::41f) (Ping timeout: 250 seconds)
2022-03-18 15:25:59 +0100edwardk(sid47016@haskell/developer/edwardk) (Ping timeout: 250 seconds)
2022-03-18 15:26:25 +0100hubvu_(sid495858@id-495858.tinside.irccloud.com) (Ping timeout: 250 seconds)
2022-03-18 15:26:25 +0100glowcoil(sid3405@2a03:5180:f::d4d) (Ping timeout: 250 seconds)
2022-03-18 15:26:45 +0100hubvu_(sid495858@id-495858.tinside.irccloud.com)
2022-03-18 15:26:47 +0100astra(sid289983@id-289983.hampstead.irccloud.com)
2022-03-18 15:26:50 +0100sa(sid1055@id-1055.tinside.irccloud.com)
2022-03-18 15:26:52 +0100sunarch(sid526836@user/sunarch)
2022-03-18 15:26:59 +0100jakesyl__(sid56879@id-56879.hampstead.irccloud.com)
2022-03-18 15:27:23 +0100glowcoil(sid3405@id-3405.tinside.irccloud.com)
2022-03-18 15:27:28 +0100mustafa(sid502723@rockylinux/releng/mustafa)
2022-03-18 15:27:30 +0100edwardk(sid47016@haskell/developer/edwardk)
2022-03-18 15:28:45 +0100philpax_(sid516926@id-516926.lymington.irccloud.com)
2022-03-18 15:28:45 +0100tritlo(sid58727@user/tritlo)
2022-03-18 15:28:47 +0100hamishmack_(sid389057@id-389057.hampstead.irccloud.com)
2022-03-18 15:33:01 +0100haritz(~hrtz@user/haritz) (Ping timeout: 240 seconds)
2022-03-18 15:33:51 +0100razetime(~quassel@117.254.34.103) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-03-18 15:34:06 +0100razetime(~quassel@117.254.34.103)
2022-03-18 15:35:08 +0100ss(~ss@187.83.249.216.dyn.smithville.net)
2022-03-18 15:35:12 +0100SignalGarden(~ash@user/SignalWalker) (Quit: WeeChat 3.4.1)
2022-03-18 15:35:12 +0100ssGuest5716
2022-03-18 15:35:26 +0100razetime(~quassel@117.254.34.103) (Client Quit)
2022-03-18 15:35:41 +0100razetime(~quassel@117.254.34.103)
2022-03-18 15:37:18 +0100weekOldRoadkill(~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net)
2022-03-18 15:37:18 +0100fef(~thedawn@user/thedawn)
2022-03-18 15:38:37 +0100bliminse(~bliminse@host86-156-84-211.range86-156.btcentralplus.com) (Quit: leaving)
2022-03-18 15:43:39 +0100yuvi(~uv125@192.54.96.185)
2022-03-18 15:44:08 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2022-03-18 15:44:48 +0100swistak(~swistak@185.21.216.141)
2022-03-18 15:44:58 +0100bahamas(~lucian@86.120.77.115)
2022-03-18 15:45:43 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-03-18 15:50:55 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-18 15:51:51 +0100haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2022-03-18 15:51:51 +0100haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2022-03-18 15:51:51 +0100haritz(~hrtz@user/haritz)
2022-03-18 15:53:34 +0100SignalGarden(~ash@user/SignalWalker)
2022-03-18 15:53:37 +0100__monty__(~toonn@user/toonn)
2022-03-18 15:59:24 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-18 16:00:53 +0100Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
2022-03-18 16:01:33 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-18 16:02:13 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-18 16:02:14 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-03-18 16:02:56 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-18 16:05:18 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-03-18 16:05:44 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 16:06:57 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-03-18 16:09:10 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-18 16:10:41 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-18 16:14:33 +0100 <SignalGarden> i've made a typeclass instance for Text (from Data.Text), and, if i try to use it with an unannotated literal (ex. `classFn "foo"`), the compiler emits an ambiguous type variable error. Since there are only two instances of this class and the other isn't a string type, why can't the compiler infer that "foo" is a Text?
2022-03-18 16:15:05 +0100dextaa_(~dextaa@user/dextaa)
2022-03-18 16:16:26 +0100 <SignalGarden> (to be clear, it compiles fine if i annotate it, like `classFn ("foo" :: Text)`
2022-03-18 16:20:16 +0100 <Hecate> SignalGarden: because you exchange un-anotated string literals with poorer type inference :)
2022-03-18 16:20:25 +0100 <Hecate> that's the law of equivalent exchange™
2022-03-18 16:21:35 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 16:27:55 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-03-18 16:28:29 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-03-18 16:29:11 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-18 16:29:17 +0100 <geekosaur> open world assumption: the compiler cannot provethere will never bean instance for String
2022-03-18 16:29:22 +0100__monty__(~toonn@user/toonn)
2022-03-18 16:29:37 +0100 <geekosaur> this is among other things the price of separate compilation
2022-03-18 16:29:53 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-18 16:29:58 +0100 <Hecate> well-phrased, thanks geekosaur
2022-03-18 16:31:43 +0100unyu(~pyon@user/pyon) (Quit: brb)
2022-03-18 16:36:39 +0100Sgeo(~Sgeo@user/sgeo)
2022-03-18 16:38:41 +0100bahamas(~lucian@86.120.77.115) (Ping timeout: 256 seconds)
2022-03-18 16:40:59 +0100dsrt^(~dsrt@65.240.140.18) (Remote host closed the connection)
2022-03-18 16:44:39 +0100CiaoSen(~Jura@p200300c95727d4002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-03-18 16:49:03 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2022-03-18 16:50:27 +0100 <shapr> what was that ELF reordering fix that gave a 5% speedup to Haskell binaries?
2022-03-18 16:51:08 +0100adnaahm(~adnaahm@111.119.178.152)
2022-03-18 16:52:23 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-18 16:55:40 +0100 <SignalGarden> i see, that makes sense, @geekosaur; thanks
2022-03-18 16:56:07 +0100 <shapr> oh, I found it https://andreaspk.github.io/posts/2018-09-01-gsoc-report.html
2022-03-18 16:56:36 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:4e6a:26fd:9a60:89cd) (Quit: WeeChat 2.8)
2022-03-18 16:57:37 +0100adnaahm(~adnaahm@111.119.178.152) (Ping timeout: 240 seconds)
2022-03-18 17:00:06 +0100ac(~aloiscoch@2001:470:69fc:105::65) (Quit: You have been kicked for being idle)
2022-03-18 17:01:02 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds)
2022-03-18 17:03:50 +0100SignalGarden(~ash@user/SignalWalker) (Ping timeout: 252 seconds)
2022-03-18 17:05:30 +0100vysn(~vysn@user/vysn) (Ping timeout: 252 seconds)
2022-03-18 17:07:42 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-18 17:08:27 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-18 17:12:19 +0100modnar(~modnar@shell.sonic.net) (Remote host closed the connection)
2022-03-18 17:13:53 +0100 <phma> I'm writing a function that operates on a sequence. I got a parse error in pattern on this line:
2022-03-18 17:13:56 +0100 <phma> stripLeading0 (0<|xs) = stripLeading0 xs
2022-03-18 17:14:17 +0100 <phma> What's the right way to write it?
2022-03-18 17:14:28 +0100SignalGarden(~ash@user/SignalWalker)
2022-03-18 17:16:02 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-18 17:16:48 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-18 17:16:59 +0100 <geekosaur> I think you have to use :<|
2022-03-18 17:17:11 +0100 <geekosaur> <| is a function, not a constructor
2022-03-18 17:18:11 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-18 17:18:36 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 17:25:32 +0100nexus(~nexus@84-236-55-5.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-18 17:27:23 +0100nexus(~nexus@92-249-150-160.static.digikabel.hu)
2022-03-18 17:29:49 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-03-18 17:30:25 +0100Ash[m](~signal-wa@2001:470:69fc:105::1:2318)
2022-03-18 17:31:47 +0100SignalGarden(~ash@user/SignalWalker) (WeeChat 3.4.1)
2022-03-18 17:31:53 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-18 17:40:10 +0100cdman(~dcm@user/dmc/x-4369397)
2022-03-18 17:43:20 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 17:43:26 +0100deadmarshal_(~deadmarsh@95.38.229.235) (Ping timeout: 252 seconds)
2022-03-18 17:45:27 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-03-18 17:47:06 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-18 17:47:32 +0100cdman(~dcm@user/dmc/x-4369397) (Leaving)
2022-03-18 17:47:48 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-18 17:48:31 +0100ubert1(~Thunderbi@2a02:8109:9880:303c:e5eb:8f18:bf2f:b46e) (Remote host closed the connection)
2022-03-18 17:48:49 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de)
2022-03-18 17:48:57 +0100MajorBiscuit(~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 240 seconds)
2022-03-18 17:49:52 +0100mbuf(~Shakthi@136.185.68.186) (Quit: Leaving)
2022-03-18 17:50:52 +0100ccntrq(~Thunderbi@2a01:c22:8dff:a900:95f9:e3fc:6ba:be65) (Remote host closed the connection)
2022-03-18 17:52:21 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 268 seconds)
2022-03-18 17:56:10 +0100vpan(~0@212.117.1.172) (Quit: Leaving.)
2022-03-18 17:58:11 +0100Unicorn_Princess(~Unicorn_P@46-54-248-191.static.kate-wing.si)
2022-03-18 17:58:27 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 17:59:37 +0100razetime(~quassel@117.254.34.103) (Ping timeout: 240 seconds)
2022-03-18 18:00:11 +0100zebrag(~chris@user/zebrag)
2022-03-18 18:02:05 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2022-03-18 18:09:57 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2022-03-18 18:10:58 +0100yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-18 18:15:32 +0100Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 272 seconds)
2022-03-18 18:15:39 +0100deadmarshal_(~deadmarsh@95.38.229.235)
2022-03-18 18:17:26 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 245 seconds)
2022-03-18 18:17:48 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-18 18:18:05 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 18:18:21 +0100yauhsien(~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 18:19:03 +0100 <janus> seems like lts-19 is out: https://www.stackage.org/lts-19.0
2022-03-18 18:20:06 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de)
2022-03-18 18:20:07 +0100deadmarshal_(~deadmarsh@95.38.229.235) (Ping timeout: 256 seconds)
2022-03-18 18:20:57 +0100Akiva(~Akiva@user/Akiva)
2022-03-18 18:24:09 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-03-18 18:24:39 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds)
2022-03-18 18:25:37 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 18:27:17 +0100CiaoSen(~Jura@p200300c95727d4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-18 18:31:14 +0100nishant(~Nishant@49.37.242.151) (Quit: Leaving)
2022-03-18 18:31:37 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds)
2022-03-18 18:32:19 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 18:35:36 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 18:36:10 +0100kilolympus(~kilolympu@31.205.200.235) (Quit: Quitting IRC :()
2022-03-18 18:36:30 +0100kilolympus(~kilolympu@31.205.200.235)
2022-03-18 18:36:55 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-03-18 18:38:46 +0100coot(~coot@213.134.190.95)
2022-03-18 18:43:26 +0100 <weekOldRoadkill> nice
2022-03-18 18:53:30 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee)
2022-03-18 19:00:59 +0100yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-18 19:01:25 +0100geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca)
2022-03-18 19:01:33 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-03-18 19:01:46 +0100k8yun(~k8yun@user/k8yun)
2022-03-18 19:02:05 +0100geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection)
2022-03-18 19:02:59 +0100Kaiepi(~Kaiepi@156.34.47.253)
2022-03-18 19:05:14 +0100weekOldRoadkill(~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) (Quit: Leaving)
2022-03-18 19:05:59 +0100vorpuni(~pvorp@2001:861:3881:c690:3f02:cfaf:23c0:9d3b)
2022-03-18 19:06:07 +0100yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-18 19:06:47 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-18 19:06:47 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-18 19:06:47 +0100wroathe(~wroathe@user/wroathe)
2022-03-18 19:08:17 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-18 19:09:09 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2022-03-18 19:10:14 +0100Techcable(~Techcable@168.235.93.147) (Remote host closed the connection)
2022-03-18 19:10:22 +0100Techcable(~Techcable@168.235.93.147)
2022-03-18 19:13:27 +0100kuribas(~user@ptr-25vy0i7v6t0nxlxx3tw.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2022-03-18 19:13:32 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-18 19:13:39 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds)
2022-03-18 19:14:19 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-03-18 19:14:36 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 19:16:58 +0100k8yun(~k8yun@user/k8yun) (Ping timeout: 250 seconds)
2022-03-18 19:17:05 +0100Guest5716(~ss@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2022-03-18 19:17:31 +0100k8yun(~k8yun@user/k8yun)
2022-03-18 19:20:12 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection)
2022-03-18 19:21:05 +0100vglfr(~vglfr@88.155.19.152)
2022-03-18 19:24:12 +0100CiaoSen(~Jura@p200300c95727d4002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-03-18 19:24:21 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-18 19:30:26 +0100econo(uid147250@user/econo)
2022-03-18 19:30:49 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 250 seconds)
2022-03-18 19:33:30 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 19:34:02 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds)
2022-03-18 19:37:57 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds)
2022-03-18 19:38:41 +0100dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-03-18 19:39:29 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2022-03-18 19:40:47 +0100boxscape_(~boxscape_@p4ff0b60b.dip0.t-ipconnect.de)
2022-03-18 19:41:17 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 19:41:32 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Ping timeout: 240 seconds)
2022-03-18 19:49:42 +0100 <nf> can someone familiar with random-fu confirm that the 0.3.0.0 equivalent of `sample v` is something like `do g <- newIOGenM =<< newStdGen; sampleFrom g v` ?
2022-03-18 19:50:48 +0100fef(~thedawn@user/thedawn) (Quit: Leaving)
2022-03-18 20:00:09 +0100 <glguy> nf: that's how it's shown working in the haddocks
2022-03-18 20:00:48 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-18 20:01:28 +0100 <nf> "shown"
2022-03-18 20:01:48 +0100 <nf> unless i missed something, i had to do some type tetris across multiple files to come up with this
2022-03-18 20:05:15 +0100 <nf> actually i guess the equivalent is `do g <- MWC.createSystemRandom; sampleFrom g v`, judging from https://hackage.haskell.org/package/random-source-0.3.0.11/docs/src/Data.Random.Source.IO.html#lin…
2022-03-18 20:06:01 +0100 <nf> not sure what the difference is if both use /dev/urandom
2022-03-18 20:07:49 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 20:10:14 +0100gaff(~gaff@49.207.205.209)
2022-03-18 20:10:49 +0100gaff(~gaff@49.207.205.209) (Client Quit)
2022-03-18 20:11:08 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 250 seconds)
2022-03-18 20:11:10 +0100gaff(~gaff@49.207.205.209)
2022-03-18 20:11:21 +0100gaff(~gaff@49.207.205.209) (Client Quit)
2022-03-18 20:12:47 +0100 <nf> (the context is still trying to port lambdabot to ghc 9)
2022-03-18 20:16:59 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 20:18:17 +0100DNH(~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810)
2022-03-18 20:19:45 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 20:21:57 +0100fendor(~fendor@178.165.184.46.wireless.dyn.drei.com) (Remote host closed the connection)
2022-03-18 20:22:24 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 250 seconds)
2022-03-18 20:24:08 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 250 seconds)
2022-03-18 20:25:23 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 20:25:26 +0100nexus(~nexus@92-249-150-160.static.digikabel.hu) (Ping timeout: 250 seconds)
2022-03-18 20:25:50 +0100 <justsomeguy> In the book I'm learning Haskell from, there is a large chapter about how to calculate the cardinality of types. Is this useful for programming, somehow? My first impression is that this isn't useful.
2022-03-18 20:26:03 +0100 <justsomeguy> So the net cost for the trip was about $22k. I paid for the vast majority of this with one month's consultancy beforehand. That's crazy when you think about it, one month's consultancy in return for a year traveling. And I certainly didn't hold back with the budget, I met a lot of people doing it for much cheaper. Where there's a will, there's a way.
2022-03-18 20:26:30 +0100 <justsomeguy> (Argh, sorry, I accidently pasted with the middle-mouse button! Please disregard that last comment.)
2022-03-18 20:27:12 +0100nexus(~nexus@85-238-77-75.pool.digikabel.hu)
2022-03-18 20:28:45 +0100 <geekosaur> it explains why types in Haskell work the way they do, and will ultimately help you understand things like Generics
2022-03-18 20:29:08 +0100 <geekosaur> specifically, the cardinality of types is why we talk of sum and product types
2022-03-18 20:30:08 +0100 <geekosaur> it'll also be relevant if you go on to learn type theory
2022-03-18 20:32:11 +0100 <geekosaur> admittedly this may not matter much to you if you're just looking to be a "working" programmer, much as high school algebra is less usefulfor itself as it is a stepping stone to calculus, linear algebra, higher algebras, etc.
2022-03-18 20:33:58 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-18 20:33:58 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-18 20:33:58 +0100wroathe(~wroathe@user/wroathe)
2022-03-18 20:34:40 +0100 <monochrom> Counting can help check your understand of what values are there.
2022-03-18 20:34:53 +0100 <justsomeguy> I guess that it's generally a good idea to think about the case analysis of what your functions can produce, and that depends on the cardinality of the type.
2022-03-18 20:36:02 +0100 <monochrom> It is true that complete verification of complete understanding can only be via enumerating all values. But usually we're too lazy to do it when there are more than 5.
2022-03-18 20:36:53 +0100 <justsomeguy> :D
2022-03-18 20:37:16 +0100 <monochrom> At which point if you agree that "data X = C1 Five | C2 Six Seven" has 5+6*7, then we conclude "OK you get the point".
2022-03-18 20:40:39 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds)
2022-03-18 20:40:55 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Quit: mikoto-chan)
2022-03-18 20:41:01 +0100vglfr(~vglfr@88.155.19.152) (Ping timeout: 250 seconds)
2022-03-18 20:41:02 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-18 20:41:09 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-18 20:41:10 +0100 <monochrom> Conversely, as a teaching trick, just communicating "data T = T M N has m*n values" already induces the student to understand "ooohhh so it is a record", "data S = S1 M | S2 N has m+n values" already induces the student to understand "oohhh so it is two cases". It is a great clarification and confirmation tool.
2022-03-18 20:42:13 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-18 20:42:27 +0100 <justsomeguy> Interesting.
2022-03-18 20:46:57 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-18 20:48:31 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-18 20:50:02 +0100gehmehgeh(~user@user/gehmehgeh)
2022-03-18 20:54:51 +0100infinity0(~infinity0@occupy.ecodis.net) (Remote host closed the connection)
2022-03-18 20:57:57 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2022-03-18 20:57:57 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 21:00:13 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-03-18 21:01:54 +0100 <sm> koala_man: hi, may I ask what is your numbering system for ShellCheck error ids ?
2022-03-18 21:03:48 +0100pgib(~textual@173.38.117.89)
2022-03-18 21:04:26 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2022-03-18 21:04:39 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-03-18 21:04:59 +0100infinity0(~infinity0@occupy.ecodis.net)
2022-03-18 21:05:23 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer)
2022-03-18 21:05:35 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2022-03-18 21:07:18 +0100 <sm> it looks like you have 1xxx, 2xxx, and 3xxx groups
2022-03-18 21:07:54 +0100ec(~ec@gateway/tor-sasl/ec)
2022-03-18 21:11:54 +0100Guest|7(~Guest|7@tmo-101-14.customers.d1-online.com)
2022-03-18 21:13:20 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2022-03-18 21:19:11 +0100k8yun_(~k8yun@user/k8yun)
2022-03-18 21:22:35 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee)
2022-03-18 21:22:54 +0100k8yun(~k8yun@user/k8yun) (Ping timeout: 252 seconds)
2022-03-18 21:22:57 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 21:24:33 +0100alp(~alp@user/alp) (Ping timeout: 252 seconds)
2022-03-18 21:28:13 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2022-03-18 21:29:57 +0100Guest|7(~Guest|7@tmo-101-14.customers.d1-online.com) (Ping timeout: 256 seconds)
2022-03-18 21:32:10 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-18 21:35:32 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2022-03-18 21:35:41 +0100 <dsal> I found understanding type cardinality helpful. Though it does open one up to being annoyed when something like `Maybe [a]` shows up.
2022-03-18 21:44:08 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-18 21:48:33 +0100 <dminuoso> dsal: Are you still counting that one?
2022-03-18 21:48:45 +0100 <dminuoso> Let me know when you're done!
2022-03-18 21:49:11 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-03-18 21:49:22 +0100 <dminuoso> Cantor says this one is countable. :>
2022-03-18 21:52:50 +0100 <dsal> It effectively just has two zeros. It's only done because of a limitation in how aeson creates instances.
2022-03-18 21:53:15 +0100acidjnk(~acidjnk@p200300d0c7049f36d0988f567c670268.dip0.t-ipconnect.de)
2022-03-18 21:55:10 +0100 <geekosaur> I admit to having used Maybe [a], but only when there was an actual difference between Nothing and Just []
2022-03-18 21:57:28 +0100 <monochrom> A parser would have just cause for parsing "abc" to Just ['a', 'b', 'c'], "" to Just [], and "01" to Nothing.
2022-03-18 21:58:03 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2022-03-18 21:58:16 +0100 <monochrom> Uh haha I didn't intend the pun on "just" I swear!
2022-03-18 22:06:51 +0100Guest|7(~Guest|7@dynamic-046-114-005-013.46.114.pool.telefonica.de)
2022-03-18 22:07:02 +0100 <Guest|7> i  can not write min 3,4 3,2 why is that?
2022-03-18 22:07:26 +0100 <monochrom> Wrong syntax. minimum [3, 4, 3, 2]
2022-03-18 22:07:36 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-03-18 22:07:51 +0100Guest|7(~Guest|7@dynamic-046-114-005-013.46.114.pool.telefonica.de) (Client Quit)
2022-03-18 22:07:57 +0100yuvi(~uv125@192.54.96.185) (Quit: WeeChat 2.8)
2022-03-18 22:08:34 +0100 <geekosaur> I am not sure that was what they meant?
2022-03-18 22:08:37 +0100 <geekosaur> :t min
2022-03-18 22:08:38 +0100 <lambdabot> Ord a => a -> a -> a
2022-03-18 22:09:09 +0100 <geekosaur> `3,4` is not a number (Haskell requires decimal points, not commas) nor is it a tuple (requires parentheses)
2022-03-18 22:09:14 +0100 <sm> min (3,4) (3,2) ?
2022-03-18 22:10:05 +0100 <monochrom> Oh I see, I misread a space for a comma.
2022-03-18 22:10:13 +0100pavonia(~user@user/siracusa)
2022-03-18 22:10:14 +0100 <monochrom> min 3.4 3.2
2022-03-18 22:10:16 +0100kenran(~kenran@200116b82baf00008565b4314491a38d.dip.versatel-1u1.de)
2022-03-18 22:10:20 +0100 <monochrom> Still, wrong syntax.
2022-03-18 22:10:48 +0100 <geekosaur> in any case they left
2022-03-18 22:11:52 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-18 22:12:49 +0100Guest|7(~Guest|7@dynamic-046-114-005-013.46.114.pool.telefonica.de)
2022-03-18 22:12:59 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-18 22:13:26 +0100 <Guest|7> hm that did not work either.. maybe because my "prelude" now is ghci and not ghci> ?How can I change that?
2022-03-18 22:13:28 +0100alp(~alp@user/alp)
2022-03-18 22:13:35 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds)
2022-03-18 22:14:08 +0100 <monochrom> What is the exact unabridged error message?
2022-03-18 22:14:31 +0100 <geekosaur> unlikely it's that, but :set prompt "ghci> "
2022-03-18 22:14:32 +0100 <Guest|7>  Non type-variable argument in the constraint: Num (t -> a)
2022-03-18 22:14:32 +0100 <Guest|7>       (Use FlexibleContexts to permit this)
2022-03-18 22:14:33 +0100 <Guest|7>     * When checking the inferred type
2022-03-18 22:14:33 +0100 <Guest|7>         it :: forall a t. (Ord a, Num a, Num t, Num (t -> a)) => a
2022-03-18 22:14:42 +0100 <geekosaur> (sorry for missing that part the othger day)
2022-03-18 22:14:56 +0100 <geekosaur> [18 21:09:09] <geekosaur> `3,4` is not a number (Haskell requires decimal points, not commas) nor is it a tuple (requires parentheses)
2022-03-18 22:15:02 +0100 <geekosaur> which I said after you left
2022-03-18 22:15:03 +0100 <Guest|7> thank you geekosaur and monochrom of course
2022-03-18 22:16:24 +0100chele(~chele@user/chele) (Remote host closed the connection)
2022-03-18 22:17:40 +0100 <Guest|7> so it does not recognise [3, 4, 3, 2] as numbers? Did i understand that right?
2022-03-18 22:18:14 +0100Akansha(~Akansha@2401:4900:51cc:45cf:d174:6cec:9c35:b85e)
2022-03-18 22:18:36 +0100 <geekosaur> monochrom missed it was `min` which takes two numbers, and described `minimum` which takes a list of numbers
2022-03-18 22:18:42 +0100 <geekosaur> which did you want?
2022-03-18 22:19:05 +0100 <monochrom> Yeah, minimum of 4 numbers? minimum of 2 numbers? minimum of 2 tuples?
2022-03-18 22:19:53 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-18 22:20:12 +0100 <dsal> > minimum (1,2)
2022-03-18 22:20:13 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-18 22:20:14 +0100 <lambdabot> 2
2022-03-18 22:20:17 +0100 <dsal> Nice
2022-03-18 22:20:36 +0100 <geekosaur> and that bloody instance, yes
2022-03-18 22:20:48 +0100Akansha(~Akansha@2401:4900:51cc:45cf:d174:6cec:9c35:b85e) (Client Quit)
2022-03-18 22:20:50 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2022-03-18 22:20:52 +0100 <monochrom> > minimum (False, 2)
2022-03-18 22:20:53 +0100 <dsal> Somewhere, right now, that bug is in production code.
2022-03-18 22:20:54 +0100 <lambdabot> 2
2022-03-18 22:21:16 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-03-18 22:22:51 +0100unyu(~pyon@user/pyon)
2022-03-18 22:24:22 +0100 <geekosaur> Guest|7, did we miss an answer?
2022-03-18 22:24:37 +0100 <geekosaur> [18 21:19:05] <monochrom> Yeah, minimum of 4 numbers? minimum of 2 numbers? minimum of 2 tuples?
2022-03-18 22:25:01 +0100 <Guest|7> <interactive>:28:6: error: parse error on input `,'       this is my error after i typed min 3,4 3,2  what can i do?
2022-03-18 22:25:41 +0100 <Guest|7> thank you so much for your effort geekosaur i appreciate it
2022-03-18 22:25:54 +0100 <geekosaur> we're not understanding what you are trying to do there
2022-03-18 22:26:17 +0100 <geekosaur> is `3,4` supposed to be a floating point number? if so, you must use a decimal point, not a comma
2022-03-18 22:26:28 +0100 <geekosaur> is it supposed to be a tuple? if so, it needs parentheses
2022-03-18 22:26:36 +0100 <geekosaur> > min 3.4 3.2
2022-03-18 22:26:37 +0100 <lambdabot> 3.2
2022-03-18 22:26:44 +0100 <geekosaur> > min (3,4) (3,2)
2022-03-18 22:26:45 +0100 <lambdabot> (3,2)
2022-03-18 22:28:00 +0100 <dsal> > minimum [3, 4, 3, 2] -- or less likely, but this one?
2022-03-18 22:28:02 +0100 <lambdabot> 2
2022-03-18 22:30:00 +0100Guest|7(~Guest|7@dynamic-046-114-005-013.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-03-18 22:30:49 +0100 <sm> minimum [3, 43, 2] ?
2022-03-18 22:31:10 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
2022-03-18 22:31:28 +0100 <geekosaur> guess we lost them again
2022-03-18 22:31:41 +0100 <geekosaur> wonder how much of that trhey saw before pinging out
2022-03-18 22:33:18 +0100 <sm> enough to resolve this conundrum, we hope
2022-03-18 22:36:47 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-03-18 22:42:15 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
2022-03-18 22:44:35 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-03-18 22:49:17 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds)
2022-03-18 22:50:50 +0100deadmarshal_(~deadmarsh@95.38.229.235)
2022-03-18 22:53:51 +0100sjanssen(~sjanssenm@2001:470:69fc:105::1:61d8)
2022-03-18 22:54:57 +0100deadmarshal_(~deadmarsh@95.38.229.235) (Ping timeout: 240 seconds)
2022-03-18 22:55:06 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2022-03-18 22:55:42 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-03-18 23:00:30 +0100fockerized(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.3)
2022-03-18 23:01:21 +0100jstolarek(~jstolarek@staticline-31-183-185-185.toya.net.pl) (Ping timeout: 252 seconds)
2022-03-18 23:12:02 +0100nexus(~nexus@85-238-77-75.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-18 23:13:47 +0100nexus(~nexus@fibhost-66-208-150.fibernet.hu)
2022-03-18 23:14:39 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-03-18 23:19:47 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-03-18 23:21:30 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-18 23:24:48 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-18 23:28:41 +0100merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-18 23:29:10 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
2022-03-18 23:42:33 +0100kenran(~kenran@200116b82baf00008565b4314491a38d.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-03-18 23:43:02 +0100lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 250 seconds)
2022-03-18 23:43:42 +0100lagooned(~jme@108-208-149-42.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 252 seconds)
2022-03-18 23:43:52 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-03-18 23:43:56 +0100michalz(~michalz@185.246.204.43) (Remote host closed the connection)
2022-03-18 23:44:12 +0100cosimone(~user@93-44-187-176.ip98.fastwebnet.it) (Ping timeout: 240 seconds)
2022-03-18 23:44:14 +0100lagooned(~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net)
2022-03-18 23:46:13 +0100acidjnk(~acidjnk@p200300d0c7049f36d0988f567c670268.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-18 23:48:32 +0100xkuru(~xkuru@user/xkuru) (Ping timeout: 240 seconds)
2022-03-18 23:49:31 +0100Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-03-18 23:49:41 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection)
2022-03-18 23:49:58 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-03-18 23:53:31 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4)
2022-03-18 23:57:41 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.3)
2022-03-18 23:58:33 +0100Pickchea(~private@user/pickchea)