| 2023-06-09 00:00:45 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-06-09 00:00:47 +0200 | cheater_ | cheater |
| 2023-06-09 00:04:20 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-09 00:05:44 +0200 | lawt | (~lawt@2603:c024:c008:d000:5b4f:1ef2:fed2:ef3d) (Ping timeout: 246 seconds) |
| 2023-06-09 00:06:55 +0200 | lawt | (~lawt@129.159.36.129) |
| 2023-06-09 00:10:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-06-09 00:21:56 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2023-06-09 00:31:28 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-09 00:31:45 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 265 seconds) |
| 2023-06-09 00:38:17 +0200 | acidjnk | (~acidjnk@p200300d6e7072f019dd2aa00216a5b17.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-06-09 00:43:07 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-09 00:43:17 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-06-09 00:43:27 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-09 00:45:07 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-06-09 00:45:12 +0200 | cheater_ | cheater |
| 2023-06-09 00:47:03 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-09 00:49:48 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-06-09 00:49:57 +0200 | cheater_ | cheater |
| 2023-06-09 00:52:32 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-09 00:52:50 +0200 | cheater_ | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-06-09 00:52:59 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-09 00:55:26 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-06-09 00:55:49 +0200 | oac_ | (~oac@2603:3016:2200:f1a0:671c:e5f:9863:6688) (Ping timeout: 256 seconds) |
| 2023-06-09 00:57:37 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-09 00:57:37 +0200 | cheater_ | cheater |
| 2023-06-09 00:58:12 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-06-09 00:59:16 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 265 seconds) |
| 2023-06-09 00:59:36 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-09 00:59:36 +0200 | cheater_ | cheater |
| 2023-06-09 00:59:36 +0200 | jargon | (~jargon@184.101.71.62) |
| 2023-06-09 01:02:21 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-09 01:04:28 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-06-09 01:04:36 +0200 | cheater_ | cheater |
| 2023-06-09 01:06:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-06-09 01:07:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-09 01:08:09 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-06-09 01:09:31 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-06-09 01:09:31 +0200 | mauke_ | mauke |
| 2023-06-09 01:10:05 +0200 | freeside | (~mengwong@103.252.202.189) |
| 2023-06-09 01:10:32 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-06-09 01:12:34 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-06-09 01:14:37 +0200 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 240 seconds) |
| 2023-06-09 01:15:08 +0200 | myme | (~myme@2a01:799:d60:e400:132b:f0c4:5531:8862) (Ping timeout: 240 seconds) |
| 2023-06-09 01:16:25 +0200 | myme | (~myme@2a01:799:d60:e400:aea4:e4cc:8331:e0cb) |
| 2023-06-09 01:16:50 +0200 | CalculusCats | Calico |
| 2023-06-09 01:16:53 +0200 | Calico | a |
| 2023-06-09 01:16:58 +0200 | a | Guest849 |
| 2023-06-09 01:17:44 +0200 | Guest849 | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-06-09 01:18:50 +0200 | Guest849 | (NyaaTheKit@user/calculuscat) |
| 2023-06-09 01:19:48 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-06-09 01:19:49 +0200 | Guest849 | (NyaaTheKit@user/calculuscat) (Client Quit) |
| 2023-06-09 01:21:00 +0200 | Guest849 | (NyaaTheKit@user/calculuscat) |
| 2023-06-09 01:21:21 +0200 | Guest849 | CalculusCat |
| 2023-06-09 01:23:12 +0200 | CalculusCat | CalculusCats |
| 2023-06-09 01:25:12 +0200 | cheater | (~Username@user/cheater) |
| 2023-06-09 01:26:01 +0200 | gurkenglas | (~user@dynamic-046-114-180-095.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-06-09 01:28:56 +0200 | zeenk | (~zeenk@2a02:2f04:a106:3c00::fba) (Quit: Konversation terminated!) |
| 2023-06-09 01:29:49 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-06-09 01:32:16 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 2023-06-09 01:32:44 +0200 | cheater | (~Username@user/cheater) |
| 2023-06-09 01:39:44 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2023-06-09 01:41:21 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 250 seconds) |
| 2023-06-09 01:53:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-09 01:53:29 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-06-09 01:53:37 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:ed66:a694:f2c2:7aeb) (Remote host closed the connection) |
| 2023-06-09 01:54:00 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:ed66:a694:f2c2:7aeb) |
| 2023-06-09 01:55:08 +0200 | machinedgod | (~machinedg@93-138-40-51.adsl.net.t-com.hr) |
| 2023-06-09 01:56:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-09 01:56:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-09 01:56:53 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-09 01:59:08 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Ping timeout: 250 seconds) |
| 2023-06-09 02:03:48 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-06-09 02:16:37 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2023-06-09 02:42:40 +0200 | machinedgod | (~machinedg@93-138-40-51.adsl.net.t-com.hr) (Ping timeout: 248 seconds) |
| 2023-06-09 02:43:25 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-09 02:45:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2023-06-09 02:52:01 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-09 02:55:01 +0200 | vandita | (~vandit@87.97.2.253) (Ping timeout: 250 seconds) |
| 2023-06-09 02:57:08 +0200 | vandita | (~vandit@80.95.82.200) |
| 2023-06-09 03:04:56 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 265 seconds) |
| 2023-06-09 03:05:34 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-06-09 03:06:37 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2023-06-09 03:10:47 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-09 03:16:55 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-09 03:23:01 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-09 03:26:05 +0200 | <cheater> | how do i use generics-deriving to derive nfdata? |
| 2023-06-09 03:26:07 +0200 | <cheater> | NFData |
| 2023-06-09 03:28:15 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-06-09 03:28:45 +0200 | <EvanR> | looks like they have an example in the docs https://hackage.haskell.org/package/deepseq-1.4.8.1/docs/Control-DeepSeq.html |
| 2023-06-09 03:47:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:44a:8f26:7d0b:2262) |
| 2023-06-09 03:51:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:44a:8f26:7d0b:2262) (Ping timeout: 250 seconds) |
| 2023-06-09 03:52:37 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 2023-06-09 03:59:58 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-06-09 04:05:02 +0200 | AlexNoo | (~AlexNoo@178.34.160.87) (Read error: Connection reset by peer) |
| 2023-06-09 04:05:25 +0200 | AlexNoo | (~AlexNoo@178.34.160.87) |
| 2023-06-09 04:07:11 +0200 | falafel | (~falafel@75.111.251.57) |
| 2023-06-09 04:12:04 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2023-06-09 04:12:12 +0200 | x_kuru | (~xkuru@user/xkuru) |
| 2023-06-09 04:12:18 +0200 | x_kuru | (~xkuru@user/xkuru) (Remote host closed the connection) |
| 2023-06-09 04:12:18 +0200 | xkuru | (~xkuru@user/xkuru) (Remote host closed the connection) |
| 2023-06-09 04:12:40 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2023-06-09 04:16:31 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-09 04:20:10 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-09 04:20:10 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-09 04:20:10 +0200 | finn_elija | FinnElija |
| 2023-06-09 04:20:52 +0200 | biberu\ | (~biberu@user/biberu) |
| 2023-06-09 04:21:06 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-06-09 04:23:05 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-06-09 04:23:11 +0200 | cheater_ | cheater |
| 2023-06-09 04:24:05 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 240 seconds) |
| 2023-06-09 04:24:05 +0200 | biberu\ | biberu |
| 2023-06-09 04:24:08 +0200 | hochata | (~user@user/hochata) |
| 2023-06-09 04:24:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:44a:8f26:7d0b:2262) |
| 2023-06-09 04:27:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-09 04:32:44 +0200 | johnw_ | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-06-09 04:36:15 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-09 04:39:07 +0200 | raym | (~ray@user/raym) |
| 2023-06-09 04:39:20 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-06-09 04:40:45 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-09 04:48:34 +0200 | td_ | (~td@i53870909.versanet.de) (Ping timeout: 250 seconds) |
| 2023-06-09 04:50:36 +0200 | td_ | (~td@i53870936.versanet.de) |
| 2023-06-09 04:57:45 +0200 | khumba | (~khumba@user/khumba) |
| 2023-06-09 05:00:19 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-06-09 05:02:50 +0200 | khumba | (~khumba@user/khumba) () |
| 2023-06-09 05:04:35 +0200 | falafel | (~falafel@75.111.251.57) (Ping timeout: 256 seconds) |
| 2023-06-09 05:06:53 +0200 | nate2 | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2023-06-09 05:09:08 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-09 05:10:17 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-09 05:14:01 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Remote host closed the connection) |
| 2023-06-09 05:19:46 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2023-06-09 05:25:35 +0200 | dfit^ | (~dfit@c-71-204-38-59.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-06-09 05:41:38 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-09 05:42:50 +0200 | kimiamania6 | (~65804703@user/kimiamania) |
| 2023-06-09 05:47:42 +0200 | falafel | (~falafel@75.111.251.57) |
| 2023-06-09 05:51:49 +0200 | hochata | (~user@user/hochata) (Ping timeout: 250 seconds) |
| 2023-06-09 06:05:42 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-06-09 06:06:56 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 248 seconds) |
| 2023-06-09 06:22:16 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-09 06:26:37 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-09 06:28:20 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-06-09 06:28:25 +0200 | Carro | (~Carro@2806:2f0:5020:94ea:6d79:5263:37dd:f2a4) |
| 2023-06-09 06:28:55 +0200 | Carro | (~Carro@2806:2f0:5020:94ea:6d79:5263:37dd:f2a4) (Client Quit) |
| 2023-06-09 06:29:05 +0200 | vandita | (~vandit@80.95.82.200) (Ping timeout: 250 seconds) |
| 2023-06-09 06:31:03 +0200 | vandita | (~vandit@85-238-93-50.pool.digikabel.hu) |
| 2023-06-09 06:31:04 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-09 06:36:11 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
| 2023-06-09 06:39:52 +0200 | trev | (~trev@user/trev) |
| 2023-06-09 06:42:47 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Quit: WeeChat 3.8) |
| 2023-06-09 06:47:05 +0200 | michalz | (~michalz@185.246.207.217) |
| 2023-06-09 06:53:47 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-06-09 06:56:08 +0200 | shapr | (~user@2600:1700:c640:3100:e1bf:464f:6761:f460) (Ping timeout: 240 seconds) |
| 2023-06-09 06:56:18 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-06-09 07:02:07 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-06-09 07:05:24 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-06-09 07:15:15 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-09 07:19:06 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-06-09 07:20:07 +0200 | falafel | (~falafel@75.111.251.57) (Ping timeout: 240 seconds) |
| 2023-06-09 07:30:24 +0200 | dtman34 | (~dtman34@76.156.89.180) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-06-09 07:36:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-09 07:38:25 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-06-09 07:39:56 +0200 | remexre | (~remexre@mail.sift.net) (Changing host) |
| 2023-06-09 07:39:56 +0200 | remexre | (~remexre@user/remexre) |
| 2023-06-09 07:41:33 +0200 | dtman34 | (~dtman34@76.156.89.180) |
| 2023-06-09 07:45:45 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-06-09 07:53:01 +0200 | dtman34 | (~dtman34@76.156.89.180) (Ping timeout: 240 seconds) |
| 2023-06-09 07:57:37 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-06-09 08:02:05 +0200 | falafel | (~falafel@75.111.251.57) |
| 2023-06-09 08:05:55 +0200 | foul_owl | (~kerry@71.212.137.212) (Ping timeout: 256 seconds) |
| 2023-06-09 08:06:25 +0200 | falafel | (~falafel@75.111.251.57) (Ping timeout: 240 seconds) |
| 2023-06-09 08:06:56 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 2023-06-09 08:15:05 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-09 08:16:20 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-06-09 08:16:41 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-09 08:17:56 +0200 | phma | (~phma@host-67-44-208-203.hnremote.net) (Read error: Connection reset by peer) |
| 2023-06-09 08:18:23 +0200 | phma | (~phma@2001:5b0:211f:ccc8:19ff:742c:33:de25) |
| 2023-06-09 08:21:56 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-06-09 08:29:07 +0200 | acidjnk | (~acidjnk@p200300d6e7072f890867bba278f7090b.dip0.t-ipconnect.de) |
| 2023-06-09 08:38:34 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-06-09 08:45:46 +0200 | junp | (~junp@103.119.174.2) |
| 2023-06-09 08:46:02 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-09 08:50:07 +0200 | junp | (~junp@103.119.174.2) (Client Quit) |
| 2023-06-09 08:51:24 +0200 | dcoutts | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 2023-06-09 08:54:28 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) |
| 2023-06-09 09:00:19 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-06-09 09:00:32 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 2023-06-09 09:02:18 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-09 09:06:26 +0200 | <albet70> | mapK p [] k = k []; mapK p xs k = p (head xs) (\v -> mapK p (tail xs) (\ns -> k (v <> ns))) |
| 2023-06-09 09:07:04 +0200 | <albet70> | this map with CPS version is confused! |
| 2023-06-09 09:13:30 +0200 | kuribas | (~user@ptr-17d51epm7k2w301cadn.18120a2.ip6.access.telenet.be) |
| 2023-06-09 09:14:11 +0200 | <albet70> | mapK p (x: xs) k = p x $ \v -> mapK p xs (\ns -> k $ [v] <> ns) |
| 2023-06-09 09:16:21 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-09 09:17:23 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-09 09:18:54 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-06-09 09:18:55 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-06-09 09:20:55 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-06-09 09:21:08 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2023-06-09 09:23:18 +0200 | freeside | (~mengwong@103.252.202.189) |
| 2023-06-09 09:23:22 +0200 | gurkenglas | (~user@46.114.176.77) |
| 2023-06-09 09:27:38 +0200 | lortabac | (~lortabac@2001:620:130:6092:4e72:c7a8:544:1dd3) |
| 2023-06-09 09:27:46 +0200 | freeside | (~mengwong@103.252.202.189) (Ping timeout: 268 seconds) |
| 2023-06-09 09:30:35 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-06-09 09:40:23 +0200 | machinedgod | (~machinedg@93-136-94-164.adsl.net.t-com.hr) |
| 2023-06-09 09:42:26 +0200 | hisa380 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-09 09:44:07 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-06-09 09:44:07 +0200 | hisa380 | hisa38 |
| 2023-06-09 09:44:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-06-09 09:47:27 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-06-09 09:48:44 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-06-09 09:51:48 +0200 | chele | (~chele@user/chele) |
| 2023-06-09 09:52:13 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-06-09 09:54:04 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-09 09:58:41 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 2023-06-09 09:59:29 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-06-09 10:06:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:44a:8f26:7d0b:2262) (Remote host closed the connection) |
| 2023-06-09 10:14:25 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 250 seconds) |
| 2023-06-09 10:18:07 +0200 | vandita | (~vandit@85-238-93-50.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-06-09 10:20:11 +0200 | vandita | (~vandit@178-164-206-17.pool.digikabel.hu) |
| 2023-06-09 10:27:58 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-09 10:29:46 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-09 10:29:50 +0200 | CiaoSen | (~Jura@145.224.73.17) |
| 2023-06-09 10:34:10 +0200 | zephyr_ | (~irfan@182.69.91.33) |
| 2023-06-09 10:38:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-06-09 10:41:32 +0200 | hackyhacker | (~hackyhack@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
| 2023-06-09 10:46:59 +0200 | akegalj | (~akegalj@95.168.116.45) |
| 2023-06-09 10:49:10 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2023-06-09 10:49:35 +0200 | troydm | (~troydm@user/troydm) |
| 2023-06-09 10:50:02 +0200 | troydm | (~troydm@user/troydm) (Client Quit) |
| 2023-06-09 10:51:55 +0200 | troydm | (~troydm@user/troydm) |
| 2023-06-09 10:54:09 +0200 | jargon | (~jargon@184.101.71.62) (Remote host closed the connection) |
| 2023-06-09 10:54:55 +0200 | alphabeta | (~kilolympu@213.144.144.24) (Read error: Connection reset by peer) |
| 2023-06-09 10:57:05 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-06-09 10:58:30 +0200 | alphabeta | (~kilolympu@213.144.144.24) |
| 2023-06-09 10:59:32 +0200 | mei | (~mei@user/mei) |
| 2023-06-09 11:00:54 +0200 | zephyr_ | (~irfan@182.69.91.33) (Quit: leaving) |
| 2023-06-09 11:02:06 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-06-09 11:02:47 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-06-09 11:03:34 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-06-09 11:04:38 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-06-09 11:05:12 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2023-06-09 11:05:57 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-06-09 11:05:58 +0200 | mei | (~mei@user/mei) |
| 2023-06-09 11:06:54 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:44a:8f26:7d0b:2262) |
| 2023-06-09 11:08:21 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-09 11:09:57 +0200 | irfan | (~irfan@user/irfan) |
| 2023-06-09 11:10:20 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-06-09 11:10:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-06-09 11:11:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:44a:8f26:7d0b:2262) (Ping timeout: 246 seconds) |
| 2023-06-09 11:11:21 +0200 | migas | (~migas@astra4961.startdedicated.net) (Quit: Ping timeout (120 seconds)) |
| 2023-06-09 11:11:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10a:3acf:6ef1:80ab) |
| 2023-06-09 11:12:55 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) (Ping timeout: 250 seconds) |
| 2023-06-09 11:13:44 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2023-06-09 11:14:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-06-09 11:15:27 +0200 | migas | (~migas@62.138.8.62) |
| 2023-06-09 11:15:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10a:3acf:6ef1:80ab) (Ping timeout: 246 seconds) |
| 2023-06-09 11:22:05 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2023-06-09 11:24:28 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-06-09 11:26:47 +0200 | lortabac | (~lortabac@2001:620:130:6092:4e72:c7a8:544:1dd3) (Ping timeout: 250 seconds) |
| 2023-06-09 11:30:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-06-09 11:30:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-09 11:30:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-09 11:35:54 +0200 | lortabac | (~lortabac@2001:620:130:6092:f39f:d7ef:f91f:a24f) |
| 2023-06-09 11:37:20 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 246 seconds) |
| 2023-06-09 11:38:51 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-09 11:39:51 +0200 | akegalj | (~akegalj@95.168.116.45) (Quit: leaving) |
| 2023-06-09 11:46:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-09 11:47:06 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-09 11:50:07 +0200 | machinedgod | (~machinedg@93-136-94-164.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 2023-06-09 11:54:00 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-06-09 11:54:24 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-09 12:05:03 +0200 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2023-06-09 12:06:02 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 246 seconds) |
| 2023-06-09 12:12:42 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-09 12:13:02 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-09 12:15:14 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-09 12:17:27 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-06-09 12:21:45 +0200 | vandita | (~vandit@178-164-206-17.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-06-09 12:23:38 +0200 | vandita | (~vandit@84-236-3-115.pool.digikabel.hu) |
| 2023-06-09 12:23:48 +0200 | lortabac | (~lortabac@2001:620:130:6092:f39f:d7ef:f91f:a24f) (Ping timeout: 240 seconds) |
| 2023-06-09 12:28:26 +0200 | santiagopim | (~user@90.167.66.131) |
| 2023-06-09 12:30:18 +0200 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Ping timeout: 268 seconds) |
| 2023-06-09 12:31:13 +0200 | Guest64 | (~Guest75@176.122.87.241) |
| 2023-06-09 12:33:44 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-06-09 12:34:03 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-06-09 12:36:01 +0200 | migas | (~migas@62.138.8.62) (Quit: Ping timeout (120 seconds)) |
| 2023-06-09 12:36:39 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-09 12:38:24 +0200 | migas | (~migas@astra4961.startdedicated.net) |
| 2023-06-09 12:39:19 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-09 12:47:28 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-09 12:47:58 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-09 12:48:43 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:3dd5:6c62:1f7e:f028) |
| 2023-06-09 12:50:14 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-06-09 13:00:49 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-09 13:02:37 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-09 13:05:33 +0200 | img | (~img@user/img) |
| 2023-06-09 13:05:52 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-09 13:06:40 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-06-09 13:07:24 +0200 | troydm | (~troydm@user/troydm) |
| 2023-06-09 13:18:07 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-06-09 13:18:09 +0200 | CiaoSen | (~Jura@145.224.73.17) (Ping timeout: 250 seconds) |
| 2023-06-09 13:19:38 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 268 seconds) |
| 2023-06-09 13:21:13 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 2023-06-09 13:22:29 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2023-06-09 13:22:35 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2023-06-09 13:22:56 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2023-06-09 13:23:08 +0200 | alphabeta | (~kilolympu@213.144.144.24) (Ping timeout: 240 seconds) |
| 2023-06-09 13:23:35 +0200 | alphabeta | (~kilolympu@213.144.144.24) |
| 2023-06-09 13:23:56 +0200 | xkuru | (~xkuru@user/xkuru) (Remote host closed the connection) |
| 2023-06-09 13:24:41 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2023-06-09 13:25:08 +0200 | xkuru | (~xkuru@user/xkuru) (Client Quit) |
| 2023-06-09 13:27:18 +0200 | Guest64 | (~Guest75@176.122.87.241) (Ping timeout: 245 seconds) |
| 2023-06-09 13:30:45 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-09 13:33:13 +0200 | machinedgod | (~machinedg@93-136-94-164.adsl.net.t-com.hr) |
| 2023-06-09 13:33:39 +0200 | img | (~img@user/img) |
| 2023-06-09 13:34:57 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-06-09 13:35:16 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-06-09 13:36:11 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2023-06-09 13:37:13 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2023-06-09 13:40:13 +0200 | irfan | (~irfan@user/irfan) (Quit: leaving) |
| 2023-06-09 13:40:38 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-09 13:40:39 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-09 13:50:12 +0200 | lortabac | (~lortabac@2001:620:130:6092:ecd9:4503:1d28:afdd) |
| 2023-06-09 13:50:22 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) |
| 2023-06-09 13:55:47 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:ed66:a694:f2c2:7aeb) (Remote host closed the connection) |
| 2023-06-09 13:56:08 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:ed66:a694:f2c2:7aeb) |
| 2023-06-09 14:00:20 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 2023-06-09 14:04:55 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-09 14:06:01 +0200 | acidjnk | (~acidjnk@p200300d6e7072f890867bba278f7090b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-06-09 14:07:07 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-06-09 14:07:16 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-06-09 14:08:14 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:ed66:a694:f2c2:7aeb) (Read error: Connection reset by peer) |
| 2023-06-09 14:08:28 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:ed66:a694:f2c2:7aeb) |
| 2023-06-09 14:08:53 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2023-06-09 14:16:40 +0200 | machinedgod | (~machinedg@93-136-94-164.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2023-06-09 14:16:50 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-06-09 14:17:09 +0200 | zeenk | (~zeenk@2a02:2f04:a106:3c00::7fe) |
| 2023-06-09 14:18:06 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) |
| 2023-06-09 14:19:15 +0200 | mei | (~mei@user/mei) |
| 2023-06-09 14:21:25 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 2023-06-09 14:22:25 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 2023-06-09 14:22:38 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-06-09 14:28:06 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-09 14:32:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-06-09 14:33:15 +0200 | hackyhacker2 | (~hackyhack@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
| 2023-06-09 14:34:00 +0200 | hackyhacker | (~hackyhack@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Ping timeout: 250 seconds) |
| 2023-06-09 14:34:00 +0200 | hackyhacker2 | hackyhacker |
| 2023-06-09 14:35:18 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) |
| 2023-06-09 14:39:45 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) (Ping timeout: 256 seconds) |
| 2023-06-09 14:43:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-06-09 14:45:55 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) |
| 2023-06-09 14:50:25 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 2023-06-09 14:51:34 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-09 14:52:01 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) |
| 2023-06-09 14:56:31 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 2023-06-09 14:57:46 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) |
| 2023-06-09 14:57:53 +0200 | lortabac | (~lortabac@2001:620:130:6092:ecd9:4503:1d28:afdd) (Ping timeout: 256 seconds) |
| 2023-06-09 14:58:48 +0200 | oac | (~oac@72-50-214-210.fttp.usinternet.com) |
| 2023-06-09 15:02:09 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 2023-06-09 15:02:55 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) |
| 2023-06-09 15:03:40 +0200 | lortabac | (~lortabac@2001:620:130:6092:4dd8:b9a:8a06:1454) |
| 2023-06-09 15:03:40 +0200 | lortabac | (~lortabac@2001:620:130:6092:4dd8:b9a:8a06:1454) (Client Quit) |
| 2023-06-09 15:03:54 +0200 | lortabac | (~lortabac@2001:620:130:6092:4dd8:b9a:8a06:1454) |
| 2023-06-09 15:07:20 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) (Ping timeout: 246 seconds) |
| 2023-06-09 15:14:23 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) |
| 2023-06-09 15:15:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10a:3acf:6ef1:80ab) |
| 2023-06-09 15:16:38 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-09 15:18:38 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 2023-06-09 15:19:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10a:3acf:6ef1:80ab) (Ping timeout: 240 seconds) |
| 2023-06-09 15:20:15 +0200 | shapr | (~user@2600:1700:c640:3100:94b7:1b2e:f0d2:a517) |
| 2023-06-09 15:20:54 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-06-09 15:21:23 +0200 | acidjnk | (~acidjnk@p200300d6e7072f890867bba278f7090b.dip0.t-ipconnect.de) |
| 2023-06-09 15:26:30 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) |
| 2023-06-09 15:31:12 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) (Ping timeout: 248 seconds) |
| 2023-06-09 15:33:35 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 256 seconds) |
| 2023-06-09 15:39:37 +0200 | alphabeta | (~kilolympu@213.144.144.24) (Ping timeout: 240 seconds) |
| 2023-06-09 15:42:05 +0200 | santiagopim | (~user@90.167.66.131) (Ping timeout: 256 seconds) |
| 2023-06-09 15:43:32 +0200 | kilolympus | (~kilolympu@213.144.144.24) |
| 2023-06-09 15:44:53 +0200 | dhruvasagar | (~dhruvasag@49.207.218.223) |
| 2023-06-09 15:53:52 +0200 | oac | (~oac@72-50-214-210.fttp.usinternet.com) (Quit: oac) |
| 2023-06-09 15:54:19 +0200 | oac_ | (~oac@72-50-214-210.fttp.usinternet.com) |
| 2023-06-09 15:58:32 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-06-09 16:01:19 +0200 | mei | (~mei@user/mei) |
| 2023-06-09 16:01:21 +0200 | ripspin | (~chatzilla@1.145.167.110) |
| 2023-06-09 16:04:07 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 250 seconds) |
| 2023-06-09 16:04:12 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2023-06-09 16:04:55 +0200 | troydm | (~troydm@user/troydm) |
| 2023-06-09 16:05:05 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-09 16:06:43 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-06-09 16:06:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-06-09 16:07:02 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-06-09 16:11:14 +0200 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) |
| 2023-06-09 16:13:18 +0200 | kriity | (~kriity@c-76-155-235-153.hsd1.co.comcast.net) |
| 2023-06-09 16:15:35 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 246 seconds) |
| 2023-06-09 16:15:48 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2023-06-09 16:16:31 +0200 | <kriity> | hi friends. on teaching haskell, is it a good idea to avoid using "scary" terminology for people new to the subject at hand? scary as in, terms that either make a very simple concept sound deeper than it is, or things that have an unfair reputation for being more complex than they are |
| 2023-06-09 16:16:52 +0200 | <merijn> | kriity: You mean "monad"? :p |
| 2023-06-09 16:17:00 +0200 | <Athas> | I have a cabal project. How can I do an ad hoc compilation of a source file that depends on that project? It is OK for the source file to be located in the same directory as my .cabal file. |
| 2023-06-09 16:17:09 +0200 | <Rembane> | kriity: If they have never programmed before, go deep on the terminology, otherwise... dunno. |
| 2023-06-09 16:17:15 +0200 | <Athas> | I.e. I want something more lightweight than adding a new executable target to my .cabal file. |
| 2023-06-09 16:17:32 +0200 | <kriity> | absolutely monads lmfao. but also just in general |
| 2023-06-09 16:17:34 +0200 | <geekosaur> | `cabal exec ghc …` might work |
| 2023-06-09 16:17:36 +0200 | <Athas> | kriity: yes, it is a good idea to avoid unnecessary generality. |
| 2023-06-09 16:17:45 +0200 | <sm> | Athas: make it a cabal script maybe ? |
| 2023-06-09 16:17:57 +0200 | <merijn> | Athas: cabal exec although if you have .ghc.environment enabled it might just "work" |
| 2023-06-09 16:18:00 +0200 | sm[i] | (~smi]@plaintextaccounting/sm) |
| 2023-06-09 16:18:06 +0200 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) (Quit: WeeChat 3.8) |
| 2023-06-09 16:18:24 +0200 | <Athas> | geekosaur: that sort of works, but I end up having to pass all my dependencies as '-package' flags. |
| 2023-06-09 16:18:24 +0200 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) |
| 2023-06-09 16:18:33 +0200 | <merijn> | kriity: I would just use the standard names for things, finding different "non-scary names" now just means someone has to relearn names |
| 2023-06-09 16:18:36 +0200 | <Athas> | sm: how do I make a cabal script depend on the package in the current directory? |
| 2023-06-09 16:18:51 +0200 | <merijn> | Athas: .ghc.environment is supposed to handle the package flags |
| 2023-06-09 16:18:51 +0200 | <geekosaur> | huh. I would expect it to expose all the dependencies of the project |
| 2023-06-09 16:19:00 +0200 | <geekosaur> | that's why `cabal exec` in the first place |
| 2023-06-09 16:19:08 +0200 | <sm[i]> | I'm not sure |
| 2023-06-09 16:19:19 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-09 16:19:32 +0200 | <Athas> | merijn: .ghc.environment... well, the downside of that is that one of my use cases is distributing small proof-of-concept programs to my collaborators, and having an implicit dependency on an invisible file is guaranteed to cause trouble. |
| 2023-06-09 16:19:40 +0200 | <merijn> | kriity: FWIW, I taught my girlfriend with, essentially, zero programming experience using all the regular terminology and had zero problems |
| 2023-06-09 16:20:09 +0200 | <Athas> | geekosaur: hm, it might be that it's actually only the project itself that needs to have an explicit '-package'! At least GHC doesn't compare about not being able to import the mtl modules and such. |
| 2023-06-09 16:20:15 +0200 | <merijn> | Athas: Well, the only alternative to an implicit dependency seems an explicit one in the form of adding it to the cabal file :p |
| 2023-06-09 16:20:33 +0200 | <Athas> | merijn: it's OK for there to be an implicit dependency on things I know they will have. |
| 2023-06-09 16:20:37 +0200 | <sm[i]> | well, the way I do that is make it a `stack runghc ...` script rather than a `stack script ...` script. Maybe cabal can do similar |
| 2023-06-09 16:21:26 +0200 | <kriity> | merijn: honestly, i'm more worried about experience getting in the way. i have a suspicion that i would've had an easier time learning Haskell had i not known C. |
| 2023-06-09 16:21:33 +0200 | oac_ | (~oac@72-50-214-210.fttp.usinternet.com) (Quit: oac_) |
| 2023-06-09 16:21:53 +0200 | oac | (~oac@72-50-214-210.fttp.usinternet.com) |
| 2023-06-09 16:22:09 +0200 | <Athas> | Cabal scripts work very well when all your dependencies are on Hackage, but they are not in this case. |
| 2023-06-09 16:22:29 +0200 | <Athas> | Oh wait, I can also put cabal.project info in cabal scripts, right? |
| 2023-06-09 16:23:24 +0200 | <merijn> | Athas: Maybe? |
| 2023-06-09 16:23:25 +0200 | <kriity> | also i should've mentioned i was planning on still giving the standard terminology, but not naming anything until they're reasonably comfortable with the concept being named. at that point, preconceptions are hopefully out of the way |
| 2023-06-09 16:23:41 +0200 | <Athas> | No, doesn't look like it works. |
| 2023-06-09 16:23:51 +0200 | <Athas> | kriity: exactly which terms are you considering not mentioning? |
| 2023-06-09 16:23:54 +0200 | <sm[i]> | #!/usr/bin/env -S cabal exec runghc ? |
| 2023-06-09 16:24:13 +0200 | <Athas> | kriity: and are these people new to programming, or just to Haskell? |
| 2023-06-09 16:25:07 +0200 | <Athas> | I cannot explain why, but 'cabal exec runghc' seems to ignore '-package' ('cabal exec ghc' does not). |
| 2023-06-09 16:25:33 +0200 | <geekosaur> | runghc has some odd parameter requirements |
| 2023-06-09 16:26:00 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-09 16:26:08 +0200 | <sm[i]> | maybe add a -- before or after the option |
| 2023-06-09 16:26:22 +0200 | <geekosaur> | sometimes you have to use `--ghc-arg=-package --ghc-arg=pkgname` |
| 2023-06-09 16:26:37 +0200 | <kriity> | Athas: the type of people who have only ever touched languages like Python; high school kids who like programming and want to go further, but have only done it in mediocre coding courses. |
| 2023-06-09 16:27:29 +0200 | <geekosaur> | or just make sure `-package` comes before the program name; this isn't gnu getopt |
| 2023-06-09 16:29:30 +0200 | <Athas> | Oh, that works (also it must be -package=foo for some reason). |
| 2023-06-09 16:29:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2023-06-09 16:29:57 +0200 | <Athas> | I wonder why compilers as an application domain seem unusually inconsistent about command line options. GHC isn't really unique in this regard. |
| 2023-06-09 16:30:20 +0200 | <Athas> | kriity: don't invent simpler names for established concepts (e.g. Monad), but try to avoid having to talk about super generic or abstract things. |
| 2023-06-09 16:30:27 +0200 | <Athas> | But you really cannot avoid monads in Haskell. |
| 2023-06-09 16:31:04 +0200 | <sm> | command line parsing is hard |
| 2023-06-09 16:31:27 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-06-09 16:31:29 +0200 | <Athas> | getopt is decades old. |
| 2023-06-09 16:31:45 +0200 | <Athas> | Parsing Haskell is much harder, yet GHC does a pretty good job at that. |
| 2023-06-09 16:31:56 +0200 | <sm> | seems wise to make a really good one on day 1, so tools will have good CLIs |
| 2023-06-09 16:32:04 +0200 | <kriity> | Athas: i'll stay with that, ta |
| 2023-06-09 16:32:23 +0200 | <Athas> | kriity: which terms were you concerned with? |
| 2023-06-09 16:32:29 +0200 | <geekosaur> | in the case of runghc, it has to distinguish between (a) its own parameters, (b) ghc parameters, (c) program parameters |
| 2023-06-09 16:33:13 +0200 | <geekosaur> | so in particular options intended for ghc come before the program name, options intended for the program come after it |
| 2023-06-09 16:33:38 +0200 | <Athas> | Yes, looking at the runghc documentation it's actually sane, but since it forwards unknown options to GHC, it inherits GHC's inconsistency. |
| 2023-06-09 16:33:51 +0200 | <sm> | (d, e, f) sometimes RTS parameters for any of those |
| 2023-06-09 16:34:58 +0200 | <geekosaur> | no (f), ghc is doing the running in interpreted/ghci mode so you give ghc the rts options intended for the program |
| 2023-06-09 16:36:16 +0200 | <merijn> | sm: The RTS handling of RTS parameters is fairly sane and predictable, though |
| 2023-06-09 16:36:36 +0200 | <kriity> | Athas: terms that have different meanings in functional/imperative contexts, Monad of course (i'm explaining monads, just nervous about the word itself), and a few simpler things like "referential transparency". it might seem a little silly, but i'm nervous considering the target audience. |
| 2023-06-09 16:36:36 +0200 | <sm> | say you want to limit memory for ghc, or for your program, don't you have to write those differently ? |
| 2023-06-09 16:36:38 +0200 | <merijn> | i.e. RTS options prior to -- are interpreted by the program, options after -- are nnot |
| 2023-06-09 16:37:07 +0200 | <geekosaur> | sm, there's no difference when ghc is interpreting |
| 2023-06-09 16:37:14 +0200 | sm | is speaking of ghc not runghc now |
| 2023-06-09 16:37:25 +0200 | <geekosaur> | this might be regarded as a shortcoming of BCO |
| 2023-06-09 16:38:03 +0200 | <merijn> | sm: No? Unless you mean the use of -rtsopts to set your program's runtime options at compile time |
| 2023-06-09 16:38:09 +0200 | <Athas> | kriity: well, for "referential transparency" you can explain the idea (which is simple). You can mention the fancy word, but they don't really have to understand or remember it. |
| 2023-06-09 16:38:11 +0200 | <geekosaur> | (in particular I could imagine wanting separate limits on TH which also uses BCO, especially with external-interpreter for crossplatform or JS/WASM) |
| 2023-06-09 16:38:17 +0200 | <merijn> | sm: But I don't think that matches what you're describing? |
| 2023-06-09 16:38:21 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-06-09 16:38:26 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-06-09 16:38:47 +0200 | gurkenglas | (~user@46.114.176.77) (Ping timeout: 250 seconds) |
| 2023-06-09 16:38:56 +0200 | <sm> | well I'm not following exactly but just making the point that applying RTS options to different things adds still more complexity |
| 2023-06-09 16:38:58 +0200 | <kriity> | Athas: that's the plan :D |
| 2023-06-09 16:39:02 +0200 | <sm> | command line parsing gets complex fast |
| 2023-06-09 16:39:55 +0200 | <geekosaur> | the context is runghc, which means ghc is first compiling to bytecode and then running the bytecode. and while it would make sense for the two to have separate rts options, currently they don't |
| 2023-06-09 16:41:01 +0200 | sm | was speaking about command line parsing generally not runghc |
| 2023-06-09 16:41:12 +0200 | <merijn> | sm: It's clearer if you talk about, say, runghc/cabal run, but that's pretty consistent in that "cabal +RTS foo -RTS run bar", "cabal run +RTS foo -RTS bar", and "cabal run bar +RTS foo" all mean the same thing (RTS applies to cabal) and "cabal run bar -- +RTS foo" indicates that they apply to the bar executable, not cabal) |
| 2023-06-09 16:41:43 +0200 | zeenk | (~zeenk@2a02:2f04:a106:3c00::7fe) (Quit: Konversation terminated!) |
| 2023-06-09 16:41:47 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-09 16:43:10 +0200 | ddellacosta | (~ddellacos@146.70.165.139) (Quit: WeeChat 3.8) |
| 2023-06-09 16:44:03 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2023-06-09 16:54:26 +0200 | lortabac | (~lortabac@2001:620:130:6092:4dd8:b9a:8a06:1454) (Quit: WeeChat 2.8) |
| 2023-06-09 17:02:17 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2023-06-09 17:03:05 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2023-06-09 17:03:52 +0200 | coot_ | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-09 17:06:34 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 268 seconds) |
| 2023-06-09 17:06:34 +0200 | coot_ | coot |
| 2023-06-09 17:06:44 +0200 | <albet70> | what's the benefit of CPS? |
| 2023-06-09 17:08:27 +0200 | <merijn> | albet70: compared to? |
| 2023-06-09 17:13:38 +0200 | samhh_ | (7569f027cf@2604:bf00:561:2000::e4) |
| 2023-06-09 17:15:12 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2023-06-09 17:17:12 +0200 | <albet70> | regular expressions? |
| 2023-06-09 17:18:31 +0200 | <c_wraith> | those two things don't even seem comparable |
| 2023-06-09 17:19:16 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-09 17:20:06 +0200 | elain4 | (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) |
| 2023-06-09 17:20:26 +0200 | dcoutts | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 265 seconds) |
| 2023-06-09 17:20:31 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-09 17:20:32 +0200 | manwithluck | (manwithluc@hoeven.dossingday.ml) (Ping timeout: 248 seconds) |
| 2023-06-09 17:23:45 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-09 17:25:40 +0200 | manwithluck | (manwithluc@hoeven.dossingday.ml) |
| 2023-06-09 17:26:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10a:3acf:6ef1:80ab) |
| 2023-06-09 17:26:18 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-09 17:27:20 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-09 17:28:23 +0200 | <geekosaur> | I think "normal expressions" was what was intended, and possibly the real question is "why does GHC use CPS transforms"? |
| 2023-06-09 17:29:42 +0200 | <c_wraith> | oh. hah. Too early for me to even read the phrase "regular expressions" as english words rather than jargon |
| 2023-06-09 17:30:16 +0200 | <geekosaur> | yeh, I did a doubletake at first as well |
| 2023-06-09 17:34:14 +0200 | oac | (~oac@72-50-214-210.fttp.usinternet.com) (Remote host closed the connection) |
| 2023-06-09 17:34:23 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-09 17:35:29 +0200 | <albet70> | actually I thought to use 'normal expressions', but I don't know if it's proper, my mother language isn't English |
| 2023-06-09 17:35:50 +0200 | <geekosaur> | it's fine |
| 2023-06-09 17:36:20 +0200 | <geekosaur> | and "regular expression" is fine if you're not talkking to geeks whose first thought is "regex" |
| 2023-06-09 17:36:25 +0200 | <geekosaur> | 🙂 |
| 2023-06-09 17:36:31 +0200 | <c_wraith> | yeah, that one's on us. :) |
| 2023-06-09 17:37:26 +0200 | <ncf> | that seems like it should at least be a subset of people you could ask about CPS |
| 2023-06-09 17:38:10 +0200 | npmania | (~Thunderbi@138.199.21.242) |
| 2023-06-09 17:38:16 +0200 | econo | (uid147250@user/econo) |
| 2023-06-09 17:38:48 +0200 | oac | (~oac@72-50-214-210.fttp.usinternet.com) |
| 2023-06-09 17:39:25 +0200 | <Athas> | GHC uses CPS? |
| 2023-06-09 17:39:39 +0200 | <merijn> | Athas: Core is in CPS, no? |
| 2023-06-09 17:39:48 +0200 | <dolio> | No. |
| 2023-06-09 17:40:05 +0200 | <geekosaur> | core isn't iirc but the transform happens shortly afterward iirc |
| 2023-06-09 17:40:45 +0200 | Alex_test | (~al_test@178.34.160.87) (Ping timeout: 250 seconds) |
| 2023-06-09 17:41:05 +0200 | <geekosaur> | early enough that it's apparently a pain for the llvm backend to try to annotate it even if llvm ir supported such annotations |
| 2023-06-09 17:41:37 +0200 | AlexZenon | (~alzenon@178.34.160.87) (Ping timeout: 250 seconds) |
| 2023-06-09 17:42:09 +0200 | dcoutts | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 2023-06-09 17:43:01 +0200 | <albet70> | I suddenly think that Java in android programming uses a lot of CPS, you can pass an object or a lambda which that can take some results, abstract class |
| 2023-06-09 17:44:09 +0200 | <geekosaur> | CPS is fairly common in modern UI programming, although it's not often called that |
| 2023-06-09 17:44:22 +0200 | <geekosaur> | but a lot of JS UI stuff is CPS |
| 2023-06-09 17:44:46 +0200 | <geekosaur> | for example |
| 2023-06-09 17:45:33 +0200 | <dolio> | All JS is/was about CPS for a while. They just don't call it CPS. |
| 2023-06-09 17:47:50 +0200 | Alex_test | (~al_test@178.34.160.87) |
| 2023-06-09 17:48:30 +0200 | <dolio> | I don't think GHC ever actually uses CPS, unless that's relatively recent for the join point stuff and the like. |
| 2023-06-09 17:48:32 +0200 | AlexZenon | (~alzenon@178.34.160.87) |
| 2023-06-09 17:49:25 +0200 | <dolio> | But I thought the whole point of that was to develop more direct-style notions that give you some of the capabilities of CPS. |
| 2023-06-09 17:50:04 +0200 | adium | (adium@user/adium) (Quit: Stable ZNC by #bnc4you) |
| 2023-06-09 17:50:06 +0200 | <merijn> | dolio: It's possible my brain just "like CPS if you squint a bit" to CPS :p |
| 2023-06-09 17:50:12 +0200 | ski | . o O ( "Web Programming" (CPS) by Eli Barzilay at <https://tmp.barzilay.org/cont.txt> ) |
| 2023-06-09 17:51:13 +0200 | <dolio> | In the past, it uses something more like ANF, which has a structure that corresponds to CPS in a way, but isn't CPS (there's probably stuff in CPS that you can't really express in ANF). |
| 2023-06-09 17:51:59 +0200 | <dolio> | ANF is like, normalize everything so that you only apply to variables. So, you have to let/name every intermediate result. |
| 2023-06-09 17:52:09 +0200 | <Athas> | ANF is great. Best friend. |
| 2023-06-09 17:52:23 +0200 | adium | (adium@user/adium) |
| 2023-06-09 17:53:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10a:3acf:6ef1:80ab) (Remote host closed the connection) |
| 2023-06-09 17:54:18 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-09 17:54:25 +0200 | <EvanR> | and jquery is monads but they don't call it that (probably for the best) |
| 2023-06-09 17:54:40 +0200 | dcoutts | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 248 seconds) |
| 2023-06-09 17:55:06 +0200 | npmania | (~Thunderbi@138.199.21.242) (Remote host closed the connection) |
| 2023-06-09 17:55:24 +0200 | <sm> | 🤯 |
| 2023-06-09 17:55:45 +0200 | <albet70> | that article too loong |
| 2023-06-09 17:56:09 +0200 | <dolio> | It's good because it's poorly behaved in ways that make it not a monad. :þ |
| 2023-06-09 17:56:48 +0200 | <dolio> | So telling people it is one would be misleading them about the correct definition of things. |
| 2023-06-09 17:57:10 +0200 | <EvanR> | albet70, back when articles had actual information and were longer than 1 sentence surrounded by a sea of ads |
| 2023-06-09 17:57:13 +0200 | <albet70> | in scheme they use call/cc to capture the rest computation, and call/cc can transform to CPS, how CPS would capture the rest computation? |
| 2023-06-09 17:58:15 +0200 | <ski> | every call in CPS is a tail call |
| 2023-06-09 17:59:13 +0200 | <dolio> | Yeah, in CPS, every computation is called with the rest of the computation as an argument. |
| 2023-06-09 17:59:39 +0200 | <dolio> | And the last thing it does is call the rest of the computation. |
| 2023-06-09 18:00:00 +0200 | ski | . o O ( "Escaping Hell with Monads" by Philip Nilsson in 2017-05-08 at <https://philipnilsson.github.io/Badness10k/escaping-hell-with-monads/> ; "Flattening Callback Chains with Monad Do-Notation" by Remko Tronçon in 2015-07-02 at <https://el-tramo.be/blog/async-monad/> ) |
| 2023-06-09 18:00:25 +0200 | raym | (~ray@user/raym) (Ping timeout: 240 seconds) |
| 2023-06-09 18:01:31 +0200 | <EvanR> | there was a proposal last year to add a new do notation-like thing to elixir, but it would only, after scrutinizing the whole proposal, amount to the state monad |
| 2023-06-09 18:02:02 +0200 | <EvanR> | I performed a ritual making it more likely the proposal would fail |
| 2023-06-09 18:02:17 +0200 | <albet70> | f x (\v -> ...) when f is with CPS and v is the result of f, \v -> is the rest computation |
| 2023-06-09 18:05:35 +0200 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2023-06-09 18:05:48 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) (Remote host closed the connection) |
| 2023-06-09 18:05:56 +0200 | remexre | (~remexre@user/remexre) |
| 2023-06-09 18:09:05 +0200 | <EvanR> | the escaping hell article is super effective |
| 2023-06-09 18:12:24 +0200 | <sm> | agreed! |
| 2023-06-09 18:13:41 +0200 | ski | . o O ( "The Mercury Language Reference Manual: Clauses" : "3.4 State variables" <https://www.mercurylang.org/information/doc-latest/mercury_ref/Clauses.html#State-variables>,"3.8 Definite clause grammars" <https://www.mercurylang.org/information/doc-latest/mercury_ref/Clauses.html#Definite-clause-grammars> ) |
| 2023-06-09 18:14:04 +0200 | <ski> | albet70 : sometimes multiple continuations |
| 2023-06-09 18:15:01 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-09 18:17:53 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-06-09 18:19:26 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2023-06-09 18:22:28 +0200 | acidjnk | (~acidjnk@p200300d6e7072f890867bba278f7090b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-06-09 18:24:44 +0200 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) (Quit: WeeChat 3.8) |
| 2023-06-09 18:29:01 +0200 | kuribas | (~user@ptr-17d51epm7k2w301cadn.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-06-09 18:30:08 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-09 18:31:57 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-06-09 18:32:43 +0200 | tzh | (~tzh@24.21.73.154) |
| 2023-06-09 18:41:41 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-09 18:45:33 +0200 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) |
| 2023-06-09 18:45:42 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-09 18:54:09 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-09 18:55:51 +0200 | ripspin | (~chatzilla@1.145.167.110) (Remote host closed the connection) |
| 2023-06-09 18:58:48 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-06-09 18:59:54 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10a:3acf:6ef1:80ab) |
| 2023-06-09 19:03:45 +0200 | dcoutts | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 2023-06-09 19:06:28 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-09 19:07:37 +0200 | vandita | (~vandit@84-236-3-115.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-06-09 19:09:28 +0200 | dcoutts | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 240 seconds) |
| 2023-06-09 19:09:42 +0200 | vandita | (~vandit@84-236-1-105.pool.digikabel.hu) |
| 2023-06-09 19:16:28 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-06-09 19:16:33 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-06-09 19:17:23 +0200 | cheater | (~Username@user/cheater) |
| 2023-06-09 19:19:09 +0200 | dcoutts | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 2023-06-09 19:23:10 +0200 | oac | (~oac@72-50-214-210.fttp.usinternet.com) (Quit: oac) |
| 2023-06-09 19:23:25 +0200 | oac | (~oac@72-50-214-210.fttp.usinternet.com) |
| 2023-06-09 19:23:40 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-09 19:24:36 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-09 19:27:00 +0200 | hamzam3 | (~hamzam3@2a02:2788:409:ffb7:2514:c2f3:d86b:bc21) |
| 2023-06-09 19:31:25 +0200 | <hamzam3> | Hello everyone, in the paper of TH it mentions that brackets cannot be nested directly in this manner: |
| 2023-06-09 19:31:36 +0200 | <hamzam3> | [| f [| x |] |] |
| 2023-06-09 19:32:02 +0200 | <hamzam3> | Why is that ? If the bracket is just syntactic sugar for Q Exp construction ? |
| 2023-06-09 19:32:47 +0200 | <hamzam3> | You can't have values of type Q Exp that correspond to a Q Exp expression |
| 2023-06-09 19:33:30 +0200 | <hamzam3> | ? |
| 2023-06-09 19:34:36 +0200 | <Rembane> | Can Exp be Q Exp? |
| 2023-06-09 19:35:19 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-09 19:35:30 +0200 | <Rembane> | Because if it can't it all falls over due to types |
| 2023-06-09 19:35:31 +0200 | <hamzam3> | Can you have a Q Exp that represents a Q Exp ? |
| 2023-06-09 19:36:14 +0200 | <hamzam3> | Also a question, why is the Q construction of type `m Exp -> Q Exp` ? |
| 2023-06-09 19:38:33 +0200 | ubert | (~Thunderbi@2a02:8109:abc0:6434:3dd5:6c62:1f7e:f028) (Remote host closed the connection) |
| 2023-06-09 19:41:52 +0200 | dcoutts | (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 248 seconds) |
| 2023-06-09 19:45:28 +0200 | <hamzam3> | Would something like this be equivalent ? |
| 2023-06-09 19:45:29 +0200 | <hamzam3> | [|f (Q $ return (VarE $ mkName "x"))|] |
| 2023-06-09 19:45:31 +0200 | kriity | (~kriity@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Client closed) |
| 2023-06-09 19:45:41 +0200 | kriity | (~kriity@c-76-155-235-153.hsd1.co.comcast.net) |
| 2023-06-09 19:49:24 +0200 | <hamzam3> | I think that yes |
| 2023-06-09 19:49:30 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-09 19:49:55 +0200 | <hamzam3> | qexp :: Q Exp |
| 2023-06-09 19:49:55 +0200 | <hamzam3> | qexp = [|(Q $ return (UnboundVarE $ mkName "x"))|] |
| 2023-06-09 19:50:03 +0200 | <hamzam3> | u :: Q Exp |
| 2023-06-09 19:50:03 +0200 | <hamzam3> | u = $j |
| 2023-06-09 19:50:17 +0200 | <hamzam3> | u = $qexp |
| 2023-06-09 19:50:23 +0200 | <hamzam3> | sorry |
| 2023-06-09 19:56:39 +0200 | nschoe | (~q@2a01:e0a:8e:a190:2f37:37c7:c:4b7a) |
| 2023-06-09 19:56:55 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 2023-06-09 20:01:25 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-09 20:02:50 +0200 | gurkenglas | (~user@dynamic-046-114-176-077.46.114.pool.telefonica.de) |
| 2023-06-09 20:05:20 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-09 20:06:07 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 240 seconds) |
| 2023-06-09 20:07:35 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-06-09 20:07:51 +0200 | Phytolizer | (~Phytolize@139.138.137.75) |
| 2023-06-09 20:12:18 +0200 | Phytolizer | (~Phytolize@139.138.137.75) (Client Quit) |
| 2023-06-09 20:16:03 +0200 | k`` | (~user@152.7.255.207) |
| 2023-06-09 20:16:10 +0200 | mauke | (~mauke@user/mauke) |
| 2023-06-09 20:17:18 +0200 | <k``> | How do I use the type function `GHC.TypeLits.*` ? I can't figure out how to convince GHC that I don't mean `Type`. |
| 2023-06-09 20:17:38 +0200 | acidjnk | (~acidjnk@p200300d6e7072f890867bba278f7090b.dip0.t-ipconnect.de) |
| 2023-06-09 20:18:27 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 2023-06-09 20:19:49 +0200 | <ncf> | k``: NoStarIsType |
| 2023-06-09 20:21:07 +0200 | <k``> | Thanks. |
| 2023-06-09 20:21:31 +0200 | <k``> | Read "No, Star is Type." |
| 2023-06-09 20:22:00 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-09 20:22:33 +0200 | <EvanR> | beep once if star is type, twice if it's not. |
| 2023-06-09 20:22:49 +0200 | <EvanR> | that settles it, YES YES |
| 2023-06-09 20:23:44 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-09 20:24:26 +0200 | <ncf> | NoNoNoStarIsn'tn'tType |
| 2023-06-09 20:25:34 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-06-09 20:26:35 +0200 | <mauke> | I want StarIsTypeButAsteriskIsNot |
| 2023-06-09 20:27:04 +0200 | <k``> | :set -XNoNonUnicodeSyntax |
| 2023-06-09 20:27:38 +0200 | <mauke> | hell yeah |
| 2023-06-09 20:27:57 +0200 | <mauke> | unfortunately, ASCII is a subset of Unicode |
| 2023-06-09 20:28:39 +0200 | mauke | disables UnicodeSyntax, has to code in EBCDIC |
| 2023-06-09 20:29:07 +0200 | <glguy> | Works on contingency(?) No(,) Money down(!) https://www.youtube.com/watch?v=5yuL6PcgSgM |
| 2023-06-09 20:30:28 +0200 | pavonia | (~user@user/siracusa) |
| 2023-06-09 20:31:57 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-06-09 20:32:15 +0200 | JimL | (~quassel@89.162.16.26) (Quit: No Ping reply in 180 seconds.) |
| 2023-06-09 20:33:29 +0200 | JimL | (~quassel@89.162.16.26) |
| 2023-06-09 20:38:58 +0200 | sm[i] | (~smi]@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-06-09 20:50:14 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 2023-06-09 20:51:23 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 246 seconds) |
| 2023-06-09 21:00:08 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 240 seconds) |
| 2023-06-09 21:00:33 +0200 | EvanR | (~EvanR@user/evanr) |
| 2023-06-09 21:06:27 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-06-09 21:09:27 +0200 | SoF | (~skius@user/skius) |
| 2023-06-09 21:09:49 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-09 21:11:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-06-09 21:12:57 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 265 seconds) |
| 2023-06-09 21:15:17 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-09 21:17:12 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-09 21:20:47 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-09 21:23:29 +0200 | oac | (~oac@72-50-214-210.fttp.usinternet.com) (Quit: oac) |
| 2023-06-09 21:23:46 +0200 | oac | (~oac@72-50-214-210.fttp.usinternet.com) |
| 2023-06-09 21:24:59 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 246 seconds) |
| 2023-06-09 21:25:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-06-09 21:26:42 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2023-06-09 21:28:30 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-06-09 21:32:25 +0200 | vandita | (~vandit@84-236-1-105.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-06-09 21:33:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10a:3acf:6ef1:80ab) (Remote host closed the connection) |
| 2023-06-09 21:34:30 +0200 | vandita | (~vandit@80-95-85-0.pool.digikabel.hu) |
| 2023-06-09 21:39:32 +0200 | foul_owl | (~kerry@71.212.137.212) |
| 2023-06-09 21:44:15 +0200 | hisa380 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-09 21:45:07 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-06-09 21:45:07 +0200 | hisa380 | hisa38 |
| 2023-06-09 21:47:10 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-09 21:55:21 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-09 21:57:07 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-09 21:58:55 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:d10a:3acf:6ef1:80ab) |
| 2023-06-09 21:59:24 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-09 22:00:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-09 22:00:53 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-06-09 22:01:35 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-09 22:02:03 +0200 | hamzam3 | (~hamzam3@2a02:2788:409:ffb7:2514:c2f3:d86b:bc21) (Quit: Leaving) |
| 2023-06-09 22:10:23 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-09 22:11:00 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-09 22:14:04 +0200 | diod | (~diod@bras-base-london140cw-grc-07-142-112-183-155.dsl.bell.ca) |
| 2023-06-09 22:14:15 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 2023-06-09 22:23:26 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-1451-bf6d-2568-8afd.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2023-06-09 22:23:58 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-f598-e22b-a669-b558.rev.sfr.net) |
| 2023-06-09 22:28:28 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 2023-06-09 22:28:46 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-06-09 22:37:35 +0200 | nschoe | (~q@2a01:e0a:8e:a190:2f37:37c7:c:4b7a) (Quit: Switching off) |
| 2023-06-09 22:38:51 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-06-09 22:44:43 +0200 | biberu | (~biberu@user/biberu) |
| 2023-06-09 22:47:28 +0200 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-06-09 22:47:33 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2023-06-09 22:48:58 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-09 22:49:47 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-09 22:49:59 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-09 22:50:27 +0200 | dtman34 | (~dtman34@76.156.89.180) |
| 2023-06-09 22:51:27 +0200 | k`` | (~user@152.7.255.207) (Ping timeout: 250 seconds) |
| 2023-06-09 22:55:45 +0200 | dtman34 | (~dtman34@76.156.89.180) (Ping timeout: 240 seconds) |
| 2023-06-09 23:06:30 +0200 | kriity | (~kriity@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Client closed) |
| 2023-06-09 23:23:49 +0200 | oac | (~oac@72-50-214-210.fttp.usinternet.com) (Quit: oac) |
| 2023-06-09 23:24:04 +0200 | oac | (~oac@72-50-214-210.fttp.usinternet.com) |
| 2023-06-09 23:25:15 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:924c:d471:fef0:8a6b) |
| 2023-06-09 23:28:13 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-06-09 23:29:11 +0200 | dtman34_ | (~dtman34@2601:447:d000:93c9:34ad:ec7c:770c:58f3) |
| 2023-06-09 23:29:35 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:924c:d471:fef0:8a6b) (Ping timeout: 250 seconds) |
| 2023-06-09 23:32:09 +0200 | diod | (~diod@bras-base-london140cw-grc-07-142-112-183-155.dsl.bell.ca) (Remote host closed the connection) |
| 2023-06-09 23:32:28 +0200 | diod | (~diod@bras-base-london140cw-grc-07-142-112-183-155.dsl.bell.ca) |
| 2023-06-09 23:34:42 +0200 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) (Quit: WeeChat 3.8) |
| 2023-06-09 23:36:42 +0200 | diod | (~diod@bras-base-london140cw-grc-07-142-112-183-155.dsl.bell.ca) () |
| 2023-06-09 23:54:02 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |