Logs on 2023-08-04 (liberachat/#haskell)
| 00:02:04 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 00:02:56 | → | fryguybob joins (~fryguybob@cpe-24-94-50-22.stny.res.rr.com) |
| 00:07:43 | × | zeenk quits (~zeenk@2a02:2f04:a007:fb00::7fe) (Quit: Konversation terminated!) |
| 00:09:55 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:20:01 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:20:01 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:20:01 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:30:48 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 00:36:12 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 00:46:02 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 00:57:42 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 00:58:02 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:05:46 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) |
| 01:07:43 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 01:10:29 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) (Ping timeout: 260 seconds) |
| 01:11:18 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:13:11 | → | razetime joins (~quassel@117.254.36.150) |
| 01:13:30 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Read error: Connection reset by peer) |
| 01:13:52 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 01:13:59 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 01:15:40 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 01:17:25 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:26:42 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 01:26:49 | × | xff0x quits (~xff0x@2405:6580:b080:900:c00a:1568:1eb1:8f96) (Ping timeout: 260 seconds) |
| 01:34:27 | × | jero98772 quits (~jero98772@2800:484:1d84:300::7) (Ping timeout: 260 seconds) |
| 01:46:41 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 01:47:19 | → | arahael joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 01:50:06 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 01:50:06 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 01:50:06 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 01:51:34 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 244 seconds) |
| 01:53:39 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 02:02:56 | × | phma quits (~phma@host-67-44-208-165.hnremote.net) (Read error: Connection reset by peer) |
| 02:03:21 | → | phma joins (~phma@host-67-44-208-165.hnremote.net) |
| 02:03:37 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:11:44 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 02:13:58 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:15:26 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:15:30 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 02:17:30 | × | phma quits (~phma@host-67-44-208-165.hnremote.net) (Read error: Connection reset by peer) |
| 02:17:54 | → | phma joins (phma@2001:5b0:210d:fef8:25c7:fafb:f6c5:ae2a) |
| 02:19:17 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 02:19:17 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 02:19:18 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 02:19:18 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:24:57 | → | jero98772 joins (~jero98772@2800:484:1d84:300::7) |
| 02:27:37 | → | arahael joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 02:28:04 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 02:30:18 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 02:30:58 | → | danse-nr3 joins (~francesco@151.37.231.237) |
| 02:32:11 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
| 02:32:24 | → | sayola joins (~sayola@2a00:20:6002:cc00:201a:befc:4077:b20a) |
| 02:32:50 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 02:33:15 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) |
| 02:33:43 | × | sayola quits (~sayola@2a00:20:6002:cc00:201a:befc:4077:b20a) (Client Quit) |
| 02:34:39 | × | sayola1 quits (~sayola@2a00:20:6002:cc00:5d0a:3c6:7f6a:3652) (Remote host closed the connection) |
| 02:37:13 | → | Lycurgus joins (~juan@98.4.112.204) |
| 02:37:13 | × | Lycurgus quits (~juan@98.4.112.204) (Changing host) |
| 02:37:13 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 02:37:16 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 02:37:16 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 02:37:16 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 02:38:17 | × | td_ quits (~td@i5387091A.versanet.de) (Ping timeout: 246 seconds) |
| 02:40:17 | → | td_ joins (~td@i5387090C.versanet.de) |
| 02:41:51 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 02:48:28 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 02:48:28 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 02:48:28 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 02:50:42 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 02:55:58 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 02:58:40 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:58:40 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:58:40 | finn_elija | is now known as FinnElija |
| 03:02:29 | → | danse-nr3_ joins (~francesco@151.37.228.60) |
| 03:03:05 | × | danse-nr3_ quits (~francesco@151.37.228.60) (Remote host closed the connection) |
| 03:03:06 | × | jero98772 quits (~jero98772@2800:484:1d84:300::7) (Ping timeout: 260 seconds) |
| 03:03:29 | → | danse-nr3_ joins (~francesco@151.37.228.60) |
| 03:05:26 | × | danse-nr3 quits (~francesco@151.37.231.237) (Ping timeout: 260 seconds) |
| 03:05:56 | × | iteratee quits (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 03:10:27 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 03:10:39 | × | phma quits (phma@2001:5b0:210d:fef8:25c7:fafb:f6c5:ae2a) (Read error: Connection reset by peer) |
| 03:10:51 | → | iteratee joins (~kyle@162.218.222.207) |
| 03:11:09 | → | phma joins (~phma@2001:5b0:210d:fef8:25c7:fafb:f6c5:ae2a) |
| 03:14:09 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 03:16:41 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 03:18:46 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 03:18:51 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:18:51 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:18:51 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:25:19 | → | aforemny_ joins (~aforemny@2001:9e8:6cc3:ab00:c8f5:c003:d632:3504) |
| 03:25:52 | × | aforemny quits (~aforemny@2001:9e8:6cde:900:a720:64c8:17d6:6ec3) (Ping timeout: 260 seconds) |
| 03:28:47 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 03:33:24 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:33:24 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:33:24 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:34:38 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 03:34:40 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 03:35:07 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 03:37:34 | → | bilegeek joins (~bilegeek@2600:1008:b071:35c2:9a84:c74:e115:43c3) |
| 03:39:57 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 03:44:44 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 03:45:04 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:45:04 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:45:04 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:48:01 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 03:48:37 | × | phma quits (~phma@2001:5b0:210d:fef8:25c7:fafb:f6c5:ae2a) (Read error: Connection reset by peer) |
| 03:49:01 | → | phma joins (~phma@host-67-44-208-165.hnremote.net) |
| 03:49:44 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 03:51:24 | × | phma quits (~phma@host-67-44-208-165.hnremote.net) (Read error: Connection reset by peer) |
| 03:51:49 | → | phma joins (phma@2001:5b0:210d:fef8:25c7:fafb:f6c5:ae2a) |
| 03:53:32 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:53:32 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:53:32 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:53:36 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 246 seconds) |
| 04:00:44 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 04:00:49 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 04:03:30 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:05:32 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 04:05:32 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 04:05:32 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:06:05 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 04:09:08 | × | phma quits (phma@2001:5b0:210d:fef8:25c7:fafb:f6c5:ae2a) (Remote host closed the connection) |
| 04:09:21 | × | razetime quits (~quassel@117.254.36.150) (Ping timeout: 246 seconds) |
| 04:09:34 | → | phma joins (~phma@2001:5b0:210d:fef8:25c7:fafb:f6c5:ae2a) |
| 04:10:03 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 04:13:12 | → | jero98772 joins (~jero98772@2800:484:1d84:300::7) |
| 04:18:48 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 04:29:44 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 04:34:00 | × | sefidel quits (~sefidel@user/sefidel) (Remote host closed the connection) |
| 04:34:44 | → | sefidel joins (~sefidel@user/sefidel) |
| 04:36:24 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 04:36:39 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 04:37:29 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 04:38:03 | × | danse-nr3_ quits (~francesco@151.37.228.60) (Ping timeout: 246 seconds) |
| 04:43:20 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 04:43:20 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 04:43:20 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:44:08 | × | jero98772 quits (~jero98772@2800:484:1d84:300::7) (Ping timeout: 244 seconds) |
| 04:46:19 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 04:46:19 | × | shapr quits (~user@2600:1700:c640:3100:2914:c7c5:b36d:30fe) (Ping timeout: 260 seconds) |
| 04:47:43 | glguy | is now known as glguyrc |
| 04:48:15 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 04:48:29 | → | razetime joins (~quassel@117.254.36.150) |
| 04:52:27 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 04:53:48 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 04:57:34 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 04:57:34 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 04:57:34 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:58:17 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 05:05:32 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:05:55 | → | thegeekinside joins (~thegeekin@189.141.65.87) |
| 05:07:16 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 05:11:52 | × | iteratee quits (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 05:12:04 | → | iteratee joins (~kyle@162.218.222.207) |
| 05:17:14 | → | mixfix41 joins (~sdeny9ee@user/mixfix41) |
| 05:24:26 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 244 seconds) |
| 05:28:03 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 05:29:22 | <feetwind> | dminuoso: re:only flat module structures, nah, it's nice particularly with lots of nesting and modules. most file tree views in an editor, github, etc, will sort by folder first so visually the current way is relatively disjointed - it's harder to miss the "index" (default.nix, ...) module in rust/python/etc where they have it this way |
| 05:30:49 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 05:33:42 | <feetwind> | dminuoso: here's an example, https://github.com/xmonad/xmonad-contrib/tree/master/XMonad/Layout - Groups.hs is shown wayyyyy below where its submodules are (in Groups/). instead of being Groups/default.hs or whatever |
| 05:34:30 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 05:35:13 | <feetwind> | ofc changing how you sort files fixes it. it's also just nice not to repeat yourself |
| 05:35:47 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 05:39:15 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 05:40:26 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 05:45:17 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 260 seconds) |
| 05:45:23 | → | cptaffe_ joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 05:45:43 | × | cptaffe_ quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Client Quit) |
| 05:51:39 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 05:51:42 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 260 seconds) |
| 05:52:46 | → | sm[i] joins (~sm@plaintextaccounting/sm) |
| 05:52:53 | × | ft quits (~ft@62.155.202.106) (Quit: leaving) |
| 05:53:39 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 05:54:55 | → | dibblego joins (~dibblego@116.255.1.151) |
| 05:54:55 | × | dibblego quits (~dibblego@116.255.1.151) (Changing host) |
| 05:54:55 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 05:56:36 | → | trev joins (~trev@user/trev) |
| 05:58:37 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 06:03:00 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 06:04:51 | × | thegeekinside quits (~thegeekin@189.141.65.87) (Ping timeout: 246 seconds) |
| 06:05:17 | → | mncheck joins (~mncheck@193.224.205.254) |
| 06:05:27 | × | bilegeek quits (~bilegeek@2600:1008:b071:35c2:9a84:c74:e115:43c3) (Quit: Leaving) |
| 06:05:32 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 06:08:10 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 06:08:10 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 06:08:10 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 06:08:28 | → | arahael joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 06:10:26 | × | paddymahoney quits (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Ping timeout: 245 seconds) |
| 06:12:38 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 06:13:06 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:13:14 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
| 06:23:55 | → | paddymahoney joins (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 06:27:08 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 06:31:23 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 06:33:06 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 06:33:32 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 06:35:22 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 245 seconds) |
| 06:38:06 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 06:43:11 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 06:43:11 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 06:43:11 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 06:46:51 | → | qqq joins (~qqq@92.43.167.61) |
| 06:49:15 | × | ubert quits (~Thunderbi@91.141.57.75.wireless.dyn.drei.com) (Quit: ubert) |
| 06:49:42 | → | ubert joins (~Thunderbi@91.141.57.75.wireless.dyn.drei.com) |
| 06:49:43 | → | CiaoSen joins (~Jura@2a05:5800:2a1:1400:664b:f0ff:fe37:9ef) |
| 06:52:25 | → | lortabac joins (~lortabac@2a01:e0a:50d:8d40:30c7:496f:5b4d:159c) |
| 06:53:37 | → | notzmv joins (~zmv@user/notzmv) |
| 06:55:22 | → | kuribas joins (~user@ptr-17d51epkvyzmbbtb3yy.18120a2.ip6.access.telenet.be) |
| 06:55:37 | → | michalz joins (~michalz@185.246.207.203) |
| 07:01:45 | × | ubert quits (~Thunderbi@91.141.57.75.wireless.dyn.drei.com) (Remote host closed the connection) |
| 07:04:44 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 07:04:46 | → | mmhat joins (~mmh@p200300f1c73d1995ee086bfffe095315.dip0.t-ipconnect.de) |
| 07:05:18 | × | mmhat quits (~mmh@p200300f1c73d1995ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 07:06:25 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 07:06:37 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 07:08:54 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 07:09:49 | × | mncheck quits (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 07:10:57 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 07:11:21 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 07:15:40 | → | dibblego joins (~dibblego@116.255.1.151) |
| 07:15:40 | × | dibblego quits (~dibblego@116.255.1.151) (Changing host) |
| 07:15:40 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 07:16:13 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 07:19:16 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 07:19:40 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:20:26 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 07:20:35 | → | acidjnk joins (~acidjnk@p200300d6e7072f47c4518b621df42806.dip0.t-ipconnect.de) |
| 07:20:48 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 07:20:48 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 07:22:33 | → | arahael joins (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 07:23:12 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 07:24:41 | × | sm[i] quits (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 07:25:50 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 07:27:33 | → | mima joins (~mmh@aftr-82-135-83-198.dynamic.mnet-online.de) |
| 07:30:34 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 07:30:34 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 07:30:34 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 07:31:04 | × | ph88 quits (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 07:31:18 | × | arahael quits (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 07:33:21 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 245 seconds) |
| 07:33:33 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 07:35:16 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 07:37:44 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Ping timeout: 244 seconds) |
| 07:38:18 | × | mima quits (~mmh@aftr-82-135-83-198.dynamic.mnet-online.de) (Ping timeout: 250 seconds) |
| 07:38:39 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 07:39:56 | × | shryke quits (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) (Quit: WeeChat 4.0.1) |
| 07:47:03 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
| 07:47:09 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 07:48:03 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 07:48:03 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 07:48:03 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 07:51:00 | → | sm[i] joins (~sm@plaintextaccounting/sm) |
| 07:52:39 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:53:59 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:54:47 | → | vpan joins (~0@mail.elitnet.lt) |
| 07:56:15 | → | fendor joins (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 07:58:22 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:59:48 | → | gurkenglas joins (~gurkengla@dynamic-046-114-090-080.46.114.pool.telefonica.de) |
| 08:00:01 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 08:01:46 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:02:54 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 260 seconds) |
| 08:04:04 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 08:05:11 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 08:07:52 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 08:07:52 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Read error: Connection reset by peer) |
| 08:08:39 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) |
| 08:09:57 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:649f:e413:c49d:28b0) (Read error: Connection reset by peer) |
| 08:10:48 | → | vglfr joins (~vglfr@145.224.100.231) |
| 08:12:49 | × | vglfr quits (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 08:13:59 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 260 seconds) |
| 08:14:07 | → | anandprabhu joins (~anandprab@45.83.220.217) |
| 08:14:29 | → | vglfr joins (~vglfr@145.224.100.231) |
| 08:14:32 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 08:14:55 | × | vglfr quits (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 08:15:23 | × | loonycyborg quits (loonycybor@wesnoth/developer/loonycyborg) (Quit: ZNC - http://znc.sourceforge.net) |
| 08:15:37 | → | vglfr joins (~vglfr@145.224.100.231) |
| 08:15:45 | × | vglfr quits (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 08:16:05 | → | vglfr joins (~vglfr@145.224.100.231) |
| 08:17:16 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 08:17:35 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 08:17:52 | → | Pickchea joins (~private@user/pickchea) |
| 08:19:04 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 08:20:24 | × | vglfr quits (~vglfr@145.224.100.231) (Ping timeout: 260 seconds) |
| 08:21:15 | → | simikando joins (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 08:22:20 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 08:22:56 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 08:23:12 | → | mima joins (~mmh@aftr-82-135-83-249.dynamic.mnet-online.de) |
| 08:25:48 | × | simikando quits (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 252 seconds) |
| 08:26:37 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 245 seconds) |
| 08:27:38 | × | razetime quits (~quassel@117.254.36.150) (Ping timeout: 252 seconds) |
| 08:28:15 | → | ph88 joins (~ph88@91.64.60.212) |
| 08:28:24 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 08:31:41 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 245 seconds) |
| 08:34:57 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 08:36:47 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 08:37:16 | → | MajorBiscuit joins (~MajorBisc@145.94.40.195) |
| 08:38:20 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 08:38:20 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 08:38:20 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 08:38:36 | × | finnekit quits (~finnekit@fsf/member/finnekit) (Quit: The Lounge - https://thelounge.chat) |
| 08:38:44 | <ph88> | https://bpa.st/C2RA How can i split function doFoo2? A point-less solution is on line 63. i'm struggling to do it myself |
| 08:38:53 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 08:39:05 | → | finnekit joins (~finnekit@fsf/member/finnekit) |
| 08:39:07 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 08:42:22 | <ncf> | not sure what more you want? |
| 08:42:37 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:43:17 | <ncf> | line 63 does not make sense though - you literally replaced %%~ with id, but the former is an infix operator. |
| 08:43:52 | × | dsrt^ quits (~cd@24.125.210.85) (Remote host closed the connection) |
| 08:45:14 | <ncf> | ((\k (Foo i l) -> Foo i <$> k l) . traverse) (\a -> maybe ([], a) (\a' -> ([a], a')) (g a)) |
| 08:45:37 | <ncf> | simplifies down to |
| 08:45:52 | <ncf> | \(Foo i l) -> Foo i <$> traverse (\a -> maybe ([], a) (\a' -> ([a], a')) (g a)) l |
| 08:46:41 | → | razetime joins (~quassel@117.254.36.150) |
| 08:47:47 | × | sm[i] quits (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 08:50:20 | → | berberman_ joins (~berberman@user/berberman) |
| 08:50:45 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 246 seconds) |
| 08:52:47 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 08:53:33 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 08:55:34 | <ncf> | and applyToFoo should use <$> instead of $ |
| 08:55:54 | → | ripspin joins (~chatzilla@1.145.252.67) |
| 08:55:58 | → | danse-nr3_ joins (~francesco@151.19.253.20) |
| 08:56:58 | → | mysl_ joins (~mysl@ec2-3-230-88-82.compute-1.amazonaws.com) |
| 08:57:56 | mysl_ | is now known as mysl |
| 08:58:14 | zer0bitz_ | is now known as zer0bitz |
| 08:58:35 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 08:58:35 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 08:58:35 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 08:58:55 | × | mysl quits (~mysl@ec2-3-230-88-82.compute-1.amazonaws.com) (Changing host) |
| 08:58:55 | → | mysl joins (~mysl@user/mysl) |
| 09:00:00 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
| 09:01:47 | → | mauke joins (~mauke@user/mauke) |
| 09:03:43 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) (Remote host closed the connection) |
| 09:04:49 | → | titibandit joins (~titibandi@user/titibandit) |
| 09:05:12 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 09:06:39 | × | gurkenglas quits (~gurkengla@dynamic-046-114-090-080.46.114.pool.telefonica.de) (Remote host closed the connection) |
| 09:09:51 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 09:09:59 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 09:10:56 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 09:12:39 | → | loonycyborg joins (loonycybor@wesnoth/developer/loonycyborg) |
| 09:14:15 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 09:15:52 | → | notzmv joins (~zmv@user/notzmv) |
| 09:17:02 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 09:17:40 | × | ripspin quits (~chatzilla@1.145.252.67) (Remote host closed the connection) |
| 09:22:24 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 09:24:34 | × | razetime quits (~quassel@117.254.36.150) (Ping timeout: 260 seconds) |
| 09:29:20 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 09:31:29 | → | berberman joins (~berberman@user/berberman) |
| 09:32:47 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 260 seconds) |
| 09:34:07 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 09:34:16 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 09:37:53 | → | raym joins (~ray@user/raym) |
| 09:38:08 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:43:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:43:53 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 09:45:23 | → | kimiamania60 joins (~681cf57f@user/kimiamania) |
| 09:46:53 | × | berberman quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:47:31 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 09:49:03 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 09:55:09 | → | gugu256 joins (~gugu256@19.87.95.79.rev.sfr.net) |
| 09:57:09 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 09:59:03 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 09:59:40 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 10:00:18 | <danse-nr3_> | good friday everyone |
| 10:00:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:03:04 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:03:42 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 10:04:14 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 10:07:09 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds) |
| 10:08:54 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:09:15 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 10:14:25 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 10:14:43 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 10:16:15 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 10:17:00 | → | berberman joins (~berberman@user/berberman) |
| 10:19:20 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 10:20:21 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 10:21:03 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 10:26:39 | → | ubert joins (~Thunderbi@2001:871:263:bbd1:1361:7def:aac6:60d9) |
| 10:27:38 | <dminuoso> | ph88: That let-in followed by a where block is maximally hideous. |
| 10:27:51 | <dminuoso> | The defining expression of doDoo is in the middle. somewhere. |
| 10:28:36 | → | sm[i] joins (~sm@plaintextaccounting/sm) |
| 10:29:26 | <ph88> | thank you ncf i will have another look, i hope i will understand now |
| 10:29:34 | <dminuoso> | ph88: I think by merely moving it into a where clause, it cleans it up well enough: https://gist.github.com/dminuoso/da18ac7bbde18267cad32d1a3217f183 |
| 10:32:11 | <ph88> | dminuoso, ncf gave a solution where the two concern are splitted as i meant. with your refactor the two data structures are still tangled together `(old, Foo int new)` here `(a, b)` to do the calculation and `Foo int new` the original data structure |
| 10:33:06 | <dminuoso> | So this is just a kind of `wither` that remembers things it removes right? |
| 10:33:08 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 10:33:37 | <dminuoso> | Ah no, not quite. It remembers the original thing when it does not delete. |
| 10:36:19 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 260 seconds) |
| 10:36:36 | <ph88> | yes it keeps the original when it's not replaced |
| 10:37:16 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 10:39:15 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:39:17 | × | CiaoSen quits (~Jura@2a05:5800:2a1:1400:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 10:41:12 | × | ubert quits (~Thunderbi@2001:871:263:bbd1:1361:7def:aac6:60d9) (Ping timeout: 245 seconds) |
| 10:41:36 | → | berberman joins (~berberman@user/berberman) |
| 10:42:56 | <dminuoso> | This somehow feels like just a slight twist on partitionEithers |
| 10:46:25 | <ncf> | yes except not really |
| 10:49:09 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 260 seconds) |
| 10:50:46 | → | ubert joins (~Thunderbi@2001:871:263:bbd1:baa7:53bf:2bcb:165b) |
| 10:53:57 | × | sm[i] quits (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 10:54:35 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 10:59:00 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 11:00:06 | <[Leary]> | :t traverse . (maybe <$> pure <*> (,) . (:[]) <*>) |
| 11:00:07 | <lambdabot> | Traversable t => (a -> Maybe a) -> t a -> ([a], t a) |
| 11:00:18 | <[Leary]> | Bow before the terror of handcrafted pointfree! |
| 11:02:00 | <Hecate> | yeah I'm good I will just shut my eyes and walk away |
| 11:02:29 | → | danse-nr3__ joins (~francesco@151.47.3.63) |
| 11:03:16 | × | kuribas quits (~user@ptr-17d51epkvyzmbbtb3yy.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 11:04:04 | <ncf> | @pl \g -> traverse (\a -> maybe ([], a) (\a' -> ([a], a')) (g a)) |
| 11:04:04 | <lambdabot> | traverse . ap (ap (maybe . (,) []) ((,) . return)) |
| 11:04:21 | <ncf> | clearly not as poetic |
| 11:05:23 | × | danse-nr3_ quits (~francesco@151.19.253.20) (Ping timeout: 264 seconds) |
| 11:06:01 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 11:06:07 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 258 seconds) |
| 11:08:50 | → | gtdg joins (~gtdg@user/gtdg) |
| 11:10:35 | → | sm[i] joins (~sm@plaintextaccounting/sm) |
| 11:11:54 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 11:12:34 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 11:12:34 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 11:12:34 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 11:12:52 | → | gurkenglas joins (~gurkengla@dynamic-046-114-090-080.46.114.pool.telefonica.de) |
| 11:14:33 | <gtdg> | hello all, |
| 11:14:33 | <gtdg> | Is it possible to compile a Haskell library offline with cabal, downloading all the dependencies? |
| 11:15:03 | <dminuoso> | Yes. |
| 11:15:36 | <dminuoso> | You might want to ping davean, a while ago they made some tooling to assist with that. |
| 11:16:02 | × | jmd_ quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 11:17:20 | <dminuoso> | I wish we had some simple cabal command to just vendor a transitive dependency tree. |
| 11:17:23 | × | lortabac quits (~lortabac@2a01:e0a:50d:8d40:30c7:496f:5b4d:159c) (Ping timeout: 264 seconds) |
| 11:17:34 | <probie> | dminuoso: +1 |
| 11:17:41 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 11:21:22 | <ph88> | ncf, i split the function now in the two parts as i wanted them to be split https://bpa.st/C75Q After i did this i understood why i didn't understand how the code works before. The type signatures i infered. So what i didn't get is in the bla function at the end the type is `([a], f a)` ... so how does the compiler infer that `f a` has to be the second thing in the tuple? like in the doFoo3 the type is implicit |
| 11:21:32 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 11:22:00 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 11:22:32 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 11:23:38 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 11:25:07 | → | __monty__ joins (~toonn@user/toonn) |
| 11:26:58 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 11:26:58 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 11:26:58 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 11:27:23 | × | gtdg quits (~gtdg@user/gtdg) (Ping timeout: 246 seconds) |
| 11:28:04 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 11:29:14 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 11:29:40 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 11:33:12 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 11:34:15 | <ncf> | i don't get your question |
| 11:37:13 | → | berberman joins (~berberman@user/berberman) |
| 11:38:12 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 11:38:18 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 11:43:27 | × | juri_ quits (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 260 seconds) |
| 11:44:25 | → | juri_ joins (~juri@79.140.120.247) |
| 11:45:38 | <ph88> | ncf, basically in doFoo3 there is no `f a` in the type signature, but it's there as an intermediate type. I'm asking how that is infered |
| 11:45:44 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 11:48:38 | <ncf> | :t traverse |
| 11:48:39 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 11:48:39 | → | dibblego joins (~dibblego@116.255.1.151) |
| 11:48:39 | × | dibblego quits (~dibblego@116.255.1.151) (Changing host) |
| 11:48:39 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 11:48:39 | <ncf> | so traverse (\a -> ...) :: f (t b), and you're fmapping Foo i into that so t b ~ [a] |
| 11:48:48 | <ph88> | just traverse doesn't tell me about this type `([a], f a)` why is it in the second part of the tuple |
| 11:49:09 | <ncf> | and f ~ ((,) [a]) |
| 11:49:46 | <ph88> | f ~ ((,) [a]) i can't deduce this from traverse |
| 11:50:26 | <ncf> | remember ([a], f a) is (,) [a] (f a), so if you unify this against g (t b) you get g ~ (,) [a], t ~ f, a ~ b |
| 11:50:30 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 11:50:53 | <ph88> | thanks i will study again your last sentence, i hope i can piece it together |
| 11:52:14 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 11:52:18 | → | dobblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 11:52:18 | × | dobblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 11:52:18 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 11:52:39 | <ncf> | similarly, if you say f <$> g where g :: a -> b, you get a unification problem (a -> b) ~ f b, which is solved by f ~ ((->) a) |
| 11:52:42 | dobblego | is now known as dibblego |
| 11:52:50 | × | sm[i] quits (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 11:53:24 | <ncf> | (remembering also that these are curried type operators, so it's really ((,) a) b and ((->) a) b |
| 11:54:56 | → | sm[i] joins (~sm@plaintextaccounting/sm) |
| 11:55:54 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 11:56:04 | × | danse-nr3__ quits (~francesco@151.47.3.63) (Ping timeout: 244 seconds) |
| 11:56:25 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 12:00:19 | × | gugu256 quits (~gugu256@19.87.95.79.rev.sfr.net) (Ping timeout: 260 seconds) |
| 12:01:42 | × | ubert quits (~Thunderbi@2001:871:263:bbd1:baa7:53bf:2bcb:165b) (Ping timeout: 258 seconds) |
| 12:02:18 | × | truckasaurus quits (sid457088@id-457088.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:07:46 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 12:08:32 | → | xff0x joins (~xff0x@2405:6580:b080:900:a81e:4fdc:9952:342d) |
| 12:10:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:11:54 | × | sm[i] quits (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 12:15:24 | → | arahael joins (~arahael@115-64-199-191.tpgi.com.au) |
| 12:19:04 | × | fendor quits (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 12:20:59 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 264 seconds) |
| 12:21:37 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2) |
| 12:21:55 | → | Pixi` joins (~Pixi@user/pixi) |
| 12:22:47 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
| 12:23:53 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 12:25:47 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 245 seconds) |
| 12:30:48 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 12:31:34 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 12:32:09 | → | lortabac joins (~lortabac@2a01:e0a:50d:8d40:167a:87f7:b9db:e9ef) |
| 12:32:54 | → | ubert joins (~Thunderbi@2001:871:263:bbd1:53b4:cbab:ed32:4bbc) |
| 12:33:16 | × | arahael quits (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 244 seconds) |
| 12:35:45 | → | gugu256 joins (~gugu256@146.86.95.79.rev.sfr.net) |
| 12:39:39 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 12:40:09 | → | jero98772 joins (~jero98772@2800:484:1d84:300::7) |
| 12:43:52 | → | razetime joins (~quassel@117.254.36.150) |
| 12:43:52 | × | razetime quits (~quassel@117.254.36.150) (Client Quit) |
| 12:44:40 | × | gugu256 quits (~gugu256@146.86.95.79.rev.sfr.net) (Ping timeout: 250 seconds) |
| 12:44:41 | × | nick3 quits (~nick@2600:8807:9084:7800:4dd8:8c25:a0b9:d846) (Ping timeout: 260 seconds) |
| 12:45:08 | → | sm[i] joins (~sm@plaintextaccounting/sm) |
| 12:46:44 | → | danse-nr3 joins (~francesco@151.43.117.249) |
| 12:48:56 | × | Pixi` quits (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 12:49:48 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 12:50:32 | → | Pixi joins (~Pixi@user/pixi) |
| 12:51:30 | × | Pixi quits (~Pixi@user/pixi) (Max SendQ exceeded) |
| 12:51:37 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 12:51:40 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 12:51:53 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 12:56:16 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 245 seconds) |
| 12:56:23 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 12:56:59 | → | Everything joins (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 12:58:09 | → | berberman_ joins (~berberman@user/berberman) |
| 12:58:29 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 246 seconds) |
| 13:00:12 | → | dobblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 13:00:12 | × | dobblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 13:00:12 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 13:01:06 | dobblego | is now known as dibblego |
| 13:01:19 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 13:05:22 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 13:06:41 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 13:06:41 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 13:06:41 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 13:10:06 | × | yangby quits (~secret@183.157.65.111) (Quit: Go out for a walk and buy a drink.) |
| 13:10:52 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 13:14:03 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 13:16:45 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 13:18:52 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:20:46 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 13:20:52 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 13:20:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:26:01 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 13:26:01 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 13:26:01 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 13:30:09 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 13:30:16 | → | dobblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 13:30:17 | × | dobblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 13:30:17 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 13:30:44 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 13:30:48 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 13:34:32 | × | dobblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 13:36:49 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 13:39:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:39:32 | → | xkuru joins (~xkuru@user/xkuru) |
| 13:40:29 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 13:41:02 | → | ripspin joins (~chatzilla@1.145.208.88) |
| 13:45:46 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 13:50:33 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:51:24 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 13:53:11 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:54:46 | → | titibandit joins (~titibandi@user/titibandit) |
| 13:55:18 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 13:57:31 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 13:59:06 | × | acidjnk quits (~acidjnk@p200300d6e7072f47c4518b621df42806.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 13:59:54 | <danse-nr3> | given that hakyll ships with an RSS generator, i guess many haskell blog publish a feed. Does anyone know of a list of blogs for an aggregator? |
| 14:01:04 | × | mixfix41 quits (~sdeny9ee@user/mixfix41) (Ping timeout: 260 seconds) |
| 14:02:41 | <sm[i]> | danse-nr3: like https://planet.haskell.org sidebar ? |
| 14:02:55 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 14:03:02 | × | lortabac quits (~lortabac@2a01:e0a:50d:8d40:167a:87f7:b9db:e9ef) (Quit: WeeChat 2.8) |
| 14:03:18 | × | ubert quits (~Thunderbi@2001:871:263:bbd1:53b4:cbab:ed32:4bbc) (Ping timeout: 246 seconds) |
| 14:03:36 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 14:06:19 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 14:07:16 | <danse-nr3> | that is a nice collection, thanks sm[i] |
| 14:08:34 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 14:10:22 | → | ft joins (~ft@p3e9bca6a.dip0.t-ipconnect.de) |
| 14:10:39 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 14:17:10 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 14:20:19 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 14:22:06 | × | sm[i] quits (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 14:22:58 | → | sm[i] joins (~sm@plaintextaccounting/sm) |
| 14:23:31 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 14:26:14 | × | gurkenglas quits (~gurkengla@dynamic-046-114-090-080.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 14:27:52 | → | billchenchina joins (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 14:27:54 | × | sm[i] quits (~sm@plaintextaccounting/sm) (Ping timeout: 260 seconds) |
| 14:33:26 | × | ripspin quits (~chatzilla@1.145.208.88) (Remote host closed the connection) |
| 14:39:48 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:40:03 | → | kaptch joins (~kaptch@95.10.4.214) |
| 14:40:11 | × | kaptch quits (~kaptch@95.10.4.214) (Client Quit) |
| 14:40:15 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 14:43:59 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 14:44:14 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
| 14:44:37 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:49:03 | → | hellwolf joins (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 14:50:57 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 14:53:09 | → | Joao003 joins (~Joao003@2804:840:8302:4000:ccd8:5cd7:538c:3048) |
| 14:53:18 | <Joao003> | hello |
| 14:53:28 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 14:53:38 | geekosaur | waves |
| 14:54:09 | → | acidjnk joins (~acidjnk@p200300d6e7072f47c4518b621df42806.dip0.t-ipconnect.de) |
| 14:56:32 | <Joao003> | gtg lol |
| 14:56:35 | × | vpan quits (~0@mail.elitnet.lt) (Quit: Leaving.) |
| 14:56:35 | × | Joao003 quits (~Joao003@2804:840:8302:4000:ccd8:5cd7:538c:3048) (Client Quit) |
| 14:58:21 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:58:53 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 14:58:58 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:59:35 | → | sm[i] joins (~sm@plaintextaccounting/sm) |
| 15:01:01 | × | berberman_ quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:04:00 | × | sm[i] quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 15:06:48 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 15:08:49 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) |
| 15:09:22 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 15:11:16 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 15:13:18 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) (Ping timeout: 246 seconds) |
| 15:16:17 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 15:19:40 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 15:19:48 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 15:20:00 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 15:22:02 | × | danse-nr3 quits (~francesco@151.43.117.249) (Remote host closed the connection) |
| 15:22:26 | → | danse-nr3 joins (~francesco@151.43.117.249) |
| 15:34:26 | → | sm[i] joins (~sm@plaintextaccounting/sm) |
| 15:38:51 | × | sm[i] quits (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 15:41:35 | → | thegeekinside joins (~thegeekin@189.141.65.87) |
| 15:43:19 | → | notzmv joins (~zmv@user/notzmv) |
| 15:43:36 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 15:48:29 | → | juri__ joins (~juri@79.140.114.16) |
| 15:51:37 | × | juri_ quits (~juri@79.140.120.247) (Ping timeout: 245 seconds) |
| 15:51:38 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:54:48 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 15:57:11 | → | Harriet joins (andrew@user/Lareina) |
| 16:00:27 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:02:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:02:34 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 16:03:36 | → | razetime joins (~quassel@117.254.36.150) |
| 16:07:31 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 16:08:57 | × | thegeekinside quits (~thegeekin@189.141.65.87) (Ping timeout: 246 seconds) |
| 16:13:47 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 16:17:59 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 16:18:45 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 16:20:44 | × | eldritchcookie quits (~eldritchc@186.226.54.7) (Remote host closed the connection) |
| 16:21:17 | → | sm[i] joins (~sm@plaintextaccounting/sm) |
| 16:21:50 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 16:23:14 | → | eldritchcookie joins (~eldritchc@186.226.54.7) |
| 16:25:47 | × | sm[i] quits (~sm@plaintextaccounting/sm) (Ping timeout: 260 seconds) |
| 16:30:52 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 16:31:37 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 16:31:44 | × | MajorBiscuit quits (~MajorBisc@145.94.40.195) (Quit: WeeChat 3.6) |
| 16:33:46 | × | razetime quits (~quassel@117.254.36.150) (Remote host closed the connection) |
| 16:33:50 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 16:37:41 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 16:42:31 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 16:42:55 | → | sm[i] joins (~sm@plaintextaccounting/sm) |
| 16:47:06 | × | danse-nr3 quits (~francesco@151.43.117.249) (Read error: Connection reset by peer) |
| 16:47:25 | → | danse-nr3 joins (~francesco@151.19.228.139) |
| 16:52:36 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:52:50 | → | dcoutts joins (~duncan@host-2-100-148-137.as13285.net) |
| 16:54:29 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 16:55:37 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 16:56:06 | → | shapr joins (~user@2600:1700:c640:3100:3042:ef68:f59d:42d7) |
| 16:56:25 | → | ijqq_ joins (uid603979@id-603979.helmsley.irccloud.com) |
| 16:59:10 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 16:59:25 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 17:00:40 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 17:00:45 | × | dcoutts quits (~duncan@host-2-100-148-137.as13285.net) (Ping timeout: 246 seconds) |
| 17:01:56 | → | thegeekinside joins (~thegeekin@189.141.65.87) |
| 17:02:19 | → | fendor joins (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 17:11:17 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 17:11:34 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 17:17:02 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 17:17:07 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 17:19:40 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 17:22:41 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 17:22:54 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 17:24:44 | → | ddellacosta joins (~ddellacos@146.70.171.184) |
| 17:29:26 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 17:29:34 | × | mima quits (~mmh@aftr-82-135-83-249.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 17:34:13 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 17:36:19 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 17:36:35 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 17:39:35 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 17:40:55 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 17:47:33 | glguyrc | is now known as glguy |
| 17:54:04 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 17:56:13 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 17:58:52 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 17:59:17 | × | danse-nr3 quits (~francesco@151.19.228.139) (Ping timeout: 244 seconds) |
| 18:02:05 | × | shapr quits (~user@2600:1700:c640:3100:3042:ef68:f59d:42d7) (Remote host closed the connection) |
| 18:04:36 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 18:05:25 | × | anandprabhu quits (~anandprab@45.83.220.217) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:07:36 | × | fendor quits (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 18:09:26 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 18:11:12 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 18:13:44 | × | johnw quits (~johnw@69.62.242.138) (Read error: Connection reset by peer) |
| 18:15:33 | → | xkuru joins (~xkuru@user/xkuru) |
| 18:15:57 | → | gurkenglas joins (~gurkengla@dynamic-046-114-090-080.46.114.pool.telefonica.de) |
| 18:17:02 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 18:19:11 | → | johnw joins (~johnw@69.62.242.138) |
| 18:20:21 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 18:27:08 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds) |
| 18:28:12 | × | jero98772 quits (~jero98772@2800:484:1d84:300::7) (Ping timeout: 240 seconds) |
| 18:36:03 | × | sm[i] quits (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
| 18:40:51 | × | thegeekinside quits (~thegeekin@189.141.65.87) (Ping timeout: 246 seconds) |
| 18:45:12 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 18:45:52 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 18:46:07 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 18:50:14 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 18:57:28 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 19:02:17 | × | johnw quits (~johnw@69.62.242.138) (Read error: Connection reset by peer) |
| 19:02:38 | → | johnw joins (~johnw@69.62.242.138) |
| 19:03:04 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 19:03:11 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 19:05:56 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 19:08:43 | → | merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 19:18:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:21:04 | → | mvk joins (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 19:23:25 | → | shapr joins (~user@2600:1700:c640:3100:894d:ede3:2bfa:7011) |
| 19:27:08 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 19:31:14 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 19:32:24 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 19:40:33 | × | merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 19:40:42 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 246 seconds) |
| 19:41:22 | → | flounders joins (~flounders@24.246.133.1) |
| 19:42:45 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:44:56 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 19:49:27 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 19:49:28 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 19:49:44 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 19:50:34 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 20:01:42 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 20:06:52 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 20:08:55 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 20:09:40 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 20:11:27 | → | thegeekinside joins (~thegeekin@189.141.65.87) |
| 20:11:35 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 20:14:23 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 264 seconds) |
| 20:19:15 | → | Yumemi joins (~Yumemi@212.47.254.173) |
| 20:21:10 | → | npmania joins (~Thunderbi@138.199.60.31) |
| 20:24:32 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 20:25:09 | × | bliminse quits (~bliminse@user/bliminse) (Ping timeout: 246 seconds) |
| 20:25:13 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 20:25:23 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:25:38 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 20:26:13 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 20:27:06 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 20:27:12 | → | bliminse joins (~bliminse@user/bliminse) |
| 20:30:06 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 20:35:18 | → | arahael joins (~arahael@115-64-199-191.tpgi.com.au) |
| 20:38:54 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 20:41:49 | × | arahael quits (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 20:44:57 | × | thegeekinside quits (~thegeekin@189.141.65.87) (Ping timeout: 245 seconds) |
| 20:45:23 | → | arahael joins (~arahael@115-64-199-191.tpgi.com.au) |
| 20:45:39 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 20:45:52 | × | acidjnk quits (~acidjnk@p200300d6e7072f47c4518b621df42806.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 20:51:31 | → | acidjnk joins (~acidjnk@p200300d6e7072f47e122610b7cbe2edf.dip0.t-ipconnect.de) |
| 20:52:33 | → | gugu256 joins (~gugu256@79.95.87.129) |
| 20:53:50 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 20:57:49 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:01:34 | × | kimiamania60 quits (~681cf57f@user/kimiamania) (Quit: PegeLinux) |
| 21:02:02 | → | kimiamania60 joins (~65804703@user/kimiamania) |
| 21:02:11 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 244 seconds) |
| 21:04:49 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:05:06 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 21:06:38 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 21:07:35 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 21:08:08 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 21:09:51 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 21:11:48 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:16:12 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 245 seconds) |
| 21:16:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:19:44 | × | juri__ quits (~juri@79.140.114.16) (Read error: Connection reset by peer) |
| 21:21:32 | × | gugu256 quits (~gugu256@79.95.87.129) (Read error: Connection reset by peer) |
| 21:22:26 | → | gugu256 joins (~gugu256@129.87.95.79.rev.sfr.net) |
| 21:24:31 | → | pavonia joins (~user@user/siracusa) |
| 21:25:10 | → | juri_ joins (~juri@84-19-175-187.pool.ovpn.com) |
| 21:26:37 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 21:30:40 | × | npmania quits (~Thunderbi@138.199.60.31) (Quit: npmania) |
| 21:30:54 | → | mvk joins (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 21:31:43 | <geekosaur> | quiet day. did matrix kill us? |
| 21:32:34 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 21:32:40 | <glguy> | \o/ |
| 21:34:23 | <Rembane> | Is matrix gone? |
| 21:34:55 | <geekosaur> | it's severely malfunctioning. libera ops are tryingt to arrange a bridge restart |
| 21:35:24 | <geekosaur> | EMS may be trying to debug the security fixes they put in that seem to have led to the malfunction |
| 21:36:55 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 21:37:07 | <geekosaur> | (they restarted on the 30th with security fixes, a few hours later it crashed, then partially recovered, and has been getting worse and worse since) |
| 21:37:31 | <geekosaur> | #libera-matrix is filled with frustrated users and frazzled ops 🙂 |
| 21:37:51 | <Rembane> | Oh. If it was a space ship it would've been quite the Hollywood movie by Michael Bay. |
| 21:38:33 | <EvanR> | who controls the bridge, matrix or IRC or other |
| 21:38:58 | <geekosaur> | other. "element matrix services" |
| 21:40:29 | <EvanR> | you gotta admit that "complete shutdown" is pretty secure |
| 21:43:35 | <geekosaur> | it's not complete though. it's doing annoying things like being one-way traffic (which way varies) in some rooms/channels |
| 21:43:50 | <geekosaur> | and none at all in others, and mostly working in a few others |
| 21:44:58 | <Rembane> | That sounds way too exciting too troubleshoot |
| 21:46:39 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 21:48:48 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 21:50:23 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 21:50:33 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 21:53:08 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 21:54:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:55:28 | × | gugu256 quits (~gugu256@129.87.95.79.rev.sfr.net) (Read error: Connection reset by peer) |
| 21:55:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:59:05 | <geekosaur> | speaking of… |
| 21:59:35 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 22:00:14 | → | pyooque joins (~puke@user/puke) |
| 22:00:14 | puke | is now known as Guest2604 |
| 22:00:14 | × | Guest2604 quits (~puke@user/puke) (Killed (silver.libera.chat (Nickname regained by services))) |
| 22:00:14 | pyooque | is now known as puke |
| 22:09:14 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 22:10:37 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 22:14:10 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 22:16:44 | → | falafel joins (~falafel@216.68.6.51.dyn.plus.net) |
| 22:23:19 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 22:25:27 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 22:27:48 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 22:29:32 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 22:32:39 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 260 seconds) |
| 22:34:27 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 22:38:37 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 22:41:23 | × | gurkenglas quits (~gurkengla@dynamic-046-114-090-080.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 22:44:09 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:44:13 | → | thegeekinside joins (~thegeekin@189.141.65.87) |
| 22:44:29 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 244 seconds) |
| 22:46:20 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 22:46:21 | × | billchenchina quits (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 22:48:24 | × | arahael quits (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 22:48:46 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 22:52:32 | × | ph88 quits (~ph88@91.64.60.212) (Ping timeout: 260 seconds) |
| 22:53:10 | → | Pickchea joins (~private@user/pickchea) |
| 22:55:39 | × | flounders quits (~flounders@24.246.133.1) (Ping timeout: 246 seconds) |
| 22:59:56 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:02:38 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 23:02:40 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 23:03:21 | × | thegeekinside quits (~thegeekin@189.141.65.87) (Ping timeout: 245 seconds) |
| 23:04:15 | → | dolio joins (~dolio@130.44.134.54) |
| 23:06:46 | × | dolio quits (~dolio@130.44.134.54) (Client Quit) |
| 23:07:31 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 23:09:48 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 244 seconds) |
| 23:10:25 | → | dolio joins (~dolio@130.44.134.54) |
| 23:12:09 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 23:14:27 | → | pjs joins (~pjs@user/pjs) |
| 23:14:39 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 23:15:31 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 23:16:01 | → | mauke_ joins (~mauke@user/mauke) |
| 23:17:31 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 23:17:32 | mauke_ | is now known as mauke |
| 23:19:09 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:20:53 | × | travisb_ quits (~travisb@2600:1700:7990:24e0:1a06:df99:987c:76cd) (Remote host closed the connection) |
| 23:21:04 | × | cptaffe quits (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 23:21:06 | → | travisb_ joins (~travisb@2600:1700:7990:24e0:b763:cbe:9422:537d) |
| 23:21:42 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 23:24:05 | → | ph88 joins (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 23:24:24 | <pjs> | Hi all. I don't know haskell at all and am trying to build matterhorn on a new alpine system. I run the build script (which is essentially just a cabal command) and I get this dependency error and I'm not quite sure how to resolve it. Details here: https://paste.sr.ht/~petersanchez/8b42266f66dd7403c1379098fed902149378af4a |
| 23:24:29 | <pjs> | any help is appreciated |
| 23:25:47 | × | acidjnk quits (~acidjnk@p200300d6e7072f47e122610b7cbe2edf.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 23:25:58 | <glguy> | pjs: I'll look |
| 23:26:05 | <c_wraith> | pjs: that looks like a ghc version issue. |
| 23:26:05 | <geekosaur> | that's a somewhat unfortunate way of saying you need an older ghc and its installed libraries |
| 23:26:52 | <jackdk> | matterhorn is refusing to depend on versions of the haskell package `text` newer than 2.0; your GHC shipped with `text-2.0.1`; older versions of `text` don't support the version of `ghc-prim` that your GHC came with. |
| 23:27:16 | <glguy> | pjs: I think it wants ghc-9.2.8 |
| 23:27:17 | <glguy> | cabal build -w ghc-9.2.8 -j --enable-tests |
| 23:27:22 | <glguy> | as the last line in the build.sh |
| 23:27:37 | <pjs> | thanks! let me try |
| 23:28:06 | <glguy> | if you don't have ghc-9.2.8 yet, I think it's: ghcup install ghc 9.2.8 |
| 23:28:46 | → | cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 23:29:04 | <jackdk> | You could try: 1. editing `matterhorn.cabal` to allow newer versions of text: https://github.com/matterhorn-chat/matterhorn/blob/master/matterhorn.cabal#L181 could read `, text >= 1.2.5.0 && < 2.0 || >= 2.0 && <2.1` |
| 23:29:13 | <jackdk> | 2. Using an older version of GHC as glguy suggested |
| 23:29:49 | <pjs> | I don't have ghcup installed so let me try editing the cabal file first |
| 23:30:55 | <jackdk> | Where are you getting GHC from? ghcup is now the most recommended way to get a copy. |
| 23:31:25 | <pjs> | jackdk: seems to be working (so far lol) |
| 23:31:53 | <pjs> | jackdk: alpine packages I'm sure.. I haven't done anything haskell specific for it other than packages |
| 23:32:09 | <jackdk> | Unless a package uses funky internals, it usually has no trouble moving to text >= 2.0 |
| 23:33:56 | <pjs> | jackdk: so far so good.. |
| 23:43:05 | <pjs> | jackdk: it built successfully! thank you! |
| 23:43:14 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 23:43:14 | <pjs> | thanks to everyone for the help! |
| 23:44:49 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 23:50:33 | × | ian_ quits (~ian@matrix.chaos.earth.li) (Quit: BIAB) |
| 23:54:16 | → | Igloo joins (~ian@matrix.chaos.earth.li) |
All times are in UTC on 2023-08-04.