| 2023-10-14 00:00:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-14 00:01:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-14 00:01:28 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2023-10-14 00:05:06 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-14 00:05:23 +0200 | <ncf> | glguy: where did Data.List.Split.Lens go? https://github.com/ekmett/lens/commit/0ea7d4dbdaef7a44f6cd8a5fbfd20e3d450b0b37 |
| 2023-10-14 00:07:19 +0200 | <glguy> | I don't remember if anyone made a new package for that or not |
| 2023-10-14 00:07:22 +0200 | solution | (~solution@92-249-194-88.pool.digikabel.hu) (Ping timeout: 255 seconds) |
| 2023-10-14 00:09:10 +0200 | sandro | (~sandro@37.244.244.29) |
| 2023-10-14 00:11:11 +0200 | <jackdk> | If a package for it exists, it's not one that Hoogle has indexed. |
| 2023-10-14 00:11:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-14 00:12:14 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-10-14 00:12:16 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-14 00:12:16 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-10-14 00:14:15 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-10-14 00:14:24 +0200 | solution | (~solution@87-97-30-205.pool.digikabel.hu) |
| 2023-10-14 00:17:51 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-14 00:17:51 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-14 00:17:51 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-14 00:17:55 +0200 | <[exa]> | jackdk: valid point with lensing it, thx |
| 2023-10-14 00:17:59 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-14 00:20:52 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-14 00:27:51 +0200 | Jackneill | (~Jackneill@20014C4E1E021C0049C6FB28ABA15FDF.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 2023-10-14 00:33:48 +0200 | stites | (~stites@2607:fb91:ded:48e3:83d8:c2d:8ba4:feb4) (Read error: Connection reset by peer) |
| 2023-10-14 00:34:08 +0200 | stites | (~stites@130.44.147.204) |
| 2023-10-14 00:38:27 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:4e79:eb07:e229:f040) (Remote host closed the connection) |
| 2023-10-14 00:38:38 +0200 | sandro | (~sandro@37.244.244.29) (Quit: Client closed) |
| 2023-10-14 00:38:52 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:aeea:7f35:a3ca:4b4a) |
| 2023-10-14 00:39:41 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-10-14 00:44:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-14 00:45:56 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-14 00:48:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Ping timeout: 255 seconds) |
| 2023-10-14 00:51:27 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 240 seconds) |
| 2023-10-14 00:53:16 +0200 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 255 seconds) |
| 2023-10-14 00:55:11 +0200 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) |
| 2023-10-14 01:10:07 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-14 01:15:45 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-14 01:18:11 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-14 01:23:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-14 01:27:42 +0200 | sm_ | (~sm@plaintextaccounting/sm) |
| 2023-10-14 01:29:56 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 260 seconds) |
| 2023-10-14 01:43:36 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-14 01:45:11 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-14 01:45:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-14 01:46:08 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer) |
| 2023-10-14 01:48:43 +0200 | Raito_Bezarius | (~Raito@82-65-118-1.subs.proxad.net) |
| 2023-10-14 01:49:11 +0200 | post64k | (~quassel@79.140.117.202) |
| 2023-10-14 01:50:14 +0200 | sm_ | (~sm@plaintextaccounting/sm) (Quit: sm_) |
| 2023-10-14 01:50:35 +0200 | pavonia | (~user@user/siracusa) |
| 2023-10-14 01:50:39 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2023-10-14 01:55:13 +0200 | post64k | (~quassel@79.140.117.202) () |
| 2023-10-14 01:55:28 +0200 | bougatsa54 | (~quassel@79.140.117.202) |
| 2023-10-14 01:56:56 +0200 | Raito_Bezarius | (~Raito@82-65-118-1.subs.proxad.net) (Quit: free()) |
| 2023-10-14 01:57:46 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2023-10-14 01:57:48 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-14 02:01:39 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Remote host closed the connection) |
| 2023-10-14 02:03:30 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-10-14 02:04:20 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-14 02:06:37 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Ping timeout: 255 seconds) |
| 2023-10-14 02:08:11 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-14 02:20:54 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 245 seconds) |
| 2023-10-14 02:21:13 +0200 | bougatsa54 | (~quassel@79.140.117.202) (Ping timeout: 258 seconds) |
| 2023-10-14 02:25:31 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-14 02:27:38 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-14 02:34:04 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Ping timeout: 255 seconds) |
| 2023-10-14 02:35:58 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-14 02:39:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-14 02:39:19 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-14 02:39:20 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-14 02:43:23 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-14 02:49:38 +0200 | glider | (~glider@user/glider) |
| 2023-10-14 02:52:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-14 02:53:11 +0200 | pavonia | (~user@user/siracusa) |
| 2023-10-14 02:54:23 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-14 02:54:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-10-14 02:55:42 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-10-14 02:57:09 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-10-14 03:20:04 +0200 | otto_s | (~user@p5de2f441.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-10-14 03:21:40 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-14 03:21:57 +0200 | otto_s | (~user@p4ff276f0.dip0.t-ipconnect.de) |
| 2023-10-14 03:22:51 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-14 03:26:16 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-14 03:30:39 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-10-14 03:33:06 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-14 03:40:13 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-14 03:41:59 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-14 03:51:39 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-14 03:52:56 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-14 04:10:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-14 04:10:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-14 04:11:00 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 240 seconds) |
| 2023-10-14 04:11:24 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-14 04:13:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2023-10-14 04:13:55 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2023-10-14 04:13:55 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2023-10-14 04:13:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-10-14 04:14:17 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 252 seconds) |
| 2023-10-14 04:14:40 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-10-14 04:16:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-14 04:16:27 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-10-14 04:21:48 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-10-14 04:26:44 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 2023-10-14 04:35:55 +0200 | Deide | (d0130db69a@user/deide) (Quit: Gateway shutdown) |
| 2023-10-14 04:36:23 +0200 | barzo | (~hd@31.223.56.222) |
| 2023-10-14 04:38:40 +0200 | aforemny | (~aforemny@2001:9e8:6cd6:7400:b7d3:7ab0:b698:3db3) (Ping timeout: 252 seconds) |
| 2023-10-14 04:39:17 +0200 | aforemny | (~aforemny@i59F516F5.versanet.de) |
| 2023-10-14 04:39:34 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-14 04:40:13 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-14 04:40:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-10-14 04:40:13 +0200 | finn_elija | FinnElija |
| 2023-10-14 04:40:50 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-14 04:48:56 +0200 | otto_s | (~user@p4ff276f0.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-14 04:50:34 +0200 | otto_s | (~user@p4ff27101.dip0.t-ipconnect.de) |
| 2023-10-14 04:53:16 +0200 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 255 seconds) |
| 2023-10-14 04:54:58 +0200 | td_ | (~td@i53870903.versanet.de) |
| 2023-10-14 04:55:03 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-14 04:56:43 +0200 | aforemny | (~aforemny@i59F516F5.versanet.de) (Ping timeout: 255 seconds) |
| 2023-10-14 04:59:29 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-14 04:59:49 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
| 2023-10-14 05:00:04 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-14 05:02:32 +0200 | aforemny | (~aforemny@2001:9e8:6cfd:3800:9fcb:8345:7151:46cf) |
| 2023-10-14 05:07:16 +0200 | barzo | (~hd@31.223.56.222) (Quit: Leaving) |
| 2023-10-14 05:07:49 +0200 | hololeap | (~quassel@user/hololeap) |
| 2023-10-14 05:13:37 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-10-14 05:13:41 +0200 | aforemny_ | (~aforemny@i59F516EA.versanet.de) |
| 2023-10-14 05:14:20 +0200 | aforemny | (~aforemny@2001:9e8:6cfd:3800:9fcb:8345:7151:46cf) (Ping timeout: 272 seconds) |
| 2023-10-14 05:22:31 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2023-10-14 05:23:12 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-14 05:42:45 +0200 | cuiltb^ | (~cd@76.145.193.217) |
| 2023-10-14 05:48:01 +0200 | son0p | (~ff@181.136.122.143) (Quit: Bye) |
| 2023-10-14 06:00:01 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-10-14 06:11:14 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-10-14 06:14:02 +0200 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |
| 2023-10-14 06:18:24 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 245 seconds) |
| 2023-10-14 06:45:54 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-10-14 06:47:29 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-14 07:04:53 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-14 07:06:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-14 07:23:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-14 07:23:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-10-14 07:28:04 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-14 07:37:27 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-10-14 07:42:05 +0200 | vglfr | (~vglfr@88.155.190.13) |
| 2023-10-14 07:46:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-14 07:54:22 +0200 | mrmr155 | (~mrmr@user/mrmr) (Ping timeout: 260 seconds) |
| 2023-10-14 07:55:11 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-10-14 08:10:34 +0200 | harveypwca | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) |
| 2023-10-14 08:16:03 +0200 | vglfr | (~vglfr@88.155.190.13) (Read error: Connection reset by peer) |
| 2023-10-14 08:16:24 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-14 08:21:47 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2023-10-14 08:23:26 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-14 08:29:42 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 255 seconds) |
| 2023-10-14 08:32:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-14 08:32:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-14 08:37:09 +0200 | vglfr | (~vglfr@88.155.190.13) |
| 2023-10-14 08:43:30 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-14 08:52:38 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-10-14 08:53:03 +0200 | bilegeek | (~bilegeek@2600:1008:b049:c9c0:75cb:b58c:fd88:3c06) (Quit: Leaving) |
| 2023-10-14 08:55:55 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-10-14 08:59:11 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-14 09:13:40 +0200 | jbalint_ | (~jbalint@071-090-119-177.res.spectrum.com) |
| 2023-10-14 09:13:53 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Ping timeout: 255 seconds) |
| 2023-10-14 09:15:14 +0200 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 255 seconds) |
| 2023-10-14 09:15:21 +0200 | arkeet | (arkeet@moriya.ca) (Ping timeout: 260 seconds) |
| 2023-10-14 09:15:32 +0200 | arkeet | (~arkeet@moriya.ca) |
| 2023-10-14 09:16:11 +0200 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) |
| 2023-10-14 09:17:56 +0200 | mango | (~finn@2001:861:5863:3d50:bff7:69f2:76bb:8d27) |
| 2023-10-14 09:24:39 +0200 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-10-14 09:33:50 +0200 | billchenchina | (~billchenc@2408:824e:d2c:5211:999c:9aa6:4dc6:3f84) |
| 2023-10-14 09:35:04 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Ping timeout: 245 seconds) |
| 2023-10-14 09:38:19 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-14 09:38:35 +0200 | billchenchina- | (~billchenc@103.152.35.21) |
| 2023-10-14 09:38:57 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-14 09:41:36 +0200 | billchenchina | (~billchenc@2408:824e:d2c:5211:999c:9aa6:4dc6:3f84) (Ping timeout: 260 seconds) |
| 2023-10-14 09:46:13 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Ping timeout: 255 seconds) |
| 2023-10-14 09:47:38 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-14 09:48:41 +0200 | mango | (~finn@2001:861:5863:3d50:bff7:69f2:76bb:8d27) (Ping timeout: 260 seconds) |
| 2023-10-14 09:49:06 +0200 | Jackneill | (~Jackneill@20014C4E1E021C00F91B42C66329EB9E.dsl.pool.telekom.hu) |
| 2023-10-14 09:49:23 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-10-14 09:49:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-10-14 10:02:09 +0200 | biberu | (~biberu@user/biberu) |
| 2023-10-14 10:03:12 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-14 10:20:00 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-10-14 10:23:40 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-14 10:28:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-14 10:28:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-14 10:31:28 +0200 | wagle | (~wagle@quassel.wagle.io) (Quit: No Ping reply in 180 seconds.) |
| 2023-10-14 10:32:51 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2023-10-14 10:33:35 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2023-10-14 10:34:54 +0200 | myme | (~myme@2a01:799:d60:e400:8777:ba1a:93ea:8bbd) |
| 2023-10-14 10:36:32 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2023-10-14 10:39:23 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-14 10:41:35 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 240 seconds) |
| 2023-10-14 10:42:26 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-10-14 10:43:38 +0200 | harveypwca | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) (Quit: Leaving) |
| 2023-10-14 10:45:20 +0200 | pandeyan | (~pandeyan@135-180-55-136.fiber.dynamic.sonic.net) |
| 2023-10-14 10:46:24 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-14 10:46:27 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 260 seconds) |
| 2023-10-14 10:52:54 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-10-14 10:56:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-10-14 11:01:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2023-10-14 11:02:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-14 11:24:23 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-14 11:25:25 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-10-14 11:27:05 +0200 | migas | (~migas@astra4961.startdedicated.net) (Quit: Ping timeout (120 seconds)) |
| 2023-10-14 11:27:22 +0200 | migas | (~migas@astra4961.startdedicated.net) |
| 2023-10-14 11:29:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-10-14 11:30:13 +0200 | danza | (~francesco@151.35.141.86) |
| 2023-10-14 11:30:23 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-10-14 11:36:13 +0200 | mango | (~finn@2001:861:5863:3d50:bcc6:b471:f71c:7644) |
| 2023-10-14 11:36:34 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-14 11:36:44 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-10-14 11:43:24 +0200 | xigua | (~xigua@user/xigua) (Remote host closed the connection) |
| 2023-10-14 11:43:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-14 11:44:01 +0200 | xigua | (~xigua@user/xigua) |
| 2023-10-14 11:44:13 +0200 | euleritian | (~euleritia@dynamic-046-114-201-179.46.114.pool.telefonica.de) |
| 2023-10-14 11:44:32 +0200 | miguelnegrao | (~miguelneg@2001:818:dc71:d100:e682:f5cd:9590:d961) |
| 2023-10-14 11:44:36 +0200 | euleritian | (~euleritia@dynamic-046-114-201-179.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-14 11:44:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-14 11:45:18 +0200 | <miguelnegrao> | Hi all |
| 2023-10-14 11:45:23 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-14 11:46:06 +0200 | berberman | (~berberman@user/berberman) |
| 2023-10-14 11:46:08 +0200 | <miguelnegrao> | writting type signatures for lens functions is really hard. I'm pretty sure this function should work, and it does with concrete examples, but I can't write the type signature. Can anyone help ? |
| 2023-10-14 11:46:10 +0200 | <miguelnegrao> | setWithPrism prism newValue source = |
| 2023-10-14 11:46:12 +0200 | <miguelnegrao> | case preview prism source of |
| 2023-10-14 11:46:14 +0200 | <miguelnegrao> | Just _ -> Just (set prism newValue source) |
| 2023-10-14 11:46:16 +0200 | <miguelnegrao> | Nothing -> Nothing |
| 2023-10-14 11:46:49 +0200 | <miguelnegrao> | the idea is having prism check if the value exists, and if it does set it something else but return Just so that one can tell if the update was done or not |
| 2023-10-14 11:49:39 +0200 | <[exa]> | so basically like a setter, only reporting if stuff actually set anything or not? what would happen if it matches and sets multiple targets? |
| 2023-10-14 11:50:25 +0200 | <[exa]> | (you might need to have a monoid handy for such case, which might be why the types refuse to work) |
| 2023-10-14 11:51:02 +0200 | <[exa]> | (btw for others debugging here it might be good to have a running example handy on play.haskell.org) |
| 2023-10-14 11:53:38 +0200 | <miguelnegrao> | if matches multiple things then would also return a Just |
| 2023-10-14 11:54:44 +0200 | <[exa]> | anyway I believe a similar thing existed somewhere already, basically it's an usual optic but instead of the usual Identity or Const you smash in the `\x -> ([x],x)` as the functor |
| 2023-10-14 11:55:54 +0200 | <miguelnegrao> | example: https://play.haskell.org/saved/uZHT2NNf |
| 2023-10-14 11:57:00 +0200 | <miguelnegrao> | example with multiple targets: https://play.haskell.org/saved/jzTo8y3a |
| 2023-10-14 11:57:23 +0200 | <miguelnegrao> | hard to search for a function when you don't know its type signature :-) |
| 2023-10-14 11:59:24 +0200 | <miguelnegrao> | setWithPrism :: Prism' s a -> a -> s -> Maybe s Doesn't quite work |
| 2023-10-14 11:59:51 +0200 | mango | (~finn@2001:861:5863:3d50:bcc6:b471:f71c:7644) (Ping timeout: 260 seconds) |
| 2023-10-14 12:01:45 +0200 | <miguelnegrao> | Anyway, its easy to work around the issue. Thanks exa ! |
| 2023-10-14 12:02:10 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) |
| 2023-10-14 12:02:14 +0200 | <ncf> | miguelnegrao: are you looking for `failover`? |
| 2023-10-14 12:02:21 +0200 | <ncf> | https://hackage.haskell.org/package/lens-5.2.3/docs/Control-Lens-Traversal.html#v:failover |
| 2023-10-14 12:03:02 +0200 | <[exa]> | miguelnegrao: try this: https://play.haskell.org/saved/f6sjY7Bv |
| 2023-10-14 12:03:28 +0200 | <ncf> | > [Left (1::Int), Left (2::Int),Right 3] & failover (_head . _Left) (const 200) |
| 2023-10-14 12:03:30 +0200 | <lambdabot> | error: |
| 2023-10-14 12:03:30 +0200 | <lambdabot> | • Ambiguous type variable ‘m0’ arising from a use of ‘show_M815894106384... |
| 2023-10-14 12:03:30 +0200 | <lambdabot> | prevents the constraint ‘(Show |
| 2023-10-14 12:03:53 +0200 | <ncf> | > [Left (1::Int), Left (2::Int),Right 3] & failover (_head . _Left) (const 200) :: Maybe [Either Int Int] |
| 2023-10-14 12:03:54 +0200 | <lambdabot> | Just [Left 200,Left 2,Right 3] |
| 2023-10-14 12:05:12 +0200 | <[exa]> | miguelnegrao: re the code above, there might be existing Applicative&Functor instances that do the same and I guess `failover` is also kinda isomorphic, but I guess it's the canonical solution that should work for all lensy things (you can also trivially implement `over` with that) |
| 2023-10-14 12:08:39 +0200 | <[exa]> | (also visibly `MaybeMatched a == Bool × a`, also an easy fix) |
| 2023-10-14 12:11:32 +0200 | <ncf> | Any × a, even, which is how failover is implemented |
| 2023-10-14 12:19:34 +0200 | <[exa]> | ah ok nice, there we go. :] |
| 2023-10-14 12:19:51 +0200 | <miguelnegrao> | Ah, yes, I think failover is exactly it, thanks ! |
| 2023-10-14 12:20:42 +0200 | <miguelnegrao> | The lens library is like a holy book, one needs to study it carefully to find the answer :-) |
| 2023-10-14 12:21:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 2023-10-14 12:21:35 +0200 | euleritian | (~euleritia@dynamic-046-114-201-179.46.114.pool.telefonica.de) |
| 2023-10-14 12:23:01 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-14 12:25:01 +0200 | <ncf> | more like a grimoire |
| 2023-10-14 12:27:39 +0200 | <danza> | i think most people learn it by other means that its official docs. Maybe there is an "optics by example" or similar book that is popular miguelnegrao |
| 2023-10-14 12:35:00 +0200 | <miguelnegrao> | having a [(Bool, Int)] I want to use set on the first element which has False on the first element of the tuple if it exists. Is there a better way than this ? |
| 2023-10-14 12:35:10 +0200 | <miguelnegrao> | set (taking 1 $ traversed . filtered (not . fst). _2) 100 [(True, 1::Int), (False, 2), (True, 3)] |
| 2023-10-14 12:35:16 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 255 seconds) |
| 2023-10-14 12:36:20 +0200 | sudden | (~cat@user/sudden) |
| 2023-10-14 12:36:21 +0200 | <danza> | i must be biased but can't see the advantage of using lenses in this case. Seems more complex than the naive way |
| 2023-10-14 12:37:14 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) (Remote host closed the connection) |
| 2023-10-14 12:37:28 +0200 | <miguelnegrao> | This is a simplified example, the complete thing has do drill down much more nested structures |
| 2023-10-14 12:37:52 +0200 | <miguelnegrao> | But yeah, fail over does what I need: failover (taking 1 $ traversed . filtered (not . fst). _2) (const 100) [(True, 1::Int), (True, 2), (True, 3)] returns Nothing |
| 2023-10-14 12:38:14 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) |
| 2023-10-14 12:38:25 +0200 | <miguelnegrao> | and failover (taking 1 $ traversed . filtered (not . fst). _2) (const 100) [(True, 1::Int), (True, 2), (False, 3)] returns Just [(True,1),(True,2),(False,100)] |
| 2023-10-14 12:38:29 +0200 | <miguelnegrao> | nice ! |
| 2023-10-14 12:39:05 +0200 | <miguelnegrao> | and this makes for quite compact code... |
| 2023-10-14 12:40:34 +0200 | <[exa]> | danza: BUT LENSES |
| 2023-10-14 12:40:40 +0200 | <[exa]> | :D |
| 2023-10-14 12:40:58 +0200 | <danza> | :D |
| 2023-10-14 12:42:47 +0200 | <[exa]> | anyway yeah the main point is that lenses kinda hold compact while data complexity goes through the roof |
| 2023-10-14 12:42:53 +0200 | <[exa]> | usually. |
| 2023-10-14 12:43:22 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) (Ping timeout: 272 seconds) |
| 2023-10-14 12:44:45 +0200 | <ncf> | traversed . itraversed . index False |
| 2023-10-14 12:45:12 +0200 | <ncf> | this is kinda abusing indexed traversals by making the first element of the tuple an index and then restricting on the index False |
| 2023-10-14 12:46:31 +0200 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-10-14 12:46:32 +0200 | euleritian | (~euleritia@dynamic-046-114-201-179.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-14 12:46:48 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2023-10-14 12:48:39 +0200 | <cheater> | what is the haskell equivalent of "every tool is a hammer" |
| 2023-10-14 12:49:13 +0200 | <ncf> | every function is traverse |
| 2023-10-14 12:49:18 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) |
| 2023-10-14 12:50:28 +0200 | <danza> | what does "every tool is an hammer" even mean? I know "everything is a nail when you are holding an hammer", but not the former |
| 2023-10-14 12:51:59 +0200 | <[exa]> | unsafePerformHammer |
| 2023-10-14 12:53:20 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 258 seconds) |
| 2023-10-14 12:54:01 +0200 | <danza> | when all you meet are nails, every tool is an hammer |
| 2023-10-14 12:54:10 +0200 | euleritian | (~euleritia@dynamic-046-114-201-179.46.114.pool.telefonica.de) |
| 2023-10-14 12:54:38 +0200 | euleritian | (~euleritia@dynamic-046-114-201-179.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-14 12:54:56 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2023-10-14 12:55:46 +0200 | <cheater> | it means if you just need to whack something you can use any piece of iron, even though you have a hammer, because reaching for the hammer is something you're too lazy for if you already have a pliers / wrench / whatever in your hand |
| 2023-10-14 12:56:38 +0200 | <danza> | thanks, had not found any reference online |
| 2023-10-14 12:58:16 +0200 | <danza> | in my haskell practice i would say "can be done with a bit of recursion" |
| 2023-10-14 13:00:12 +0200 | mango | (~finn@2001:861:5863:3d50:4228:915:4c70:1b46) |
| 2023-10-14 13:02:35 +0200 | <danza> | hum no... it is not really the same. Recursion is a flexible tool that can replace many others. Here we are chatting about a task that does not really need specialization |
| 2023-10-14 13:04:12 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-10-14 13:12:22 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-10-14 13:14:48 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-10-14 13:17:40 +0200 | <miguelnegrao> | @ncf can you explain traversed . itraversed . index False ? Does itraverse interpret the pairs inside the list as index value pairs ? |
| 2023-10-14 13:17:40 +0200 | <lambdabot> | Maybe you meant: unpf rc bf |
| 2023-10-14 13:17:50 +0200 | <ncf> | miguelnegrao: yes |
| 2023-10-14 13:18:05 +0200 | <ncf> | it uses the TraversableWithIndex instance for ((,) i) |
| 2023-10-14 13:18:25 +0200 | <miguelnegrao> | nice ! :-D |
| 2023-10-14 13:24:17 +0200 | mango | (~finn@2001:861:5863:3d50:4228:915:4c70:1b46) (Ping timeout: 246 seconds) |
| 2023-10-14 13:28:52 +0200 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 252 seconds) |
| 2023-10-14 13:30:32 +0200 | td_ | (~td@i5387092A.versanet.de) |
| 2023-10-14 13:40:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-14 13:43:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-14 13:51:52 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-10-14 13:57:50 +0200 | dgnl^ | (~cd@76.145.193.217) (Remote host closed the connection) |
| 2023-10-14 13:59:22 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2023-10-14 14:08:05 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) (Ping timeout: 258 seconds) |
| 2023-10-14 14:08:57 +0200 | bionade24 | (~bionade24@2a03:4000:33:45b::1) (Remote host closed the connection) |
| 2023-10-14 14:10:16 +0200 | kalalele | (~kalalele@86-93-144-218.fixed.kpn.net) |
| 2023-10-14 14:11:21 +0200 | privacy | (~privacy@user/privacy) |
| 2023-10-14 14:14:21 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) |
| 2023-10-14 14:14:59 +0200 | tv | (~tv@user/tv) (Ping timeout: 258 seconds) |
| 2023-10-14 14:16:46 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: ThePenguin) |
| 2023-10-14 14:17:10 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2023-10-14 14:17:47 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-14 14:19:04 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) (Client Quit) |
| 2023-10-14 14:24:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 2023-10-14 14:28:47 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 258 seconds) |
| 2023-10-14 14:29:24 +0200 | euleritian | (~euleritia@dynamic-046-114-201-179.46.114.pool.telefonica.de) |
| 2023-10-14 14:31:12 +0200 | euleritian | (~euleritia@dynamic-046-114-201-179.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-14 14:31:30 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2023-10-14 14:37:04 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-14 14:38:03 +0200 | danza | (~francesco@151.35.141.86) (Read error: Connection reset by peer) |
| 2023-10-14 14:38:14 +0200 | danza | (~francesco@151.35.176.239) |
| 2023-10-14 14:40:22 +0200 | Vajb | (~Vajb@2001:999:400:fb4a:5fa:e213:c009:c212) (Ping timeout: 252 seconds) |
| 2023-10-14 14:41:02 +0200 | acidjnk | (~acidjnk@p200300d6e7072f59fdc2fee6a7217a34.dip0.t-ipconnect.de) |
| 2023-10-14 14:42:38 +0200 | Vajb | (~Vajb@2001:999:609:3311:fee3:57f4:d80:814b) |
| 2023-10-14 14:45:28 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-10-14 14:48:23 +0200 | tv | (~tv@user/tv) |
| 2023-10-14 14:50:32 +0200 | billchenchina | (~billchenc@223.104.122.72) |
| 2023-10-14 14:53:47 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-10-14 14:54:06 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-14 14:57:37 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-14 14:59:51 +0200 | billchenchina | (~billchenc@223.104.122.72) (Ping timeout: 255 seconds) |
| 2023-10-14 15:07:57 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (Quit: j'ai lancé irssi avec LC_TYPE=UTF8 faut que je change ça.) |
| 2023-10-14 15:10:36 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 240 seconds) |
| 2023-10-14 15:11:29 +0200 | euleritian | (~euleritia@dynamic-046-114-201-179.46.114.pool.telefonica.de) |
| 2023-10-14 15:13:55 +0200 | billchenchina | (~billchenc@223.104.122.88) |
| 2023-10-14 15:14:28 +0200 | billchenchina | (~billchenc@223.104.122.88) (Max SendQ exceeded) |
| 2023-10-14 15:17:44 +0200 | euleritian | (~euleritia@dynamic-046-114-201-179.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-14 15:17:51 +0200 | Vajb | (~Vajb@2001:999:609:3311:fee3:57f4:d80:814b) (Ping timeout: 258 seconds) |
| 2023-10-14 15:18:02 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-14 15:18:15 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2023-10-14 15:18:16 +0200 | Vajb | (~Vajb@2001:999:584:acfe:2adf:4620:2462:b0dd) |
| 2023-10-14 15:20:09 +0200 | kalalele | (~kalalele@86-93-144-218.fixed.kpn.net) (Read error: Connection reset by peer) |
| 2023-10-14 15:21:37 +0200 | ridcully | (~ridcully@p57b5294c.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-10-14 15:21:56 +0200 | ridcully | (~ridcully@p57b5294c.dip0.t-ipconnect.de) |
| 2023-10-14 15:26:06 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-14 15:27:31 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2023-10-14 15:28:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-14 15:31:05 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-14 15:39:19 +0200 | danza | (~francesco@151.35.176.239) (Ping timeout: 258 seconds) |
| 2023-10-14 15:51:48 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-14 16:01:03 +0200 | miguelnegrao | (~miguelneg@2001:818:dc71:d100:e682:f5cd:9590:d961) (Quit: miguelnegrao) |
| 2023-10-14 16:13:08 +0200 | mrmr155 | (~mrmr@user/mrmr) |
| 2023-10-14 16:26:56 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 272 seconds) |
| 2023-10-14 16:29:17 +0200 | mango | (~finn@2001:861:5863:3d50:1722:7a12:236d:8e04) |
| 2023-10-14 16:29:32 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-14 16:29:32 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-14 16:29:32 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-14 16:31:32 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-14 16:45:24 +0200 | mango | (~finn@2001:861:5863:3d50:1722:7a12:236d:8e04) (Ping timeout: 240 seconds) |
| 2023-10-14 16:51:23 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-14 17:02:40 +0200 | michalz | (~michalz@185.246.207.197) |
| 2023-10-14 17:06:59 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-14 17:08:17 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-10-14 17:09:19 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds) |
| 2023-10-14 17:10:16 +0200 | bougatsa54 | (~quassel@79.140.117.202) |
| 2023-10-14 17:13:38 +0200 | sabino | (~sabino@user/sabino) |
| 2023-10-14 17:19:54 +0200 | <haskellbridge> | <Inst> btw, if you guys want a fun game |
| 2023-10-14 17:20:31 +0200 | <haskellbridge> | <Inst> how long does it take for you to figure out why this code is valid? |
| 2023-10-14 17:20:32 +0200 | <haskellbridge> | <Inst> https://paste.tomsmeding.com/6Kj3Wk2U |
| 2023-10-14 17:20:59 +0200 | <haskellbridge> | <Inst> i'm 20-30 seconds, a senior moderator on Discord was maybe 5 seconds |
| 2023-10-14 17:21:50 +0200 | <bougatsa54> | I don't unnderstand the question, isn't it valid because show converts x to a string? |
| 2023-10-14 17:22:44 +0200 | <haskellbridge> | <Inst> it's just a silly trick question, i guess |
| 2023-10-14 17:22:55 +0200 | <ncf> | bougatsa54: note that it wouldn't work with Text (if you used Text.show) |
| 2023-10-14 17:23:38 +0200 | <haskellbridge> | <Inst> yeah, cause text isn't monadic |
| 2023-10-14 17:23:58 +0200 | <haskellbridge> | <Inst> so i guess most people here are under 10 seconds? |
| 2023-10-14 17:24:43 +0200 | <bougatsa54> | :D oh I see |
| 2023-10-14 17:25:25 +0200 | bougatsa54 | (~quassel@79.140.117.202) () |
| 2023-10-14 17:29:05 +0200 | post64k | (~quassel@79.140.117.202) |
| 2023-10-14 17:29:31 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-10-14 17:29:43 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2023-10-14 17:31:01 +0200 | <geekosaur> | about a second and a half, fwiw |
| 2023-10-14 17:31:11 +0200 | <mauke> | I was confused why it wouldn't be valid |
| 2023-10-14 17:32:15 +0200 | <haskellbridge> | <Inst> i guess the trick is that some people hate strings |
| 2023-10-14 17:32:24 +0200 | <haskellbridge> | <Inst> and don't think about it often enough |
| 2023-10-14 17:34:03 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-10-14 17:36:10 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-14 17:41:25 +0200 | <haskellbridge> | <Inst> mauke: at the outset, i was thinking "what monadic type does return stuff True into?" |
| 2023-10-14 17:42:23 +0200 | <haskellbridge> | <Inst> it also implies any usage of lists under do notation can be trivially terminated with a string |
| 2023-10-14 17:42:25 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-14 17:44:56 +0200 | <mauke> | return? any type you want |
| 2023-10-14 17:44:57 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-14 17:46:04 +0200 | <haskellbridge> | <Inst> i mean it's a -> m a, but what's the m |
| 2023-10-14 17:46:12 +0200 | <haskellbridge> | <Inst> also [1..100] >> "Hello" works as an extension |
| 2023-10-14 17:47:01 +0200 | <haskellbridge> | <Inst> odious idioms that must never be used, part 43 |
| 2023-10-14 17:47:37 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-10-14 17:48:15 +0200 | <ncf> | hideoms |
| 2023-10-14 17:48:24 +0200 | <haskellbridge> | <Inst> i guess "Hello" <$ [1..100] is more reasonable |
| 2023-10-14 17:49:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-14 17:52:13 +0200 | <haskellbridge> | <Inst> does anyone use sequence [[foo,bar],[baz,qux]] as a cartesian product generator? |
| 2023-10-14 17:52:32 +0200 | <geekosaur> | it's an idiom I have seen |
| 2023-10-14 17:52:35 +0200 | <monochrom> | I do. |
| 2023-10-14 17:52:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-14 17:52:51 +0200 | <monochrom> | I even put it on exams. >:) |
| 2023-10-14 17:53:29 +0200 | <monochrom> | "Dove Taylor loves loops. So much that she wants the number of level of loops to depend on input." |
| 2023-10-14 17:53:43 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-14 17:54:22 +0200 | <monochrom> | Thus [[a,b], [c,d,e]] is two levels, [[a,b], [c,d,e], [f,g]] is 3 levels. |
| 2023-10-14 17:55:08 +0200 | <int-e> | > replicateM 3 [0,1] -- I do this kind of thing on occasion |
| 2023-10-14 17:55:17 +0200 | <int-e> | > replicateM 3 [0,1] |
| 2023-10-14 17:55:19 +0200 | <lambdabot> | [[0,0,0],[0,0,1],[0,1,0],[0,1,1],[1,0,0],[1,0,1],[1,1,0],[1,1,1]] |
| 2023-10-14 17:55:47 +0200 | <monochrom> | If you take a computability course and need to do dovetailing, you immediately see the relevance, and why I called her Dove Taylor. >:) |
| 2023-10-14 17:56:52 +0200 | <haskellbridge> | <Inst> sounds SICPy |
| 2023-10-14 17:58:00 +0200 | <mauke> | I once tried to tail a dove, but it got away from me |
| 2023-10-14 17:58:17 +0200 | euleritian | (~euleritia@dynamic-046-114-206-032.46.114.pool.telefonica.de) |
| 2023-10-14 17:59:50 +0200 | <haskellbridge> | <Inst> what is the actual question? |
| 2023-10-14 18:00:04 +0200 | <haskellbridge> | <Inst> and how many people try to implement it via sequence, how many via monadic do, and how many via list comprehensions? |
| 2023-10-14 18:00:32 +0200 | <monochrom> | How to implement sequence. |
| 2023-10-14 18:01:22 +0200 | <haskellbridge> | <Inst> ah |
| 2023-10-14 18:02:07 +0200 | <haskellbridge> | <Inst> with the strict Applicative constraint, or Monads are allowed? |
| 2023-10-14 18:02:40 +0200 | <monochrom> | Applicative |
| 2023-10-14 18:03:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-14 18:04:04 +0200 | <haskellbridge> | <Inst> it's actually sequenceA that has the applicative constraint, ffff |
| 2023-10-14 18:04:12 +0200 | <mauke> | :t traverse (fmap fix pure) |
| 2023-10-14 18:04:13 +0200 | <lambdabot> | (Traversable t, Applicative f) => t (f b) -> f (t b) |
| 2023-10-14 18:04:50 +0200 | <geekosaur> | historically `Applicative` didn't exist and `sequence` required `Monad` |
| 2023-10-14 18:05:08 +0200 | <mauke> | @src sequence |
| 2023-10-14 18:05:08 +0200 | <lambdabot> | sequence [] = return [] |
| 2023-10-14 18:05:08 +0200 | <lambdabot> | sequence (x:xs) = do v <- x; vs <- sequence xs; return (v:vs) |
| 2023-10-14 18:05:08 +0200 | <lambdabot> | --OR |
| 2023-10-14 18:05:08 +0200 | <lambdabot> | sequence xs = foldr (liftM2 (:)) (return []) xs |
| 2023-10-14 18:05:17 +0200 | <mauke> | oh, lambdabot |
| 2023-10-14 18:05:54 +0200 | <int-e> | huh when did the bot get +v... |
| 2023-10-14 18:06:00 +0200 | <mauke> | :t foldr (liftA2 (:)) (pure []) |
| 2023-10-14 18:06:00 +0200 | <lambdabot> | (Foldable t, Applicative f) => t (f a) -> f [a] |
| 2023-10-14 18:06:10 +0200 | <mauke> | a while ago when someone said bots should be +v |
| 2023-10-14 18:06:30 +0200 | <mauke> | presumably to exempt them from spam detection? |
| 2023-10-14 18:06:43 +0200 | <geekosaur> | a couple days ago, on advice of A_Dragon (libera staff) who said bots should ave +v while ozone (spambot) is present in the room |
| 2023-10-14 18:06:44 +0200 | <geekosaur> | yes |
| 2023-10-14 18:06:55 +0200 | <int-e> | ah, that makes sense |
| 2023-10-14 18:06:56 +0200 | <int-e> | thanks |
| 2023-10-14 18:07:03 +0200 | post64k | (~quassel@79.140.117.202) (Ping timeout: 240 seconds) |
| 2023-10-14 18:14:45 +0200 | mango | (~finn@2001:861:5863:3d50:aeee:4ef7:3c6:a745) |
| 2023-10-14 18:15:43 +0200 | <haskellbridge> | <Inst> busy working on my own challenge, thanks for interesting haskell for the day |
| 2023-10-14 18:16:14 +0200 | euleritian | (~euleritia@dynamic-046-114-206-032.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-14 18:16:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-14 18:17:03 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-14 18:17:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-14 18:20:17 +0200 | ensyde | (~ensyde@2600:381:f429:4668:5188:5a77:b1c6:d864) |
| 2023-10-14 18:20:55 +0200 | <haskellbridge> | <Inst> wait, isn't sequenceA just traverse id? |
| 2023-10-14 18:21:00 +0200 | <haskellbridge> | <Inst> I'm an idiot :( |
| 2023-10-14 18:25:08 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-10-14 18:25:12 +0200 | <haskellbridge> | <Inst> was looking at the type signature looking for something cool, then i realized, all you need is traverse id to derive sequenceA from traverse, and looked it up, traverse = (sequence .). fmap |
| 2023-10-14 18:29:10 +0200 | <haskellbridge> | <Inst> instance Traversable [] where |
| 2023-10-14 18:29:10 +0200 | <haskellbridge> | <Inst> sequenceA (x:xs) = liftA2 (:) x $ sequenceA xs |
| 2023-10-14 18:29:12 +0200 | <haskellbridge> | <Inst> sequenceA [] = pure [] |
| 2023-10-14 18:29:13 +0200 | <haskellbridge> | <Inst> canonical, i think |
| 2023-10-14 18:30:00 +0200 | <haskellbridge> | <Inst> whoops, different implementation, intended to fuse |
| 2023-10-14 18:30:07 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-10-14 18:33:19 +0200 | <haskellbridge> | <Inst> and based off traverse, not sequenceA |
| 2023-10-14 18:36:34 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-14 18:38:17 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds) |
| 2023-10-14 18:39:18 +0200 | mango | (~finn@2001:861:5863:3d50:aeee:4ef7:3c6:a745) (Ping timeout: 272 seconds) |
| 2023-10-14 18:40:05 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-10-14 18:41:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-14 18:51:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:189c:98ad:f16d:aaa6) |
| 2023-10-14 18:57:21 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-10-14 19:04:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2023-10-14 19:04:53 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.245) |
| 2023-10-14 19:07:22 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-10-14 19:07:27 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-14 19:07:59 +0200 | Alex_test | (~al_test@94.233.241.173) (Ping timeout: 245 seconds) |
| 2023-10-14 19:08:07 +0200 | AlexZenon | (~alzenon@94.233.241.173) (Ping timeout: 255 seconds) |
| 2023-10-14 19:08:43 +0200 | AlexNoo | (~AlexNoo@94.233.241.173) (Ping timeout: 264 seconds) |
| 2023-10-14 19:09:08 +0200 | euleritian | (~euleritia@dynamic-046-114-206-032.46.114.pool.telefonica.de) |
| 2023-10-14 19:12:53 +0200 | Alex_test | (~al_test@178.34.151.245) |
| 2023-10-14 19:13:48 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-14 19:17:29 +0200 | AlexNoo_ | AlexNoo |
| 2023-10-14 19:18:45 +0200 | AlexZenon | (~alzenon@178.34.151.245) |
| 2023-10-14 19:27:37 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-14 19:30:44 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-10-14 19:31:42 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-14 19:32:09 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-14 19:32:25 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-10-14 19:33:30 +0200 | euleritian | (~euleritia@dynamic-046-114-206-032.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-14 19:33:48 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2023-10-14 19:42:32 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-14 19:49:18 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2023-10-14 19:50:01 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2023-10-14 19:51:18 +0200 | rgw | (~R@2605:a601:a0df:5600:2810:3d3e:92e6:48c8) |
| 2023-10-14 19:53:15 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 255 seconds) |
| 2023-10-14 19:53:59 +0200 | stites | (~stites@2607:fb91:def:c37e:edbd:2ad:99e8:11e0) |
| 2023-10-14 19:56:44 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-14 19:58:23 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2023-10-14 19:58:45 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-14 19:59:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-14 19:59:31 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-14 20:03:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-14 20:05:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-14 20:07:35 +0200 | Guest|25 | (~Guest|25@154.118.26.186.static.intelnet.net.gt) |
| 2023-10-14 20:08:16 +0200 | <Guest|25> | Hello, could someone help me to remove Haskell completely in Windows? |
| 2023-10-14 20:10:27 +0200 | Guest|25 | (~Guest|25@154.118.26.186.static.intelnet.net.gt) (Client Quit) |
| 2023-10-14 20:12:57 +0200 | <monochrom> | Did you use ghcup to install? I think it has an uninstall command. |
| 2023-10-14 20:14:18 +0200 | <rgw> | Nuclear Commands: |
| 2023-10-14 20:14:19 +0200 | <rgw> | nuke Completely remove ghcup from your system |
| 2023-10-14 20:15:36 +0200 | <rgw> | it should have added an uninstall powershell script to your desktop when you installed it, you could just run that |
| 2023-10-14 20:15:59 +0200 | <tomsmeding> | (they already left) |
| 2023-10-14 20:16:05 +0200 | <rgw> | of course |
| 2023-10-14 20:17:06 +0200 | <tomsmeding> | that's a ccTLD you don't see all that often |
| 2023-10-14 20:17:13 +0200 | <tomsmeding> | s/you/I/ |
| 2023-10-14 20:21:46 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-14 20:22:09 +0200 | driib5 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-10-14 20:24:07 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-14 20:25:23 +0200 | <haskellbridge> | <Inst> check your users/ directory |
| 2023-10-14 20:25:29 +0200 | <haskellbridge> | <Inst> expose hidden folders |
| 2023-10-14 20:25:36 +0200 | <tomsmeding> | Inst: they left like 2 minutes after asking |
| 2023-10-14 20:25:43 +0200 | <haskellbridge> | <Inst> Guest|25: didn't like it, or had --lib blow up in your face? |
| 2023-10-14 20:26:27 +0200 | <Inst> | whoops |
| 2023-10-14 20:26:36 +0200 | <monochrom> | Haha sorry what did I start :) |
| 2023-10-14 20:26:56 +0200 | <tomsmeding> | Inst: do you not see the /leave event on the matrix side? |
| 2023-10-14 20:27:04 +0200 | <tomsmeding> | that's a downside of the bridging |
| 2023-10-14 20:27:20 +0200 | <Inst> | nooooooope :( |
| 2023-10-14 20:27:47 +0200 | <rgw> | i honestly just disable join/parts because of the crazy noise |
| 2023-10-14 20:28:42 +0200 | <tomsmeding> | I have my irc client set up to only show join/leave events when within 30 minutes of something they said |
| 2023-10-14 20:28:47 +0200 | <tomsmeding> | it's a neat weechat feature |
| 2023-10-14 20:29:06 +0200 | <tomsmeding> | (the join event gets retroactively inserted in the stream when someone says something <30mins after) |
| 2023-10-14 20:29:15 +0200 | <tomsmeding> | gives you the most relevant events without the spam |
| 2023-10-14 20:29:16 +0200 | <rgw> | i was gonna ask about the retroactive join |
| 2023-10-14 20:29:19 +0200 | <rgw> | that's pretty neat |
| 2023-10-14 20:29:28 +0200 | <yushyin> | well, that's smart of weechat |
| 2023-10-14 20:29:37 +0200 | <tomsmeding> | irc.look.smart_filter and suboptions, for the weechat people around |
| 2023-10-14 20:30:38 +0200 | <tomsmeding> | the only downside is that if someone leaves because their connection broke, and they immediately rejoin but don't say anything, it looks to me like they just left |
| 2023-10-14 20:31:07 +0200 | <tomsmeding> | I typically double-check by trying nick autocomplete |
| 2023-10-14 20:31:20 +0200 | <tomsmeding> | (the nicklist is way too long in this channel) |
| 2023-10-14 20:31:30 +0200 | <tomsmeding> | (doesn't even reach b on the screen) |
| 2023-10-14 20:31:57 +0200 | <Inst> | alternate solution: 10pt 4k res :) |
| 2023-10-14 20:31:58 +0200 | <rgw> | that's always been a problem in big chats |
| 2023-10-14 20:32:23 +0200 | <Inst> | although that's pretty useless for haskell, imo |
| 2023-10-14 20:32:31 +0200 | <tomsmeding> | Inst: 15pt 1440p here, large enough for me :p |
| 2023-10-14 20:32:39 +0200 | <rgw> | kinda wish you could filter the nicklist by activity using logs |
| 2023-10-14 20:32:52 +0200 | <tomsmeding> | ooh that would be neat |
| 2023-10-14 20:32:53 +0200 | <ncf> | half-decent clients show nicknames of absent people in a different colour |
| 2023-10-14 20:33:06 +0200 | <tomsmeding> | that would actually make the nicklist useless instead of making me now think why I even have it shown in #haskell |
| 2023-10-14 20:33:11 +0200 | <rgw> | still fills up the list though |
| 2023-10-14 20:33:23 +0200 | <tomsmeding> | ncf: that's not helpful if the lowest nick on the list starts with 'as' |
| 2023-10-14 20:33:25 +0200 | <yushyin> | tomsmeding: i have set weechat.color.chat_nick_offline to darkgray. it will recolor the nickname in chat |
| 2023-10-14 20:33:43 +0200 | <ncf> | huh? |
| 2023-10-14 20:33:55 +0200 | <tomsmeding> | yushyin: ooh |
| 2023-10-14 20:34:13 +0200 | <ncf> | is that not the default? |
| 2023-10-14 20:34:33 +0200 | <yushyin> | maybe? maybe the defaults have changed |
| 2023-10-14 20:35:13 +0200 | <tomsmeding> | maybe the defaults have changed indeed |
| 2023-10-14 20:35:23 +0200 | <tomsmeding> | ah no the default is still off |
| 2023-10-14 20:35:25 +0200 | <yushyin> | well ok, you also need to set weechat.look.color_nick_offline to on |
| 2023-10-14 20:36:01 +0200 | <tomsmeding> | yeah weechat.look.color_nick_offline is default off, and I had it off (now on); weechat.color.chat_nick_offline was the non-default value "default" (instead of the default value 242), for some reason |
| 2023-10-14 20:36:10 +0200 | <tomsmeding> | thanks! |
| 2023-10-14 20:37:29 +0200 | <tomsmeding> | oh now it shows all bridged users as offline because my plugin rewrites '<haskellbridge> <nick>' to '<↑nick>', and '↑nick' is of course never in the nicklist |
| 2023-10-14 20:37:46 +0200 | <tomsmeding> | oh well |
| 2023-10-14 20:38:26 +0200 | <yushyin> | you cannot have it all it seems xD |
| 2023-10-14 20:38:35 +0200 | driib5 | (~driib@vmi931078.contaboserver.net) |
| 2023-10-14 20:45:27 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 240 seconds) |
| 2023-10-14 20:45:55 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-10-14 20:50:47 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-10-14 20:51:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-14 20:51:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-14 20:51:04 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-14 20:57:48 +0200 | stites | (~stites@2607:fb91:def:c37e:edbd:2ad:99e8:11e0) (Read error: Connection reset by peer) |
| 2023-10-14 20:58:10 +0200 | stites | (~stites@130.44.147.204) |
| 2023-10-14 21:04:00 +0200 | apache_ | apache2 |
| 2023-10-14 21:11:12 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 260 seconds) |
| 2023-10-14 21:11:37 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-10-14 21:12:39 +0200 | John_Ivan_ | (~John_Ivan@user/john-ivan/x-1515935) (Ping timeout: 240 seconds) |
| 2023-10-14 21:17:23 +0200 | John_Ivan_ | (~John_Ivan@user/john-ivan/x-1515935) |
| 2023-10-14 21:19:59 +0200 | John_Ivan_ | (~John_Ivan@user/john-ivan/x-1515935) (Remote host closed the connection) |
| 2023-10-14 21:20:45 +0200 | John_Ivan_ | (~John_Ivan@user/john-ivan/x-1515935) |
| 2023-10-14 21:23:56 +0200 | michalz | (~michalz@185.246.207.197) (Ping timeout: 258 seconds) |
| 2023-10-14 21:28:58 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 255 seconds) |
| 2023-10-14 21:30:48 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-10-14 21:33:28 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-14 21:35:16 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 255 seconds) |
| 2023-10-14 21:36:11 +0200 | vglfr | (~vglfr@88.155.190.13) (Read error: Connection reset by peer) |
| 2023-10-14 21:41:43 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-14 21:46:25 +0200 | vglfr | (~vglfr@88.155.190.13) |
| 2023-10-14 22:08:16 +0200 | vglfr | (~vglfr@88.155.190.13) (Read error: Connection reset by peer) |
| 2023-10-14 22:10:07 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2023-10-14 22:11:50 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-10-14 22:15:54 +0200 | talismanick | (~user@2601:204:ef80:2980::b23e) |
| 2023-10-14 22:20:17 +0200 | roboguy_ | (~roboguy_@2605:a601:ac4a:2700:d466:7d9:bddf:805) |
| 2023-10-14 22:29:06 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 258 seconds) |
| 2023-10-14 22:29:53 +0200 | <asivitz> | anyone know what the reason is that heap profiling options (-hy, -hm, etc) are exclusive? it seems like I should be able to get a view of my heap that tells me: the types of the values, where they come from, their size, the other values they point to, etc. all in one report |
| 2023-10-14 22:30:46 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-10-14 22:36:30 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-14 22:43:09 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2023-10-14 22:47:30 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-14 22:47:30 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-14 22:47:30 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-14 22:47:45 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-14 22:54:16 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-10-14 22:54:57 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-14 22:55:39 +0200 | mango | (~finn@2001:861:5863:3d50:dac0:d4d6:7487:3192) |
| 2023-10-14 22:57:30 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2023-10-14 22:57:48 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-10-14 23:02:43 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 264 seconds) |
| 2023-10-14 23:05:54 +0200 | mango | (~finn@2001:861:5863:3d50:dac0:d4d6:7487:3192) (Ping timeout: 258 seconds) |
| 2023-10-14 23:06:23 +0200 | Guest|53 | (~Guest|53@8.9.86.238) |
| 2023-10-14 23:06:41 +0200 | Guest|53 | (~Guest|53@8.9.86.238) (Client Quit) |
| 2023-10-14 23:08:13 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-10-14 23:09:53 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-10-14 23:12:34 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-10-14 23:14:05 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-10-14 23:17:14 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: Pozyomka, my beloved: https://i.imgur.com/BMmVfTq.png) |
| 2023-10-14 23:17:52 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-14 23:23:28 +0200 | John_Ivan__ | (~John_Ivan@user/john-ivan/x-1515935) |
| 2023-10-14 23:25:44 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds) |
| 2023-10-14 23:26:11 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-10-14 23:26:34 +0200 | John_Ivan_ | (~John_Ivan@user/john-ivan/x-1515935) (Ping timeout: 255 seconds) |
| 2023-10-14 23:29:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-14 23:29:16 +0200 | roboguy_ | (~roboguy_@2605:a601:ac4a:2700:d466:7d9:bddf:805) (Remote host closed the connection) |
| 2023-10-14 23:29:48 +0200 | roboguy_ | (~roboguy_@2605:a601:ac4a:2700:d466:7d9:bddf:805) |
| 2023-10-14 23:32:08 +0200 | dolio | (~dolio@130.44.134.54) (Ping timeout: 255 seconds) |
| 2023-10-14 23:34:04 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-14 23:34:36 +0200 | roboguy_ | (~roboguy_@2605:a601:ac4a:2700:d466:7d9:bddf:805) (Ping timeout: 260 seconds) |
| 2023-10-14 23:35:48 +0200 | roboguy_ | (~roboguy_@2605:a601:ac4a:2700:d466:7d9:bddf:805) |
| 2023-10-14 23:35:48 +0200 | acidjnk | (~acidjnk@p200300d6e7072f59fdc2fee6a7217a34.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-14 23:37:31 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-10-14 23:43:20 +0200 | Square | (~Square@user/square) |
| 2023-10-14 23:47:56 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-10-14 23:50:27 +0200 | <talismanick> | Are there libraries for fault tolerance by spawning lots of greenthreads in a process hierarchy like Erlang? |
| 2023-10-14 23:51:18 +0200 | <talismanick> | Closest that comes to mind is Cloud Haskell, but that's dead iirc (correct me if I'm wrong) |
| 2023-10-14 23:52:01 +0200 | <talismanick> | never mind! |
| 2023-10-14 23:54:35 +0200 | Jackneill | (~Jackneill@20014C4E1E021C00F91B42C66329EB9E.dsl.pool.telekom.hu) (Ping timeout: 258 seconds) |
| 2023-10-14 23:54:46 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 255 seconds) |
