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