| 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 +0100 | mc47 | (~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 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 00:11:36 +0100 | InstX1 | (~Liam@2600:1006:b063:97f2:1474:50a6:6a5e:a11b) |
| 2022-03-18 00:13:24 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:697a:4acd:f9b4:d4e0) (Ping timeout: 240 seconds) |
| 2022-03-18 00:13:31 +0100 | weekOldRoadkill | (~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) (Quit: Leaving) |
| 2022-03-18 00:14:02 +0100 | deadmarshal_ | (~deadmarsh@95.38.229.240) |
| 2022-03-18 00:14:35 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-18 00:15:51 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-18 00:18:02 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-18 00:18:21 +0100 | deadmarshal_ | (~deadmarsh@95.38.229.240) (Ping timeout: 256 seconds) |
| 2022-03-18 00:21:38 +0100 | InstX1 | (~Liam@2600:1006:b063:97f2:1474:50a6:6a5e:a11b) (Read error: Connection reset by peer) |
| 2022-03-18 00:24:49 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-18 00:26:08 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-18 00:27:27 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-18 00:28:19 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-03-18 00:33:27 +0100 | Hash | (~Hash@irc.websecurity.group) (Quit: ZNC - https://znc.in) |
| 2022-03-18 00:33:52 +0100 | Hash | (~Hash@hey.howstoned.ru) |
| 2022-03-18 00:34:37 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-18 00:35:21 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-03-18 00:35:30 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 250 seconds) |
| 2022-03-18 00:39:32 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-03-18 00:41:51 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-18 00:46:02 +0100 | jao | (~jao@89.45.90.164) (Ping timeout: 240 seconds) |
| 2022-03-18 00:47:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-03-18 00:48:07 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-18 00:49:31 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2022-03-18 00:50:36 +0100 | niemand | (~niemand@p54a9c867.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-18 00:51:48 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-18 00:56:19 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:987d:a880:2d2e:6529) |
| 2022-03-18 00:59:00 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-18 00:59:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-18 00:59:58 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-18 01:01:31 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-18 01:02:33 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-03-18 01:04:19 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-18 01:04:25 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-18 01:04:25 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-18 01:04:25 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-18 01:04:32 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-18 01:10:32 +0100 | yauhsien | (~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-18 01:11:39 +0100 | tsmc[m] | (~tsmcmatri@2001:470:69fc:105::1:7e1) |
| 2022-03-18 01:16:57 +0100 | Inst | (~Liam@2601:6c4:4080:3f80:987d:a880:2d2e:6529) (Ping timeout: 240 seconds) |
| 2022-03-18 01:18:04 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 2022-03-18 01:21:10 +0100 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-03-18 01:21:32 +0100 | awschnap | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 01:23:32 +0100 | lavaman | (~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 +0100 | romesrf | (~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 +0100 | Vajb | (~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 +0100 | nexus | (~nexus@87-97-2-198.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-18 01:32:40 +0100 | yauhsien_ | (~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 +0100 | nexus | (~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 +0100 | mmhat | (~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 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-03-18 01:43:23 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-18 01:43:32 +0100 | SignalGarden | (~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 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 250 seconds) |
| 2022-03-18 01:46:38 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-03-18 01:47:10 +0100 | alMalsamo | lumberjack123 |
| 2022-03-18 01:50:21 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-03-18 01:51:15 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-18 01:51:33 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-18 01:57:02 +0100 | Andre4 | (~Andrea@p4fdb1e2a.dip0.t-ipconnect.de) |
| 2022-03-18 01:57:30 +0100 | Andre4 | (~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 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) |
| 2022-03-18 02:04:32 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-18 02:05:46 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-18 02:07:20 +0100 | CiaoSen | (~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-03-18 02:11:07 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-18 02:11:55 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4.1) |
| 2022-03-18 02:14:50 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 02:17:14 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-18 02:18:12 +0100 | awschnap | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-18 02:28:11 +0100 | razetime | (~quassel@117.254.34.103) |
| 2022-03-18 02:31:32 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
| 2022-03-18 02:32:12 +0100 | chomwitt | (~chomwitt@2a02:587:dc19:ca00:a7f3:60c8:c144:5351) (Ping timeout: 240 seconds) |
| 2022-03-18 02:32:53 +0100 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2022-03-18 02:35:12 +0100 | acmb | (~acmb@24-124-64-234-dynamic.midco.net) |
| 2022-03-18 02:35:49 +0100 | dfg | (dfg@user/dfg) |
| 2022-03-18 02:36:17 +0100 | acmb | (~acmb@24-124-64-234-dynamic.midco.net) () |
| 2022-03-18 02:37:09 +0100 | raym | (~raym@user/raym) (Quit: afk for sometime) |
| 2022-03-18 02:39:00 +0100 | SignalGarden | (~ash@user/SignalWalker) (Ping timeout: 250 seconds) |
| 2022-03-18 02:39:02 +0100 | acmb | (~acmb@24-124-64-234-dynamic.midco.net) |
| 2022-03-18 02:39:24 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-18 02:39:28 +0100 | acmb | (~acmb@24-124-64-234-dynamic.midco.net) (WeeChat 3.4.1) |
| 2022-03-18 02:43:06 +0100 | alp | (~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 +0100 | merijn | (~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 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-03-18 02:54:01 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 02:54:22 +0100 | acmb | (~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 +0100 | acmb | (~acmb@user/acmb) (WeeChat 3.4.1) |
| 2022-03-18 03:01:33 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-03-18 03:03:40 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-18 03:05:36 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-18 03:06:08 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-18 03:06:17 +0100 | kilolympus | (~kilolympu@31.205.200.235) (Ping timeout: 240 seconds) |
| 2022-03-18 03:09:51 +0100 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-03-18 03:10:25 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 03:15:06 +0100 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-03-18 03:17:59 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-03-18 03:21:28 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Ping timeout: 250 seconds) |
| 2022-03-18 03:23:12 +0100 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 2022-03-18 03:23:30 +0100 | alphabeta | (~kilolympu@31.205.200.235) |
| 2022-03-18 03:23:39 +0100 | kilolympus | (~kilolympu@31.205.200.235) (Ping timeout: 256 seconds) |
| 2022-03-18 03:24:33 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-18 03:24:45 +0100 | AlexNoo_ | (~AlexNoo@94.233.240.162) |
| 2022-03-18 03:25:16 +0100 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-18 03:27:13 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-18 03:27:58 +0100 | Alex_test | (~al_test@178.34.161.174) (Ping timeout: 250 seconds) |
| 2022-03-18 03:28:11 +0100 | AlexZenon | (~alzenon@178.34.161.174) (Ping timeout: 252 seconds) |
| 2022-03-18 03:28:11 +0100 | AlexNoo | (~AlexNoo@178.34.161.174) (Ping timeout: 252 seconds) |
| 2022-03-18 03:30:17 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-18 03:30:17 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-18 03:30:17 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-18 03:32:31 +0100 | Alex_test | (~al_test@94.233.240.162) |
| 2022-03-18 03:32:58 +0100 | AlexZenon | (~alzenon@94.233.240.162) |
| 2022-03-18 03:39:15 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-03-18 03:41:02 +0100 | ubert | (~Thunderbi@p200300ecdf15887dfd6bfc6fe6a8a410.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-18 03:41:19 +0100 | ubert | (~Thunderbi@p200300ecdf1588f0fd6bfc6fe6a8a410.dip0.t-ipconnect.de) |
| 2022-03-18 03:42:25 +0100 | razetime | (~quassel@117.254.34.103) (Read error: Connection reset by peer) |
| 2022-03-18 03:48:47 +0100 | SignalGarden | (~ash@user/SignalWalker) (Quit: WeeChat 3.4.1) |
| 2022-03-18 03:49:43 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-03-18 04:04:13 +0100 | vysn | (~vysn@user/vysn) |
| 2022-03-18 04:04:29 +0100 | razetime | (~quassel@117.254.34.103) |
| 2022-03-18 04:09:08 +0100 | nexus | (~nexus@79-120-162-157.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2022-03-18 04:11:00 +0100 | nexus | (~nexus@77-234-86-159.pool.digikabel.hu) |
| 2022-03-18 04:12:25 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-b409-678c-49f6-3fbd.res6.spectrum.com) |
| 2022-03-18 04:12:52 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-b409-678c-49f6-3fbd.res6.spectrum.com) (Remote host closed the connection) |
| 2022-03-18 04:14:24 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-03-18 04:15:09 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 04:24:05 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-03-18 04:24:29 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2022-03-18 04:35:18 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-18 04:43:18 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-18 04:45:37 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 04:47:49 +0100 | mbuf | (~Shakthi@136.185.68.186) |
| 2022-03-18 04:48:18 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-18 04:49:48 +0100 | razetime | (~quassel@117.254.34.103) (Ping timeout: 240 seconds) |
| 2022-03-18 04:51:16 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 2022-03-18 04:56:01 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Ping timeout: 256 seconds) |
| 2022-03-18 04:58:02 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-03-18 04:59:12 +0100 | mon_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 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-18 05:11:32 +0100 | yuvi | (~uv125@user/yuvi) (Ping timeout: 250 seconds) |
| 2022-03-18 05:12:38 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-03-18 05:15:59 +0100 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-03-18 05:19:32 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-18 05:21:30 +0100 | razetime | (~quassel@117.254.34.103) |
| 2022-03-18 05:21:56 +0100 | ubert | (~Thunderbi@p200300ecdf1588f0fd6bfc6fe6a8a410.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-03-18 05:22:15 +0100 | ubert | (~Thunderbi@p200300ecdf1588f0fd6bfc6fe6a8a410.dip0.t-ipconnect.de) |
| 2022-03-18 05:22:18 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Quit: Leaving) |
| 2022-03-18 05:23:02 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2022-03-18 05:25:48 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-03-18 05:26:00 +0100 | Vajb | (~Vajb@85-76-32-5-nat.elisa-mobile.fi) |
| 2022-03-18 05:29:37 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 05:31:57 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-03-18 05:33:25 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-03-18 05:37:55 +0100 | dsrt^ | (~dsrt@65.240.140.18) |
| 2022-03-18 05:38:02 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-18 05:42:12 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
| 2022-03-18 05:44:03 +0100 | zebrag | (~chris@user/zebrag) (Ping timeout: 252 seconds) |
| 2022-03-18 05:50:06 +0100 | Vajb | (~Vajb@85-76-32-5-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-03-18 05:50:42 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-03-18 06:04:12 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-03-18 06:09:40 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-18 06:13:30 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 250 seconds) |
| 2022-03-18 06:18:02 +0100 | nexus | (~nexus@77-234-86-159.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-18 06:19:58 +0100 | nexus | (~nexus@84-236-10-61.pool.digikabel.hu) |
| 2022-03-18 06:21:43 +0100 | rkrishnan | (~user@2402:e280:215c:2cd:bf0b:551a:7bea:1580) |
| 2022-03-18 06:28:38 +0100 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Read error: Connection reset by peer) |
| 2022-03-18 06:28:53 +0100 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-03-18 06:29:32 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2022-03-18 06:34:39 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 252 seconds) |
| 2022-03-18 06:35:37 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-18 06:36:54 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 2022-03-18 06:39:03 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-18 06:50:14 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-03-18 06:51:44 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-18 07:08:48 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-03-18 07:09:41 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 07:10:06 +0100 | johnw_ | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 2022-03-18 07:10:13 +0100 | ubert | (~Thunderbi@p200300ecdf1588f0fd6bfc6fe6a8a410.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-03-18 07:10:13 +0100 | ub | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) |
| 2022-03-18 07:10:23 +0100 | lagash | (lagash@lagash.shelltalk.net) (Ping timeout: 252 seconds) |
| 2022-03-18 07:11:01 +0100 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-03-18 07:11:30 +0100 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 260 seconds) |
| 2022-03-18 07:12:28 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-18 07:12:31 +0100 | ub | ubert |
| 2022-03-18 07:15:24 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-18 07:15:59 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-03-18 07:17:33 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-03-18 07:18:08 +0100 | chomwitt | (~chomwitt@2a02:587:dc19:ca00:67fe:b14c:d83a:53d8) |
| 2022-03-18 07:18:18 +0100 | acidjnk | (~acidjnk@p200300d0c7049f36f91727e42e27654f.dip0.t-ipconnect.de) |
| 2022-03-18 07:21:10 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 07:32:40 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-18 07:32:55 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 07:33:03 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-03-18 07:39:14 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (*.net *.split) |
| 2022-03-18 07:39:14 +0100 | haasn | (~nand@haasn.dev) (*.net *.split) |
| 2022-03-18 07:39:14 +0100 | pranshukhandal | (~ghost@envs.net) (*.net *.split) |
| 2022-03-18 07:39:14 +0100 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2022-03-18 07:39:14 +0100 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2022-03-18 07:39:14 +0100 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2022-03-18 07:39:14 +0100 | ncopa | (~ncopa@alpine/developer/ncopa) (*.net *.split) |
| 2022-03-18 07:39:14 +0100 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
| 2022-03-18 07:39:14 +0100 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (*.net *.split) |
| 2022-03-18 07:43:06 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-03-18 07:44:27 +0100 | michalz | (~michalz@185.246.204.43) |
| 2022-03-18 07:44:34 +0100 | haasn | (~nand@haasn.dev) |
| 2022-03-18 07:44:34 +0100 | pranshukhandal | (~ghost@envs.net) |
| 2022-03-18 07:44:34 +0100 | c_wraith | (~c_wraith@adjoint.us) |
| 2022-03-18 07:44:34 +0100 | cross | (~cross@spitfire.i.gajendra.net) |
| 2022-03-18 07:44:34 +0100 | Philonous | (~Philonous@user/philonous) |
| 2022-03-18 07:44:34 +0100 | ncopa | (~ncopa@alpine/developer/ncopa) |
| 2022-03-18 07:44:34 +0100 | hiredman | (~hiredman@frontier1.downey.family) |
| 2022-03-18 07:44:34 +0100 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) |
| 2022-03-18 07:48:25 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-18 07:50:33 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-18 07:53:01 +0100 | x_kuru | (xkuru@user/xkuru) |
| 2022-03-18 07:53:23 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 2022-03-18 07:54:13 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-18 07:55:16 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-18 07:55:57 +0100 | sudden | (~cat@user/sudden) (Quit: Lost terminal) |
| 2022-03-18 07:56:47 +0100 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 256 seconds) |
| 2022-03-18 07:56:51 +0100 | sudden | (~cat@user/sudden) |
| 2022-03-18 08:00:18 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:a45d:272f:6e0f:d723) (Remote host closed the connection) |
| 2022-03-18 08:00:37 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:1dce:7a96:eac5:305b) |
| 2022-03-18 08:06:41 +0100 | vysn | (~vysn@user/vysn) |
| 2022-03-18 08:12:26 +0100 | mmhat | (~mmh@55d47413.access.ecotel.net) |
| 2022-03-18 08:13:37 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-18 08:18:46 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-03-18 08:18:55 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-03-18 08:18:59 +0100 | vglfr | (~vglfr@88.155.19.152) |
| 2022-03-18 08:19:57 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-03-18 08:27:24 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-03-18 08:27:50 +0100 | foul_owl | (~kerry@23.82.193.89) (Ping timeout: 250 seconds) |
| 2022-03-18 08:34:50 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-18 08:37:22 +0100 | nexus | (~nexus@84-236-10-61.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2022-03-18 08:37:35 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 08:38:26 +0100 | fendor | (~fendor@178.165.184.46.wireless.dyn.drei.com) |
| 2022-03-18 08:39:08 +0100 | nexus | (~nexus@77-234-80-151.pool.digikabel.hu) |
| 2022-03-18 08:43:12 +0100 | foul_owl | (~kerry@23.82.193.87) |
| 2022-03-18 08:43:16 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 245 seconds) |
| 2022-03-18 08:47:39 +0100 | chele | (~chele@user/chele) |
| 2022-03-18 08:48:32 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-18 08:56:11 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-03-18 08:59:04 +0100 | alp | (~alp@user/alp) |
| 2022-03-18 09:01:44 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-03-18 09:02:09 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-18 09:03:29 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-03-18 09:04:07 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-03-18 09:05:59 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:4e6a:26fd:9a60:89cd) |
| 2022-03-18 09:15:00 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 2022-03-18 09:24:37 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-18 09:25:02 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 250 seconds) |
| 2022-03-18 09:25:35 +0100 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-03-18 09:26:00 +0100 | chomwitt | (~chomwitt@2a02:587:dc19:ca00:67fe:b14c:d83a:53d8) (Remote host closed the connection) |
| 2022-03-18 09:26:53 +0100 | razetime | (~quassel@117.254.34.103) (Ping timeout: 256 seconds) |
| 2022-03-18 09:29:34 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 09:30:46 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-18 09:31:32 +0100 | acidjnk | (~acidjnk@p200300d0c7049f36f91727e42e27654f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-18 09:32:53 +0100 | x_kuru_ | (~xkuru@user/xkuru) |
| 2022-03-18 09:36:31 +0100 | x_kuru | (xkuru@user/xkuru) (Ping timeout: 256 seconds) |
| 2022-03-18 09:37:30 +0100 | razetime | (~quassel@117.254.34.103) |
| 2022-03-18 09:39:15 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-18 09:40:58 +0100 | sus | (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net) |
| 2022-03-18 09:40:58 +0100 | pranshukhandal | (~ghost@envs.net) (Quit: the lounge - https://webirc.envs.net) |
| 2022-03-18 09:41:26 +0100 | pranshukhandal | (pranshukha@envs.net) |
| 2022-03-18 09:41:32 +0100 | sus | (zero@user/zeromomentum) |
| 2022-03-18 09:43:50 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-03-18 09:44:18 +0100 | acidjnk | (~acidjnk@p200300d0c7049f36b509ee641a981088.dip0.t-ipconnect.de) |
| 2022-03-18 09:44:29 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-18 09:45:22 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-18 09:45:33 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-03-18 09:46:36 +0100 | razetime | (~quassel@117.254.34.103) (Ping timeout: 245 seconds) |
| 2022-03-18 09:47:11 +0100 | razetime | (~quassel@117.254.34.103) |
| 2022-03-18 09:47:11 +0100 | skandal | (~skandal@user/szahid) |
| 2022-03-18 09:47:15 +0100 | <skandal> | Hello :) |
| 2022-03-18 09:48:00 +0100 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-03-18 09:48:14 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-03-18 09:49:46 +0100 | <hololeap> | (: |
| 2022-03-18 09:57:12 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-18 09:59:49 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2022-03-18 10:00:11 +0100 | zwro[m] | (~zwromatri@2001:470:69fc:105::1d4) (Quit: You have been kicked for being idle) |
| 2022-03-18 10:00:44 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-18 10:01:32 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-03-18 10:04:42 +0100 | nishant | (~Nishant@49.37.242.151) |
| 2022-03-18 10:10:25 +0100 | deadmarshal_ | (~deadmarsh@95.38.229.235) |
| 2022-03-18 10:11:32 +0100 | phma | (~phma@host-67-44-208-165.hnremote.net) (Read error: Connection reset by peer) |
| 2022-03-18 10:13:07 +0100 | phma | (phma@2001:5b0:210d:5e78:4ddc:46f7:a015:1ae8) |
| 2022-03-18 10:14:53 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-18 10:19:35 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-03-18 10:20:10 +0100 | ccntrq | (~Thunderbi@2a01:c22:8dff:a900:95f9:e3fc:6ba:be65) |
| 2022-03-18 10:28:15 +0100 | CiaoSen | (~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-18 10:28:41 +0100 | acidjnk | (~acidjnk@p200300d0c7049f36b509ee641a981088.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2022-03-18 10:32:55 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-03-18 10:34:32 +0100 | vglfr | (~vglfr@88.155.19.152) (Ping timeout: 240 seconds) |
| 2022-03-18 10:34:46 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 10:40:57 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Quit: Leaving) |
| 2022-03-18 10:42:00 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-03-18 10:44:09 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-18 10:57:59 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-18 11:02:12 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-03-18 11:12:36 +0100 | nexus | (~nexus@77-234-80-151.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-18 11:12:36 +0100 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:e5eb:8f18:bf2f:b46e) |
| 2022-03-18 11:14:33 +0100 | nexus | (~nexus@193-110-63-52.cable-modem.hdsnet.hu) |
| 2022-03-18 11:16:08 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-03-18 11:16:21 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2022-03-18 11:18:08 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 250 seconds) |
| 2022-03-18 11:24:19 +0100 | vglfr | (~vglfr@88.155.19.152) |
| 2022-03-18 11:27:28 +0100 | vysn | (~vysn@user/vysn) |
| 2022-03-18 11:38:08 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-03-18 11:41:41 +0100 | vpan | (~0@212.117.1.172) |
| 2022-03-18 11:43:58 +0100 | boborygmy_ | (~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 +0100 | CiaoSen | (~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-03-18 11:53:32 +0100 | vglfr | (~vglfr@88.155.19.152) (Ping timeout: 240 seconds) |
| 2022-03-18 11:53:39 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 12:01:24 +0100 | rkrishnan | (~user@2402:e280:215c:2cd:bf0b:551a:7bea:1580) (Ping timeout: 240 seconds) |
| 2022-03-18 12:07:39 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-18 12:08:09 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-18 12:08:58 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 12:17:02 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-03-18 12:17:37 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 12:23:34 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-03-18 12:24:00 +0100 | x_kuru_ | (~xkuru@user/xkuru) (Ping timeout: 250 seconds) |
| 2022-03-18 12:24:21 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-18 12:26:05 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 12:28:07 +0100 | kuribas | (~user@ptr-25vy0i7v6t0nxlxx3tw.18120a2.ip6.access.telenet.be) |
| 2022-03-18 12:31:02 +0100 | razetime | (~quassel@117.254.34.103) (Ping timeout: 240 seconds) |
| 2022-03-18 12:31:03 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-18 12:31:18 +0100 | vglfr | (~vglfr@88.155.19.152) |
| 2022-03-18 12:32:34 +0100 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 260 seconds) |
| 2022-03-18 12:34:26 +0100 | razetime | (~quassel@117.254.34.103) |
| 2022-03-18 12:35:48 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-18 12:36:38 +0100 | yauhsien | (~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net) (Quit: Leaving) |
| 2022-03-18 12:37:24 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 12:43:51 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-18 12:50:29 +0100 | ph88 | (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) |
| 2022-03-18 12:55:38 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-03-18 12:56:34 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-03-18 12:57:07 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-03-18 12:58:14 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-03-18 12:58:57 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 13:00:16 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 13:01:51 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2022-03-18 13:03:10 +0100 | Topsi | (~Tobias@dyndsl-095-033-019-103.ewe-ip-backbone.de) |
| 2022-03-18 13:03:58 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-18 13:04:12 +0100 | vglfr | (~vglfr@88.155.19.152) (Ping timeout: 240 seconds) |
| 2022-03-18 13:06:05 +0100 | acidjnk | (~acidjnk@p200300d0c7049f369121ad62dc74a3f6.dip0.t-ipconnect.de) |
| 2022-03-18 13:07:46 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-03-18 13:09:32 +0100 | coot | (~coot@213.134.190.95) (Ping timeout: 240 seconds) |
| 2022-03-18 13:09:59 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-18 13:10:02 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-18 13:11:33 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-03-18 13:12:03 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 13:18:21 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2022-03-18 13:19:30 +0100 | mncheck | (~mncheck@193.224.205.254) |
| 2022-03-18 13:21:50 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-18 13:22:52 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-03-18 13:23:59 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 13:24:37 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-18 13:31:54 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-18 13:32:06 +0100 | AlexNoo_ | AlexNoo |
| 2022-03-18 13:32:44 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2022-03-18 13:33:43 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-18 13:34:14 +0100 | nexus | (~nexus@193-110-63-52.cable-modem.hdsnet.hu) (Read error: Connection reset by peer) |
| 2022-03-18 13:35:06 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 13:38:54 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-18 13:39:48 +0100 | nexus | (~nexus@84-236-55-5.pool.digikabel.hu) |
| 2022-03-18 13:42:32 +0100 | acidjnk | (~acidjnk@p200300d0c7049f369121ad62dc74a3f6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-18 13:49:59 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-18 13:51:17 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-18 13:51:54 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 13:54:56 +0100 | jespada | (~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 +0100 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-18 13:57:55 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-18 13:59:45 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-18 13:59:50 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 14:00:36 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-18 14:00:40 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-03-18 14:01:30 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 250 seconds) |
| 2022-03-18 14:05:07 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-03-18 14:05:41 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-18 14:08:00 +0100 | In0perable | (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!) |
| 2022-03-18 14:12:57 +0100 | javiergarea | (~javiergar@62.83.194.64.dyn.user.ono.com) |
| 2022-03-18 14:13:45 +0100 | Inoperable | (~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 +0100 | Alleria | (~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 +0100 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-03-18 14:18:40 +0100 | Psybur | (~Psybur@mobile-166-171-56-243.mycingular.net) |
| 2022-03-18 14:23:36 +0100 | bahamas | (~lucian@84.232.140.158) |
| 2022-03-18 14:23:42 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.4) |
| 2022-03-18 14:23:54 +0100 | javiergarea | (~javiergar@62.83.194.64.dyn.user.ono.com) (Quit: Client closed) |
| 2022-03-18 14:26:18 +0100 | tabemann | (~travisb@2600:1700:7990:24e0:305:eafc:7502:a3bd) (Remote host closed the connection) |
| 2022-03-18 14:26:31 +0100 | tabemann | (~travisb@2600:1700:7990:24e0:ef59:1828:166d:a63e) |
| 2022-03-18 14:28:43 +0100 | lavaman | (~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 +0100 | jstolarek | (~jstolarek@staticline-31-183-185-185.toya.net.pl) |
| 2022-03-18 14:33:27 +0100 | vglfr | (~vglfr@88.155.19.152) |
| 2022-03-18 14:33:52 +0100 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-03-18 14:33:57 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-18 14:34:27 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-18 14:35:23 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-03-18 14:37:20 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-18 14:38:13 +0100 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-03-18 14:42:13 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-03-18 14:45:16 +0100 | alphabeta | (~kilolympu@31.205.200.235) (Ping timeout: 250 seconds) |
| 2022-03-18 14:45:48 +0100 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 252 seconds) |
| 2022-03-18 14:48:56 +0100 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-03-18 14:54:00 +0100 | <Inst> | romesrf ;_; |
| 2022-03-18 14:54:13 +0100 | vglfr | (~vglfr@88.155.19.152) (Ping timeout: 240 seconds) |
| 2022-03-18 14:55:45 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-03-18 14:56:06 +0100 | <alt-romes> | Inst: yes? |
| 2022-03-18 14:56:23 +0100 | alt-romes | romesrf |
| 2022-03-18 14:57:15 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-03-18 15:05:02 +0100 | ManofLetters[m] | sent a Haskell code block: https://libera.ems.host/_matrix/media/r0/download/libera.chat/f408ac5bfb0dc2710d45fd82ad7a0fc6600f… |
| 2022-03-18 15:05:19 +0100 | jespada | (~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 +0100 | bontaq | (~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 +0100 | Inst | (~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 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-03-18 15:21:00 +0100 | lavaman | (~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 +0100 | philpax_ | (sid516926@id-516926.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-03-18 15:25:33 +0100 | tritlo | (sid58727@user/tritlo) (Ping timeout: 250 seconds) |
| 2022-03-18 15:25:33 +0100 | jakesyl__ | (sid56879@2a03:5180:f:4::de2f) (Ping timeout: 250 seconds) |
| 2022-03-18 15:25:33 +0100 | sunarch | (sid526836@user/sunarch) (Ping timeout: 250 seconds) |
| 2022-03-18 15:25:33 +0100 | hamishmack_ | (sid389057@id-389057.hampstead.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-03-18 15:25:59 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) (Ping timeout: 250 seconds) |
| 2022-03-18 15:25:59 +0100 | astra | (sid289983@user/amish) (Ping timeout: 250 seconds) |
| 2022-03-18 15:25:59 +0100 | sa | (sid1055@2a03:5180:f::41f) (Ping timeout: 250 seconds) |
| 2022-03-18 15:25:59 +0100 | edwardk | (sid47016@haskell/developer/edwardk) (Ping timeout: 250 seconds) |
| 2022-03-18 15:26:25 +0100 | hubvu_ | (sid495858@id-495858.tinside.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-03-18 15:26:25 +0100 | glowcoil | (sid3405@2a03:5180:f::d4d) (Ping timeout: 250 seconds) |
| 2022-03-18 15:26:45 +0100 | hubvu_ | (sid495858@id-495858.tinside.irccloud.com) |
| 2022-03-18 15:26:47 +0100 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2022-03-18 15:26:50 +0100 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2022-03-18 15:26:52 +0100 | sunarch | (sid526836@user/sunarch) |
| 2022-03-18 15:26:59 +0100 | jakesyl__ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2022-03-18 15:27:23 +0100 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) |
| 2022-03-18 15:27:28 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2022-03-18 15:27:30 +0100 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2022-03-18 15:28:45 +0100 | philpax_ | (sid516926@id-516926.lymington.irccloud.com) |
| 2022-03-18 15:28:45 +0100 | tritlo | (sid58727@user/tritlo) |
| 2022-03-18 15:28:47 +0100 | hamishmack_ | (sid389057@id-389057.hampstead.irccloud.com) |
| 2022-03-18 15:33:01 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 240 seconds) |
| 2022-03-18 15:33:51 +0100 | razetime | (~quassel@117.254.34.103) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-03-18 15:34:06 +0100 | razetime | (~quassel@117.254.34.103) |
| 2022-03-18 15:35:08 +0100 | ss | (~ss@187.83.249.216.dyn.smithville.net) |
| 2022-03-18 15:35:12 +0100 | SignalGarden | (~ash@user/SignalWalker) (Quit: WeeChat 3.4.1) |
| 2022-03-18 15:35:12 +0100 | ss | Guest5716 |
| 2022-03-18 15:35:26 +0100 | razetime | (~quassel@117.254.34.103) (Client Quit) |
| 2022-03-18 15:35:41 +0100 | razetime | (~quassel@117.254.34.103) |
| 2022-03-18 15:37:18 +0100 | weekOldRoadkill | (~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) |
| 2022-03-18 15:37:18 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-03-18 15:38:37 +0100 | bliminse | (~bliminse@host86-156-84-211.range86-156.btcentralplus.com) (Quit: leaving) |
| 2022-03-18 15:43:39 +0100 | yuvi | (~uv125@192.54.96.185) |
| 2022-03-18 15:44:08 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-03-18 15:44:48 +0100 | swistak | (~swistak@185.21.216.141) |
| 2022-03-18 15:44:58 +0100 | bahamas | (~lucian@86.120.77.115) |
| 2022-03-18 15:45:43 +0100 | shapr | (~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 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2022-03-18 15:51:51 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2022-03-18 15:51:51 +0100 | haritz | (~hrtz@user/haritz) |
| 2022-03-18 15:53:34 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-18 15:53:37 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-18 15:59:24 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-03-18 16:00:53 +0100 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-03-18 16:01:33 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-18 16:02:13 +0100 | eggplantade | (~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 +0100 | yauhsien | (~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 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-18 16:06:57 +0100 | eggplantade | (~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 +0100 | yauhsien | (~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 +0100 | dextaa_ | (~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 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-18 16:27:55 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-18 16:28:29 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-03-18 16:29:11 +0100 | lumberjack123 | (~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 +0100 | mon_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 +0100 | unyu | (~pyon@user/pyon) (Quit: brb) |
| 2022-03-18 16:36:39 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-03-18 16:38:41 +0100 | bahamas | (~lucian@86.120.77.115) (Ping timeout: 256 seconds) |
| 2022-03-18 16:40:59 +0100 | dsrt^ | (~dsrt@65.240.140.18) (Remote host closed the connection) |
| 2022-03-18 16:44:39 +0100 | CiaoSen | (~Jura@p200300c95727d4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-18 16:49:03 +0100 | lbseale | (~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 +0100 | adnaahm | (~adnaahm@111.119.178.152) |
| 2022-03-18 16:52:23 +0100 | eggplantade | (~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 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:4e6a:26fd:9a60:89cd) (Quit: WeeChat 2.8) |
| 2022-03-18 16:57:37 +0100 | adnaahm | (~adnaahm@111.119.178.152) (Ping timeout: 240 seconds) |
| 2022-03-18 17:00:06 +0100 | ac | (~aloiscoch@2001:470:69fc:105::65) (Quit: You have been kicked for being idle) |
| 2022-03-18 17:01:02 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-18 17:03:50 +0100 | SignalGarden | (~ash@user/SignalWalker) (Ping timeout: 252 seconds) |
| 2022-03-18 17:05:30 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 252 seconds) |
| 2022-03-18 17:07:42 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-03-18 17:08:27 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-18 17:12:19 +0100 | modnar | (~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 +0100 | SignalGarden | (~ash@user/SignalWalker) |
| 2022-03-18 17:16:02 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-18 17:16:48 +0100 | eggplantade | (~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 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-18 17:18:36 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 17:25:32 +0100 | nexus | (~nexus@84-236-55-5.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-18 17:27:23 +0100 | nexus | (~nexus@92-249-150-160.static.digikabel.hu) |
| 2022-03-18 17:29:49 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-03-18 17:30:25 +0100 | Ash[m] | (~signal-wa@2001:470:69fc:105::1:2318) |
| 2022-03-18 17:31:47 +0100 | SignalGarden | (~ash@user/SignalWalker) (WeeChat 3.4.1) |
| 2022-03-18 17:31:53 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-18 17:40:10 +0100 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-03-18 17:43:20 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 17:43:26 +0100 | deadmarshal_ | (~deadmarsh@95.38.229.235) (Ping timeout: 252 seconds) |
| 2022-03-18 17:45:27 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-18 17:47:06 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-18 17:47:32 +0100 | cdman | (~dcm@user/dmc/x-4369397) (Leaving) |
| 2022-03-18 17:47:48 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-18 17:48:31 +0100 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:e5eb:8f18:bf2f:b46e) (Remote host closed the connection) |
| 2022-03-18 17:48:49 +0100 | boxscape_ | (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 2022-03-18 17:48:57 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 240 seconds) |
| 2022-03-18 17:49:52 +0100 | mbuf | (~Shakthi@136.185.68.186) (Quit: Leaving) |
| 2022-03-18 17:50:52 +0100 | ccntrq | (~Thunderbi@2a01:c22:8dff:a900:95f9:e3fc:6ba:be65) (Remote host closed the connection) |
| 2022-03-18 17:52:21 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 268 seconds) |
| 2022-03-18 17:56:10 +0100 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-03-18 17:58:11 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 2022-03-18 17:58:27 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 17:59:37 +0100 | razetime | (~quassel@117.254.34.103) (Ping timeout: 240 seconds) |
| 2022-03-18 18:00:11 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-18 18:02:05 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-03-18 18:09:57 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 2022-03-18 18:10:58 +0100 | yauhsien | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-18 18:15:32 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 272 seconds) |
| 2022-03-18 18:15:39 +0100 | deadmarshal_ | (~deadmarsh@95.38.229.235) |
| 2022-03-18 18:17:26 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 245 seconds) |
| 2022-03-18 18:17:48 +0100 | boxscape_ | (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-18 18:18:05 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 18:18:21 +0100 | yauhsien | (~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 +0100 | boxscape_ | (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 2022-03-18 18:20:07 +0100 | deadmarshal_ | (~deadmarsh@95.38.229.235) (Ping timeout: 256 seconds) |
| 2022-03-18 18:20:57 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-03-18 18:24:09 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-03-18 18:24:39 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-18 18:25:37 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 18:27:17 +0100 | CiaoSen | (~Jura@p200300c95727d4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-18 18:31:14 +0100 | nishant | (~Nishant@49.37.242.151) (Quit: Leaving) |
| 2022-03-18 18:31:37 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-18 18:32:19 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 18:35:36 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 18:36:10 +0100 | kilolympus | (~kilolympu@31.205.200.235) (Quit: Quitting IRC :() |
| 2022-03-18 18:36:30 +0100 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-03-18 18:36:55 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-03-18 18:38:46 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-18 18:43:26 +0100 | <weekOldRoadkill> | nice |
| 2022-03-18 18:53:30 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 2022-03-18 19:00:59 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) |
| 2022-03-18 19:01:25 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 2022-03-18 19:01:33 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-18 19:01:46 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-03-18 19:02:05 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 2022-03-18 19:02:59 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-03-18 19:05:14 +0100 | weekOldRoadkill | (~weekOldRo@pool-108-50-225-254.nwrknj.fios.verizon.net) (Quit: Leaving) |
| 2022-03-18 19:05:59 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:3f02:cfaf:23c0:9d3b) |
| 2022-03-18 19:06:07 +0100 | yauhsien_ | (~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-18 19:06:47 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-18 19:06:47 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-18 19:06:47 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-18 19:08:17 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-18 19:09:09 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2022-03-18 19:10:14 +0100 | Techcable | (~Techcable@168.235.93.147) (Remote host closed the connection) |
| 2022-03-18 19:10:22 +0100 | Techcable | (~Techcable@168.235.93.147) |
| 2022-03-18 19:13:27 +0100 | kuribas | (~user@ptr-25vy0i7v6t0nxlxx3tw.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-03-18 19:13:32 +0100 | boxscape_ | (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-18 19:13:39 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2022-03-18 19:14:19 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-18 19:14:36 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 19:16:58 +0100 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 250 seconds) |
| 2022-03-18 19:17:05 +0100 | Guest5716 | (~ss@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2022-03-18 19:17:31 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-03-18 19:20:12 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-03-18 19:21:05 +0100 | vglfr | (~vglfr@88.155.19.152) |
| 2022-03-18 19:24:12 +0100 | CiaoSen | (~Jura@p200300c95727d4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-18 19:24:21 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-18 19:30:26 +0100 | econo | (uid147250@user/econo) |
| 2022-03-18 19:30:49 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 250 seconds) |
| 2022-03-18 19:33:30 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 19:34:02 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
| 2022-03-18 19:37:57 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2022-03-18 19:38:41 +0100 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-03-18 19:39:29 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-03-18 19:40:47 +0100 | boxscape_ | (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 2022-03-18 19:41:17 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 19:41:32 +0100 | dyeplexer | (~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 +0100 | fef | (~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 +0100 | justsomeguy | (~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 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 20:10:14 +0100 | gaff | (~gaff@49.207.205.209) |
| 2022-03-18 20:10:49 +0100 | gaff | (~gaff@49.207.205.209) (Client Quit) |
| 2022-03-18 20:11:08 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 250 seconds) |
| 2022-03-18 20:11:10 +0100 | gaff | (~gaff@49.207.205.209) |
| 2022-03-18 20:11:21 +0100 | gaff | (~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 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 20:18:17 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:dc77:d173:a9b9:d810) |
| 2022-03-18 20:19:45 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 20:21:57 +0100 | fendor | (~fendor@178.165.184.46.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-03-18 20:22:24 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 250 seconds) |
| 2022-03-18 20:24:08 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 250 seconds) |
| 2022-03-18 20:25:23 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 20:25:26 +0100 | nexus | (~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 +0100 | nexus | (~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 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-18 20:33:58 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-18 20:33:58 +0100 | wroathe | (~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 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-03-18 20:40:55 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan) |
| 2022-03-18 20:41:01 +0100 | vglfr | (~vglfr@88.155.19.152) (Ping timeout: 250 seconds) |
| 2022-03-18 20:41:02 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-03-18 20:41:09 +0100 | mikoto-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 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-18 20:42:27 +0100 | <justsomeguy> | Interesting. |
| 2022-03-18 20:46:57 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-03-18 20:48:31 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-18 20:50:02 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-18 20:54:51 +0100 | infinity0 | (~infinity0@occupy.ecodis.net) (Remote host closed the connection) |
| 2022-03-18 20:57:57 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 2022-03-18 20:57:57 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 21:00:13 +0100 | justsomeguy | (~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 +0100 | pgib | (~textual@173.38.117.89) |
| 2022-03-18 21:04:26 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2022-03-18 21:04:39 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-03-18 21:04:59 +0100 | infinity0 | (~infinity0@occupy.ecodis.net) |
| 2022-03-18 21:05:23 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2022-03-18 21:05:35 +0100 | ec | (~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 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-03-18 21:11:54 +0100 | Guest|7 | (~Guest|7@tmo-101-14.customers.d1-online.com) |
| 2022-03-18 21:13:20 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-03-18 21:19:11 +0100 | k8yun_ | (~k8yun@user/k8yun) |
| 2022-03-18 21:22:35 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 2022-03-18 21:22:54 +0100 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 252 seconds) |
| 2022-03-18 21:22:57 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-18 21:24:33 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-03-18 21:28:13 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2022-03-18 21:29:57 +0100 | Guest|7 | (~Guest|7@tmo-101-14.customers.d1-online.com) (Ping timeout: 256 seconds) |
| 2022-03-18 21:32:10 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-03-18 21:35:32 +0100 | kaph | (~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 +0100 | kaph | (~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 +0100 | acidjnk | (~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 +0100 | lbseale | (~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 +0100 | Guest|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 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-03-18 22:07:51 +0100 | Guest|7 | (~Guest|7@dynamic-046-114-005-013.46.114.pool.telefonica.de) (Client Quit) |
| 2022-03-18 22:07:57 +0100 | yuvi | (~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 +0100 | pavonia | (~user@user/siracusa) |
| 2022-03-18 22:10:14 +0100 | <monochrom> | min 3.4 3.2 |
| 2022-03-18 22:10:16 +0100 | kenran | (~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 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-18 22:12:49 +0100 | Guest|7 | (~Guest|7@dynamic-046-114-005-013.46.114.pool.telefonica.de) |
| 2022-03-18 22:12:59 +0100 | romesrf | (~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 +0100 | alp | (~alp@user/alp) |
| 2022-03-18 22:13:35 +0100 | alt-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 +0100 | chele | (~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 +0100 | Akansha | (~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 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-18 22:20:12 +0100 | <dsal> | > minimum (1,2) |
| 2022-03-18 22:20:13 +0100 | zer0bitz | (~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 +0100 | Akansha | (~Akansha@2401:4900:51cc:45cf:d174:6cec:9c35:b85e) (Client Quit) |
| 2022-03-18 22:20:50 +0100 | abhixec | (~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 +0100 | unyu | (~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 +0100 | Guest|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 +0100 | abhixec | (~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 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-03-18 22:42:15 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-03-18 22:44:35 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-03-18 22:49:17 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-03-18 22:50:50 +0100 | deadmarshal_ | (~deadmarsh@95.38.229.235) |
| 2022-03-18 22:53:51 +0100 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
| 2022-03-18 22:54:57 +0100 | deadmarshal_ | (~deadmarsh@95.38.229.235) (Ping timeout: 240 seconds) |
| 2022-03-18 22:55:06 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-03-18 22:55:42 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-03-18 23:00:30 +0100 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.3) |
| 2022-03-18 23:01:21 +0100 | jstolarek | (~jstolarek@staticline-31-183-185-185.toya.net.pl) (Ping timeout: 252 seconds) |
| 2022-03-18 23:12:02 +0100 | nexus | (~nexus@85-238-77-75.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-03-18 23:13:47 +0100 | nexus | (~nexus@fibhost-66-208-150.fibernet.hu) |
| 2022-03-18 23:14:39 +0100 | tromp | (~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 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-03-18 23:24:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-18 23:28:41 +0100 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-03-18 23:29:10 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-03-18 23:42:33 +0100 | kenran | (~kenran@200116b82baf00008565b4314491a38d.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-03-18 23:43:02 +0100 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 250 seconds) |
| 2022-03-18 23:43:42 +0100 | lagooned | (~jme@108-208-149-42.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-03-18 23:43:52 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-18 23:43:56 +0100 | michalz | (~michalz@185.246.204.43) (Remote host closed the connection) |
| 2022-03-18 23:44:12 +0100 | cosimone | (~user@93-44-187-176.ip98.fastwebnet.it) (Ping timeout: 240 seconds) |
| 2022-03-18 23:44:14 +0100 | lagooned | (~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net) |
| 2022-03-18 23:46:13 +0100 | acidjnk | (~acidjnk@p200300d0c7049f36d0988f567c670268.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-18 23:48:32 +0100 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 240 seconds) |
| 2022-03-18 23:49:31 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-03-18 23:49:41 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-03-18 23:49:58 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-03-18 23:53:31 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-03-18 23:57:41 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.3) |
| 2022-03-18 23:58:33 +0100 | Pickchea | (~private@user/pickchea) |