Logs on 2023-06-10 (liberachat/#haskell)
| 00:02:16 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 00:07:37 | × | oo_miguel quits (~Thunderbi@77.252.47.84) (Ping timeout: 240 seconds) |
| 00:08:05 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 00:13:46 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:d10a:3acf:6ef1:80ab) |
| 00:14:16 | × | foul_owl quits (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 00:17:33 | → | foul_owl joins (~kerry@71.212.137.212) |
| 00:17:34 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 00:21:48 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 00:29:37 | × | dcoutts quits (~duncan@54.42.150.83.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 00:35:43 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 00:39:12 | → | notzmv joins (~zmv@user/notzmv) |
| 00:39:16 | → | chromoblob joins (~user@37.113.180.121) |
| 00:43:25 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 00:44:58 | × | foul_owl quits (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 00:49:33 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 00:51:31 | × | jero98772 quits (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 250 seconds) |
| 00:58:48 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 00:59:13 | × | mi7 quits (~mi7@76.132.133.207) (Read error: Connection reset by peer) |
| 01:02:51 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 01:03:30 | → | jero98772 joins (~jero98772@2800:484:1d7f:5d36::1) |
| 01:07:38 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 01:10:48 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:10:57 | → | foul_owl joins (~kerry@71.212.137.212) |
| 01:15:31 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 01:16:57 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:24:15 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:27:50 | × | haritz quits (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 01:27:59 | → | haritzondo joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 01:30:57 | → | merijn joins (~merijn@145.90.225.5) |
| 01:46:07 | × | vandita quits (~vandit@80-95-85-0.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 01:48:01 | → | vandita joins (~vandit@84-236-1-108.pool.digikabel.hu) |
| 02:02:23 | → | falafel joins (~falafel@136.228.104.88) |
| 02:03:47 | <Inst_> | hmmm |
| 02:03:52 | <Inst_> | re bentley quicksort, this is pretty good |
| 02:04:19 | × | merijn quits (~merijn@145.90.225.5) (Ping timeout: 250 seconds) |
| 02:07:56 | → | dtman34 joins (~dtman34@2601:447:d000:93c9:5fba:8e72:71c9:3ed8) |
| 02:10:40 | <Inst_> | https://paste.tomsmeding.com/bv3KHVfa |
| 02:10:48 | <Inst_> | just gotta clean the undefined, but it looks pretty terse |
| 02:13:28 | <Inst_> | ehhh, not using forAccumM correctly, but w/e, should be able to be competitive with a py or julia implementation in terseness |
| 02:15:26 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:16:53 | × | hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 268 seconds) |
| 02:17:06 | → | hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 02:19:03 | × | haritzondo quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 02:19:20 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:19:20 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:19:20 | finn_elija | is now known as FinnElija |
| 02:24:53 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 02:26:05 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 02:27:34 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 02:27:34 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 02:27:34 | → | haritz joins (~hrtz@user/haritz) |
| 02:32:15 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 02:32:43 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 02:32:43 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 02:32:43 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:32:59 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:33:28 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 02:34:39 | × | falafel quits (~falafel@136.228.104.88) (Ping timeout: 250 seconds) |
| 02:37:15 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:d10a:3acf:6ef1:80ab) (Ping timeout: 250 seconds) |
| 02:42:28 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 02:43:12 | → | ddellacosta joins (~ddellacos@146.70.171.139) |
| 02:47:43 | × | td_ quits (~td@i53870936.versanet.de) (Ping timeout: 268 seconds) |
| 02:49:19 | → | td_ joins (~td@i5387090B.versanet.de) |
| 02:49:22 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 02:52:46 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 02:55:33 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 02:56:05 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 02:56:58 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 268 seconds) |
| 02:57:14 | → | barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 03:13:27 | × | Batzy quits (~quassel@user/batzy) (Read error: Connection reset by peer) |
| 03:16:20 | <Inst_> | https://paste.tomsmeding.com/faan1VhU |
| 03:16:34 | × | jero98772 quits (~jero98772@2800:484:1d7f:5d36::1) (Remote host closed the connection) |
| 03:16:34 | → | Batzy joins (~quassel@user/batzy) |
| 03:16:58 | <Inst_> | if gurkenglas is still interested, I ended up using forAccumM as suggested, although, obv, it makes clear we sort of want forAccumM_ |
| 03:17:49 | <Inst_> | i'm wondering if I can get rid of the >>= in the lambda, i.e, switch ti to applicative only |
| 03:18:17 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 03:18:37 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 03:27:58 | × | dtman34 quits (~dtman34@2601:447:d000:93c9:5fba:8e72:71c9:3ed8) (Ping timeout: 250 seconds) |
| 03:31:38 | → | dtman34 joins (~dtman34@76.156.89.180) |
| 03:32:13 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 03:33:40 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 03:37:40 | × | tv quits (~tv@user/tv) (Ping timeout: 268 seconds) |
| 03:38:03 | → | tv joins (~tv@user/tv) |
| 03:38:05 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 03:38:05 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 03:38:57 | → | mrmr joins (~mrmr@user/mrmr) |
| 03:39:39 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 03:40:35 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:43:01 | × | dtman34 quits (~dtman34@76.156.89.180) (Ping timeout: 256 seconds) |
| 03:43:15 | <Inst_> | slowly brainwashing my Clojurian fanboy acquaintance into liking Haskell, or at least Idris |
| 03:43:19 | Inst_ | is now known as Inst |
| 03:43:34 | <Inst> | "hey ,if you hate Haskell, leran Idris so you can at least know what you're talking about" |
| 03:43:36 | <Inst> | bait accepted |
| 03:44:25 | <Inst> | https://paste.tomsmeding.com/67OhGSKS |
| 03:44:32 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 03:45:46 | <Inst> | wondering if this version is "sinful" in that it seems to be passing an effectively unused value around, i.e, will the optimizer take away the penalty for trying to pass the mutvar around? |
| 03:48:33 | → | falafel joins (~falafel@136.228.104.88) |
| 03:49:20 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 248 seconds) |
| 03:55:55 | → | dsrt^ joins (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) |
| 03:58:57 | <Inst> | now i sort of want an unsafeInterleaveST |
| 03:58:59 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 03:59:15 | <Inst> | oh, it exists |
| 04:06:56 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 04:07:52 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 04:11:37 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 04:19:50 | → | pavonia_ joins (~user@user/siracusa) |
| 04:21:27 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 268 seconds) |
| 04:22:00 | pavonia_ | is now known as pavonia |
| 04:22:28 | × | shapr quits (~user@2600:1700:c640:3100:94b7:1b2e:f0d2:a517) (Ping timeout: 240 seconds) |
| 04:23:57 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 04:23:59 | → | dtman34 joins (~dtman34@2601:447:d000:93c9:aced:473b:ec74:db87) |
| 04:24:15 | → | chromoblob joins (~user@37.113.180.121) |
| 04:28:05 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 04:28:37 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 04:30:43 | × | dtman34 quits (~dtman34@2601:447:d000:93c9:aced:473b:ec74:db87) (Ping timeout: 265 seconds) |
| 04:34:52 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 04:39:08 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 04:40:34 | × | vandita quits (~vandit@84-236-1-108.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 04:42:15 | → | vandita joins (~vandit@87-97-82-134.pool.digikabel.hu) |
| 04:44:53 | → | coot_ joins (~coot@89.69.206.216) |
| 04:47:03 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 256 seconds) |
| 04:47:03 | coot_ | is now known as coot |
| 04:51:49 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 04:55:15 | → | chromoblob joins (~user@37.113.180.121) |
| 04:56:21 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 04:56:26 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 04:57:07 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 04:59:09 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 05:00:37 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 05:02:09 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 05:05:14 | × | Helle quits (~helle@user/Helle) (Ping timeout: 268 seconds) |
| 05:05:21 | → | Helle joins (~helle@user/Helle) |
| 05:08:28 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 05:12:45 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 05:13:43 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 05:13:44 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 05:13:47 | allbery_b | is now known as geekosaur |
| 05:13:57 | × | coot quits (~coot@89.69.206.216) (Read error: Connection reset by peer) |
| 05:14:12 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 05:16:31 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 05:17:34 | × | incertia quits (~incertia@209.122.71.127) (Ping timeout: 268 seconds) |
| 05:18:11 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 05:18:29 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 05:18:29 | → | incertia joins (~incertia@209.122.71.127) |
| 05:19:09 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 05:23:53 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 05:30:11 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 05:31:32 | → | gawen joins (~gawen@user/gawen) |
| 05:32:35 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 05:36:07 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 05:36:16 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 05:40:37 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 05:44:56 | → | chromoblob joins (~user@37.113.180.121) |
| 05:45:05 | → | dysfigured joins (~dfg@dfg.rocks) |
| 05:45:11 | → | trev joins (~trev@user/trev) |
| 05:45:56 | × | dfg quits (~dfg@user/dfg) (Ping timeout: 268 seconds) |
| 05:51:48 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 05:52:41 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 05:57:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 05:58:27 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 06:01:51 | × | hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 06:02:12 | → | hrberg joins (~quassel@171.79-160-161.customer.lyse.net) |
| 06:05:27 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 06:05:40 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 268 seconds) |
| 06:07:23 | → | remexre joins (~remexre@user/remexre) |
| 06:21:14 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 06:25:37 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 06:27:21 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 06:28:48 | × | falafel quits (~falafel@136.228.104.88) (Ping timeout: 248 seconds) |
| 06:32:52 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 06:35:46 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Remote host closed the connection) |
| 06:36:27 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 06:37:44 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 06:39:08 | → | notzmv joins (~zmv@user/notzmv) |
| 06:40:49 | × | tureba quits (~tureba@tureba.org) (Ping timeout: 268 seconds) |
| 06:41:29 | → | weibo5555555 joins (~user@resnet-nat44-128-114-255-129.ucsc.edu) |
| 06:43:41 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 06:46:50 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 06:48:50 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 06:50:45 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 250 seconds) |
| 06:53:05 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 06:53:09 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 06:53:48 | → | tureba joins (~tureba@tureba.org) |
| 06:59:14 | → | mi7 joins (~mi7@76.132.133.207) |
| 07:09:07 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 07:09:49 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 07:12:09 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 07:20:10 | <c_wraith> | it's *incredibly* unsafe |
| 07:20:19 | <c_wraith> | but sometimes it's what you need |
| 07:20:54 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 07:22:28 | <probie> | I don't think it's what is needed here |
| 07:24:29 | → | dtman34 joins (~dtman34@76.156.89.180) |
| 07:25:37 | → | acidjnk joins (~acidjnk@p200300d6e7072f89493c4d8adcfe77e7.dip0.t-ipconnect.de) |
| 07:25:57 | × | kilolympus quits (~kilolympu@213.144.144.24) (Quit: See you later! :)) |
| 07:26:56 | → | notzmv joins (~zmv@user/notzmv) |
| 07:29:55 | → | gurkenglas joins (~user@dynamic-046-114-178-236.46.114.pool.telefonica.de) |
| 07:30:45 | × | dtman34 quits (~dtman34@76.156.89.180) (Ping timeout: 240 seconds) |
| 07:33:55 | → | biberu\ joins (~biberu@user/biberu) |
| 07:35:05 | × | hololeap quits (~quassel@user/hololeap) (Ping timeout: 268 seconds) |
| 07:35:14 | → | hololeap joins (~quassel@user/hololeap) |
| 07:36:19 | × | mcglk quits (~mcglk@131.191.19.145) (Ping timeout: 268 seconds) |
| 07:38:10 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 268 seconds) |
| 07:38:10 | biberu\ | is now known as biberu |
| 07:42:53 | → | hisa386 joins (~hisa38@104.181.102.238) |
| 07:43:08 | → | mcglk joins (~mcglk@131.191.19.145) |
| 07:44:25 | × | hisa38 quits (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 240 seconds) |
| 07:44:25 | hisa386 | is now known as hisa38 |
| 07:49:25 | → | zincy joins (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 07:49:26 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 07:56:23 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 08:00:06 | → | gmg joins (~user@user/gehmehgeh) |
| 08:01:36 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 08:01:48 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
| 08:01:57 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 08:02:50 | × | Patternmaster quits (~georg@user/Patternmaster) (Ping timeout: 268 seconds) |
| 08:03:03 | → | Patternmaster joins (~georg@li1192-118.members.linode.com) |
| 08:03:03 | × | Patternmaster quits (~georg@li1192-118.members.linode.com) (Changing host) |
| 08:03:03 | → | Patternmaster joins (~georg@user/Patternmaster) |
| 08:03:27 | × | oljenkins quits (~philipp@p5dec4bb3.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 08:04:41 | → | oljenkins joins (~philipp@p5dec4bb3.dip0.t-ipconnect.de) |
| 08:05:05 | → | ripspin joins (~chatzilla@1.145.142.154) |
| 08:06:28 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 08:13:35 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 08:18:29 | → | oo_miguel joins (~Thunderbi@77.252.47.84) |
| 08:18:37 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 08:19:08 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-f598-e22b-a669-b558.rev.sfr.net) |
| 08:27:34 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:33:13 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 08:39:47 | → | ru0mad joins (~ru0mad@82.66.103.117) |
| 08:42:34 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 08:47:19 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 256 seconds) |
| 08:50:07 | → | dtman34 joins (~dtman34@2601:447:d000:93c9:bdda:f673:5d0e:d1f) |
| 08:52:40 | × | ru0mad quits (~ru0mad@82.66.103.117) (Remote host closed the connection) |
| 08:53:09 | → | ru0mad joins (~ru0mad@titan.ruomad.net) |
| 08:53:54 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 08:54:34 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 08:56:09 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 08:58:57 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 08:59:39 | → | titibandit joins (~titibandi@user/titibandit) |
| 09:00:36 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:00:37 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 09:01:48 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 09:01:48 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 09:01:48 | finn_elija | is now known as FinnElija |
| 09:02:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 09:03:26 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 09:05:07 | × | ru0mad quits (~ru0mad@titan.ruomad.net) (Ping timeout: 240 seconds) |
| 09:05:34 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 09:05:52 | → | ru0mad joins (~ru0mad@titan.ruomad.net) |
| 09:06:21 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 09:06:21 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 09:06:28 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 09:06:29 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 09:07:21 | × | weibo5555555 quits (~user@resnet-nat44-128-114-255-129.ucsc.edu) (Remote host closed the connection) |
| 09:07:48 | Lord_of_Life_ | is now known as Lord_of_Life |
| 09:08:59 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 09:09:56 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 246 seconds) |
| 09:10:46 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 09:12:22 | → | chomwitt joins (~chomwitt@2a02:587:7a17:7500:1ac0:4dff:fedb:a3f1) |
| 09:15:11 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 246 seconds) |
| 09:19:55 | × | remedan quits (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 268 seconds) |
| 09:20:14 | → | chromoblob joins (~user@37.113.180.121) |
| 09:20:15 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 09:20:16 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Client Quit) |
| 09:20:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 09:20:42 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 09:21:07 | → | remedan joins (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 09:22:08 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 09:26:45 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 09:28:13 | → | sllk_ joins (~sllk@vps-73d553ae.vps.ovh.net) |
| 09:29:06 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 09:29:06 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 09:29:06 | finn_elija | is now known as FinnElija |
| 09:30:24 | × | sllk quits (~sllk@user/sllk) (Ping timeout: 268 seconds) |
| 09:30:51 | → | chromoblob joins (~user@37.113.180.121) |
| 09:31:38 | × | haveo quits (~haveo@sl35.iuwt.fr) (Ping timeout: 268 seconds) |
| 09:31:47 | → | haveo joins (~haveo@sl35.iuwt.fr) |
| 09:33:45 | × | phma quits (~phma@2001:5b0:211f:ccc8:19ff:742c:33:de25) (Read error: Connection reset by peer) |
| 09:34:10 | → | phma joins (phma@2001:5b0:211f:ccc8:e54d:5953:3aa6:3405) |
| 09:36:44 | × | tzh quits (~tzh@24.21.73.154) (Quit: zzz) |
| 09:37:48 | × | dontdieych quits (~alarm@132.226.169.184) (Ping timeout: 268 seconds) |
| 09:39:38 | → | dontdieych joins (~alarm@132.226.169.184) |
| 09:42:49 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:fcee:6fb9:64d2:31ae) |
| 09:43:30 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-f598-e22b-a669-b558.rev.sfr.net) (Remote host closed the connection) |
| 09:44:37 | × | taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-f598-e22b-a669-b558.rev.sfr.net) (Quit: WeeChat 3.8) |
| 09:45:38 | → | yaroot_ joins (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 09:46:13 | × | ru0mad quits (~ru0mad@titan.ruomad.net) (Remote host closed the connection) |
| 09:46:42 | × | yaroot quits (~yaroot@p3001131-ipngn7601souka.saitama.ocn.ne.jp) (Ping timeout: 250 seconds) |
| 09:46:42 | yaroot_ | is now known as yaroot |
| 09:47:08 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:fcee:6fb9:64d2:31ae) (Ping timeout: 250 seconds) |
| 09:52:54 | → | justache- joins (~justache@user/justache) |
| 09:53:49 | → | hamzam3 joins (~hamzam3@2a02:2788:409:ffb7:ebb0:3043:a8a8:755f) |
| 09:53:50 | × | justache quits (~justache@user/justache) (Ping timeout: 268 seconds) |
| 10:02:58 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Quit: WeeChat 3.8) |
| 10:03:08 | × | gurkenglas quits (~user@dynamic-046-114-178-236.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 10:03:18 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 10:06:12 | × | yaroot quits (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Ping timeout: 250 seconds) |
| 10:06:37 | → | yaroot joins (~yaroot@p3129224-ipngn5601souka.saitama.ocn.ne.jp) |
| 10:10:59 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Quit: WeeChat 3.8) |
| 10:11:17 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 10:14:05 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 10:14:20 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Client Quit) |
| 10:14:38 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 10:14:50 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Client Quit) |
| 10:15:30 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 10:18:13 | → | gurkenglas joins (~user@dynamic-046-114-178-236.46.114.pool.telefonica.de) |
| 10:20:56 | → | chromoblob joins (~user@37.113.180.121) |
| 10:22:08 | × | vandita quits (~vandit@87-97-82-134.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 10:24:17 | → | vandita joins (~vandit@78-131-74-127.pool.digikabel.hu) |
| 10:27:21 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 10:32:40 | → | taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-1d58-656b-ba1a-a353.rev.sfr.net) |
| 10:33:55 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 10:38:12 | → | kriity joins (~kriity@c-76-155-235-153.hsd1.co.comcast.net) |
| 10:38:49 | × | kriity quits (~kriity@c-76-155-235-153.hsd1.co.comcast.net) (Client Quit) |
| 10:41:14 | → | dcoutts joins (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 10:42:24 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 265 seconds) |
| 10:43:01 | → | titibandit joins (~titibandi@user/titibandit) |
| 10:45:11 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 10:53:18 | → | tremon joins (~tremon@83.80.159.219) |
| 11:00:46 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 11:01:13 | × | jle` quits (~jle`@23.240.75.236) (Ping timeout: 250 seconds) |
| 11:03:20 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 11:05:20 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:07:05 | × | solaire quits (~solaire@024-158-119-196.res.spectrum.com) (Ping timeout: 240 seconds) |
| 11:08:15 | → | img joins (~img@user/img) |
| 11:09:08 | × | dcoutts quits (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 240 seconds) |
| 11:10:03 | → | dcoutts joins (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 11:10:55 | × | gurkenglas quits (~user@dynamic-046-114-178-236.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 11:11:58 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-1d58-656b-ba1a-a353.rev.sfr.net) |
| 11:15:34 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:16:11 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 11:20:47 | → | img joins (~img@user/img) |
| 11:22:27 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 11:23:52 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 11:29:29 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-1d58-656b-ba1a-a353.rev.sfr.net) (Remote host closed the connection) |
| 11:30:29 | <Inst> | the unsafeInterleaveST doesn't help |
| 11:30:45 | <Inst> | and I've had experience using unsafeInterleaveIO to force an IO action to be lazy |
| 11:31:07 | <Inst> | everytime someone uses readFile, they're technically using unsafeInterleaveIO |
| 11:31:49 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 11:34:46 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 11:39:28 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 11:44:55 | → | ru0mad joins (~ru0mad@titan.ruomad.net) |
| 11:45:17 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 11:45:48 | × | ru0mad quits (~ru0mad@titan.ruomad.net) (Remote host closed the connection) |
| 11:46:16 | → | ru0mad joins (~ru0mad@titan.ruomad.net) |
| 11:46:59 | <int-e> | help with what though |
| 11:51:00 | × | ru0mad quits (~ru0mad@titan.ruomad.net) (Ping timeout: 268 seconds) |
| 12:05:48 | → | lortabac joins (~lortabac@2001:620:130:6092:1b1e:fdb3:d3f4:a94b) |
| 12:09:30 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 12:10:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 12:13:40 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 12:13:59 | <hamzam3> | Hello, I have a question about TH |
| 12:14:23 | <hamzam3> | Is there a way to reify a declaration and turn it into an expression ? |
| 12:17:29 | <hamzam3> | And to what extent is reification incomplete, because it seems like there is a lot of compiler information still not accessible (like function body) ? |
| 12:17:40 | × | kraftwerk28 quits (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 12:18:16 | → | jero98772 joins (~jero98772@190.158.28.80) |
| 12:18:44 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:18:51 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 12:21:37 | → | img joins (~img@user/img) |
| 12:21:50 | × | abrar_ quits (~abrar@pool-72-78-199-186.phlapa.fios.verizon.net) (Ping timeout: 268 seconds) |
| 12:22:14 | → | abrar_ joins (~abrar@pool-72-78-199-186.phlapa.fios.verizon.net) |
| 12:29:20 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:32:35 | → | img joins (~img@user/img) |
| 12:34:31 | → | bliminse joins (~bliminse@user/bliminse) |
| 12:35:23 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:37:20 | × | img quits (~img@user/img) (Client Quit) |
| 12:39:03 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 12:39:03 | jinsun | is now known as Guest9059 |
| 12:39:03 | × | Guest9059 quits (~jinsun@user/jinsun) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 12:39:03 | jinsun__ | is now known as jinsun |
| 12:39:21 | → | elain4 joins (~textual@2601:5c0:8200:990:8c48:fc11:601:cbcc) |
| 12:40:39 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 12:42:13 | → | img joins (~img@user/img) |
| 12:45:20 | × | vandita quits (~vandit@78-131-74-127.pool.digikabel.hu) (Ping timeout: 248 seconds) |
| 12:45:53 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 12:47:02 | → | vandita joins (~vandit@188-143-101-121.pool.digikabel.hu) |
| 12:47:14 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 12:51:46 | × | elain4 quits (~textual@2601:5c0:8200:990:8c48:fc11:601:cbcc) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:52:47 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 12:57:38 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 12:58:11 | × | hamzam3 quits (~hamzam3@2a02:2788:409:ffb7:ebb0:3043:a8a8:755f) (Ping timeout: 265 seconds) |
| 13:02:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 13:03:22 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 13:08:05 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 13:09:37 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 13:13:37 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 13:14:08 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 13:18:38 | → | Pickchea joins (~private@user/pickchea) |
| 13:20:08 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 13:22:56 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 13:23:01 | × | acidjnk quits (~acidjnk@p200300d6e7072f89493c4d8adcfe77e7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 13:25:10 | → | ubert joins (~Thunderbi@p200300ecdf00020fa50f8d1a24e7a70c.dip0.t-ipconnect.de) |
| 13:25:33 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 13:27:12 | × | euandreh quits (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 13:29:53 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 13:30:27 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 13:31:32 | × | lortabac quits (~lortabac@2001:620:130:6092:1b1e:fdb3:d3f4:a94b) (Ping timeout: 265 seconds) |
| 13:37:43 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 13:40:49 | → | Guest|83 joins (~Guest|83@p4fdf70f3.dip0.t-ipconnect.de) |
| 13:41:05 | <Guest|83> | Hallo |
| 13:41:15 | <geekosaur> | hi |
| 13:42:18 | <Guest|83> | ich möchte ghci installieren, weiß aber nicht wie. Habe es mehrmals versucht, jedoch ist es mir nicht gelungen. Können Sie mir bitte weiterhelfen ? |
| 13:42:37 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 13:43:01 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 13:43:14 | <mauke> | what operating system are you using, and what did you try? |
| 13:43:26 | <jade[m]> | ghci ist ein teil von ghc und wird darüber verteilt. |
| 13:43:57 | <jade[m]> | und es wäre gut zu wissen auf welchem OS du bist, wie mauke gefragt hat |
| 13:44:15 | <Guest|83> | ich benutze windows |
| 13:44:55 | <mauke> | what did you try and how did it fail? |
| 13:45:53 | <jade[m]> | https://www.haskell.org/ghcup/# hier sollte es einen command geben mit dem du ghcup auf windows installieren kannst |
| 13:46:14 | <jade[m]> | darüber kannst du dann ghc installieren, was es dir ermöglichen sollte ghci zu verwenden |
| 13:46:26 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:fcee:6fb9:64d2:31ae) |
| 13:47:57 | <Guest|83> | ich habe unter den Downloads versucht GHC zu installieren. Allerdings muss ich das mit dem terminal machen, weiß aber leider nicht wie. |
| 13:48:01 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 13:48:46 | <jade[m]> | weißt du nicht wie man ein terminal bedient? |
| 13:49:11 | <mauke> | isn't there a graphical installer? |
| 13:49:12 | <Guest|83> | nicht so ganz |
| 13:49:24 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 13:50:28 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:fcee:6fb9:64d2:31ae) (Ping timeout: 240 seconds) |
| 13:50:39 | <jade[m]> | Guest|83: das ist leider nicht ganz unwichtig wenn es darum geht ghc(up) zu verwenden. Vielleicht könntest du damit anfangen und die basics der kommandozeile zu lernen |
| 13:50:46 | <jade[m]> | mauke: I'm not sure |
| 13:50:56 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:51:19 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 13:51:21 | <Guest|83> | ok danke dir |
| 13:51:30 | <Guest|83> | werde es versuchen |
| 13:51:36 | <mauke> | on the other hand, doesn't ghci necessarily mean using a terminal? |
| 13:51:51 | <mauke> | I mean, it's basically a haskell shell, right? |
| 13:52:03 | <jade[m]> | mauke: that's what I told them and suggested they learn to use the terminal first and foremost :) |
| 13:53:12 | <geekosaur> | winghci still exists somewhere… |
| 13:54:00 | <geekosaur> | but yes, your installation options on windows are ghcup and chocolatey, which both are terminal based |
| 13:56:06 | <mauke> | consider switching to linux |
| 13:56:12 | <mauke> | we have graphical package managers :-D |
| 13:56:28 | <geekosaur> | and `ghcup tui` 🙂 |
| 13:57:10 | <mauke> | ghcup is nice but semi-broken |
| 13:57:49 | <jade[m]> | how so? |
| 13:58:54 | <mauke> | it blindly assumes that the terminal supports alternate screens |
| 13:59:41 | <jade[m]> | oh |
| 14:00:05 | <geekosaur> | mm. I know maerwald and I discussed support for scrolling regions (not supported on old ANSI.SYS for example), but not alternate screens |
| 14:00:30 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 14:01:01 | × | vandita quits (~vandit@188-143-101-121.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 14:01:25 | → | __monty__ joins (~toonn@user/toonn) |
| 14:01:54 | <geekosaur> | ANSI X3.64 requires less than people tend to assume |
| 14:02:13 | justache- | is now known as justache |
| 14:02:29 | <geekosaur> | (and alternate screens at least used to be a feature some people deliberately disabled in termcap/terminfo) |
| 14:02:41 | → | vandita joins (~vandit@77-234-86-169.pool.digikabel.hu) |
| 14:03:00 | mauke | raises hand |
| 14:03:06 | <mauke> | it's also an option in tmux |
| 14:03:33 | <mauke> | and I disable it because it makes less -F unusable |
| 14:04:12 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 14:06:58 | <mauke> | https://imgur.com/a/e9jReRN this is what it looks like when you use ghcup to install HLS and exit |
| 14:08:26 | <ManofLetters[m]> | how do I coerce a function of type `(Eq a, Foo a) => a -> a` to type `Eq a => a -> a`? If Foo is Num, unsafeCoerce works great, but if Foo has no methods it fails: https://play.haskell.org/saved/5PL9vRvg |
| 14:08:34 | <jade[m]> | oh, I think TTYs also don't have alternate screens iirc |
| 14:08:43 | <jade[m]> | that's why using vim in one sucks |
| 14:08:50 | <jade[m]> | atleast after exit |
| 14:13:42 | <hololeap> | @hackage free |
| 14:13:42 | <lambdabot> | https://hackage.haskell.org/package/free |
| 14:15:40 | <ncf> | ManofLetters[m]: note that it also doesn't work if you omit `Foo a` in the type signature |
| 14:15:53 | <ncf> | my guess is that g2 only works accidentally because of the defaulting rules for Num |
| 14:16:08 | <mauke> | jade[m]: what do you mean? |
| 14:16:34 | × | robertm quits (robertm@lattice.rojoma.com) (Quit: WeeChat 3.0) |
| 14:17:11 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:17:18 | × | Guest|83 quits (~Guest|83@p4fdf70f3.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 14:17:40 | jade[m] | uploaded an image: (177KiB) < https://libera.ems.host/_matrix/media/v3/download/the-apothecary.club/qzPNjXLCLRCDSPcnBdpwpwCF/20230610_161727.jpg > |
| 14:19:10 | → | robertm joins (robertm@lattice.rojoma.com) |
| 14:19:17 | <mauke> | I don't think that's vim |
| 14:19:36 | <jade[m]> | yeah no, i wanted to demonstrate with the same example as you |
| 14:19:56 | <ManofLetters[m]> | ncf: hah, funny, thank you; it also fails if I put Ord instead of Foo and, in hindsight, it makes sense, because it would need to create the Ord dictionary out of thin air; however, for Foo, which has empty dictionary, it could work... :( |
| 14:20:26 | <ncf> | instance Foo a where |
| 14:20:39 | <ncf> | now it works :) |
| 14:21:19 | <ManofLetters[m]> | oh dear the Foo I need this for is from an external library and it doesn't have the where |
| 14:21:37 | → | ub joins (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) |
| 14:21:49 | <ManofLetters[m]> | this is the Foo: https://hackage.haskell.org/package/orthotope-0.1.2.0/docs/Data-Array-Internal-Shape.html#t:Permutation |
| 14:22:08 | × | ubert quits (~Thunderbi@p200300ecdf00020fa50f8d1a24e7a70c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 14:22:08 | ub | is now known as ubert |
| 14:22:43 | <ncf> | (actually, it works after you η-expand: g x = unsafeCoerce (f x)) |
| 14:23:21 | <ncf> | (or use ScopedTypeVariables and apply f to the same a) |
| 14:23:50 | <ncf> | what do you mean it doesn't have the where? |
| 14:24:34 | <ManofLetters[m]> | see its source code, there is no where |
| 14:24:44 | <ncf> | so what? |
| 14:24:58 | <ncf> | isn't that just syntax? |
| 14:25:02 | <geekosaur> | yes |
| 14:25:17 | <geekosaur> | dropping `where` is a minor ghc extension that should mean the same thing |
| 14:25:34 | <geekosaur> | (actually it may be an H2010 extension over H98) |
| 14:25:46 | <ManofLetters[m]> | well, this doesn't work, what am I missing: https://play.haskell.org/saved/OyqNBzPI |
| 14:26:07 | <ncf> | instance Foo a |
| 14:26:21 | <ncf> | also you can drop unsafeCoerce now |
| 14:28:00 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 14:28:20 | <ManofLetters[m]> | if I add `instance Ord a => Foo a` it still doesn't work |
| 14:28:24 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 14:28:57 | <ManofLetters[m]> | the point is that I know the a type I generated at runtime is safe in this context, but I can't express this on the type level |
| 14:29:00 | <ManofLetters[m]> | so I have to cheat |
| 14:30:06 | <geekosaur> | I feel like that's what `Typeable` and `cast` are for? |
| 14:30:20 | <ManofLetters[m]> | ok, thanks a lot; I will try that |
| 14:30:31 | ManofLetters[m] | has to vanish ATM |
| 14:31:06 | <geekosaur> | Typeable carries the witness that it's valid, cast uses the witness to "safeCoerce" |
| 14:34:37 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 14:34:53 | <ManofLetters[m]> | in any case, here's the last version, failing; I will try if Typeable and cast can make it work: https://play.haskell.org/saved/aZZxX1HQ |
| 14:35:05 | ManofLetters[m] | really vanishes |
| 14:45:59 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 14:50:28 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 14:51:40 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 14:52:30 | → | gurkenglas joins (~user@dynamic-046-114-178-236.46.114.pool.telefonica.de) |
| 14:55:39 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 14:56:08 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 14:59:25 | × | euandreh quits (~Thunderbi@189.6.18.7) (Ping timeout: 240 seconds) |
| 15:03:50 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 15:06:35 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 15:08:43 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 15:10:57 | × | euandreh quits (~Thunderbi@189.6.18.7) (Ping timeout: 256 seconds) |
| 15:11:47 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 15:12:31 | × | Nosrep quits (~Nosrep@user/nosrep) (Quit: Leaving) |
| 15:12:33 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 15:12:51 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 15:12:51 | → | Nosrep joins (~Nosrep@user/nosrep) |
| 15:13:13 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 256 seconds) |
| 15:17:58 | → | econo joins (uid147250@user/econo) |
| 15:19:34 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 15:24:22 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 15:33:20 | × | vandita quits (~vandit@77-234-86-169.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 15:34:38 | → | vandita joins (~vandit@92-249-179-98.pool.digikabel.hu) |
| 15:38:48 | × | dcoutts quits (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 240 seconds) |
| 15:39:11 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 15:39:17 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 15:42:17 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 15:44:34 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 15:47:11 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 15:53:17 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 15:58:17 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 16:03:20 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 16:03:22 | → | acidjnk joins (~acidjnk@p200300d6e7072f89b90e3e8ff5f2b72b.dip0.t-ipconnect.de) |
| 16:04:27 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 16:09:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 16:11:13 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:fcee:6fb9:64d2:31ae) |
| 16:15:51 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 16:21:31 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 16:44:51 | <hippoid> | i'm looking for an example of a nix flake that is used to run a script that uses the Turtle shell package. can anyone point me at one? |
| 16:57:32 | → | aliosablack joins (~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1) |
| 16:58:56 | × | chomwitt quits (~chomwitt@2a02:587:7a17:7500:1ac0:4dff:fedb:a3f1) (Ping timeout: 246 seconds) |
| 16:59:12 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 17:00:25 | → | cheater joins (~Username@user/cheater) |
| 17:08:35 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 17:10:26 | × | vandita quits (~vandit@92-249-179-98.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 17:12:05 | → | vandita joins (~vandit@84.236.21.46) |
| 17:14:32 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:17:05 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 17:17:13 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 17:18:31 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 17:21:41 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:fcee:6fb9:64d2:31ae) (Remote host closed the connection) |
| 17:22:54 | → | dcoutts joins (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 17:23:02 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 17:24:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:34:40 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:fcee:6fb9:64d2:31ae) |
| 17:35:03 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 17:39:32 | × | dcoutts quits (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 246 seconds) |
| 17:40:19 | → | wroathe joins (~wroathe@50.205.197.50) |
| 17:40:19 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 17:40:19 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:43:12 | × | alloca quits (~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) (Quit: WeeChat 1.9.1) |
| 17:45:38 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:46da:fe37:6ffd:b2b9) (Remote host closed the connection) |
| 17:45:53 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:8153:dfbb:aa33:a760) |
| 17:45:53 | → | lortabac joins (~lortabac@46-253-188-52.dynamic.monzoon.net) |
| 17:50:07 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:52:58 | × | ripspin quits (~chatzilla@1.145.142.154) (Remote host closed the connection) |
| 17:54:52 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 17:55:14 | → | emad joins (~emad@197.53.154.73) |
| 18:00:41 | → | Guest33 joins (~Guest33@2601:189:8000:2cc0::fa2e) |
| 18:01:17 | × | Guest33 quits (~Guest33@2601:189:8000:2cc0::fa2e) (Client Quit) |
| 18:04:10 | × | emad quits (~emad@197.53.154.73) (Quit: Leaving) |
| 18:05:33 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 18:09:01 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 18:09:08 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 18:11:56 | <ManofLetters[m]> | nah, I can't get the coercions to work |
| 18:12:15 | <ManofLetters[m]> | let me pose the question differently: there's his function `withDict :: forall {rr :: RuntimeRep} (r :: TYPE rr). meth -> (cls => r) -> r` https://downloads.haskell.org/ghc/latest/docs/libraries/base-4.18.0.0/GHC-Exts.html#v:withDict |
| 18:12:31 | <ManofLetters[m]> | but it only works for classes that have exactly one method (I think) |
| 18:12:41 | <ManofLetters[m]> | is there a version for classes that have zero methods? |
| 18:14:10 | <ManofLetters[m]> | (unless I'm misunderstading what withDict does, let me quickly verify...) |
| 18:15:25 | → | Pickchea joins (~private@user/pickchea) |
| 18:15:45 | <albet70> | map p (x : xs) = (p x) : (map p xs) |
| 18:16:08 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 18:16:08 | <albet70> | mapK p (x: xs) k = p x $ \v -> mapK p xs $ \ns -> k (v : ns) |
| 18:16:13 | → | ru0mad joins (~ru0mad@titan.ruomad.net) |
| 18:17:08 | <albet70> | this mapK can do exit early, and traverse can do that too, are they related? |
| 18:17:49 | <albet70> | so are there apK and bindK? |
| 18:18:25 | <ncf> | ManofLetters[m]: possibly the version in https://hackage.haskell.org/package/constraints-0.13.4/docs/Data-Constraint.html#v:withDict is more general |
| 18:18:26 | <Cale> | albet70: They're related by the fact that they're both equivalent to mapM for different monads. |
| 18:18:30 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 18:19:01 | <ncf> | albet70: you might want to google the words "mother of all monads" |
| 18:20:03 | <[Leary]> | ManofLetters[m]: I think you want something like `data Dict c = c => Dict; class Trivial; instance Trivial; fooDict :: Dict (Foo a); fooDict = unsafeCoerce (Dict :: Dict Trivial); dischargeFoo :: (Foo a => r) -> r; dischargeFoo r = case fooDict of Dict -> r`, or the equivalent using `constraints`. |
| 18:20:03 | <ncf> | (http://blog.sigfpe.com/2008/12/mother-of-all-monads.html) |
| 18:20:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 18:20:15 | <albet70> | @hoogle mapM |
| 18:20:15 | <lambdabot> | Prelude mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 18:20:15 | <lambdabot> | Control.Monad mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 18:20:15 | <lambdabot> | Data.Traversable mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 18:21:02 | <Cale> | ncf: Is it though? The WithDict in GHC.Exts is scary low level shit that lets you break things, while the one in constraints is basically an ordinary thing you could write yourself. |
| 18:21:34 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 18:21:56 | <ncf> | no idea |
| 18:22:44 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:22:58 | <Cale> | The scary part is that GHC.Exts.withDict lets you provide functions that don't correspond to any actual instances of the classes, and end up providing different implementations as evidence for the same class constraints in different parts of your program |
| 18:24:04 | <Cale> | Normally the way that things are set up, when you have a constraint (C T) that gets satisfied, there's a guarantee that the implementation of the methods is the same, no matter what route you took to constructing the type class dictionary. |
| 18:24:42 | × | ru0mad quits (~ru0mad@titan.ruomad.net) (Remote host closed the connection) |
| 18:25:18 | → | ru0mad joins (~ru0mad@titan.ruomad.net) |
| 18:26:09 | <Cale> | GHC.Exts.withDict lets you break that, which, well, you can't use it with Ord because it only works for single-method classes, but if Ord had a single method, you could use it to break invariants in Data.Map and Data.Set and e.g. insert items that can't be retrieved because they're located in the wrong part of the underlying tree structure |
| 18:26:25 | → | dolio joins (~dolio@130.44.134.54) |
| 18:26:49 | <Cale> | It's a much more dangerous thing than it possibly looks like |
| 18:27:44 | → | ru0mad_ joins (~ru0mad@82-64-17-144.subs.proxad.net) |
| 18:28:07 | × | ru0mad quits (~ru0mad@titan.ruomad.net) (Client Quit) |
| 18:29:08 | <ManofLetters[m]> | *phew*, it works with `withDict` at least: https://play.haskell.org/saved/4HsLFuKw , so my question made sense --- I want the same for classes with no methods; ncf, [Leary], Cale, thanks a lot, I will now try to understand what you mean and adjust the example accordingly |
| 18:29:35 | × | dolio quits (~dolio@130.44.134.54) (Client Quit) |
| 18:31:12 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 18:31:15 | <Cale> | ManofLetters[m]: I'm basically just warning you that you should be very careful if you're intending to put something like this into production code -- usage of this thing can devolve into incomprehensible nightmares where basic expectations about how things work in Haskell are broken. |
| 18:31:40 | <Cale> | But if you're just messing around, go right ahead :) |
| 18:31:41 | <ManofLetters[m]> | heh, duly noted |
| 18:32:07 | <ManofLetters[m]> | but in classes with no methods the risk is much less low-level |
| 18:32:18 | <Cale> | With zero methods, it is probably somewhat safe, yeah |
| 18:32:34 | <Cale> | withDict is fundamentally just doing an unsafeCoerce |
| 18:32:34 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 18:32:41 | <ManofLetters[m]> | in my case it's this class: https://hackage.haskell.org/package/orthotope-0.1.2.0/docs/Data-Array-Internal-Shape.html#t:Permutation |
| 18:32:43 | <lortabac> | Cale: AFAIU providing different instances for the same constraints is exactly the purpose of GHC.Exts.withDict |
| 18:32:58 | <lortabac> | it allows you to create local instances |
| 18:32:58 | <Cale> | lortabac: Yes, and that's a terrible thing to do, usually. |
| 18:33:24 | <lortabac> | it's meant to be used in places where global coherence is not needed |
| 18:33:44 | <monochrom> | Every time you think "my little sketchy program will never go into production" it totally will. |
| 18:33:51 | <Cale> | A lot of stuff relies on instances being consistent, so you can break expectations that people designing datastructures had |
| 18:34:42 | <lortabac> | there is also another problem with 'withDict', that is you can't override a local instance |
| 18:35:03 | <lortabac> | so if you use it in a place where an instance is already in scope, it won't do anything |
| 18:35:09 | <Cale> | ManofLetters[m]: You might just be able to unsafeCoerce away the difference between C a => r and r when C is a class with no methods, give that a try and see if it segfaults. |
| 18:35:13 | → | dolio joins (~dolio@130.44.134.54) |
| 18:35:21 | <lortabac> | which can lead to unexpected behavior |
| 18:35:59 | <Cale> | If I recall correctly, GHC.Exts.withDict is just implemented with an unsafeCoerce anyway |
| 18:36:15 | <lortabac> | Cale: no, it's built-in |
| 18:36:21 | <ManofLetters[m]> | Cale: I tried and I can't: https://play.haskell.org/saved/aZZxX1HQ |
| 18:36:28 | <Cale> | Well, yeah, it got changed to be a built-in to be a bit more safe |
| 18:37:00 | <Cale> | But Ed discovered that he could do that and then asked the GHC folks to provide a slightly less dangerous solution :) |
| 18:37:00 | <[Leary]> | It's safest to coerce a trivial dictionary. |
| 18:37:23 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 18:37:29 | <Cale> | [Leary]: oh yeah, you could just make a Dict for another class you know has no methods and coerce that |
| 18:38:58 | <ManofLetters[m]> | * can't: https://play.haskell.org/saved/aZZxX1HQ [Edit: I mean, I can't make it type-check; I don't know if it would segfault] |
| 18:41:08 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 18:41:38 | <Cale> | g x = (unsafeCoerce (f :: Int -> Int) :: Eq a => a -> a) x |
| 18:41:42 | <Cale> | haha |
| 18:42:03 | → | nattiestnate joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 18:42:32 | <monochrom> | "this is madness" |
| 18:42:57 | <Cale> | GHC gets side-tracked despite the unsafeCoerce there because it sees there's an instance of Foo for all types a, and tries to satisfy it |
| 18:43:17 | → | tom__ joins (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 18:43:49 | <Cale> | That instance Ord a => Foo a isn't something you'd likely want around in practice, since it doesn't do any matching on the type at all, and would conflict with any other instance for Foo |
| 18:43:59 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 18:44:58 | <ManofLetters[m]> | yes, I want this and and this instance: https://hackage.haskell.org/package/orthotope-0.1.2.0/docs/Data-Array-Internal-Shape.html#t:Permutation |
| 18:45:19 | <ManofLetters[m]> | let me add it to the example... |
| 18:45:20 | × | zincy quits (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Ping timeout: 248 seconds) |
| 18:46:05 | <ManofLetters[m]> | which will require a few more imports and extensions... |
| 18:46:45 | → | user____3 joins (~user@103.206.114.69) |
| 18:47:00 | user____3 | is now known as tosyl |
| 18:47:18 | <Cale> | https://play.haskell.org/saved/l03RDPCK -- saner way |
| 18:47:29 | × | vandita quits (~vandit@84.236.21.46) (Ping timeout: 250 seconds) |
| 18:47:36 | <Cale> | (still dangerous of course) |
| 18:48:00 | × | tosyl quits (~user@103.206.114.69) (Client Quit) |
| 18:48:26 | → | tosyl_ joins (~user@103.206.114.113) |
| 18:48:33 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 256 seconds) |
| 18:49:04 | → | vandita joins (~vandit@92-249-150-144.static.digikabel.hu) |
| 18:49:04 | tosyl_ | is now known as wns |
| 18:49:14 | <Cale> | Usually people make classes with no methods in order to represent some facts about the world. You might instead just want to write the appropriate instances of those classes if you think they ought to be satisfied. |
| 18:49:19 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 18:51:51 | <Cale> | For example, this Permutation class seems to be expressing the notion that the list of type level Nats is a permutation, and ought to already be satisfied by any list of Nats which consists of 0 through n-1 in some order. |
| 18:52:17 | × | dtman34 quits (~dtman34@2601:447:d000:93c9:bdda:f673:5d0e:d1f) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 18:52:52 | <Cale> | Are you trying to sidestep a bunch of compile-time calculation of whether certain type level lists are in fact permutations? |
| 18:53:02 | <ManofLetters[m]> | here is the "realistic" version: https://play.haskell.org/saved/LjCjX7w6 |
| 18:53:13 | → | chromoblob joins (~user@37.113.180.121) |
| 18:53:21 | ManofLetters[m] | looks and Cale's code |
| 18:53:23 | → | dtman34 joins (~dtman34@2601:447:d000:93c9:5693:befa:fb33:172e) |
| 18:54:28 | <Cale> | What are you actually trying to do with this in the end? It's likely that if you're getting compile errors about an instance of this class not existing, then you're trying to use something incorrectly. |
| 18:54:33 | × | dtman34 quits (~dtman34@2601:447:d000:93c9:5693:befa:fb33:172e) (Remote host closed the connection) |
| 18:54:38 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 18:55:06 | <ManofLetters[m]> | Cale: I'm constructing a type at runtime so I can't produce an evidence of this constraint: https://github.com/Mikolaj/horde-ad/blob/fafebfe05ce6da097d32a8dd8b5358afe518b7d5/simplified/HordeAd/Core/Delta.hs#L611 |
| 18:55:11 | <ManofLetters[m]> | this is a hack caused by a hack' |
| 18:55:18 | → | shapr joins (~user@2600:1700:c640:3100:fb8d:10ae:e6ec:9d78) |
| 18:55:26 | <ManofLetters[m]> | one workaround requiring another |
| 18:55:44 | <Cale> | hmmm |
| 18:56:02 | <ManofLetters[m]> | I know the original perm type has the desired property |
| 18:56:17 | <ManofLetters[m]> | then I make a runtime representation of the perm |
| 18:56:20 | <ManofLetters[m]> | then I reverse it |
| 18:56:35 | <ManofLetters[m]> | which guarantees it still has the property of being a legal permutation |
| 18:56:50 | <ManofLetters[m]> | then I make a type from the runtime representation |
| 18:57:10 | <ManofLetters[m]> | and there I'm stuck, because the type system doesn't know the permutation was just reversed |
| 18:57:17 | <Cale> | Ah, so the problem is that Haskell is a bad dependently typed language and won't let you use term-level functions on lists of Nats at the type level :) |
| 18:57:29 | <ManofLetters[m]> | yep |
| 18:57:44 | <ManofLetters[m]> | I would need to code them at type level |
| 18:57:49 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 265 seconds) |
| 18:57:51 | <ManofLetters[m]> | which is surely doable, just a lot of work |
| 18:58:03 | <ManofLetters[m]> | e.g., I'd need sorting of type-level lists of nats for a start |
| 18:58:08 | <Cale> | Fair enough |
| 18:58:24 | <ManofLetters[m]> | and compilation times would not be amusing |
| 18:58:34 | <Cale> | I suppose this is a reasonable enough case to put something in which says "trust me, I know this is a permutation" |
| 18:59:00 | <Cale> | You could write something like... |
| 18:59:01 | × | lortabac quits (~lortabac@46-253-188-52.dynamic.monzoon.net) (Ping timeout: 240 seconds) |
| 18:59:08 | → | dtman34 joins (~dtman34@2601:447:d000:93c9:f69f:1c9f:25a2:cccc) |
| 18:59:13 | <Cale> | Let me use your playground with the real definitions copied in |
| 18:59:21 | <ManofLetters[m]> | +1 |
| 18:59:35 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 19:00:51 | <probie> | ManofLetters[m]: can you use something like https://hackage.haskell.org/package/reflection to provide the constraint at runtime? |
| 19:01:46 | <ManofLetters[m]> | that's a good question |
| 19:02:10 | <ManofLetters[m]> | 1. can I construct a rutime representation of the (AllElem is (Count 0 is)) constraints |
| 19:02:23 | <ManofLetters[m]> | 2. can I feed it somewhere so that the type-checker is happy |
| 19:02:32 | → | cheater_ joins (~Username@user/cheater) |
| 19:02:57 | <ManofLetters[m]> | what we are brainstorming right now is how to do 2 with a fake representation (basically a "Trust me (TM)" proof) |
| 19:03:05 | <ManofLetters[m]> | I think |
| 19:03:36 | <Cale> | https://play.haskell.org/saved/J8b8V6II |
| 19:03:52 | <Cale> | ^^ that's what you're looking for I think |
| 19:04:19 | <Cale> | Note that the explicit type argument is not optional, GHC gets confused about what permutaiton you're asking about otherwise. |
| 19:04:25 | <Cale> | permutation* |
| 19:05:04 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 19:05:07 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 19:05:08 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 19:05:17 | cheater_ | is now known as cheater |
| 19:06:06 | <ManofLetters[m]> | wow, thank you so much; let me try... |
| 19:06:09 | → | notzmv joins (~zmv@user/notzmv) |
| 19:07:07 | <Cale> | Oh, it just struck me that I didn't need to make a new class, I could have unsafeCoerced a real instance of Permutation |
| 19:08:13 | <Cale> | trustMeThisIsAPermutationDict = unsafeCoerce (Dict :: Dict (Permutation '[])) |
| 19:09:20 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 19:09:35 | <ManofLetters[m]> | I will try that, too |
| 19:11:03 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 19:22:53 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 19:27:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 19:29:20 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 19:29:33 | <ManofLetters[m]> | amazing, this type-checks in the wild and I bet it works (but this portion of code is still a week's work away from being testable) |
| 19:29:48 | <ManofLetters[m]> | Cale: under what name may I credit you? |
| 19:30:27 | → | michalz joins (~michalz@185.246.207.203) |
| 19:31:44 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 19:34:24 | × | ru0mad_ quits (~ru0mad@82-64-17-144.subs.proxad.net) (Ping timeout: 248 seconds) |
| 19:37:40 | <ManofLetters[m]> | in any case, here's the commit: https://github.com/Mikolaj/horde-ad/commit/1b2c944e24856bee7fa447892430e8d258def58a |
| 19:39:31 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 19:40:41 | ManofLetters[m] | now tries to understand the trick |
| 19:42:15 | <ManofLetters[m]> | [Leary]: that's actually very close to what you wrote, as far as I being to grok |
| 19:44:36 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 19:50:24 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 19:55:32 | → | pavonia joins (~user@user/siracusa) |
| 19:55:39 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 19:57:42 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 19:59:02 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 20:03:15 | → | Nuxular joins (~Nuxular@4.166.147.147.dyn.plus.net) |
| 20:03:52 | <Nuxular> | I'm having a lot of trouble getting stack to run on windows. Whenever I try to run ghci I get "Executable named sh not found on path: ..." |
| 20:04:57 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 20:05:02 | <Nuxular> | I've even uninstalled and tried an old installer which worked for a different machine and it's still complaining about needing 'sh' (despite that being a unix thing). |
| 20:05:19 | → | zincy joins (~tom@host81-151-255-71.range81-151.btcentralplus.com) |
| 20:05:52 | <[exa]> | Nuxular: how did you install it precisely? |
| 20:06:30 | <[exa]> | Nuxular: I'm not using windows but iirc the common recommendation to run stuff reasonably is to go ghcup + WSL |
| 20:06:46 | × | wns quits (~user@103.206.114.113) (Read error: Connection reset by peer) |
| 20:07:06 | → | user2 joins (~user@103.206.114.124) |
| 20:07:06 | user2 | is now known as wns |
| 20:08:51 | <Nuxular> | [exa]: I've gone through a few different attempts at this point. ghcup was one that I tried but I did avoid installing WSL because it wasn't necessary in the past and it seemed like that would lock me into using some kind of embedding of a linux file system. |
| 20:09:11 | <Nuxular> | [exa]: my last attempt was using https://github.com/commercialhaskell/stack/releases and finding a release that had worked for me previously |
| 20:09:24 | <Nuxular> | windows x86_64 installer |
| 20:09:58 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 20:10:23 | × | tom__ quits (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Ping timeout: 246 seconds) |
| 20:10:55 | <geekosaur> | fwiw it's demanding sh from a minimal mingw installation which either ghcup or stack should install |
| 20:12:53 | <Nuxular> | I do remember installing mingw at some point in the past but I don't know if that was necessary to get things working... I have access to one machine that works fine and uses stack version 2.9.3. I only had to reinstall on this machine because of a boot drive failure :( |
| 20:14:08 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 20:14:28 | <Nuxular> | running "stack" via cmd.exe or powershell comes up with the usual but whenever I pass any argument which would result in a REPL I get this "sh" complaint. |
| 20:14:40 | <Nuxular> | Even after reinstalls |
| 20:15:23 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 20:16:10 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 20:16:39 | <Nuxular> | Does anyone know if the installer downloads anything? Could it be the problem isn't on my end? |
| 20:18:06 | → | oac joins (~oac@72-50-214-210.fttp.usinternet.com) |
| 20:20:59 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 20:21:14 | × | vandita quits (~vandit@92-249-150-144.static.digikabel.hu) (Ping timeout: 246 seconds) |
| 20:21:44 | <geekosaur> | stack downloads stuff wantonly. ghcup downloads on demand, but does a lot of stuff on initial install including recommended versions of ghc, cabal, and stack, and on windows a minimal mingw install |
| 20:23:00 | → | vandita joins (~vandit@84-236-10-4.pool.digikabel.hu) |
| 20:23:49 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 20:25:57 | × | euandreh quits (~Thunderbi@189.6.18.7) (Quit: euandreh) |
| 20:26:13 | → | chromoblob joins (~user@37.113.180.121) |
| 20:26:14 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 20:26:16 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 20:26:44 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 20:31:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 20:34:12 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 20:34:39 | → | __monty__ joins (~toonn@user/toonn) |
| 20:36:26 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 265 seconds) |
| 20:36:50 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 20:36:51 | × | jinsun quits (~jinsun@user/jinsun) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 20:36:51 | jinsun__ | is now known as jinsun |
| 20:37:38 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 20:38:50 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 20:39:27 | → | titibandit joins (~titibandi@user/titibandit) |
| 20:41:18 | <Nuxular> | So I've just run the same installer on another machine and it works fine so it's looking like there's some unknown issue with my system.. |
| 20:42:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 20:42:13 | <Nuxular> | I suspect that my attempts at setting up Haskell to run through visual studio code is to blame but it's hard to say how |
| 20:54:15 | <Nuxular> | ok it looks like I got it working. In the console output of the successful installation I just did on another machine it mentioned this: |
| 20:54:15 | <Nuxular> | Writing implicit global project config file to: C:\sr\global-project\stack.yaml |
| 20:54:16 | <Nuxular> | Note: You can change the snapshot via the resolver field there. |
| 20:54:16 | <Nuxular> | Using latest snapshot resolver: lts-20.25 |
| 20:54:17 | <Nuxular> | Since whenever the installation wouldn't work it didn't say this I figured this was the folder to delete and when I did that it remade it proceeded to work on my main machine again. |
| 20:55:21 | → | gmg joins (~user@user/gehmehgeh) |
| 20:56:05 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 20:56:23 | <Nuxular> | I've got a copy of the folder I deleted if anyone want it to help prevent other people having the same issue |
| 20:56:41 | → | cheater joins (~Username@user/cheater) |
| 20:58:56 | → | cheater_ joins (~Username@user/cheater) |
| 21:01:37 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 21:01:41 | cheater_ | is now known as cheater |
| 21:02:23 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 21:03:43 | → | cheater_ joins (~Username@user/cheater) |
| 21:04:07 | × | cheater_ quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 21:04:51 | → | cheater_ joins (~Username@user/cheater) |
| 21:06:33 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:06:37 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 21:06:46 | cheater_ | is now known as cheater |
| 21:08:00 | → | gentauro joins (~gentauro@user/gentauro) |
| 21:08:17 | × | euandreh quits (~Thunderbi@189.6.18.7) (Read error: Connection reset by peer) |
| 21:08:35 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 21:10:31 | → | cheater_ joins (~Username@user/cheater) |
| 21:11:22 | × | cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 21:11:26 | cheater_ | is now known as cheater |
| 21:14:31 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 21:22:36 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 21:23:22 | × | titibandit quits (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
| 21:23:25 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 21:26:45 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 21:29:01 | → | titibandit joins (~titibandi@user/titibandit) |
| 21:33:32 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 21:38:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 21:39:36 | → | kriity joins (~kriity@c-76-155-235-153.hsd1.co.comcast.net) |
| 21:44:22 | × | rodental quits (~rodental@38.146.5.222) (Remote host closed the connection) |
| 21:44:35 | → | rodental joins (~rodental@38.146.5.222) |
| 21:44:36 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 21:44:36 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 21:44:36 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:47:57 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 21:48:24 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 21:49:23 | × | kriity quits (~kriity@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Client closed) |
| 21:50:38 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 21:55:33 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 256 seconds) |
| 21:59:24 | <Cale> | ManofLetters[m]: Cale Gibbard if you like |
| 22:01:01 | → | chromoblob joins (~user@37.113.180.121) |
| 22:08:23 | <ManofLetters[m]> | got it; ta |
| 22:14:13 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 22:15:43 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:fcee:6fb9:64d2:31ae) (Remote host closed the connection) |
| 22:16:20 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:fcee:6fb9:64d2:31ae) |
| 22:16:37 | × | mtjm quits (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 22:17:52 | → | mtjm joins (~mutantmel@2604:a880:2:d0::208b:d001) |
| 22:19:36 | × | oo_miguel quits (~Thunderbi@77.252.47.84) (Quit: oo_miguel) |
| 22:25:10 | × | aliosablack quits (~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1) (Ping timeout: 265 seconds) |
| 22:25:16 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 22:26:02 | × | mtjm quits (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 22:26:54 | → | mtjm joins (~mutantmel@2604:a880:2:d0::208b:d001) |
| 22:30:29 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 22:34:35 | × | acidjnk quits (~acidjnk@p200300d6e7072f89b90e3e8ff5f2b72b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 22:36:39 | × | euandreh quits (~Thunderbi@189.6.18.7) (Ping timeout: 268 seconds) |
| 22:42:32 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 22:47:45 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 22:52:08 | × | ddellacosta quits (~ddellacos@146.70.171.139) (Quit: WeeChat 3.8) |
| 22:53:29 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 22:55:20 | → | ddellacosta joins (~ddellacos@146.70.168.139) |
| 22:57:11 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 22:58:14 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 23:06:08 | → | mauke_ joins (~mauke@user/mauke) |
| 23:07:37 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 23:07:37 | mauke_ | is now known as mauke |
| 23:13:19 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:15:38 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 23:19:49 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 23:20:05 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 23:27:54 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 23:31:15 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 23:32:47 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 23:33:45 | × | gurkenglas quits (~user@dynamic-046-114-178-236.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 23:42:19 | × | mcglk quits (~mcglk@131.191.19.145) (Remote host closed the connection) |
| 23:42:30 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 23:43:25 | × | ddellacosta quits (~ddellacos@146.70.168.139) (Ping timeout: 240 seconds) |
| 23:45:39 | → | ddellacosta joins (~ddellacos@146.70.166.203) |
| 23:49:56 | → | jargon joins (~jargon@184.101.75.235) |
| 23:58:40 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
All times are in UTC on 2023-06-10.