2023-09-27 00:04:58 +0200 | cyphase | (~cyphase@user/cyphase) |
2023-09-27 00:09:46 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-09-27 00:14:08 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 246 seconds) |
2023-09-27 00:15:19 +0200 | sudden | (~cat@user/sudden) |
2023-09-27 00:21:22 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ee82:be9d:3e7c:9aae) |
2023-09-27 00:23:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2023-09-27 00:26:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:80a2:2128:a9a7:36f7) (Remote host closed the connection) |
2023-09-27 00:30:16 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-09-27 00:35:36 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2023-09-27 00:39:05 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-09-27 00:48:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:80a2:2128:a9a7:36f7) |
2023-09-27 00:48:51 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
2023-09-27 00:53:46 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 258 seconds) |
2023-09-27 01:08:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:80a2:2128:a9a7:36f7) (Remote host closed the connection) |
2023-09-27 01:32:03 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
2023-09-27 01:33:51 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
2023-09-27 01:35:43 +0200 | qqq | (~qqq@92.43.167.61) (Ping timeout: 240 seconds) |
2023-09-27 01:39:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f492:4050:8c5d:37a2) |
2023-09-27 01:43:56 +0200 | qqq | (~qqq@92.43.167.61) |
2023-09-27 01:44:27 +0200 | hexology- | (~hexology@user/hexology) (Remote host closed the connection) |
2023-09-27 01:45:09 +0200 | hexology | (~hexology@user/hexology) |
2023-09-27 01:52:15 +0200 | powderedhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
2023-09-27 01:52:41 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2023-09-27 01:53:58 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
2023-09-27 01:57:19 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds) |
2023-09-27 01:59:17 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2023-09-27 02:01:49 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2023-09-27 02:04:03 +0200 | ubert1 | (~Thunderbi@77.119.223.36.wireless.dyn.drei.com) |
2023-09-27 02:04:15 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ee82:be9d:3e7c:9aae) (Ping timeout: 240 seconds) |
2023-09-27 02:04:58 +0200 | ubert | (~Thunderbi@178.115.46.247.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
2023-09-27 02:04:58 +0200 | ubert1 | ubert |
2023-09-27 02:05:12 +0200 | bienjensu | (~user@user/bienjensu) |
2023-09-27 02:06:16 +0200 | xff0x | (~xff0x@178.255.149.135) |
2023-09-27 02:06:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
2023-09-27 02:13:35 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
2023-09-27 02:16:35 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 240 seconds) |
2023-09-27 02:18:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:41ff:c0f:cf6a:f335) |
2023-09-27 02:20:24 +0200 | hexology | (~hexology@user/hexology) (Remote host closed the connection) |
2023-09-27 02:20:43 +0200 | hexology | (~hexology@user/hexology) |
2023-09-27 02:21:02 +0200 | hexology | (~hexology@user/hexology) (Remote host closed the connection) |
2023-09-27 02:21:43 +0200 | qqq | (~qqq@92.43.167.61) (Ping timeout: 240 seconds) |
2023-09-27 02:21:45 +0200 | hexology | (~hexology@user/hexology) |
2023-09-27 02:23:37 +0200 | qqq | (~qqq@92.43.167.61) |
2023-09-27 02:24:27 +0200 | bienjensu | (~user@user/bienjensu) (Remote host closed the connection) |
2023-09-27 02:26:11 +0200 | bienjensu | (~user@user/bienjensu) |
2023-09-27 02:27:27 +0200 | bilegeek | (~bilegeek@2600:1008:b0ad:cc36:cdcb:d721:4a07:b641) |
2023-09-27 02:32:18 +0200 | hexology | (~hexology@user/hexology) (Remote host closed the connection) |
2023-09-27 02:32:37 +0200 | hexology | (~hexology@user/hexology) |
2023-09-27 02:33:37 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2023-09-27 02:34:00 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2023-09-27 02:34:25 +0200 | Typedfern | (~Typedfern@81.red-83-37-27.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
2023-09-27 02:35:35 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2023-09-27 02:35:58 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
2023-09-27 02:38:13 +0200 | hexology | (~hexology@user/hexology) (Remote host closed the connection) |
2023-09-27 02:38:58 +0200 | hexology | (~hexology@user/hexology) |
2023-09-27 02:39:44 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Client Quit) |
2023-09-27 02:43:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
2023-09-27 02:44:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2023-09-27 02:53:13 +0200 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
2023-09-27 02:59:48 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-09-27 02:59:48 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-09-27 02:59:48 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-09-27 03:03:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-09-27 03:06:19 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 245 seconds) |
2023-09-27 03:08:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-09-27 03:08:39 +0200 | nicosm | (~nicosm@host98.181-4-190.telecom.net.ar) |
2023-09-27 03:09:44 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-09-27 03:10:14 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 258 seconds) |
2023-09-27 03:33:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f492:4050:8c5d:37a2) (Remote host closed the connection) |
2023-09-27 03:34:16 +0200 | nicosm | (~nicosm@host98.181-4-190.telecom.net.ar) (Remote host closed the connection) |
2023-09-27 03:39:13 +0200 | otto_s | (~user@p5b04494d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-09-27 03:41:05 +0200 | otto_s | (~user@p5b044302.dip0.t-ipconnect.de) |
2023-09-27 03:47:49 +0200 | nicosm | (~nicosm@host98.181-4-190.telecom.net.ar) |
2023-09-27 03:49:24 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
2023-09-27 03:49:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28) |
2023-09-27 03:53:52 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
2023-09-27 04:03:52 +0200 | nicosm | (~nicosm@host98.181-4-190.telecom.net.ar) (Remote host closed the connection) |
2023-09-27 04:08:00 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-09-27 04:09:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:41ff:c0f:cf6a:f335) (Ping timeout: 245 seconds) |
2023-09-27 04:10:16 +0200 | pavonia | (~user@user/siracusa) |
2023-09-27 04:10:48 +0200 | td_ | (~td@i53870926.versanet.de) (Ping timeout: 258 seconds) |
2023-09-27 04:11:26 +0200 | space100022 | (~space1000@user/space1000) |
2023-09-27 04:12:30 +0200 | td_ | (~td@i53870923.versanet.de) |
2023-09-27 04:21:48 +0200 | jargon | (~jargon@184.101.67.95) (Remote host closed the connection) |
2023-09-27 04:22:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
2023-09-27 04:25:07 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-09-27 04:44:57 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2023-09-27 04:47:10 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-09-27 04:47:23 +0200 | qqq | (~qqq@92.43.167.61) (Read error: Connection reset by peer) |
2023-09-27 04:52:06 +0200 | qqq | (~qqq@92.43.167.61) |
2023-09-27 05:00:50 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2023-09-27 05:01:31 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
2023-09-27 05:01:43 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2023-09-27 05:03:42 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 258 seconds) |
2023-09-27 05:05:38 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
2023-09-27 05:26:18 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-09-27 05:27:22 +0200 | bilegeek | (~bilegeek@2600:1008:b0ad:cc36:cdcb:d721:4a07:b641) (Quit: Leaving) |
2023-09-27 05:55:23 +0200 | gmg | (~user@user/gehmehgeh) |
2023-09-27 05:55:24 +0200 | space100022 | (~space1000@user/space1000) (Ping timeout: 240 seconds) |
2023-09-27 05:57:11 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
2023-09-27 05:58:59 +0200 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-cee1-c701-fc94-6966.res6.spectrum.com) |
2023-09-27 05:59:13 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fcc0-fa4b-2157-39f4.res6.spectrum.com) (Ping timeout: 240 seconds) |
2023-09-27 06:00:23 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf7:2600:8cfd:3e44:4f1a:c0ee) (Ping timeout: 255 seconds) |
2023-09-27 06:00:32 +0200 | aforemny | (~aforemny@i59F516DA.versanet.de) |
2023-09-27 06:09:21 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-09-27 06:12:22 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
2023-09-27 06:13:55 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2023-09-27 06:33:07 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-09-27 06:34:21 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2023-09-27 06:39:29 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 06:55:27 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2023-09-27 06:59:39 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 07:00:07 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f4340109536a6857484.dip0.t-ipconnect.de) |
2023-09-27 07:05:37 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-09-27 07:10:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
2023-09-27 07:16:43 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-09-27 07:17:18 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 07:24:17 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
2023-09-27 07:25:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-09-27 07:27:34 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2023-09-27 07:29:13 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
2023-09-27 07:32:06 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 07:33:35 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2023-09-27 07:33:58 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-09-27 07:38:35 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2023-09-27 07:41:32 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
2023-09-27 07:43:24 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2023-09-27 07:44:51 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 07:48:18 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
2023-09-27 07:51:22 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-09-27 07:54:30 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2023-09-27 08:03:25 +0200 | michalz | (~michalz@185.246.204.105) |
2023-09-27 08:04:25 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
2023-09-27 08:07:08 +0200 | CiaoSen | (~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef) |
2023-09-27 08:07:40 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
2023-09-27 08:12:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-09-27 08:15:18 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2023-09-27 08:17:17 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-09-27 08:17:40 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 08:18:43 +0200 | shapr | (~user@2600:1700:c640:3100:3cbf:7898:1195:ccad) (Ping timeout: 240 seconds) |
2023-09-27 08:20:31 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-09-27 08:22:15 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-09-27 08:22:25 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 08:31:31 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2023-09-27 08:32:18 +0200 | danza | (~francesco@151.35.214.2) |
2023-09-27 08:32:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:2fe5:7197:b580:702) |
2023-09-27 08:32:42 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 08:36:51 +0200 | Inst | (~Inst@120.244.192.250) |
2023-09-27 08:39:05 +0200 | todi | (~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-09-27 08:48:27 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Quit: Leaving) |
2023-09-27 08:52:15 +0200 | ubert | (~Thunderbi@77.119.223.36.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
2023-09-27 08:56:00 +0200 | danza | (~francesco@151.35.214.2) (Ping timeout: 258 seconds) |
2023-09-27 08:56:31 +0200 | danza | (~francesco@151.35.214.2) |
2023-09-27 09:00:13 +0200 | danza | (~francesco@151.35.214.2) (Read error: Connection reset by peer) |
2023-09-27 09:00:31 +0200 | danza | (~francesco@151.37.151.250) |
2023-09-27 09:02:13 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
2023-09-27 09:02:34 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-09-27 09:08:33 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-09-27 09:08:51 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 09:11:09 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-09-27 09:12:41 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 09:15:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-09-27 09:16:16 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2023-09-27 09:16:38 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-09-27 09:18:00 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 09:20:12 +0200 | danza | (~francesco@151.37.151.250) (Ping timeout: 248 seconds) |
2023-09-27 09:21:21 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
2023-09-27 09:21:31 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-09-27 09:21:43 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 09:33:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
2023-09-27 09:35:52 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
2023-09-27 09:36:30 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
2023-09-27 09:36:57 +0200 | chele | (~chele@user/chele) |
2023-09-27 09:39:00 +0200 | dcoutts | (~duncan@94.119.64.0) |
2023-09-27 09:41:47 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
2023-09-27 09:41:50 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
2023-09-27 09:47:26 +0200 | cfricke | (~cfricke@user/cfricke) |
2023-09-27 09:47:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-09-27 09:50:27 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
2023-09-27 09:52:42 +0200 | danse-nr3 | (~francesco@151.37.151.250) |
2023-09-27 09:53:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28) (Remote host closed the connection) |
2023-09-27 09:57:03 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-09-27 09:57:26 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2023-09-27 09:57:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-09-27 09:59:34 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-09-27 09:59:42 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2023-09-27 10:00:41 +0200 | vpan | (~vpan@212.117.1.172) |
2023-09-27 10:01:24 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-09-27 10:03:13 +0200 | dcoutts | (~duncan@94.119.64.0) (Ping timeout: 240 seconds) |
2023-09-27 10:06:05 +0200 | Inst | (~Inst@120.244.192.250) |
2023-09-27 10:12:41 +0200 | mmhat | (~mmh@p200300f1c74e6facee086bfffe095315.dip0.t-ipconnect.de) |
2023-09-27 10:16:40 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
2023-09-27 10:17:05 +0200 | mmhat | (~mmh@p200300f1c74e6facee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
2023-09-27 10:22:29 +0200 | dcoutts | (~duncan@pat-125-253.wlan.net.ed.ac.uk) |
2023-09-27 10:24:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28) |
2023-09-27 10:24:34 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-09-27 10:25:32 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-09-27 10:30:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-09-27 10:38:13 +0200 | dcoutts | (~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 240 seconds) |
2023-09-27 10:39:11 +0200 | dcoutts | (~duncan@pat-125-253.wlan.net.ed.ac.uk) |
2023-09-27 10:40:13 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
2023-09-27 10:40:27 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2023-09-27 10:40:38 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
2023-09-27 10:40:58 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
2023-09-27 10:49:16 +0200 | Pickchea | (~private@user/pickchea) |
2023-09-27 10:49:47 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 252 seconds) |
2023-09-27 10:49:58 +0200 | vglfr | (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
2023-09-27 11:01:12 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2023-09-27 11:07:01 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2023-09-27 11:07:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-09-27 11:07:27 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
2023-09-27 11:10:17 +0200 | privacy | (~privacy@47.219.84.6) |
2023-09-27 11:12:13 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-09-27 11:16:44 +0200 | vpan | (~vpan@212.117.1.172) (Ping timeout: 245 seconds) |
2023-09-27 11:17:59 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 11:18:07 +0200 | dhil | (~dhil@2001:8e0:2014:3100:b35e:6470:ff2b:e5d8) |
2023-09-27 11:22:26 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 260 seconds) |
2023-09-27 11:24:03 +0200 | Inst | (~Inst@120.244.192.250) |
2023-09-27 11:25:51 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2023-09-27 11:26:48 +0200 | NinjaTrappeur | (~ninja@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.0.4) |
2023-09-27 11:27:46 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
2023-09-27 11:29:20 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f4340109536a6857484.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
2023-09-27 11:29:59 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2023-09-27 11:30:05 +0200 | NinjaTrappeur | (~ninja@about/aquilenet/vodoo/NinjaTrappeur) |
2023-09-27 11:34:31 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2023-09-27 11:34:54 +0200 | privacy | (~privacy@47.219.84.6) (Changing host) |
2023-09-27 11:34:54 +0200 | privacy | (~privacy@user/privacy) |
2023-09-27 11:37:07 +0200 | privacy | (~privacy@user/privacy) (Quit: Leaving) |
2023-09-27 11:37:39 +0200 | privacy | (~privacy@user/privacy) |
2023-09-27 11:41:44 +0200 | shryke | (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) |
2023-09-27 11:47:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-09-27 11:52:47 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2023-09-27 11:53:24 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
2023-09-27 11:53:42 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) |
2023-09-27 11:54:07 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
2023-09-27 11:54:13 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2023-09-27 11:54:59 +0200 | [exa] | (~exa@user/exa/x-3587197) (Remote host closed the connection) |
2023-09-27 11:59:36 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de) |
2023-09-27 12:00:50 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-09-27 12:00:55 +0200 | CiaoSen | (~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds) |
2023-09-27 12:01:16 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) |
2023-09-27 12:03:52 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Client Quit) |
2023-09-27 12:04:14 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) |
2023-09-27 12:04:38 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
2023-09-27 12:04:38 +0200 | hseg | (~gesh@77.137.68.224) |
2023-09-27 12:06:36 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit) |
2023-09-27 12:06:44 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
2023-09-27 12:06:55 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) |
2023-09-27 12:07:23 +0200 | <hseg> | Any standard monoid instance with a distinguished element Bot st a <> b = Bot for a,b /= mempty? |
2023-09-27 12:07:43 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
2023-09-27 12:08:09 +0200 | <hseg> | (idea is that I have multiple fallback options for a functionality, only one of which may be configured at a time) |
2023-09-27 12:09:16 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit) |
2023-09-27 12:09:34 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) |
2023-09-27 12:10:53 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit) |
2023-09-27 12:11:12 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) |
2023-09-27 12:11:55 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
2023-09-27 12:12:38 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Client Quit) |
2023-09-27 12:12:58 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) |
2023-09-27 12:13:44 +0200 | <hseg> | ie sth like http://ix.io/4Hy7 |
2023-09-27 12:14:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds) |
2023-09-27 12:16:57 +0200 | <kuribas> | First? |
2023-09-27 12:16:57 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2023-09-27 12:17:04 +0200 | <kuribas> | :t First |
2023-09-27 12:17:05 +0200 | <lambdabot> | Maybe a -> First a |
2023-09-27 12:17:49 +0200 | <kuribas> | oh you want to fail if there are more... |
2023-09-27 12:18:04 +0200 | <hseg> | exactly |
2023-09-27 12:18:15 +0200 | <hseg> | perhaps I'm being ridiculous here |
2023-09-27 12:19:26 +0200 | <kuribas> | I don't think there is such a standard monoid. |
2023-09-27 12:19:43 +0200 | <kuribas> | But it's easy to define |
2023-09-27 12:19:43 +0200 | <ncf> | this reminds me of NixOS' mergeOneOption |
2023-09-27 12:20:05 +0200 | <ncf> | and the closely related mergeEqualOption, which would allow a <> b | a == b = a |
2023-09-27 12:20:15 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 12:20:56 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-09-27 12:20:57 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-09-27 12:21:00 +0200 | <hseg> | frankly, dislike the code I'm refactoring here, but there's a limit to how much i can throw out |
2023-09-27 12:21:11 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) |
2023-09-27 12:21:56 +0200 | Inst | (~Inst@120.244.192.250) |
2023-09-27 12:23:09 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit) |
2023-09-27 12:23:24 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) |
2023-09-27 12:23:26 +0200 | <[Leary]> | hseg: I guess you could have `newtype Absorbing a = Absorbing (Maybe a); instance Semigroup (Absorbing a) where _ <> _ = Absorbing Nothing`, then your monoid is ~ `Maybe (Absorbing a)`. |
2023-09-27 12:23:44 +0200 | <[Leary]> | But I haven't seen this anywhere. |
2023-09-27 12:24:28 +0200 | <hseg> | yeah. This is basically Max for FreeBounded a = Bot | An a | Top |
2023-09-27 12:24:38 +0200 | <hseg> | s/Max/Min |
2023-09-27 12:25:14 +0200 | <hseg> | (ie a flat domain in domain-theoretic terms) |
2023-09-27 12:25:19 +0200 | <ncf> | none-one-tons |
2023-09-27 12:25:29 +0200 | <hseg> | ooh, like that name |
2023-09-27 12:25:37 +0200 | <ncf> | (from https://personal.cis.strath.ac.uk/conor.mcbride/PlentyO-CR.pdf) |
2023-09-27 12:26:57 +0200 | <ncf> | does FreeBounded mean this is the free bounded monoid on a set? what's a bounded monoid? |
2023-09-27 12:27:12 +0200 | <hseg> | free bounded order |
2023-09-27 12:27:19 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 12:27:25 +0200 | <hseg> | ie you're throwing in a top and bottom |
2023-09-27 12:27:45 +0200 | <ncf> | ah, right |
2023-09-27 12:28:05 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit) |
2023-09-27 12:28:17 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) |
2023-09-27 12:33:21 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 258 seconds) |
2023-09-27 12:34:14 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
2023-09-27 12:35:09 +0200 | privacy | (~privacy@user/privacy) (Quit: Leaving) |
2023-09-27 12:37:12 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-09-27 12:44:17 +0200 | ubert | (~Thunderbi@2001:871:263:926a:cc51:e766:20bc:649c) |
2023-09-27 12:47:48 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-09-27 12:48:03 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
2023-09-27 12:49:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-09-27 12:51:19 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) |
2023-09-27 12:51:31 +0200 | dhil | (~dhil@2001:8e0:2014:3100:b35e:6470:ff2b:e5d8) (Ping timeout: 252 seconds) |
2023-09-27 12:53:03 +0200 | <hseg> | ... am doubting whether this code is worth it, trying to find a better solution |
2023-09-27 12:58:34 +0200 | <ncf> | what's the problem? |
2023-09-27 12:59:20 +0200 | <hseg> | am looking for a script to manage oauth2 tokens, dislike mailctl's implementation |
2023-09-27 13:00:07 +0200 | <hseg> | (it's broken in one way, for which I've filed an unmerged PR, and is code-aesthetically displeasing in multiple ways, making me uncomfortable trusting it) |
2023-09-27 13:00:08 +0200 | rickbonavigo | (~rickbonav@ip27-236-73-80.pool-bba.aruba.it) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-09-27 13:00:25 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) |
2023-09-27 13:00:48 +0200 | danse-nr3_ | (~francesco@151.35.199.58) |
2023-09-27 13:00:50 +0200 | danse-nr3 | (~francesco@151.37.151.250) (Read error: Connection reset by peer) |
2023-09-27 13:02:42 +0200 | hiyori | (~hiyori@user/hiyori) |
2023-09-27 13:03:35 +0200 | dhil | (~dhil@2001:8e0:2014:3100:d77a:88d:bf12:3925) |
2023-09-27 13:04:20 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Client Quit) |
2023-09-27 13:04:32 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) |
2023-09-27 13:07:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2023-09-27 13:09:00 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
2023-09-27 13:11:02 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e0b7:57fc:bb76:e3a2) |
2023-09-27 13:17:56 +0200 | danse-nr3_ | (~francesco@151.35.199.58) (Ping timeout: 260 seconds) |
2023-09-27 13:22:54 +0200 | meinside | (uid24933@helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2023-09-27 13:23:13 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
2023-09-27 13:26:54 +0200 | danse-nr3_ | (~francesco@151.35.199.58) |
2023-09-27 13:27:08 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2023-09-27 13:31:37 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-09-27 13:32:15 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
2023-09-27 13:34:24 +0200 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2023-09-27 13:34:44 +0200 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
2023-09-27 13:37:13 +0200 | danse-nr3_ | (~francesco@151.35.199.58) (Ping timeout: 240 seconds) |
2023-09-27 13:39:55 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
2023-09-27 13:41:23 +0200 | dcoutts | (~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 252 seconds) |
2023-09-27 13:41:33 +0200 | vpan | (~vpan@212.117.1.172) |
2023-09-27 13:41:56 +0200 | vpan | Guest6424 |
2023-09-27 13:46:08 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2023-09-27 13:51:28 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
2023-09-27 13:54:30 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-09-27 14:01:03 +0200 | __monty__ | (~toonn@user/toonn) |
2023-09-27 14:01:41 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2023-09-27 14:03:56 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
2023-09-27 14:07:07 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 14:08:04 +0200 | bienjensu | (~user@user/bienjensu) (Remote host closed the connection) |
2023-09-27 14:11:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e0b7:57fc:bb76:e3a2) (Quit: xff0x) |
2023-09-27 14:11:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e0b7:57fc:bb76:e3a2) |
2023-09-27 14:12:04 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 244 seconds) |
2023-09-27 14:12:45 +0200 | Inst | (~Inst@120.244.192.250) |
2023-09-27 14:13:00 +0200 | <Inst> | hmmm |
2023-09-27 14:13:09 +0200 | <Inst> | Haskell for me is really disappointing when I don't have the skills to do GHC dev |
2023-09-27 14:13:13 +0200 | <Inst> | -XPolymorphicMain |
2023-09-27 14:13:22 +0200 | <Inst> | class IsMain where |
2023-09-27 14:13:47 +0200 | <Inst> | class IsMain a where |
2023-09-27 14:14:05 +0200 | <Inst> | toIO :: a b -> IO b |
2023-09-27 14:16:13 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2023-09-27 14:18:09 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
2023-09-27 14:19:33 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 14:21:49 +0200 | danse-nr3_ | (~francesco@151.35.199.58) |
2023-09-27 14:24:43 +0200 | <Inst> | instance IsMain IO where |
2023-09-27 14:24:52 +0200 | <Inst> | toIO = id |
2023-09-27 14:30:51 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2023-09-27 14:39:09 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 252 seconds) |
2023-09-27 14:43:24 +0200 | stites | (~stites@2607:fb90:ade1:40bc:7260:fcae:b31c:7cc) |
2023-09-27 14:46:10 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 244 seconds) |
2023-09-27 14:48:45 +0200 | __monty__ | (~toonn@user/toonn) |
2023-09-27 14:49:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2023-09-27 14:50:38 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-09-27 15:06:27 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
2023-09-27 15:08:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-09-27 15:13:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2023-09-27 15:19:15 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-09-27 15:19:15 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-09-27 15:19:15 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-09-27 15:19:37 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 15:22:28 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-09-27 15:23:36 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-09-27 15:23:48 +0200 | rickbonavigo | (~rickbonav@2a00:6d43:500:801:978b:c04c:d728:3c46) |
2023-09-27 15:25:16 +0200 | dcoutts | (~duncan@pat-125-253.wlan.net.ed.ac.uk) |
2023-09-27 15:28:44 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de) |
2023-09-27 15:32:51 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) |
2023-09-27 15:34:26 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
2023-09-27 15:38:05 +0200 | <Axman6> | that seems not very useful |
2023-09-27 15:38:58 +0200 | <Axman6> | only monads which are basically just IO can have a useful instance; maybe Writer but that's about it |
2023-09-27 15:40:23 +0200 | stites | (~stites@2607:fb90:ade1:40bc:7260:fcae:b31c:7cc) (Read error: Connection reset by peer) |
2023-09-27 15:40:43 +0200 | stites | (~stites@130.44.147.204) |
2023-09-27 15:41:54 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
2023-09-27 15:43:53 +0200 | ystael | (~ystael@user/ystael) |
2023-09-27 15:45:41 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2023-09-27 15:47:59 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
2023-09-27 15:48:49 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Ping timeout (120 seconds)) |
2023-09-27 15:50:57 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection) |
2023-09-27 15:52:58 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) |
2023-09-27 15:54:43 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2023-09-27 15:55:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:75c5:121e:d99d:dd28) (Ping timeout: 240 seconds) |
2023-09-27 15:58:35 +0200 | hseg | (~gesh@77.137.68.224) (Ping timeout: 240 seconds) |
2023-09-27 16:00:24 +0200 | <dolio> | Haskell is "really disappointing" when there isn't another language extension entirely so that you can write a slightly shorter main function? |
2023-09-27 16:01:33 +0200 | <kuribas> | should use lisp then |
2023-09-27 16:01:44 +0200 | <kuribas> | you can completely redefine the syntax! |
2023-09-27 16:02:31 +0200 | CiaoSen | (~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef) |
2023-09-27 16:02:49 +0200 | <danse-nr3_> | not the syntax, probably |
2023-09-27 16:04:51 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
2023-09-27 16:08:39 +0200 | hiyori | (~hiyori@user/hiyori) |
2023-09-27 16:11:20 +0200 | hiyori | (~hiyori@user/hiyori) (Client Quit) |
2023-09-27 16:11:41 +0200 | <dolio> | You can in Racket. |
2023-09-27 16:11:48 +0200 | <dolio> | I think it's a lot of work, though. |
2023-09-27 16:12:14 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 258 seconds) |
2023-09-27 16:13:06 +0200 | ubert | (~Thunderbi@2001:871:263:926a:cc51:e766:20bc:649c) (Remote host closed the connection) |
2023-09-27 16:13:26 +0200 | ubert | (~Thunderbi@2001:871:263:926a:b9b0:15b4:d989:38ff) |
2023-09-27 16:20:53 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
2023-09-27 16:23:33 +0200 | Inst | (~Inst@120.244.192.250) |
2023-09-27 16:24:29 +0200 | shapr | (~user@2600:1700:c640:3100:1deb:a641:b3ec:34e6) |
2023-09-27 16:25:03 +0200 | <Inst> | It's more that I have a ton of crackpot language extension ideas |
2023-09-27 16:25:06 +0200 | <Inst> | that are useless to me |
2023-09-27 16:25:10 +0200 | <Inst> | because I can't implement them |
2023-09-27 16:25:53 +0200 | <Inst> | and it's more in the vein of Gabriella Gonzalez's https://www.youtube.com/watch?v=fNpsgTIpODA |
2023-09-27 16:26:07 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
2023-09-27 16:26:25 +0200 | <Inst> | that is to say, if you look at the NeoHaskell project, one promising possibility (and I don't think Nick necessarily likes this) is to fulfill Gabriella Gonzalez's suggestion |
2023-09-27 16:26:40 +0200 | <Inst> | i.e, the end user is locked into an eDSL or a family of eDSLs, in other words, a framework |
2023-09-27 16:26:46 +0200 | <Inst> | the eDSL / family is implemented in Haskell |
2023-09-27 16:26:57 +0200 | <Inst> | the end user gets what they want, i.e, extremely low complexity, simple projects, etc |
2023-09-27 16:27:50 +0200 | <Inst> | There is a chance the best possible outcome for NeoHaskell is for it to be a partial project that fails, but one that generates useful lessons for another attempt |
2023-09-27 16:28:24 +0200 | <Inst> | so with polymorphic main, what you can do is that the user just sees main :: MyEDSLMonadTrans () |
2023-09-27 16:28:33 +0200 | <Inst> | they don't have to know about IO, etc |
2023-09-27 16:28:34 +0200 | <Inst> | it's all hidden |
2023-09-27 16:29:46 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
2023-09-27 16:30:26 +0200 | anderson | (~anderson@user/anderson) (Quit: bye) |
2023-09-27 16:30:31 +0200 | <Inst> | I think with NeoHaskell, it's possible to implement Elm values without neuroses, i.e, when language founders tells you to just use Haskell because foo feature isn't in NeoHaskell, that's not Elm committing suicide with tons of users migrating off, it's just telling you to build the relevant Haskell module, then import it |
2023-09-27 16:30:47 +0200 | anderson | (~anderson@user/anderson) |
2023-09-27 16:33:39 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Client Quit) |
2023-09-27 16:33:58 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
2023-09-27 16:34:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:2fe5:7197:b580:702) (Quit: WeeChat 2.8) |
2023-09-27 16:37:43 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
2023-09-27 16:37:46 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
2023-09-27 16:37:59 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2023-09-27 16:38:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2023-09-27 16:41:19 +0200 | Guest6424 | vpan |
2023-09-27 16:44:07 +0200 | hiyori | (~hiyori@user/hiyori) |
2023-09-27 16:45:08 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 16:45:16 +0200 | anderson | (~anderson@user/anderson) (Quit: bye) |
2023-09-27 16:46:44 +0200 | dhil | (~dhil@2001:8e0:2014:3100:d77a:88d:bf12:3925) (Ping timeout: 245 seconds) |
2023-09-27 16:48:50 +0200 | <glguy> | Turning on the extension works take more characters than the code it saves |
2023-09-27 16:49:37 +0200 | <glguy> | You'd need a language pragma to turn it on but it would save 5 characters of typing after main= |
2023-09-27 16:51:10 +0200 | <glguy> | If you wanted an environment that didn't expect the user to use IO, you'd just provide modules with no IO operations and expose start::T a->IO a to be used when defining main |
2023-09-27 16:51:15 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
2023-09-27 16:52:16 +0200 | <glguy> | There savings works out with something like OverloadedStrings where you get to omit as many fromString calls as you have literals |
2023-09-27 16:53:43 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 264 seconds) |
2023-09-27 16:59:28 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
2023-09-27 16:59:46 +0200 | anderson | (~anderson@user/anderson) |
2023-09-27 17:00:18 +0200 | ori_sky | (~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) |
2023-09-27 17:00:19 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 264 seconds) |
2023-09-27 17:00:41 +0200 | danse-nr3__ | (~francesco@151.35.147.243) |
2023-09-27 17:01:08 +0200 | ori_sky | orisky |
2023-09-27 17:01:12 +0200 | orisky | (~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Client Quit) |
2023-09-27 17:01:31 +0200 | ori_sky | (~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) |
2023-09-27 17:01:39 +0200 | ori_sky | (~ori_sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Client Quit) |
2023-09-27 17:01:58 +0200 | ori__sky | (~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) |
2023-09-27 17:03:11 +0200 | danse-nr3_ | (~francesco@151.35.199.58) (Ping timeout: 246 seconds) |
2023-09-27 17:08:12 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
2023-09-27 17:09:04 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
2023-09-27 17:10:45 +0200 | <Inst> | glguy: In reality, I'm thinking more about the possibility of having multiple languages within the GHC ecosystem, i.e, it could be implicitly on with other languages |
2023-09-27 17:10:58 +0200 | pyooque | (~puke@user/puke) |
2023-09-27 17:10:58 +0200 | puke | Guest4444 |
2023-09-27 17:10:58 +0200 | Guest4444 | (~puke@user/puke) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
2023-09-27 17:10:58 +0200 | pyooque | puke |
2023-09-27 17:12:05 +0200 | <ori__sky> | hello, I'm having an issue with lenses in my code and wondered if someone could assist -- https://paste.tomsmeding.com/CEf30rDa has the error I'm seeing, as well as the code in question (I've tried to include just the relevant code but let me know if anything further is needed). the issue here is, `duration` should result in a DiffTime, but for |
2023-09-27 17:12:05 +0200 | <ori__sky> | some reason it appears to be expecting a UTCTime, despite the type of _userCooldownDuration being DiffTime, so I'm kind of at a loss here |
2023-09-27 17:12:23 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
2023-09-27 17:12:32 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2023-09-27 17:12:40 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 17:12:52 +0200 | puke | (~puke@user/puke) |
2023-09-27 17:14:00 +0200 | <glguy> | ori__sky: it looks like the following code is trying to use the result of that line as a UTCTime |
2023-09-27 17:14:33 +0200 | <ori__sky> | I'm using userCDTime in that following line, but userCDLength is what's using the duration lens, and I'm not using the result of that anywhere |
2023-09-27 17:15:36 +0200 | <ncf> | i smell monomorphism |
2023-09-27 17:15:52 +0200 | <ncf> | what's preuse? |
2023-09-27 17:16:43 +0200 | danse-nr3__ | (~francesco@151.35.147.243) (Ping timeout: 240 seconds) |
2023-09-27 17:17:09 +0200 | <ori__sky> | `ix usr` is indexing into the HashMap but the key might not exist, in which case `preuse` results in `Nothing`, from my understanding at least |
2023-09-27 17:18:13 +0200 | <ori__sky> | maybe I should read up on it more, I might be misunderstanding that |
2023-09-27 17:18:15 +0200 | <ncf> | oh it's from lens |
2023-09-27 17:18:20 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2023-09-27 17:18:46 +0200 | <ori__sky> | oh yeah it is, it's not my function |
2023-09-27 17:19:46 +0200 | <ncf> | the error message hints at a functional dependency problem |
2023-09-27 17:19:56 +0200 | <ncf> | is HasDuration yours? |
2023-09-27 17:20:52 +0200 | <ncf> | i guess that's a class generated by makeClassy or whatever |
2023-09-27 17:21:08 +0200 | <ncf> | makeFields |
2023-09-27 17:21:21 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer) |
2023-09-27 17:23:55 +0200 | <ncf> | what happens if you swap the userCDTime and userCDLength lines? |
2023-09-27 17:24:05 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection) |
2023-09-27 17:24:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) |
2023-09-27 17:24:43 +0200 | ori__sky | (~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Ping timeout: 245 seconds) |
2023-09-27 17:24:55 +0200 | ori__sky | (~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) |
2023-09-27 17:25:08 +0200 | <ori__sky> | apologies, got disconnected |
2023-09-27 17:25:58 +0200 | <ncf> | so, things to try: |
2023-09-27 17:26:03 +0200 | <ncf> | what happens if you don't use ($) ? |
2023-09-27 17:26:14 +0200 | <ncf> | what happens if you swap the userCDTime and userCDLength lines? |
2023-09-27 17:29:24 +0200 | Inst | (~Inst@120.244.192.250) (Remote host closed the connection) |
2023-09-27 17:29:45 +0200 | Inst | (~Inst@120.244.192.250) |
2023-09-27 17:31:17 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-09-27 17:34:00 +0200 | <ori__sky> | doing the latter results in the same error, doing the former however gives me a whole host of different errors, I can post them but it seems like isn't right because `use` is meant to take the lens from what I understand (with `preuse` being `use . pre`) |
2023-09-27 17:34:25 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
2023-09-27 17:35:27 +0200 | <ncf> | to be clear i meant to inline ($): preuse (actCD . global), preuse (actCD . users . ix usr . time), ... |
2023-09-27 17:35:38 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
2023-09-27 17:38:11 +0200 | <ori__sky> | ahh I misunderstood, have just tried now but still seeing the same error |
2023-09-27 17:39:34 +0200 | <ncf> | then i'm out of ideas :) if you can make your code self-contained i can investigate further |
2023-09-27 17:40:45 +0200 | <ori__sky> | hm, yeah, I'll see what I can do, might take me a bit of time |
2023-09-27 17:40:50 +0200 | <EvanR> | minimal reproducible example ftw |
2023-09-27 17:41:23 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
2023-09-27 17:42:40 +0200 | <ncf> | (the lazy way out is to post your entire project) |
2023-09-27 17:43:14 +0200 | sympt | (~sympt@user/sympt) (Quit: Ping timeout (120 seconds)) |
2023-09-27 17:43:22 +0200 | <ori__sky> | I would do that but right now I can't (don't want to) make the entire thing public just because it has specific names of twitch channels hardcoded as well as an oauth token lmao |
2023-09-27 17:44:10 +0200 | sympt | (~sympt@user/sympt) |
2023-09-27 17:45:01 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
2023-09-27 17:48:24 +0200 | danse-nr3__ | (~francesco@151.35.147.243) |
2023-09-27 17:49:28 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
2023-09-27 17:49:53 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
2023-09-27 17:50:34 +0200 | <ori__sky> | oh, hold on. I have figured it out |
2023-09-27 17:51:20 +0200 | <ori__sky> | that line `let actCD = channelEnvs . ix chan . actionCooldowns . ix aName` seems to be causing the problem; if I write out the entire combination of lenses when getting the duration, it *does* work |
2023-09-27 17:52:38 +0200 | <ori__sky> | maybe an issue arising from the fact that I'm using it in two contexts where maybe it's inferring a different type for actCD |
2023-09-27 17:54:18 +0200 | <dostoyevsky2> | Someone was asking in ##programming about adding an `is' keyword to a NeoHaskell, whether that would be a good idea... I was wondering how open Haskell is in general to introducing new keywords, or even redefining existing operators |
2023-09-27 17:55:21 +0200 | <exarkun> | Why? |
2023-09-27 17:55:47 +0200 | <dolio> | `is` at least used to be a commonly used variable name. |
2023-09-27 17:56:00 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
2023-09-27 17:56:13 +0200 | <dostoyevsky2> | > > the keyword I'm looking for is "is", as a synonym for = to stop people from being confused by = means const and to get people into a declarative mindset |
2023-09-27 17:56:15 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘>’ |
2023-09-27 17:56:26 +0200 | <exarkun> | I think GHC adds new keywords all the time. All you have to do is get a language extension accepted. |
2023-09-27 17:57:02 +0200 | hiyori | (~hiyori@user/hiyori) |
2023-09-27 17:57:04 +0200 | <EvanR> | wtf is NeoHaskell |
2023-09-27 17:57:15 +0200 | <exarkun> | some pseudo-vaporware everyone is talking about this week |
2023-09-27 17:57:26 +0200 | <exarkun> | to make Haskell appeal to the masses |
2023-09-27 17:57:33 +0200 | <Inst> | quasi-vaporware i think |
2023-09-27 17:57:36 +0200 | <dolio> | Oh, so make it worse in a bunch of ways? |
2023-09-27 17:57:53 +0200 | <Inst> | the way I'm thinking of it is basically "If Simple Haskell were a Language" |
2023-09-27 17:58:03 +0200 | <EvanR> | wake me up when it's Haskell vaporwave |
2023-09-27 17:58:05 +0200 | <Inst> | and could import into "Real Haskell" |
2023-09-27 17:58:13 +0200 | <dostoyevsky2> | Inst: so you made it here ;-) |
2023-09-27 17:58:14 +0200 | <exarkun> | "Replace = in some places with `is`" seems consistent with the other ideas I've read |
2023-09-27 17:58:29 +0200 | <monochrom> | No, GHC avoids adding new keywords, even with extensions. Example: Part of the reason ExistentialTypes reuses "forall" instead of introducing "exists" is because of that. |
2023-09-27 17:58:36 +0200 | <Inst> | I think we need some more traditional Haskellers watching NeoHaskell, if only to: |
2023-09-27 17:58:42 +0200 | <Inst> | #1, steal ideas when if it fails |
2023-09-27 17:58:48 +0200 | <Inst> | #2, stop the project from going completely off the rails |
2023-09-27 17:59:00 +0200 | <exarkun> | Inst: why not just ignore it and let it go off the rails if it wants to |
2023-09-27 17:59:06 +0200 | <Inst> | because I like it |
2023-09-27 17:59:11 +0200 | <EvanR> | I'm not sure what the problem with = is for there to be a replacement |
2023-09-27 17:59:20 +0200 | <Inst> | I'm more trying to get the author to go release his purported "fast android Haskell app" lib |
2023-09-27 17:59:23 +0200 | <exarkun> | Inst: why should anyone _else_ burn a bunch of energy saving it just because you like it |
2023-09-27 17:59:31 +0200 | <Inst> | and retrofitting Haskell's CPython so it works |
2023-09-27 17:59:44 +0200 | <Inst> | if you're interested in the project, burn energy, it's fun, if not, don't |
2023-09-27 17:59:57 +0200 | <EvanR> | generate entropy |
2023-09-27 18:00:05 +0200 | <exarkun> | you've showed up in every haskell channel I'm in trying to engage people with neohaskell |
2023-09-27 18:00:15 +0200 | <exarkun> | I successfully ignore you for a while but I failed my will save this time |
2023-09-27 18:01:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection) |
2023-09-27 18:01:21 +0200 | <monochrom> | I'm just annoyed at the lack of novelty in the name "NeoHaskell". Recall Javascript, C#, Ultra HD. |
2023-09-27 18:02:05 +0200 | <Inst> | I'd rather have called it Neo, but there's apparently some niche lang that already has that name, actually, two |
2023-09-27 18:02:14 +0200 | <Inst> | sorry exarkun |
2023-09-27 18:02:30 +0200 | <EvanR> | DarkHaskell |
2023-09-27 18:02:30 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (Ping timeout: 244 seconds) |
2023-09-27 18:02:39 +0200 | <monochrom> | Well "Neo" is even worse in lack of novelty. |
2023-09-27 18:02:42 +0200 | <Clint> | so it's just haskell plus a library plus a build tool? |
2023-09-27 18:02:50 +0200 | <EvanR> | haskell with a dark theme |
2023-09-27 18:02:51 +0200 | <yushyin> | how about NotHaskell |
2023-09-27 18:03:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-09-27 18:03:35 +0200 | <yushyin> | then it can also do whatever it wants syntax-wise |
2023-09-27 18:03:36 +0200 | <monochrom> | Learn from the Agda people and the Idris people. Choose a completely independent name. |
2023-09-27 18:03:50 +0200 | <ddellacosta> | EvanR: my Haskell automatically shifts when dusks hits, it gets warmer, more yellow/reddish |
2023-09-27 18:03:51 +0200 | <EvanR> | Frege was a waste of a name |
2023-09-27 18:03:56 +0200 | <Inst> | I think the association with Haskell, at least at this stage, has drawn eyeballs |
2023-09-27 18:04:04 +0200 | <monochrom> | Don't learn from the Javascript, then Typescript, then Purescript people. |
2023-09-27 18:04:23 +0200 | <EvanR> | scriptscript |
2023-09-27 18:06:09 +0200 | <EvanR> | dostoyevsky2, haskell already lets you define what operators do via type classes |
2023-09-27 18:06:16 +0200 | <Inst> | Clint: It's more an attempt to make Haskell approachable and ready for lower-skilled production programmers, I think |
2023-09-27 18:06:29 +0200 | <Inst> | Haskell also lets you rampantly declare your own operators |
2023-09-27 18:06:41 +0200 | <EvanR> | yeah maybe NeoHaskell will remove that ability |
2023-09-27 18:06:49 +0200 | <EvanR> | new languages tend to hate that |
2023-09-27 18:06:50 +0200 | <ddellacosta> | I mean, I think it's fundamentally naive to think it would go any way other than Elm |
2023-09-27 18:06:52 +0200 | <Inst> | The way I'm hoping is that you'd need to import operators from Haskell |
2023-09-27 18:07:01 +0200 | <glguy> | You'll never be able to stop people from writing unreadable or unmaintainable code |
2023-09-27 18:07:11 +0200 | <monochrom> | Clint: At this point since it's hypothetical it's Haskell minus libary minus build tool minus implementation minus semantics minus even Haskell. :) |
2023-09-27 18:07:14 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
2023-09-27 18:07:24 +0200 | <Inst> | ^^^ @monochrom |
2023-09-27 18:07:29 +0200 | <EvanR> | monochrom, all of that is easily offset by fanbase hype |
2023-09-27 18:07:37 +0200 | <EvanR> | elixir |
2023-09-27 18:07:38 +0200 | <Inst> | it's only existed for like 3 days! |
2023-09-27 18:07:43 +0200 | <ddellacosta> | it doesn't exist |
2023-09-27 18:07:48 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
2023-09-27 18:07:48 +0200 | <exarkun> | ^^ |
2023-09-27 18:07:51 +0200 | <Inst> | it's only not existed for like 3 days! |
2023-09-27 18:07:57 +0200 | <ddellacosta> | hahaha touche |
2023-09-27 18:08:06 +0200 | <monochrom> | At any rate, /ignore is a great tool. |
2023-09-27 18:08:13 +0200 | <Inst> | :( |
2023-09-27 18:08:19 +0200 | <monochrom> | Except I can't because I have op duties. |
2023-09-27 18:08:25 +0200 | <monochrom> | But most of you can! |
2023-09-27 18:08:27 +0200 | <Inst> | I'm sorry, monochrom |
2023-09-27 18:08:56 +0200 | <EvanR> | I kind of like the idea of an influencer creating a new terrible programming language with more success than someone in their basement slaving away for 5 months and no one ever sees the results, and it dies |
2023-09-27 18:09:10 +0200 | <EvanR> | as long as it dies either way we're good |
2023-09-27 18:10:12 +0200 | <EvanR> | maybe new programming languages should have a built-in self destruct just in case |
2023-09-27 18:10:15 +0200 | puke | (~puke@user/puke) (Ping timeout: 240 seconds) |
2023-09-27 18:10:29 +0200 | <monochrom> | And yeah Elm and Typescript already exist for popularism and/or lower-skill. |
2023-09-27 18:10:57 +0200 | <Inst> | Elm afaik has terrible governance problems and tons of people ran off when the leadership blocked access to features their libs were depending on |
2023-09-27 18:11:21 +0200 | <monochrom> | Oh well the not-invented-here problem. Everyone thinks they should invent one more language. |
2023-09-27 18:11:23 +0200 | <Inst> | The more important thing I'm trying to push for |
2023-09-27 18:11:27 +0200 | <monochrom> | @quote monochrom downloaded |
2023-09-27 18:11:27 +0200 | <lambdabot> | monochrom says: I was trying to design a sensible language... then I downloaded ghc. |
2023-09-27 18:11:32 +0200 | <Inst> | is two-way lib compat because this seems as though, at the very least |
2023-09-27 18:11:36 +0200 | <Inst> | it'll be on GHC |
2023-09-27 18:12:01 +0200 | <EvanR> | will it be a syntax reskin like coffeescript |
2023-09-27 18:12:07 +0200 | <EvanR> | that'll be stupid |
2023-09-27 18:12:10 +0200 | <Inst> | but w/e, forget it, let me watch the damn thing on my own, it's not really worth talking about until it's no longer vaporware |
2023-09-27 18:13:19 +0200 | <haskellbridge> | <eldritchcookie> compdata has the HFunctor typeclass i wanted to make a HApplicative type class but i have no idea which type the opration should have to support lifting 2 3 4 5 etc natural tranformations of type forall i. f1 i -> f2 i -> f3 i |
2023-09-27 18:13:25 +0200 | <monochrom> | We can discuss reserving more/fewer words fine. But it's already answered. |
2023-09-27 18:13:59 +0200 | <monochrom> | SML reserved "as". Haskell changed it to "@". You can see the trend, Haskell actually tries to reserve fewer. |
2023-09-27 18:14:14 +0200 | <monochrom> | And GHC extensions, I have also gave an example. |
2023-09-27 18:14:19 +0200 | <mauke> | import qualified ... as |
2023-09-27 18:14:38 +0200 | <mauke> | maybe that should be import qualified Data.Text @ T |
2023-09-27 18:14:40 +0200 | <glguy> | import ... qualified as ... |
2023-09-27 18:14:47 +0200 | <monochrom> | See the Haskell Report again. That "as" actually isn't reserved. |
2023-09-27 18:14:52 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
2023-09-27 18:15:23 +0200 | <mauke> | in that sense, Perl doesn't have any "reserved words" |
2023-09-27 18:15:24 +0200 | <haskellbridge> | <eldritchcookie> do people on IRC cannot see matrix messages or was i just ignored? |
2023-09-27 18:15:26 +0200 | <monochrom> | They pulled it off because "import ..." disambiguates without needed to reserve "as". |
2023-09-27 18:15:29 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2023-09-27 18:15:45 +0200 | <monochrom> | > let as is = is + 1 in as 4 |
2023-09-27 18:15:47 +0200 | <lambdabot> | 5 |
2023-09-27 18:15:58 +0200 | <mauke> | eldritchcookie: yes |
2023-09-27 18:15:59 +0200 | <monochrom> | In that sense, "as" is still not a reserved word. |
2023-09-27 18:16:02 +0200 | <glguy> | eldrichcookie: I see your message, but it looked like a statement. What response did you expect? |
2023-09-27 18:16:04 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-09-27 18:16:26 +0200 | <monochrom> | > let as if = if + 1 in as 4" |
2023-09-27 18:16:27 +0200 | <lambdabot> | <hint>:1:11: error: parse error on input ‘=’ |
2023-09-27 18:16:28 +0200 | <Inst> | in theory, even import could not be a reserved word |
2023-09-27 18:16:37 +0200 | <haskellbridge> | <eldritchcookie> oh sorry, which type should the operation have? |
2023-09-27 18:16:42 +0200 | <Inst> | with the caveat that you'd have to make some other declaration before trying to define import |
2023-09-27 18:16:42 +0200 | <monochrom> | And In that sense, Haskell still has some reserved words. |
2023-09-27 18:17:15 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2023-09-27 18:17:53 +0200 | ori__sky | (~ori__sky@2001:8b0:aaa4:8eab:d58b:ee00:145f:2e17) (Quit: Client closed) |
2023-09-27 18:18:13 +0200 | <haskellbridge> | <jade> is there an ergonomic way for a language to disambiguate so thoroughly as to completely avoid reserved keywords |
2023-09-27 18:19:02 +0200 | <haskellbridge> | <eldritchcookie> no but you could do like F# and have a way to declare names which are keyword |
2023-09-27 18:19:08 +0200 | <glguy> | eldritcookie, I guess you'd want to compare: liftA and liftA2c |
2023-09-27 18:19:18 +0200 | <mauke> | be like perl4 and require sigils on all user-defined entities |
2023-09-27 18:19:29 +0200 | <monochrom> | SML reserves "as" because it's our "@". f (xs as x::xt) = ... |
2023-09-27 18:19:58 +0200 | <mauke> | was it C# that lets you use any word as an identifier if you use a @ prefix? |
2023-09-27 18:19:59 +0200 | <glguy> | eldritchcookie, so you'd have: hlifta2 :: (f :-> g :-> h) -> n f :-> n g :-> n h |
2023-09-27 18:20:24 +0200 | <mauke> | int @if = 42; |
2023-09-27 18:20:36 +0200 | <EvanR> | jade: to let anything potentially mean anything is counterproductive to useful language |
2023-09-27 18:20:42 +0200 | nyc | (~nyc@user/nyc) (Ping timeout: 260 seconds) |
2023-09-27 18:20:43 +0200 | <EvanR> | reserved words are power |
2023-09-27 18:21:36 +0200 | <Inst> | but tbh, I want to talk about NH a bit more, to defend myself, my three goals with NH are: "get the guy to release CPython updates, and his fast Android lib in Haskell framework" |
2023-09-27 18:21:39 +0200 | <glguy> | jade, you could use some other lexical syntax for what would have been reserved words. Maybe they have to be wrapped in <> to have what would have been reserved meaning |
2023-09-27 18:21:49 +0200 | <Inst> | "make sure that NH is locked, and if you want more powerful programming, you need to learn Haskell and FFI / import from Haskell" |
2023-09-27 18:22:03 +0200 | <Inst> | "make sure that NH libs are callable from Haskell" |
2023-09-27 18:22:12 +0200 | <Inst> | so that's understandable from a Haskeller point of view? |
2023-09-27 18:22:13 +0200 | <monochrom> | Is "the guy" here at all? |
2023-09-27 18:22:29 +0200 | <EvanR> | this channel probably doesn't have enough of an audience |
2023-09-27 18:22:37 +0200 | <mauke> | is he in the room with us right now |
2023-09-27 18:22:56 +0200 | <EvanR> | Inst is channeling |
2023-09-27 18:23:15 +0200 | <glguy> | mauke, let's join hands |
2023-09-27 18:23:29 +0200 | <monochrom> | eww :) |
2023-09-27 18:23:43 +0200 | <glguy> | monochrom: virtually, of course |
2023-09-27 18:23:56 +0200 | <EvanR> | elbows |
2023-09-27 18:24:42 +0200 | <EvanR> | Inst, your goals? |
2023-09-27 18:24:47 +0200 | <mauke> | Hand (Hand a) -> Hand a |
2023-09-27 18:25:01 +0200 | <mauke> | hth, hand |
2023-09-27 18:25:10 +0200 | <monochrom> | haha |
2023-09-27 18:25:13 +0200 | <glguy> | Yes, hands are a monad |
2023-09-27 18:25:25 +0200 | <glguy> | my hands are pure *nod* |
2023-09-27 18:26:57 +0200 | <haskellbridge> | <jade> you can indeed bind hands |
2023-09-27 18:27:12 +0200 | <EvanR> | are Feet comonads? |
2023-09-27 18:27:29 +0200 | <monochrom> | Only if you can Feet a -> Feet (Feet a) |
2023-09-27 18:27:37 +0200 | <EvanR> | I've seen cartoons like that |
2023-09-27 18:28:01 +0200 | <monochrom> | AFAIK the only closest thing is the Alien exomorph doing Mouth a -> Mouth (Mouth a) |
2023-09-27 18:28:17 +0200 | <mauke> | I like your feet around your feet |
2023-09-27 18:28:26 +0200 | <mauke> | https://www.youtube.com/watch?v=C3GpJzMZiXY |
2023-09-27 18:29:23 +0200 | <monochrom> | No, that one is like Feet -| Pants or Pants -| Feet :) |
2023-09-27 18:29:56 +0200 | <monochrom> | And then Feet (Pants (Feet)) is the monad or comonad. |
2023-09-27 18:30:48 +0200 | <haskellbridge> | <tewuzij> What r u even coding abt feet and hand? |
2023-09-27 18:31:00 +0200 | <Clint> | don't encourage them |
2023-09-27 18:31:07 +0200 | <monochrom> | Err sorry, Feet (Pants) or Pants (Feet). Feet (Pants (Feet)) is some other nice thing. |
2023-09-27 18:31:08 +0200 | <EvanR> | kung fu algebra |
2023-09-27 18:32:15 +0200 | <danse-nr3__> | never saw kung fu with pants before |
2023-09-27 18:33:20 +0200 | <haskellbridge> | <eldritchcookie> glguy: hliftA2 id doesn't typecheck? |
2023-09-27 18:33:43 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
2023-09-27 18:34:09 +0200 | <glguy> | eldritchbookie, probably not in this higher-order context, no |
2023-09-27 18:34:39 +0200 | <glguy> | eldritchcookie, you're kind of making up new stuff, so you'll have to figure out what translates and what doesn't |
2023-09-27 18:35:56 +0200 | CiaoSen | (~Jura@2a05:5800:29b:6b00:664b:f0ff:fe37:9ef) (Ping timeout: 255 seconds) |
2023-09-27 18:36:50 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2023-09-27 18:38:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) |
2023-09-27 18:41:31 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
2023-09-27 18:45:37 +0200 | euleritian | (~euleritia@77.22.252.18) |
2023-09-27 18:47:36 +0200 | euleritian | (~euleritia@77.22.252.18) (Read error: Connection reset by peer) |
2023-09-27 18:47:58 +0200 | dcoutts | (~duncan@pat-125-253.wlan.net.ed.ac.uk) (Ping timeout: 244 seconds) |
2023-09-27 18:48:49 +0200 | euleritian | (~euleritia@77.22.252.18) |
2023-09-27 18:53:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-09-27 18:56:09 +0200 | [exa] | (~exa@user/exa/x-3587197) |
2023-09-27 18:59:55 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2023-09-27 19:01:23 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
2023-09-27 19:06:05 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
2023-09-27 19:06:36 +0200 | <haskellbridge> | <eldritchcookie> ok i am just so close https://play.haskell.org/saved/mnh0vxX3 |
2023-09-27 19:07:10 +0200 | euleritian | (~euleritia@77.22.252.18) (Ping timeout: 252 seconds) |
2023-09-27 19:07:30 +0200 | <haskellbridge> | <eldritchcookie> why does it think my i in the coerce signature isn't the i in the method signature? |
2023-09-27 19:09:15 +0200 | son0p | (~ff@181.136.122.143) |
2023-09-27 19:09:29 +0200 | <haskellbridge> | <eldritchcookie> my understanding of rank 2 types is that the caller must provide a polymorphic function as the callee chooses the type |
2023-09-27 19:10:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-09-27 19:12:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-09-27 19:12:24 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 258 seconds) |
2023-09-27 19:12:59 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
2023-09-27 19:13:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection) |
2023-09-27 19:13:44 +0200 | chomwitt | (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
2023-09-27 19:13:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) |
2023-09-27 19:15:16 +0200 | <haskellbridge> | <eldritchcookie> yay coerce doesn't work but applying the constructor works |
2023-09-27 19:15:17 +0200 | dcoutts | (~duncan@88.211.110.163) |
2023-09-27 19:15:28 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
2023-09-27 19:16:33 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2023-09-27 19:16:57 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2023-09-27 19:19:46 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-09-27 19:24:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection) |
2023-09-27 19:29:07 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
2023-09-27 19:36:18 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-09-27 19:38:24 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
2023-09-27 19:39:00 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-09-27 19:39:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-09-27 19:39:01 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-09-27 19:42:52 +0200 | euleritian | (~euleritia@77.22.252.18) |
2023-09-27 19:44:06 +0200 | ubert | (~Thunderbi@2001:871:263:926a:b9b0:15b4:d989:38ff) (Ping timeout: 260 seconds) |
2023-09-27 19:46:39 +0200 | Inst_ | (~Inst@120.244.192.250) |
2023-09-27 19:46:41 +0200 | Inst_ | Inst |
2023-09-27 19:46:52 +0200 | euleritian | (~euleritia@77.22.252.18) (Ping timeout: 244 seconds) |
2023-09-27 19:47:42 +0200 | euleritian | (~euleritia@77.22.252.18) |
2023-09-27 19:48:53 +0200 | <Inst> | About Cabal, is there a command that only causes Cabal to do a build plan? |
2023-09-27 19:50:39 +0200 | dcoutts | (~duncan@88.211.110.163) (Ping timeout: 240 seconds) |
2023-09-27 19:51:25 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
2023-09-27 19:51:29 +0200 | <haskellbridge> | <sm> build --dry-run |
2023-09-27 19:51:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) |
2023-09-27 19:52:02 +0200 | euleritian | (~euleritia@77.22.252.18) (Ping timeout: 244 seconds) |
2023-09-27 19:52:36 +0200 | <Inst> | thanks @sm |
2023-09-27 19:52:55 +0200 | <haskellbridge> | <sm> np |
2023-09-27 19:55:05 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-09-27 19:56:45 +0200 | euleritian | (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) |
2023-09-27 20:00:42 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
2023-09-27 20:03:43 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2023-09-27 20:05:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Read error: Connection reset by peer) |
2023-09-27 20:09:05 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-09-27 20:10:14 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2023-09-27 20:11:53 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) |
2023-09-27 20:12:09 +0200 | danse-nr3__ | (~francesco@151.35.147.243) (Ping timeout: 255 seconds) |
2023-09-27 20:18:43 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds) |
2023-09-27 20:21:23 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
2023-09-27 20:25:42 +0200 | ubert | (~Thunderbi@91.141.39.180.wireless.dyn.drei.com) |
2023-09-27 20:26:24 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
2023-09-27 20:26:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-09-27 20:35:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) (Remote host closed the connection) |
2023-09-27 20:36:11 +0200 | hugo- | hugo |
2023-09-27 20:39:20 +0200 | lg188 | (~lg188@82.18.98.230) |
2023-09-27 20:47:34 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
2023-09-27 20:51:05 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Remote host closed the connection) |
2023-09-27 20:55:16 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
2023-09-27 20:55:34 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-09-27 20:59:35 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
2023-09-27 21:07:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9fb:f60:dd10:5d80) |
2023-09-27 21:07:32 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
2023-09-27 21:13:32 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds) |
2023-09-27 21:15:39 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2023-09-27 21:15:46 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) (Remote host closed the connection) |
2023-09-27 21:16:35 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-09-27 21:18:56 +0200 | <shapr> | What version of GHC has the wasm backend? |
2023-09-27 21:19:03 +0200 | <shapr> | Would ghc 9.6.2 be sufficient? |
2023-09-27 21:21:12 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 258 seconds) |
2023-09-27 21:21:42 +0200 | renpose | (~renpose@user/renpose) |
2023-09-27 21:24:07 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
2023-09-27 21:25:52 +0200 | <renpose> | new to Servant and read about the named routes approach, is there a way to inject the field names into the route? I had a stab at https://paste.tomsmeding.com/1KDNqcU1 but am struggling to mending that |
2023-09-27 21:26:39 +0200 | <renpose> | do i just add more type families lol |
2023-09-27 21:27:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-09-27 21:28:00 +0200 | <renpose> | I feel like i need to do something like AsServerT .. but not so sure |
2023-09-27 21:28:34 +0200 | shapr | (~user@2600:1700:c640:3100:1deb:a641:b3ec:34e6) (Remote host closed the connection) |
2023-09-27 21:28:44 +0200 | <monochrom> | shapr: I think yes. But 9.6.3 is recently out too. |
2023-09-27 21:28:50 +0200 | <renpose> | ah, that small example should give me routes /public/count and /private/secret |
2023-09-27 21:31:11 +0200 | <renpose> | i guess i can also do `data Root mode = Root { private :: mode :- "private" :> NamedRoutes Private, public :: mode :- "public" :> NamedRoutes Public }` but my question is how to get rid of that duplication |
2023-09-27 21:33:37 +0200 | phma | (~phma@host-67-44-208-139.hnremote.net) (Read error: Connection reset by peer) |
2023-09-27 21:33:55 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 264 seconds) |
2023-09-27 21:34:11 +0200 | <renpose> | oh no i mean AsApi not AsServerT |
2023-09-27 21:34:29 +0200 | phma | (~phma@2001:5b0:2172:8a38:8e65:9c01:9923:6726) |
2023-09-27 21:36:24 +0200 | swamp_ | (~zmt00@user/zmt00) (Quit: Leaving) |
2023-09-27 21:36:49 +0200 | pavonia | (~user@user/siracusa) |
2023-09-27 21:38:42 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-09-27 21:39:31 +0200 | todi | (~todi@p4fd1a856.dip0.t-ipconnect.de) |
2023-09-27 21:40:42 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
2023-09-27 21:45:13 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
2023-09-27 21:46:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-09-27 21:49:26 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
2023-09-27 21:49:34 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 258 seconds) |
2023-09-27 21:51:39 +0200 | stites | (~stites@2607:fb91:de2:d846:f12a:627c:15b7:9d9c) |
2023-09-27 22:01:35 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-09-27 22:04:04 +0200 | Pickchea | (~private@user/pickchea) |
2023-09-27 22:04:29 +0200 | stites | (~stites@2607:fb91:de2:d846:f12a:627c:15b7:9d9c) (Read error: Connection reset by peer) |
2023-09-27 22:04:47 +0200 | stites | (~stites@c-71-232-14-73.hsd1.ma.comcast.net) |
2023-09-27 22:06:12 +0200 | dhil | (~dhil@2001:8e0:2014:3100:f6cc:7091:d257:79e0) |
2023-09-27 22:06:34 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-09-27 22:10:11 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2023-09-27 22:10:38 +0200 | shapr | (~user@2600:1700:c640:3100:1e6f:a11f:46ec:704a) |
2023-09-27 22:11:43 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2023-09-27 22:12:52 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
2023-09-27 22:13:52 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-09-27 22:19:52 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
2023-09-27 22:20:40 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-09-27 22:30:29 +0200 | <dmj`> | renpose: type SomeRoute (route :: Symbol) (routeType :: Type) = mode :- route :> NamedRoutes routeType ? |
2023-09-27 22:33:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
2023-09-27 22:34:02 +0200 | dhil | (~dhil@2001:8e0:2014:3100:f6cc:7091:d257:79e0) (Ping timeout: 258 seconds) |
2023-09-27 22:34:53 +0200 | taktoa[c] | (sid282096@tinside.irccloud.com) (Ping timeout: 252 seconds) |
2023-09-27 22:34:55 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-09-27 22:36:33 +0200 | pepeiborra | (sid443799@ilkley.irccloud.com) (Ping timeout: 252 seconds) |
2023-09-27 22:37:23 +0200 | haasn | (sid579015@hampstead.irccloud.com) (Read error: Connection reset by peer) |
2023-09-27 22:37:32 +0200 | haasn | (sid579015@id-579015.hampstead.irccloud.com) |
2023-09-27 22:38:12 +0200 | evertedsphere | (sid434122@hampstead.irccloud.com) (Ping timeout: 252 seconds) |
2023-09-27 22:38:28 +0200 | <renpose> | Not sure I understand. and then `data Private mode = Private { secret :: SomeRoute "secret" (Get ...) }` (and fix mode) ? |
2023-09-27 22:38:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-09-27 22:39:02 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
2023-09-27 22:39:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-09-27 22:39:17 +0200 | buhman | (sid411355@user/buhman) (Ping timeout: 252 seconds) |
2023-09-27 22:39:23 +0200 | <renpose> | if so then it's not really much different from `data Private mode = Private { secret :: "secret" :> Get ... }` except being able to tell where the route prefix came from hmm |
2023-09-27 22:39:42 +0200 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) |
2023-09-27 22:40:49 +0200 | buhman | (sid411355@user/buhman) |
2023-09-27 22:41:23 +0200 | evertedsphere | (sid434122@id-434122.hampstead.irccloud.com) |
2023-09-27 22:42:18 +0200 | <dmj`> | type PrivateRoute = SomeRoute "private" Private; data Root mode = Root { private :: PrivateRoute, ... } |
2023-09-27 22:47:49 +0200 | renpose | (~renpose@user/renpose) (Quit: Client closed) |
2023-09-27 22:49:33 +0200 | renpose | (~renpose@user/renpose) |
2023-09-27 22:50:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
2023-09-27 22:50:55 +0200 | <renpose> | All the same, my goal was to eliminate duplicating it. |
2023-09-27 22:51:33 +0200 | <renpose> | https://paste.tomsmeding.com/7LIQ5HUo is going nowhere haha but it highlights the problematic of matching `serveRoot` with `rootServer` |
2023-09-27 22:52:30 +0200 | michalz | (~michalz@185.246.204.105) (Remote host closed the connection) |
2023-09-27 22:52:37 +0200 | <renpose> | I believe i need to change the generics typeclass, the leaves don't get prefixed and it (the current injecting) should be at some other level maybe. |
2023-09-27 22:52:57 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2023-09-27 22:54:17 +0200 | <renpose> | fwiw it's what i'm using currently is similar to your suggestion, i try to change it |
2023-09-27 22:55:00 +0200 | pieguy128_ | (~pieguy128@65.92.163.232) |
2023-09-27 22:55:04 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-46-67-70-100-188.dsl.bell.ca) (Ping timeout: 255 seconds) |
2023-09-27 23:04:46 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 260 seconds) |
2023-09-27 23:05:28 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
2023-09-27 23:09:18 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2023-09-27 23:11:35 +0200 | danza | (~francesco@151.35.186.191) |
2023-09-27 23:12:13 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-09-27 23:13:03 +0200 | micro | (~micro@user/micro) (Ping timeout: 240 seconds) |
2023-09-27 23:14:07 +0200 | Jackneill | (~Jackneill@20014C4E1E0E9600C465D2876F556952.dsl.pool.telekom.hu) (Ping timeout: 260 seconds) |
2023-09-27 23:15:45 +0200 | micro | (~micro@user/micro) |
2023-09-27 23:17:47 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-09-27 23:20:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-09-27 23:24:43 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
2023-09-27 23:26:43 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2023-09-27 23:28:58 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f4311b541924395f0e5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2023-09-27 23:34:47 +0200 | renpose | (~renpose@user/renpose) (Quit: Client closed) |
2023-09-27 23:38:00 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-09-27 23:39:21 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
2023-09-27 23:39:39 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
2023-09-27 23:39:55 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
2023-09-27 23:44:09 +0200 | son0p | (~ff@181.136.122.143) (Quit: Bye) |
2023-09-27 23:48:43 +0200 | danza | (~francesco@151.35.186.191) (Ping timeout: 240 seconds) |
2023-09-27 23:53:02 +0200 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |