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