IRCBrowse

2023/12/01

2023-12-01 00:01:11 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-12-01 00:04:14 +0100vishnix(~vishwas@c-73-9-42-9.hsd1.il.comcast.net) (Quit: leaving)
2023-12-01 00:04:27 +0100JeremyB99(~JeremyB99@208.64.173.6)
2023-12-01 00:10:18 +0100ddellacosta(~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 256 seconds)
2023-12-01 00:14:41 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-01 00:25:07 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-12-01 00:27:05 +0100Guest|32(~Guest|32@ruth-10-b2-v4wan-167633-cust316.vm40.cable.virginm.net) (Quit: Connection closed)
2023-12-01 00:28:47 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2023-12-01 00:31:59 +0100alp_(~alp@2001:861:e3d6:8f80:7a87:ac61:3be:9d6) (Ping timeout: 252 seconds)
2023-12-01 00:34:37 +0100Guest|32(~Guest|32@ruth-10-b2-v4wan-167633-cust316.vm40.cable.virginm.net)
2023-12-01 00:34:43 +0100thegeekinside(~thegeekin@189.180.53.210) (Ping timeout: 255 seconds)
2023-12-01 00:37:03 +0100thegeekinside(~thegeekin@189.180.20.15)
2023-12-01 00:44:47 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-12-01 00:49:09 +0100srk-(~sorki@user/srk)
2023-12-01 00:53:01 +0100srk(~sorki@user/srk) (Ping timeout: 276 seconds)
2023-12-01 00:53:01 +0100srk-srk
2023-12-01 00:57:38 +0100srk-(~sorki@user/srk)
2023-12-01 01:01:43 +0100srk(~sorki@user/srk) (Ping timeout: 255 seconds)
2023-12-01 01:01:43 +0100srk-srk
2023-12-01 01:14:45 +0100zetef(~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f)
2023-12-01 01:16:46 +0100srk-(~sorki@user/srk)
2023-12-01 01:20:28 +0100 <dostoyevsky2> how accurate is it to state `UNIX pipes (treated semantically as writing to temporary files) are quite similar to monads' https://www.okmij.org/ftp/Computation/monadic-shell.html
2023-12-01 01:20:38 +0100srk(~sorki@user/srk) (Ping timeout: 260 seconds)
2023-12-01 01:20:38 +0100srk-srk
2023-12-01 01:21:42 +0100CiaoSen(~Jura@2a05:5800:2c5:7900:2a3a:4dff:fe84:dbd5) (Ping timeout: 268 seconds)
2023-12-01 01:25:21 +0100 <EvanR> not
2023-12-01 01:26:27 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-01 01:27:05 +0100 <c_wraith> can you send a pipe through a pipe?
2023-12-01 01:27:54 +0100 <EvanR> coaxial pipe
2023-12-01 01:28:02 +0100 <EvanR> burrito pipe
2023-12-01 01:28:27 +0100 <c_wraith> I still don't really understand burritos, even after that paper explaining them in terms of monads.
2023-12-01 01:29:07 +0100 <dostoyevsky2> c_wraith: https://www.emuplumbing.com.au/wp-content/uploads/brawoliner_0.jpg
2023-12-01 01:32:26 +0100srk-(~sorki@user/srk)
2023-12-01 01:32:37 +0100 <geekosaur> but you can send a pipe through a local socket 😛
2023-12-01 01:34:29 +0100 <dostoyevsky2> > echo "echo 'pipe for you' | cat" | sh # -> pipe for you
2023-12-01 01:34:30 +0100 <lambdabot> <hint>:1:34: error: parse error on input ‘|’
2023-12-01 01:35:20 +0100srk(~sorki@user/srk) (Ping timeout: 252 seconds)
2023-12-01 01:35:21 +0100srk-srk
2023-12-01 01:36:49 +0100misterfish(~misterfis@87.215.131.102) (Ping timeout: 255 seconds)
2023-12-01 01:45:58 +0100lockywolf(~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-01 01:46:14 +0100lockywolf(~lockywolf@public.lockywolf.net)
2023-12-01 01:46:32 +0100zer0bitz_(~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer)
2023-12-01 01:46:49 +0100zer0bitz(~zer0bitz@user/zer0bitz)
2023-12-01 01:55:21 +0100Lycurgus(~georg@user/Lycurgus)
2023-12-01 01:57:32 +0100JuanDaugherty(~juan@user/JuanDaugherty)
2023-12-01 02:01:05 +0100tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2023-12-01 02:02:53 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-12-01 02:03:10 +0100notzmv(~zmv@user/notzmv)
2023-12-01 02:05:32 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2023-12-01 02:12:52 +0100apache2(apache2@anubis.0x90.dk) (Remote host closed the connection)
2023-12-01 02:13:03 +0100apache2(apache2@anubis.0x90.dk)
2023-12-01 02:13:58 +0100fr33domlover(~fr33domlo@towards.vision) (Quit: Ping timeout (120 seconds))
2023-12-01 02:14:09 +0100califax(~califax@user/califx)
2023-12-01 02:14:20 +0100fr33domlover(~fr33domlo@towards.vision)
2023-12-01 02:21:07 +0100zetef_(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a)
2023-12-01 02:21:12 +0100zetef_(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Remote host closed the connection)
2023-12-01 02:22:40 +0100Guest|46(~Guest|46@ip72-216-143-166.ph.ph.cox.net)
2023-12-01 02:25:05 +0100zetef(~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f) (Ping timeout: 255 seconds)
2023-12-01 02:30:57 +0100mmhat(~mmh@p200300f1c72873aaee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.1)
2023-12-01 02:37:04 +0100ystael(~ystael@user/ystael) (Ping timeout: 256 seconds)
2023-12-01 02:42:13 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2023-12-01 02:44:54 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-01 03:02:51 +0100iqubic(~avi@2601:602:9502:c70:2d15:c772:1b7d:e5a5) (Ping timeout: 245 seconds)
2023-12-01 03:07:51 +0100zlqrvx(~user@2001:8003:8c8b:e00:4a66:eb90:2e41:d1c9)
2023-12-01 03:09:37 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
2023-12-01 03:10:10 +0100zlqrvx(~user@2001:8003:8c8b:e00:4a66:eb90:2e41:d1c9) (Client Quit)
2023-12-01 03:10:43 +0100zlqrvx(~user@2001:8003:8c8b:e00:4a66:eb90:2e41:d1c9)
2023-12-01 03:12:00 +0100zlqrvx(~user@2001:8003:8c8b:e00:4a66:eb90:2e41:d1c9) (Client Quit)
2023-12-01 03:18:07 +0100arahael_(~arahael@1.145.118.71)
2023-12-01 03:18:48 +0100Guest|46(~Guest|46@ip72-216-143-166.ph.ph.cox.net) (Quit: Connection closed)
2023-12-01 03:20:02 +0100zlqrvx(~zlqrvx@101.175.150.247)
2023-12-01 03:22:31 +0100iqubic(~avi@2601:602:9502:c70:35dc:d74c:2bc9:e283)
2023-12-01 03:22:59 +0100zlqrvx(~zlqrvx@101.175.150.247) ()
2023-12-01 03:23:16 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-01 03:24:26 +0100zlqrvx(~zlqrvx@101.175.150.247)
2023-12-01 03:25:41 +0100zlqrvx(~zlqrvx@101.175.150.247) (Quit: %quit%)
2023-12-01 03:28:22 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
2023-12-01 03:28:39 +0100thegeekinside(~thegeekin@189.180.20.15) (Ping timeout: 252 seconds)
2023-12-01 03:38:01 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 246 seconds)
2023-12-01 03:38:45 +0100iqubic-(~avi@2601:602:9502:c70:35dc:d74c:2bc9:e283)
2023-12-01 03:39:07 +0100bilegeek(~bilegeek@2600:1008:b08b:c471:bc55:c296:ae99:b34c)
2023-12-01 03:40:12 +0100iqubic(~avi@2601:602:9502:c70:35dc:d74c:2bc9:e283) (Remote host closed the connection)
2023-12-01 03:40:23 +0100iqubic-(~avi@2601:602:9502:c70:35dc:d74c:2bc9:e283) (Remote host closed the connection)
2023-12-01 03:42:17 +0100iqubic(~avi@2601:602:9502:c70:35dc:d74c:2bc9:e283)
2023-12-01 03:42:36 +0100euleritian(~euleritia@dynamic-046-114-035-225.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-01 03:42:53 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-01 03:43:45 +0100hgolden(~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection)
2023-12-01 03:45:11 +0100hgolden(~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com)
2023-12-01 03:50:49 +0100ft(~ft@p508db3bc.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2023-12-01 03:55:20 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 03:55:32 +0100mikess(~sam@user/mikess)
2023-12-01 03:57:24 +0100ft(~ft@p508dbe71.dip0.t-ipconnect.de)
2023-12-01 03:57:55 +0100edr(~edr@user/edr) (Quit: Leaving)
2023-12-01 04:03:10 +0100mikess(~sam@user/mikess) (Read error: Connection reset by peer)
2023-12-01 04:04:50 +0100mikess(~sam@user/mikess)
2023-12-01 04:09:23 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2023-12-01 04:12:34 +0100Guest|32(~Guest|32@ruth-10-b2-v4wan-167633-cust316.vm40.cable.virginm.net) (Quit: Connection closed)
2023-12-01 04:15:37 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:4593:1157:cf3d:65e4) (Remote host closed the connection)
2023-12-01 04:15:52 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:4593:1157:cf3d:65e4)
2023-12-01 04:17:36 +0100arahael_(~arahael@1.145.118.71) (Ping timeout: 252 seconds)
2023-12-01 04:17:51 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 245 seconds)
2023-12-01 04:30:50 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 04:36:09 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
2023-12-01 04:40:27 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 04:42:57 +0100terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2023-12-01 04:46:16 +0100terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2023-12-01 04:46:22 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
2023-12-01 04:47:06 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-01 04:55:28 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-01 04:55:28 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-01 04:55:28 +0100finn_elijaFinnElija
2023-12-01 04:58:09 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 05:00:39 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-12-01 05:02:51 +0100sabino(~sabino@user/sabino) (Quit: Lambda _ -> x)
2023-12-01 05:02:59 +0100td_(~td@i53870924.versanet.de) (Ping timeout: 264 seconds)
2023-12-01 05:04:20 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
2023-12-01 05:04:25 +0100td_(~td@i5387090F.versanet.de)
2023-12-01 05:11:15 +0100int-ewonders whether glguy is going to announce his AoC leaderboard again this year
2023-12-01 05:11:42 +0100 <glguy> 43100-84040706
2023-12-01 05:11:43 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 276 seconds)
2023-12-01 05:11:59 +0100 <glguy> There are a couple of slots open - I need to clean out people who haven't been active for a couple years
2023-12-01 05:13:05 +0100 <EvanR> woo I didn't get cleaned out
2023-12-01 05:13:35 +0100 <int-e> yet ;)
2023-12-01 05:14:01 +0100thegeekinside(~thegeekin@189.180.20.15)
2023-12-01 05:15:33 +0100 <glguy> EvanR: knock out the easy one tonight to refresh your activity level ahead of me going through to find in actives :)
2023-12-01 05:15:49 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 05:16:44 +0100 <int-e> EvanR was active last year, I suppse that makes him safe regardless
2023-12-01 05:16:45 +0100 <EvanR> prepped for 11PM
2023-12-01 05:19:07 +0100thegeekinside(~thegeekin@189.180.20.15) (Ping timeout: 268 seconds)
2023-12-01 05:19:29 +0100 <glguy> oh, even better
2023-12-01 05:21:33 +0100 <iqubic> If I was in there from years past, will I still be in there?
2023-12-01 05:21:41 +0100ddb(ddb@tilde.club)
2023-12-01 05:21:57 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
2023-12-01 05:22:38 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-01 05:23:21 +0100 <EvanR> yes unless glguy clears you out
2023-12-01 05:23:38 +0100glguygoes mad with power
2023-12-01 05:23:57 +0100 <glguy> \o/ muhahahaha
2023-12-01 05:25:59 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 05:31:01 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-01 05:32:23 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
2023-12-01 05:38:22 +0100alp_(~alp@2001:861:e3d6:8f80:5d74:3ba3:2c8c:e3fb)
2023-12-01 05:41:32 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 05:46:07 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-12-01 05:46:38 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-01 05:47:34 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
2023-12-01 05:49:47 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2023-12-01 05:50:29 +0100aforemny_(~aforemny@2001:9e8:6cf7:c300:392a:7ffb:ea4c:323e) (Ping timeout: 240 seconds)
2023-12-01 05:50:52 +0100aforemny(~aforemny@2001:9e8:6cdf:e00:38e7:17a8:21ff:bb15)
2023-12-01 05:59:09 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 06:03:19 +0100mobivme(~mobivme@112.201.111.217) (Ping timeout: 255 seconds)
2023-12-01 06:05:07 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
2023-12-01 06:13:07 +0100Nikopol(nikopol@user/astrorigin) (Ping timeout: 260 seconds)
2023-12-01 06:15:22 +0100qqq(~qqq@92.43.167.61)
2023-12-01 06:16:49 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 06:17:22 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-01 06:22:47 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
2023-12-01 06:26:36 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-12-01 06:28:25 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 06:32:05 +0100 <EvanR> wow why isn't my code apparently working for part 2
2023-12-01 06:32:13 +0100 <EvanR> not a good start to the new year
2023-12-01 06:32:55 +0100 <int-e> EvanR: it's by design... and slightly annoying tbh
2023-12-01 06:33:18 +0100 <EvanR> this is the first time "my code works on the example but not the input" that I've heard so much about
2023-12-01 06:34:06 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 245 seconds)
2023-12-01 06:36:04 +0100 <jle`> yeah i feel like for a Day 1, they should be covering this in the examples
2023-12-01 06:38:22 +0100 <int-e> or be clearer in the spec
2023-12-01 06:39:39 +0100 <glguy> It felt more like they were sloppy than sneaky to me
2023-12-01 06:41:44 +0100 <EvanR> step 1 understand the question
2023-12-01 06:42:53 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 06:45:54 +0100 <EvanR> ok
2023-12-01 06:47:01 +0100 <int-e> glguy: I don't know... wouldn't basically every beta-tester (and there are several) be expected run into this?
2023-12-01 06:47:10 +0100 <int-e> +to
2023-12-01 06:47:50 +0100 <int-e> I guess that can go wrong if there are more than two iterations of the example(s).
2023-12-01 06:47:53 +0100 <glguy> Maybe? But they've made mistakes before. I'm just trying to give the benefit of the doubt, but I don't know
2023-12-01 06:48:38 +0100 <int-e> Sure. I mean whether by design or not, there's no actual malice here.
2023-12-01 06:48:49 +0100 <EvanR> *that you know of*
2023-12-01 06:49:22 +0100 <EvanR> maybe eric wants to watch aoc burn this year xD
2023-12-01 06:50:29 +0100 <int-e> tomorrow "your input represents a turing machine. determine whether it halts."
2023-12-01 06:52:27 +0100 <int-e> (That's how I would burn a competition site... find a problem type that has both easy and impossible instances. Though coming up with an oracle for that may be a bit tricky :-P)
2023-12-01 06:53:59 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
2023-12-01 06:54:49 +0100 <mauke> haven't tried part 2 yet, but the spec is ambiguous
2023-12-01 06:55:45 +0100 <mauke> does "oneight" count as 18?
2023-12-01 07:01:27 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-12-01 07:02:44 +0100pavonia(~user@user/siracusa)
2023-12-01 07:03:14 +0100 <EvanR> come on, if it was written clearly then everyone would be able to read it
2023-12-01 07:03:18 +0100acidjnk(~acidjnk@p200300d6e72b9330102e9afa1ce5f091.dip0.t-ipconnect.de)
2023-12-01 07:03:19 +0100 <EvanR> if it was easy everyone could do it
2023-12-01 07:07:17 +0100abrar(~abrar@pool-108-52-90-30.phlapa.fios.verizon.net) (Ping timeout: 240 seconds)
2023-12-01 07:07:22 +0100mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2023-12-01 07:07:31 +0100mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net)
2023-12-01 07:07:41 +0100abrar(~abrar@pool-108-52-90-30.phlapa.fios.verizon.net)
2023-12-01 07:10:09 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2023-12-01 07:10:33 +0100 <int-e> FWIW I think the spec is, ultimately, fine. But the relevant information that has to be pieced together is spaced quite far apart.
2023-12-01 07:11:13 +0100 <EvanR> I read it over and over and I'm curious why you think this xD
2023-12-01 07:11:34 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-12-01 07:15:01 +0100kenran(~user@user/kenran)
2023-12-01 07:15:09 +0100 <monochrom> ON EIGHT GOTO 15
2023-12-01 07:15:13 +0100 <monochrom> REM >:)
2023-12-01 07:15:36 +0100 <int-e> rapid eye movement *twitches*
2023-12-01 07:15:57 +0100 <EvanR> on eight goto 15 sounds like the stand up maths cogputer video
2023-12-01 07:16:15 +0100 <EvanR> now that's a brain grinder
2023-12-01 07:16:27 +0100 <int-e> > map toUpper "please abstain from coming from"
2023-12-01 07:16:29 +0100 <lambdabot> "PLEASE ABSTAIN FROM COMING FROM"
2023-12-01 07:17:04 +0100 <EvanR> caps lock for some reason doesn't make ' into " or numbers into !@#$
2023-12-01 07:17:13 +0100 <EvanR> that used to work on my mechanical typewriter
2023-12-01 07:17:34 +0100 <EvanR> otherwise it would be easier than writing haskell to do it
2023-12-01 07:17:38 +0100 <int-e> well, that would be a shift-lock
2023-12-01 07:17:41 +0100 <int-e> not a caps-lock
2023-12-01 07:17:48 +0100 <int-e> ;)
2023-12-01 07:17:52 +0100 <EvanR> lol
2023-12-01 07:18:58 +0100 <int-e> EvanR: I also have mapped that key to, uhm, Mod3
2023-12-01 07:19:20 +0100 <EvanR> what key
2023-12-01 07:19:32 +0100 <int-e> The one labelled "Caps Lock"
2023-12-01 07:23:41 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 07:23:59 +0100Xyloes(~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
2023-12-01 07:26:02 +0100 <EvanR> @hoogle [Maybe a] -> a
2023-12-01 07:26:03 +0100 <lambdabot> Graphics.Matplotlib.Internal minimum2 :: (Ord (t a), Ord a, Foldable t1, Foldable t) => t1 (t a) -> a
2023-12-01 07:26:03 +0100 <lambdabot> Graphics.Matplotlib.Internal maximum2 :: (Ord (t a), Ord a, Foldable t1, Foldable t) => t1 (t a) -> a
2023-12-01 07:26:03 +0100 <lambdabot> DBus.Generation runGetFirst :: [Maybe a] -> Maybe a
2023-12-01 07:26:14 +0100 <EvanR> :t getFirst
2023-12-01 07:26:15 +0100 <lambdabot> First a -> Maybe a
2023-12-01 07:26:43 +0100 <EvanR> yes, what I asked for it unsafe bad and evil
2023-12-01 07:27:35 +0100shOkEy(~shOkEy@178-164-235-218.pool.digikabel.hu)
2023-12-01 07:32:59 +0100shOkEy(~shOkEy@178-164-235-218.pool.digikabel.hu) (Ping timeout: 264 seconds)
2023-12-01 07:33:21 +0100mobivme(~mobivme@112.201.111.217)
2023-12-01 07:33:32 +0100shOkEy(~shOkEy@fibhost-66-208-128.fibernet.hu)
2023-12-01 07:34:47 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
2023-12-01 07:34:48 +0100 <int-e> who's on first?
2023-12-01 07:35:13 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2023-12-01 07:35:20 +0100euleritian(~euleritia@dynamic-046-114-036-071.46.114.pool.telefonica.de)
2023-12-01 07:37:13 +0100 <int-e> EvanR: interestingly, https://en.wikipedia.org/wiki/Caps_Lock#History makes that exact distinction in terminology.
2023-12-01 07:38:02 +0100 <EvanR> it could very well have said literally shift lock on the key for all I (don't) remember
2023-12-01 07:38:17 +0100 <EvanR> it's crazy when jargon makes sense
2023-12-01 07:38:37 +0100shOkEy(~shOkEy@fibhost-66-208-128.fibernet.hu) (Ping timeout: 255 seconds)
2023-12-01 07:39:05 +0100 <int-e> It gets weird when things are anachronistic, like hanging up your phone [receiver].
2023-12-01 07:43:32 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 07:44:43 +0100analoq(~yashi@user/dies) (Ping timeout: 256 seconds)
2023-12-01 07:45:25 +0100tomku(~tomku@user/tomku) (Ping timeout: 256 seconds)
2023-12-01 07:46:26 +0100analoq(~yashi@user/dies)
2023-12-01 07:49:14 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
2023-12-01 07:49:58 +0100shOkEy(~shOkEy@fibhost-66-106-250.fibernet.hu)
2023-12-01 07:53:03 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-01 07:57:16 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-12-01 07:58:07 +0100alp_(~alp@2001:861:e3d6:8f80:5d74:3ba3:2c8c:e3fb) (Ping timeout: 276 seconds)
2023-12-01 08:01:13 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 08:06:14 +0100foul_owl(~kerry@185.219.141.160) (Ping timeout: 260 seconds)
2023-12-01 08:11:26 +0100EvanR(~EvanR@user/evanr) (Quit: Leaving)
2023-12-01 08:11:27 +0100danza(~francesco@151.43.231.151)
2023-12-01 08:13:47 +0100EvanR(~EvanR@user/evanr)
2023-12-01 08:14:05 +0100trev(~trev@user/trev)
2023-12-01 08:18:15 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-01 08:19:02 +0100alp_(~alp@2001:861:e3d6:8f80:9f83:79b8:96c1:5565)
2023-12-01 08:19:02 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2023-12-01 08:20:22 +0100foul_owl(~kerry@157.97.134.167)
2023-12-01 08:21:49 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2023-12-01 08:23:23 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2023-12-01 08:27:05 +0100cfricke(~cfricke@user/cfricke)
2023-12-01 08:27:19 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-12-01 08:36:46 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 268 seconds)
2023-12-01 08:37:38 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2023-12-01 08:39:36 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-12-01 08:43:14 +0100bilegeek(~bilegeek@2600:1008:b08b:c471:bc55:c296:ae99:b34c) (Ping timeout: 268 seconds)
2023-12-01 08:46:34 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-12-01 08:49:51 +0100danza(~francesco@151.43.231.151) (Ping timeout: 252 seconds)
2023-12-01 08:55:39 +0100 <EvanR> int-e, in 6023 researchers likely won't give a damn that people in 2123 were still using floppy disk icon for "save", the time difference is close enough xD
2023-12-01 08:58:42 +0100danse-nr3(~danse@151.43.231.151)
2023-12-01 09:04:31 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 245 seconds)
2023-12-01 09:07:08 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 09:08:40 +0100 <monochrom> Inspired by "abstain from": A new construct "ABSTAIN FROM" such that eg "ABSTAIN FROM 30, 40" means that if you jump from line 40 or 50 to it, it aborts or returns or... I'm open to suggestions, anything except normal execution flow. >:)
2023-12-01 09:09:19 +0100 <int-e> monochrom: read the Intercal manual
2023-12-01 09:09:37 +0100 <monochrom> onoes, it already has it?
2023-12-01 09:09:54 +0100 <monochrom> What did intercal not think of? :D
2023-12-01 09:10:17 +0100 <monochrom> Does it have dependent types too?
2023-12-01 09:10:20 +0100 <int-e> It has, among other things, COME FROM, ABSTAIN FROM, and REINSTATE. Oh and a politeness requirement for programs.
2023-12-01 09:11:23 +0100 <monochrom> Like this? PRINT "HELLO" WHEN YOU ARE READY
2023-12-01 09:11:37 +0100 <int-e> It also has BASIC-like labeled statements and ABSTRAIN FROM and REINSTATE work on statements.
2023-12-01 09:11:47 +0100 <int-e> There are no strings.
2023-12-01 09:12:04 +0100 <jackdk> . and : are the two sizes of integer IIRC
2023-12-01 09:12:16 +0100kosmikus(~kosmikus@nullzig.kosmikus.org) (Ping timeout: 246 seconds)
2023-12-01 09:12:36 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
2023-12-01 09:13:22 +0100mulk(~mulk@p5b2dc93f.dip0.t-ipconnect.de)
2023-12-01 09:13:26 +0100 <monochrom> oooohhhhh.... Take Pascal but s/begin/please/ and s/end/thank you/ >:)
2023-12-01 09:18:22 +0100kosmikus(~kosmikus@nullzig.kosmikus.org)
2023-12-01 09:20:26 +0100cstml(~cstml@user/cstml)
2023-12-01 09:21:25 +0100 <EvanR> no strings makes sense
2023-12-01 09:21:48 +0100 <EvanR> unless you have 36 bit words and limit your strings to 5 or less ascii chars
2023-12-01 09:22:57 +0100 <EvanR> else it's the odd one out among "basic types" for taking up so much space
2023-12-01 09:24:06 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 09:24:29 +0100kosmikus(~kosmikus@nullzig.kosmikus.org) (Ping timeout: 240 seconds)
2023-12-01 09:25:51 +0100kosmikus(~kosmikus@nullzig.kosmikus.org)
2023-12-01 09:26:17 +0100hamess(~hamess@user/hamess) (Ping timeout: 256 seconds)
2023-12-01 09:26:26 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:4593:1157:cf3d:65e4) (Remote host closed the connection)
2023-12-01 09:27:22 +0100hamess(~hamess@user/hamess)
2023-12-01 09:27:59 +0100euleritian(~euleritia@dynamic-046-114-036-071.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-01 09:28:16 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-01 09:30:03 +0100bilegeek(~bilegeek@152.sub-174-209-33.myvzw.com)
2023-12-01 09:30:16 +0100mobivme(~mobivme@112.201.111.217) (Remote host closed the connection)
2023-12-01 09:31:09 +0100mobivme(~mobivme@112.201.111.217)
2023-12-01 09:31:29 +0100vpan(~vpan@mail.elitnet.lt)
2023-12-01 09:35:50 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2023-12-01 09:35:56 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-12-01 09:36:37 +0100todi(~todi@pd9571327.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-12-01 09:36:53 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-12-01 09:39:21 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 268 seconds)
2023-12-01 09:44:40 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-12-01 09:45:10 +0100kosmikus(~kosmikus@nullzig.kosmikus.org) (Ping timeout: 255 seconds)
2023-12-01 09:46:59 +0100danse-nr3(~danse@151.43.231.151) (Remote host closed the connection)
2023-12-01 09:47:24 +0100danse-nr3(~danse@151.43.231.151)
2023-12-01 09:49:54 +0100todi(~todi@pd9571327.dip0.t-ipconnect.de)
2023-12-01 09:50:34 +0100benjaminl(~benjaminl@user/benjaminl) (Ping timeout: 255 seconds)
2023-12-01 09:50:46 +0100kosmikus(~kosmikus@nullzig.kosmikus.org)
2023-12-01 09:54:15 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-12-01 09:54:34 +0100misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-12-01 09:55:44 +0100cstml(~cstml@user/cstml) (Ping timeout: 252 seconds)
2023-12-01 09:56:16 +0100cstml(~cstml@user/cstml)
2023-12-01 09:57:21 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:4593:1157:cf3d:65e4)
2023-12-01 10:03:59 +0100zero(~z@user/zero)
2023-12-01 10:04:07 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds)
2023-12-01 10:04:51 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2023-12-01 10:05:49 +0100gmg(~user@user/gehmehgeh)
2023-12-01 10:07:25 +0100zzz(~z@user/zero) (Ping timeout: 268 seconds)
2023-12-01 10:08:11 +0100 <tomsmeding> C be live "basic types"?
2023-12-01 10:08:13 +0100 <tomsmeding> *like
2023-12-01 10:08:54 +0100cstml(~cstml@user/cstml) (Ping timeout: 260 seconds)
2023-12-01 10:09:19 +0100komikat(~akshitkr@218.185.248.66) (Ping timeout: 246 seconds)
2023-12-01 10:13:38 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-12-01 10:14:22 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-12-01 10:14:44 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-12-01 10:15:17 +0100santiagopim(~user@90.167.66.131) (Remote host closed the connection)
2023-12-01 10:16:01 +0100Flonk(~Flonk@2a02:8388:a86:9d00:cda0:dc82:87fc:269b)
2023-12-01 10:17:26 +0100 <Flonk> It's been a while. I've set up a new stack project, and I'm trying to do `import Data.Text.IO (readFile)`. It says I don't have text in my build-depends in my cabal file. `stack install text` didn't seem to resolve the issue.
2023-12-01 10:21:40 +0100 <Flonk> This exact example is literally in the docs, you're a dumass Flonk
2023-12-01 10:21:43 +0100 <Flonk> no u Flonk
2023-12-01 10:23:54 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-01 10:25:46 +0100misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds)
2023-12-01 10:29:02 +0100 <dminuoso_> Sigh, Im so tempted to use HDBC to interact with this postgresql.
2023-12-01 10:29:21 +0100 <dminuoso_> hasql has a dependency footprint rivaling that of npm hosted web frameworks
2023-12-01 10:29:35 +0100 <dminuoso_> postgresql Im deeply unhappy with :(
2023-12-01 10:29:54 +0100 <dminuoso_> Are there folks here who still use HDBC? If yes, why?
2023-12-01 10:30:25 +0100__monty__(~toonn@user/toonn)
2023-12-01 10:31:40 +0100 <dminuoso_> Or maybe I should just use postgresql-libpq directly and avoid all the pain.
2023-12-01 10:33:22 +0100 <danse-nr3> not sure how many layers are you on top of but if that is one layer closer to the problem often that helps, yes
2023-12-01 10:36:16 +0100 <dminuoso_> For this problem, I just need two select and one insert statement.
2023-12-01 10:36:57 +0100chele(~chele@user/chele)
2023-12-01 10:37:28 +0100 <probie> Just shell out to `psql`?
2023-12-01 10:38:38 +0100chele(~chele@user/chele) (Remote host closed the connection)
2023-12-01 10:39:04 +0100 <Flonk> I'm trying to distribute a file alongside my exe now. adding `data-files: assets/input.txt` under `executables` in my package.yaml doesn't seem to do it. At least, `getDataFileName "assets/input.txt"` doesn't find anything.
2023-12-01 10:39:39 +0100 <Flonk> `stack build` also doesn't include a `data-files` section in the auto-generated cabal file.
2023-12-01 10:40:24 +0100 <dminuoso_> probie: Mmm, so that actually brought up an interesting idea. I could just slap postgrest ontop of it. While yes, this has hasql and loads of moving parts inside, its just an nix closure for me and doenst impact the dependency closure of my program.
2023-12-01 10:40:59 +0100 <dminuoso_> Think I dont really get around to doing my "mini-hasql" fork.
2023-12-01 10:41:20 +0100 <danse-nr3> one of the most brilliant haskell projects i have seen in the past years
2023-12-01 10:43:05 +0100chele(~chele@user/chele)
2023-12-01 10:44:43 +0100bilegeek(~bilegeek@152.sub-174-209-33.myvzw.com) (Ping timeout: 268 seconds)
2023-12-01 10:47:38 +0100misterfish(~misterfis@46.44.172.198)
2023-12-01 10:48:51 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-12-01 10:53:57 +0100Pickchea(~private@user/pickchea)
2023-12-01 10:55:12 +0100Pickchea(~private@user/pickchea) ()
2023-12-01 10:55:43 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-01 10:56:12 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-12-01 11:00:16 +0100Nikopol(nikopol@yoga.astrorigin.com)
2023-12-01 11:00:17 +0100Nikopol(nikopol@yoga.astrorigin.com) (Changing host)
2023-12-01 11:00:17 +0100Nikopol(nikopol@user/astrorigin)
2023-12-01 11:05:58 +0100jorik808(~jorik808@d51A48920.access.telenet.be) (Ping timeout: 276 seconds)
2023-12-01 11:12:00 +0100mmhat(~mmh@2003:f1:c728:73aa:ee08:6bff:fe09:5315)
2023-12-01 11:12:54 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-12-01 11:13:09 +0100CiaoSen(~Jura@2a05:5800:2b6:5100:2a3a:4dff:fe84:dbd5)
2023-12-01 11:13:47 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2023-12-01 11:15:53 +0100Lord_of_Life_Lord_of_Life
2023-12-01 11:19:14 +0100dhil(~dhil@2001:8e0:2014:3100:b8f6:f95:844:c371)
2023-12-01 11:21:32 +0100Nixkernal(~Nixkernal@115.16.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-12-01 11:23:21 +0100mikess(~sam@user/mikess) (Read error: Connection reset by peer)
2023-12-01 11:23:28 +0100 <tomsmeding> Flonk: to use data-files you'll need to install your program using e.g. `stack install`; the installed executable will have access to the file
2023-12-01 11:23:35 +0100 <tomsmeding> if I'm not mistaken
2023-12-01 11:24:04 +0100 <tomsmeding> there may or may not be a way to find that file in the non-installed state with `stack run`, but I don't know of any (never used data-files much)
2023-12-01 11:24:33 +0100 <Flonk> tomsmeding, stack build and stack exec worked, I just put `data-files` in the wrong place in my package.yaml (and was missing `data-dir` I think)
2023-12-01 11:24:51 +0100wib_jonas(~wib_jonas@business-37-191-60-209.business.broadband.hu)
2023-12-01 11:25:13 +0100 <tomsmeding> ah :)
2023-12-01 11:25:34 +0100jorik808(~jorik808@d51A48920.access.telenet.be)
2023-12-01 11:27:13 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2023-12-01 11:28:23 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-12-01 11:31:00 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2023-12-01 11:34:07 +0100Flonk(~Flonk@2a02:8388:a86:9d00:cda0:dc82:87fc:269b) (Quit: Client closed)
2023-12-01 11:37:56 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a)
2023-12-01 11:39:12 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-12-01 11:42:09 +0100cstml(~cstml@user/cstml)
2023-12-01 11:43:25 +0100misterfish(~misterfis@46.44.172.198) (Ping timeout: 256 seconds)
2023-12-01 11:48:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-01 11:49:50 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-12-01 12:06:31 +0100danse-nr3(~danse@151.43.231.151) (Read error: Connection reset by peer)
2023-12-01 12:06:47 +0100danse-nr3(~danse@151.19.253.36)
2023-12-01 12:08:17 +0100dhil(~dhil@2001:8e0:2014:3100:b8f6:f95:844:c371) (Ping timeout: 268 seconds)
2023-12-01 12:09:40 +0100CiaoSen(~Jura@2a05:5800:2b6:5100:2a3a:4dff:fe84:dbd5) (Ping timeout: 276 seconds)
2023-12-01 12:11:59 +0100danse-nr3(~danse@151.19.253.36) (Ping timeout: 268 seconds)
2023-12-01 12:11:59 +0100cstml(~cstml@user/cstml) (Ping timeout: 268 seconds)
2023-12-01 12:15:00 +0100danse-nr3(~danse@151.19.253.36)
2023-12-01 12:15:44 +0100danse-nr3(~danse@151.19.253.36) (Remote host closed the connection)
2023-12-01 12:16:08 +0100danse-nr3(~danse@151.19.253.36)
2023-12-01 12:30:46 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Ping timeout: 255 seconds)
2023-12-01 12:31:35 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2023-12-01 12:33:04 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds)
2023-12-01 12:34:49 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2023-12-01 12:36:50 +0100euleritian(~euleritia@dynamic-089-204-154-216.89.204.154.pool.telefonica.de)
2023-12-01 12:37:12 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-12-01 12:41:26 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-12-01 12:46:11 +0100euleritian(~euleritia@dynamic-089-204-154-216.89.204.154.pool.telefonica.de) (Ping timeout: 264 seconds)
2023-12-01 12:46:26 +0100mmhat(~mmh@2003:f1:c728:73aa:ee08:6bff:fe09:5315) (Quit: WeeChat 4.1.1)
2023-12-01 12:47:10 +0100euleritian(~euleritia@dynamic-002-247-248-118.2.247.pool.telefonica.de)
2023-12-01 12:53:34 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a)
2023-12-01 12:53:37 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 255 seconds)
2023-12-01 12:54:52 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2023-12-01 12:55:58 +0100tremon(~tremon@83.80.159.219)
2023-12-01 12:56:54 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
2023-12-01 12:57:11 +0100chomwitt(~chomwitt@ppp-94-67-191-45.home.otenet.gr)
2023-12-01 13:00:44 +0100wib_jonas(~wib_jonas@business-37-191-60-209.business.broadband.hu) (Quit: Client closed)
2023-12-01 13:01:11 +0100JeremyB99(~JeremyB99@208.64.173.6) (Ping timeout: 264 seconds)
2023-12-01 13:01:44 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2023-12-01 13:02:43 +0100euleritian(~euleritia@dynamic-002-247-248-118.2.247.pool.telefonica.de) (Ping timeout: 255 seconds)
2023-12-01 13:09:22 +0100euleritian(~euleritia@dynamic-002-247-248-118.2.247.pool.telefonica.de)
2023-12-01 13:11:01 +0100CiaoSen(~Jura@2a05:5800:2b6:5100:2a3a:4dff:fe84:dbd5)
2023-12-01 13:11:18 +0100rosco(~rosco@175.136.158.171)
2023-12-01 13:12:29 +0100JeremyB99(~JeremyB99@208.64.173.6)
2023-12-01 13:15:56 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-12-01 13:17:09 +0100JeremyB99(~JeremyB99@208.64.173.6) (Ping timeout: 252 seconds)
2023-12-01 13:19:37 +0100alp_(~alp@2001:861:e3d6:8f80:9f83:79b8:96c1:5565) (Ping timeout: 256 seconds)
2023-12-01 13:23:16 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 245 seconds)
2023-12-01 13:30:35 +0100Guest38(~Guest38@2409:4042:4e19:85a0:15ca:86c3:4e13:23d4)
2023-12-01 13:31:12 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Remote host closed the connection)
2023-12-01 13:31:52 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 13:37:43 +0100tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 255 seconds)
2023-12-01 13:38:06 +0100tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
2023-12-01 13:41:18 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a)
2023-12-01 13:46:04 +0100Guest38(~Guest38@2409:4042:4e19:85a0:15ca:86c3:4e13:23d4) ()
2023-12-01 13:46:16 +0100danse-nr3(~danse@151.19.253.36) (Ping timeout: 255 seconds)
2023-12-01 13:46:50 +0100alp_(~alp@2001:861:e3d6:8f80:8994:a6fd:f1c5:3a0b)
2023-12-01 13:47:23 +0100tomku(~tomku@user/tomku)
2023-12-01 13:48:39 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Ping timeout: 256 seconds)
2023-12-01 13:50:20 +0100tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 268 seconds)
2023-12-01 13:50:58 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2023-12-01 13:53:52 +0100euleritian(~euleritia@dynamic-002-247-248-118.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-01 13:55:04 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-01 13:59:07 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-01 13:59:15 +0100euleritian(~euleritia@dynamic-002-247-248-118.2.247.pool.telefonica.de)
2023-12-01 13:59:37 +0100euleritian(~euleritia@dynamic-002-247-248-118.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-01 13:59:55 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-01 13:59:57 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2023-12-01 14:01:34 +0100sawilagar(~sawilagar@user/sawilagar)
2023-12-01 14:02:02 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-12-01 14:04:16 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2023-12-01 14:04:25 +0100slack1256(~slack1256@191.125.165.79)
2023-12-01 14:05:10 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 255 seconds)
2023-12-01 14:05:28 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-12-01 14:06:41 +0100 <slack1256> does anybody know if you can bump the filepath version or is that shipped with ghc? Is it a boot library?
2023-12-01 14:08:35 +0100 <dminuoso_> slack1256: Its a boot library, but that doesnt prevent you from bumping the version.
2023-12-01 14:09:15 +0100 <dminuoso_> Assuming you use cabal here, cabal-install can manage many concurrent versions - use GHC boot libraries or install the ones it wants from hackage.
2023-12-01 14:10:36 +0100danse-nr3(~danse@151.19.253.36)
2023-12-01 14:11:20 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
2023-12-01 14:11:24 +0100 <slack1256> I am guessing that is different on stack/stackage resolvers? If i declared it as an extra dep it yells loudly.
2023-12-01 14:11:38 +0100 <dminuoso_> I cant tell you anything about stack, sorry.
2023-12-01 14:11:51 +0100 <slack1256> haha np
2023-12-01 14:11:55 +0100 <slack1256> thanks
2023-12-01 14:12:12 +0100 <dminuoso_> slack1256: care to share how stack complains?
2023-12-01 14:13:19 +0100danse-nr3(~danse@151.19.253.36) (Remote host closed the connection)
2023-12-01 14:13:42 +0100danse-nr3(~danse@151.19.253.36)
2023-12-01 14:15:30 +0100rosco(~rosco@175.136.158.171) (Quit: Lost terminal)
2023-12-01 14:15:40 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-01 14:16:11 +0100__monty__(~toonn@user/toonn) (Ping timeout: 264 seconds)
2023-12-01 14:17:01 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 14:17:08 +0100__monty__(~toonn@user/toonn)
2023-12-01 14:17:38 +0100 <slack1256> https://pastebin.com/vSk7SPwg
2023-12-01 14:17:57 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 14:18:13 +0100 <slack1256> this is after setting filepath-1.4.100.0 on extra deps
2023-12-01 14:18:36 +0100img(~img@user/img)
2023-12-01 14:19:31 +0100 <slack1256> i feel this is invalidating the other boot libraries somehow
2023-12-01 14:20:05 +0100 <dminuoso_> slack1256: https://github.com/commercialhaskell/stack/issues/4897
2023-12-01 14:20:16 +0100 <dminuoso_> Right. See the issue,
2023-12-01 14:20:26 +0100 <dminuoso_> Relatedly https://github.com/commercialhaskell/stack/issues/4510
2023-12-01 14:21:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-01 14:22:01 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 14:22:22 +0100 <slack1256> that was right there on the error message... Thanks you a lot dminuoso_
2023-12-01 14:22:54 +0100bollu(~bollu@159.65.151.13)
2023-12-01 14:25:55 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2023-12-01 14:26:35 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 14:27:13 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 14:29:26 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-12-01 14:30:07 +0100califax(~califax@user/califx)
2023-12-01 14:31:39 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-01 14:36:07 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-12-01 14:36:51 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 14:37:32 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 14:42:21 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds)
2023-12-01 14:49:51 +0100__monty__(~toonn@user/toonn) (Ping timeout: 268 seconds)
2023-12-01 14:52:18 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-12-01 15:01:02 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-01 15:01:35 +0100tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
2023-12-01 15:05:57 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 15:06:14 +0100__monty__(~toonn@user/toonn)
2023-12-01 15:06:48 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 15:08:19 +0100slack1256(~slack1256@191.125.165.79) (Read error: Connection reset by peer)
2023-12-01 15:09:35 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 15:12:18 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 15:12:34 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 15:14:45 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-12-01 15:16:54 +0100dhil(~dhil@2001:8e0:2014:3100:76fc:be2d:3243:3d45)
2023-12-01 15:17:16 +0100thegeekinside(~thegeekin@189.180.20.15)
2023-12-01 15:19:00 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 15:23:16 +0100__monty__(~toonn@user/toonn) (Ping timeout: 245 seconds)
2023-12-01 15:25:06 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2023-12-01 15:26:48 +0100drdo(~drdo@bl14-14-49.dsl.telepac.pt) (Quit: Ping timeout (120 seconds))
2023-12-01 15:27:11 +0100drdo(~drdo@bl14-14-49.dsl.telepac.pt)
2023-12-01 15:28:35 +0100Xyloes(~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!)
2023-12-01 15:28:47 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 15:30:31 +0100ystael(~ystael@user/ystael)
2023-12-01 15:31:56 +0100vpan(~vpan@mail.elitnet.lt) (Quit: Leaving.)
2023-12-01 15:31:57 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 15:32:41 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 15:33:14 +0100alp_(~alp@2001:861:e3d6:8f80:8994:a6fd:f1c5:3a0b) (Ping timeout: 260 seconds)
2023-12-01 15:37:22 +0100tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds)
2023-12-01 15:39:20 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 15:40:15 +0100Techcable(uid534393@user/Techcable)
2023-12-01 15:40:55 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 276 seconds)
2023-12-01 15:42:14 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 15:43:00 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 15:43:15 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 15:47:28 +0100__monty__(~toonn@user/toonn)
2023-12-01 15:47:29 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 15:49:10 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-01 15:49:10 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-01 15:49:10 +0100finn_elijaFinnElija
2023-12-01 15:50:24 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 15:51:33 +0100not_reserved(~not_reser@185.205.247.233)
2023-12-01 15:56:04 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 15:56:30 +0100edr(~edr@user/edr)
2023-12-01 16:00:51 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-12-01 16:01:02 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 16:03:04 +0100cstml(~cstml@user/cstml)
2023-12-01 16:04:18 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 16:04:50 +0100Unode(~Unode@fg-ext-220.embl.de) (Read error: Connection reset by peer)
2023-12-01 16:04:59 +0100Unode_(~Unode@fg-ext-220.embl.de)
2023-12-01 16:05:04 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 16:05:25 +0100Unode_Unode
2023-12-01 16:08:12 +0100CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2023-12-01 16:08:21 +0100abrar(~abrar@pool-108-52-90-30.phlapa.fios.verizon.net) (Quit: WeeChat 3.8)
2023-12-01 16:09:21 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 16:09:35 +0100danse-nr3(~danse@151.19.253.36) (Ping timeout: 264 seconds)
2023-12-01 16:10:08 +0100CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2023-12-01 16:10:11 +0100abrar(~abrar@pool-108-52-90-30.phlapa.fios.verizon.net)
2023-12-01 16:10:42 +0100danse-nr3(~danse@151.47.253.135)
2023-12-01 16:11:19 +0100cstml(~cstml@user/cstml) (Ping timeout: 256 seconds)
2023-12-01 16:11:36 +0100komikat(~akshitkr@218.185.248.66)
2023-12-01 16:11:55 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 16:12:57 +0100ph88(~ph88@ip5b40e272.dynamic.kabel-deutschland.de)
2023-12-01 16:13:17 +0100tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
2023-12-01 16:13:55 +0100 <ph88> I'm trying to install dhall lsp server https://github.com/dhall-lang/dhall-haskell/tree/main/dhall-lsp-server#installation and getting some errors https://bpa.st/M3EQ ? what's going on here? i always use stack never cabal
2023-12-01 16:14:14 +0100__monty__(~toonn@user/toonn) (Ping timeout: 252 seconds)
2023-12-01 16:16:05 +0100shapr(~user@2600:1700:c640:3100:64d4:913:209b:5194)
2023-12-01 16:16:37 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 16:22:03 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 16:23:21 +0100CiaoSen(~Jura@2a05:5800:2b6:5100:2a3a:4dff:fe84:dbd5) (Ping timeout: 256 seconds)
2023-12-01 16:25:52 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 16:26:08 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 16:26:36 +0100chomwitt(~chomwitt@ppp-94-67-191-45.home.otenet.gr) (Ping timeout: 245 seconds)
2023-12-01 16:27:47 +0100drdo4(~drdo@bl14-14-49.dsl.telepac.pt)
2023-12-01 16:28:11 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2023-12-01 16:28:49 +0100drdo(~drdo@bl14-14-49.dsl.telepac.pt) (Ping timeout: 268 seconds)
2023-12-01 16:28:49 +0100drdo4drdo
2023-12-01 16:40:34 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 16:41:13 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 16:43:05 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 16:49:20 +0100komikat(~akshitkr@218.185.248.66) (Ping timeout: 252 seconds)
2023-12-01 16:52:33 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 16:58:51 +0100alp_(~alp@2001:861:e3d6:8f80:59d8:263b:b0f2:606a)
2023-12-01 17:03:10 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 17:04:11 +0100danse-nr3(~danse@151.47.253.135) (Ping timeout: 252 seconds)
2023-12-01 17:04:51 +0100 <c_wraith> lortabac: I spent some time looking at GHC.TypeLits in more detail, as well as what you were trying to do. And... I have no idea why GHC.TypeLits provides SNat now, because it sort of misses the point of singletons to have them without having value-level versions of the type operators for them.
2023-12-01 17:05:24 +0100 <lortabac> c_wraith: IIRC the documentation mentions a pattern-synonym
2023-12-01 17:05:56 +0100bienjensu(~user@user/bienjensu)
2023-12-01 17:06:06 +0100 <lortabac> maybe you can do something like (case of Snat 0 -> _) ?
2023-12-01 17:06:35 +0100 <lortabac> TBH I haven't had the time to look at this problem yet
2023-12-01 17:06:40 +0100 <c_wraith> the documentation for all three singleton's pattern synonyms is wrong in the same way, fwiw. a silly typo, but it really makes them lie
2023-12-01 17:07:05 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 17:07:20 +0100 <c_wraith> The pattern synonyms don't do anything that you don't get from natVal and someNatVal
2023-12-01 17:07:30 +0100 <lortabac> oh strange
2023-12-01 17:07:33 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 17:08:20 +0100 <lortabac> so, is it possible to define my 'generate' function with this module?
2023-12-01 17:08:36 +0100 <c_wraith> Not in a way the type systems knows is correct.
2023-12-01 17:08:49 +0100 <c_wraith> https://paste.tomsmeding.com/I2hpWpM9 but if you're willing to... help...
2023-12-01 17:09:06 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 17:10:10 +0100 <lortabac> haha unsafeCoerce
2023-12-01 17:10:24 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2023-12-01 17:10:36 +0100 <c_wraith> It's perfectly safe in that use case. The type *isn't* changing, you're just telling GHC "I know this is safe"
2023-12-01 17:10:49 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 256 seconds)
2023-12-01 17:10:54 +0100 <c_wraith> It's like the use case it legitimately is intended for
2023-12-01 17:11:00 +0100 <lortabac> yes
2023-12-01 17:11:29 +0100 <c_wraith> But yeah, it should be hidden behind something inside the GHC.TypeLits, not forced on you as the user
2023-12-01 17:12:33 +0100 <lortabac> I'll try to have a look when I have time, but I doubt I'll be able to do more than what you already did
2023-12-01 17:13:19 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 17:13:48 +0100 <lortabac> I guess it wouldn't work even with 'sameNat'
2023-12-01 17:13:54 +0100 <c_wraith> There are ways to not run into that. The most direct is to not use Nat in the definition of the type. The problem is specifically related to Nat.
2023-12-01 17:14:05 +0100Sgeo(~Sgeo@user/sgeo)
2023-12-01 17:14:23 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2023-12-01 17:14:38 +0100 <c_wraith> Alternatively, there is a type checker plugin that magically creates KnownNat instances so that KnownNat n does actually imply KnownNat (n+1)
2023-12-01 17:15:56 +0100 <c_wraith> A third alternative is to lobby for GHC.TypeLits to get functions that reflect the arithmetic type families. So you would have something like `sPlus :: SNat m -> SNat n -> SNat (m + n)`. That would be sufficient
2023-12-01 17:16:16 +0100 <c_wraith> But it depends on a hypothetical future release of GHC
2023-12-01 17:17:31 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 17:18:25 +0100Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection)
2023-12-01 17:20:50 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 17:23:01 +0100 <lortabac> c_wraith: what do you mean by "not using Nat"?
2023-12-01 17:23:12 +0100 <lortabac> defining your own inductive type?
2023-12-01 17:23:16 +0100 <c_wraith> yes
2023-12-01 17:23:55 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 17:24:38 +0100 <lortabac> I have something similar in one of my projects, I was hoping I could get rid of my types and use GHC's Nat
2023-12-01 17:24:58 +0100 <lortabac> but AFAICS it's premature
2023-12-01 17:25:14 +0100 <c_wraith> As things stand, Nat is more useful as part of an external-facing library interface than for internal use to help maintain invariants.
2023-12-01 17:26:21 +0100 <lortabac> yes I guess so
2023-12-01 17:27:05 +0100__monty__(~toonn@user/toonn)
2023-12-01 17:27:21 +0100 <lortabac> I have to go now, I'll try to play a little bit with that module anyway
2023-12-01 17:27:41 +0100 <lortabac> just as an exercise
2023-12-01 17:27:45 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 17:28:39 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2023-12-01 17:28:56 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2023-12-01 17:29:19 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-12-01 17:32:10 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 17:34:22 +0100shapr(~user@2600:1700:c640:3100:64d4:913:209b:5194) (Remote host closed the connection)
2023-12-01 17:34:28 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 17:34:37 +0100shapr(~user@2600:1700:c640:3100:898e:add4:bffe:d116)
2023-12-01 17:34:55 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 17:38:25 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:4593:1157:cf3d:65e4) (Remote host closed the connection)
2023-12-01 17:38:41 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:e149:4c4f:e3f1:4f3e)
2023-12-01 17:41:47 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-01 17:42:42 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-01 17:42:58 +0100Angelz(Angelz@Angelz.oddprotocol.org)
2023-12-01 17:45:19 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-01 17:45:56 +0100euleritian(~euleritia@77.22.252.56)
2023-12-01 17:54:02 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-12-01 17:54:58 +0100euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2023-12-01 17:55:47 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-01 17:56:30 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2023-12-01 17:58:12 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-01 17:59:06 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds)
2023-12-01 17:59:14 +0100euleritian(~euleritia@77.22.252.56)
2023-12-01 18:02:25 +0100hamess(~hamess@user/hamess) (Ping timeout: 255 seconds)
2023-12-01 18:04:47 +0100ddellacosta(~ddellacos@ool-44c73d16.dyn.optonline.net)
2023-12-01 18:04:55 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-12-01 18:06:49 +0100AlexNoo_(~AlexNoo@5.139.232.120)
2023-12-01 18:07:50 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2023-12-01 18:10:14 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 18:10:22 +0100AlexZenon(~alzenon@178.34.151.29) (Ping timeout: 256 seconds)
2023-12-01 18:10:25 +0100AlexNoo(~AlexNoo@178.34.151.29) (Ping timeout: 255 seconds)
2023-12-01 18:10:47 +0100AlexNoo_AlexNoo
2023-12-01 18:10:48 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:e149:4c4f:e3f1:4f3e) (Remote host closed the connection)
2023-12-01 18:12:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-01 18:13:44 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 18:14:50 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 18:17:44 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:e149:4c4f:e3f1:4f3e)
2023-12-01 18:19:17 +0100AlexZenon(~alzenon@5.139.232.120)
2023-12-01 18:21:03 +0100euleritian(~euleritia@77.22.252.56) (Ping timeout: 268 seconds)
2023-12-01 18:21:23 +0100euleritian(~euleritia@dynamic-002-247-250-096.2.247.pool.telefonica.de)
2023-12-01 18:22:28 +0100euleritian(~euleritia@dynamic-002-247-250-096.2.247.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-01 18:22:46 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-01 18:24:11 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 18:24:12 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 18:29:19 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.0.5)
2023-12-01 18:30:10 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1)
2023-12-01 18:30:46 +0100 <ncf> @pl \ a (b, c) (d, e) -> a b c d e
2023-12-01 18:30:46 +0100 <lambdabot> (`ap` snd) . (. fst) . flip flip snd . ((flip . (ap .)) .) . flip flip fst . ((flip . ((.) .)) .)
2023-12-01 18:30:54 +0100 <ncf> does pl not know about uncurry
2023-12-01 18:31:05 +0100 <ncf> :t fmap uncurry . uncurry
2023-12-01 18:31:06 +0100 <lambdabot> (a1 -> b1 -> a2 -> b2 -> c) -> (a1, b1) -> (a2, b2) -> c
2023-12-01 18:31:46 +0100 <monochrom> @pl \x y -> f (x,y)
2023-12-01 18:31:46 +0100 <lambdabot> (f .) . (,)
2023-12-01 18:32:13 +0100 <monochrom> Oh, that is a bit disappointing, it doesn't say uncurry f.
2023-12-01 18:32:52 +0100 <monochrom> But it is not an LLM so it does not give idiomatic answers. :)
2023-12-01 18:33:21 +0100 <glguy> The answer with all the operators is much more syntactically impressive, and isn't that why you'd use ?pl in the first place?
2023-12-01 18:33:56 +0100 <monochrom> But I was not impressed. :)
2023-12-01 18:34:12 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-01 18:34:12 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-01 18:34:12 +0100finn_elijaFinnElija
2023-12-01 18:34:15 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2023-12-01 18:34:33 +0100 <monochrom> Syntactically impressive but not tactically impressive :)
2023-12-01 18:34:39 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1)
2023-12-01 18:38:25 +0100hippoid(~hippoid@user/hippoid) (Ping timeout: 255 seconds)
2023-12-01 18:38:40 +0100hamess(~hamess@user/hamess)
2023-12-01 18:38:48 +0100hippoid(~hippoid@c-98-213-162-40.hsd1.il.comcast.net)
2023-12-01 18:40:40 +0100dhil(~dhil@2001:8e0:2014:3100:76fc:be2d:3243:3d45) (Ping timeout: 246 seconds)
2023-12-01 18:41:37 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 276 seconds)
2023-12-01 18:42:58 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 18:44:55 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 18:48:08 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 18:50:30 +0100 <Franciman> speaking about ATS monochrom ?
2023-12-01 18:50:32 +0100 <Franciman> :P
2023-12-01 18:51:01 +0100hippoid(~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Changing host)
2023-12-01 18:51:01 +0100hippoid(~hippoid@user/hippoid)
2023-12-01 18:51:38 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 18:52:53 +0100hamess(~hamess@user/hamess) (Ping timeout: 240 seconds)
2023-12-01 18:54:23 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 18:55:14 +0100notzmv(~zmv@user/notzmv)
2023-12-01 18:57:27 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2023-12-01 18:58:52 +0100Unode(~Unode@fg-ext-220.embl.de) (Read error: Connection reset by peer)
2023-12-01 18:59:55 +0100thegeekinside(~thegeekin@189.180.20.15) (Ping timeout: 246 seconds)
2023-12-01 19:01:22 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 19:02:32 +0100Unode(~Unode@fg-ext-220.embl.de)
2023-12-01 19:06:29 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 19:06:29 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 19:06:48 +0100mc47(~mc47@xmonad/TheMC47)
2023-12-01 19:08:01 +0100m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 255 seconds)
2023-12-01 19:09:15 +0100hamess(~hamess@user/hamess)
2023-12-01 19:09:54 +0100m5zs7k(aquares@web10.mydevil.net)
2023-12-01 19:10:26 +0100target_i(~target_i@217.175.14.39)
2023-12-01 19:13:45 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-01 19:14:27 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-01 19:15:57 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 19:16:45 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 256 seconds)
2023-12-01 19:17:00 +0100mikess(~sam@user/mikess)
2023-12-01 19:17:48 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 19:19:47 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
2023-12-01 19:19:47 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-01 19:20:18 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-01 19:24:28 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 19:26:12 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2023-12-01 19:29:21 +0100chele(~chele@user/chele) (Remote host closed the connection)
2023-12-01 19:29:34 +0100shapr(~user@2600:1700:c640:3100:898e:add4:bffe:d116) (Remote host closed the connection)
2023-12-01 19:29:47 +0100shapr(~user@2600:1700:c640:3100:feee:deb2:bc2:5a3c)
2023-12-01 19:31:35 +0100Square(~Square@user/square)
2023-12-01 19:34:39 +0100thegeekinside(~thegeekin@189.180.20.15)
2023-12-01 19:39:07 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:e149:4c4f:e3f1:4f3e) (Remote host closed the connection)
2023-12-01 19:39:52 +0100xff0x(~xff0x@ai096045.d.east.v6connect.net) (Read error: Connection reset by peer)
2023-12-01 19:40:27 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-01 19:40:39 +0100xff0x(~xff0x@2405:6580:b080:900:2cef:72cf:22:b0de)
2023-12-01 19:43:15 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 19:44:35 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 19:45:42 +0100benjaminl(~benjaminl@user/benjaminl)
2023-12-01 19:47:24 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 19:50:10 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-01 19:51:56 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 19:53:13 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 19:55:24 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2023-12-01 19:58:04 +0100mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2023-12-01 20:03:53 +0100cstml(~cstml@user/cstml)
2023-12-01 20:04:43 +0100gdown(~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net)
2023-12-01 20:05:48 +0100trev(~trev@user/trev) (Quit: trev)
2023-12-01 20:08:03 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:e149:4c4f:e3f1:4f3e)
2023-12-01 20:10:29 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-01 20:12:06 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 20:13:16 +0100thegeekinside(~thegeekin@189.180.20.15) (Ping timeout: 276 seconds)
2023-12-01 20:13:33 +0100thegeekinside(~thegeekin@189.141.65.247)
2023-12-01 20:14:08 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 20:14:34 +0100mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net)
2023-12-01 20:27:47 +0100cstml(~cstml@user/cstml) (Ping timeout: 268 seconds)
2023-12-01 20:29:48 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 20:31:14 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 20:35:02 +0100 <tomsmeding> monochrom: it's supposed to be impressive to people who aren't _quite_ comfortable with the orthodox church of pointfree programming
2023-12-01 20:35:06 +0100 <tomsmeding> you are not the audience :p
2023-12-01 20:36:26 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864)
2023-12-01 20:36:27 +0100JeremyB99(~JeremyB99@2607:fb90:8de2:4383:bc99:bf60:cd66:a864) (Read error: Connection reset by peer)
2023-12-01 20:37:49 +0100 <monochrom> Yeah I'm with the presbyterian church of pointfree programming!
2023-12-01 20:38:32 +0100tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2023-12-01 20:38:52 +0100 <darkling> Reformed, or Recidivist?
2023-12-01 20:46:30 +0100tomboy64(~tomboy64@user/tomboy64)
2023-12-01 20:46:41 +0100JeremyB99(~JeremyB99@208.64.173.6)
2023-12-01 20:52:16 +0100tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 276 seconds)
2023-12-01 20:52:55 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a)
2023-12-01 20:56:13 +0100tomboy64(~tomboy64@user/tomboy64)
2023-12-01 20:58:50 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection)
2023-12-01 20:59:12 +0100dcoutts(~duncan@82.14.199.136)
2023-12-01 21:06:40 +0100notzmv(~zmv@user/notzmv)
2023-12-01 21:07:49 +0100dcoutts(~duncan@82.14.199.136) (Ping timeout: 255 seconds)
2023-12-01 21:10:05 +0100alp_(~alp@2001:861:e3d6:8f80:59d8:263b:b0f2:606a) (Ping timeout: 240 seconds)
2023-12-01 21:10:20 +0100pandry(~Pandry@93-44-167-252.ip98.fastwebnet.it)
2023-12-01 21:19:04 +0100pandry(~Pandry@93-44-167-252.ip98.fastwebnet.it) (Ping timeout: 255 seconds)
2023-12-01 21:20:20 +0100 <ski> hm, iirc Conor McBride talks about presbyterian vs. anglican (iirc ?) parameters of type families (and, by analogy, of GADTs, presumably)
2023-12-01 21:28:09 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:e149:4c4f:e3f1:4f3e) (Remote host closed the connection)
2023-12-01 21:28:10 +0100 <tomsmeding> % :t Control.Monad.ST.runST
2023-12-01 21:28:10 +0100 <yahb2> Control.Monad.ST.runST :: (forall s. GHC.ST.ST s a) -> a
2023-12-01 21:28:42 +0100 <tomsmeding> this 'a' is of kind Type and cannot be instantiated to an unlifted type
2023-12-01 21:29:04 +0100 <tomsmeding> so I cannot execute an ST action that produces an unlifted type, like a ByteArray#, using runST
2023-12-01 21:29:15 +0100 <tomsmeding> should I just temporarily wrap it in a lifted data type, or what?
2023-12-01 21:32:31 +0100__monty__(~toonn@user/toonn) (Ping timeout: 246 seconds)
2023-12-01 21:35:07 +0100 <EvanR> levity polymorphism doesn't save you?
2023-12-01 21:35:41 +0100 <EvanR> or it would if the type signature explicitly used it?
2023-12-01 21:36:19 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-01 21:36:25 +0100 <tomsmeding> I think the latter
2023-12-01 21:36:55 +0100 <tomsmeding> this is my first time dabbling in # # # code, so I'm a bit out of my depth :p
2023-12-01 21:38:26 +0100 <EvanR> wasn't runST the whole reason for adding levity, or was that $
2023-12-01 21:38:37 +0100 <tomsmeding> iirc that was ($)
2023-12-01 21:39:03 +0100 <tomsmeding> "($) is fully representation-polymorphic." https://hackage.haskell.org/package/base-4.19.0.0/docs/Prelude.html#v:-36-
2023-12-01 21:40:12 +0100 <EvanR> time to hack your own version of runST xD
2023-12-01 21:40:12 +0100 <tomsmeding> side remark: runST being levity polymorphic would be pointless without the ST monad itself being the same :p
2023-12-01 21:40:19 +0100 <EvanR> oh
2023-12-01 21:40:42 +0100 <tomsmeding> I mean, the implementation of runST isn't even complicated, it just calls some runRW# function; it isn't even NOINLINE
2023-12-01 21:40:52 +0100 <tomsmeding> but I already data Wrap (a :: UnliftedType) = Wrap !a
2023-12-01 21:40:52 +0100 <tomsmeding> :p
2023-12-01 21:41:22 +0100 <tomsmeding> clumsy though: case unsafeFreezeByteArray# mba s of (# s, ba #) -> (# s, Wrap ba #)
2023-12-01 21:41:37 +0100 <tomsmeding> er, ST (\s -> case unsafeFreezeByteArray# mba s of (# s, ba #) -> (# s, Wrap ba #))
2023-12-01 21:42:22 +0100JeremyB99(~JeremyB99@208.64.173.6) (Ping timeout: 255 seconds)
2023-12-01 21:43:33 +0100 <ski> tomsmeding : something like `codenseST :: (forall s o. (a -> ST s o) -> ST s o) -> a' might work, possibly ?
2023-12-01 21:44:20 +0100tomsmedingraises the mind a bit higher to read that type
2023-12-01 21:44:46 +0100 <tomsmeding> oh ok
2023-12-01 21:44:47 +0100 <EvanR> that type is the codensest
2023-12-01 21:45:13 +0100 <tomsmeding> ski: because then you juggle things so that you never put 'a' in ST?
2023-12-01 21:45:14 +0100 <ski> (basically `(forall s. Codensity (ST s) a) -> a')
2023-12-01 21:45:19 +0100 <ski> yes
2023-12-01 21:45:34 +0100 <tomsmeding> _maybe_
2023-12-01 21:45:46 +0100 <tomsmeding> I only have to Wrap a few times though
2023-12-01 21:45:56 +0100 <tomsmeding> so it's okay
2023-12-01 21:46:09 +0100 <ski> sounds like such an operation could be useful, at least as a wrapper
2023-12-01 21:46:29 +0100 <ski> (and if you don't have to allocate a data constructor, all the better)
2023-12-01 21:46:35 +0100 <tomsmeding> why can ST itself not be levity polymorphic?
2023-12-01 21:47:16 +0100 <tomsmeding> maybe not allocate a data constructor, but you are allocating more function closures
2023-12-01 21:47:35 +0100 <tomsmeding> and if you can optimise those away, then there should also be nothing standing in the way of cancelling out the data constructors
2023-12-01 21:47:37 +0100 <tomsmeding> I'd hope
2023-12-01 21:48:22 +0100 <EvanR> another reason why DList vs List may not make sense ^
2023-12-01 21:48:35 +0100 <int-e> :t (>>=)
2023-12-01 21:48:36 +0100 <lambdabot> Monad m => m a -> (a -> m b) -> m b
2023-12-01 21:48:39 +0100 <tomsmeding> nah, that's avoiding O(n^2) behaviour :p
2023-12-01 21:48:43 +0100 <EvanR> because the assumption that data and closures are equally costly
2023-12-01 21:48:45 +0100 <tomsmeding> that's a real complexity improvement
2023-12-01 21:49:14 +0100 <tomsmeding> for small lists it may not matter, if if you're appending lots of long things left-associatively, that O(n^2) is going to bite you
2023-12-01 21:49:19 +0100 <tomsmeding> *but if
2023-12-01 21:49:28 +0100 <EvanR> (in the specific case of just appending to the end of a dlist instead of prepending to a list and reversing)
2023-12-01 21:49:38 +0100 <tomsmeding> ah sre
2023-12-01 21:49:41 +0100 <tomsmeding> *sure
2023-12-01 21:50:21 +0100tomsmeding. o O ( newtype Reversed a = Reversed [a] ; runReversed (Reversed l) = reverse l ; instance Monoid (Reversed a) )
2023-12-01 21:50:47 +0100__monty__(~toonn@user/toonn)
2023-12-01 21:51:24 +0100 <tomsmeding> int-e: sorry, I'm not getting your hint :)
2023-12-01 21:51:45 +0100 <EvanR> Reversed a <> Reversed b = Reversed (b <> a) -- ?xD
2023-12-01 21:52:03 +0100 <tomsmeding> clearly
2023-12-01 21:52:22 +0100 <tomsmeding> also inject :: [a] -> Reversed a ; inject l = Reversed (reverse l)
2023-12-01 21:52:55 +0100 <tomsmeding> oh it's clearly better to have 'newtype Reversed a = Reversed [[a]]'
2023-12-01 21:53:04 +0100 <tomsmeding> chunks are in forward order, outer list is in reverse order
2023-12-01 21:53:09 +0100 <tomsmeding> less reversing work at the end
2023-12-01 21:53:43 +0100 <EvanR> cut to the chase and do JList a = Empty | Leaf a | Join (JList a) (JList a) xD
2023-12-01 21:53:55 +0100 <EvanR> O(1)
2023-12-01 21:54:07 +0100 <tomsmeding> O(n)
2023-12-01 21:54:12 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2023-12-01 21:54:13 +0100 <EvanR> the same cost advertised by DList
2023-12-01 21:54:20 +0100 <int-e> tomsmeding: AIUI, a can't be levity polymorphic in there because it's the argument of the a -> m b closure. So even if you do it for the ST type (which /probably/ works), you won't get a monad instance for that. I think.
2023-12-01 21:54:39 +0100 <tomsmeding> ah, right
2023-12-01 21:54:56 +0100 <tomsmeding> because the type of (>>=) can't be levity polymorphic, otherwise _all_ Monad instances would have to deal with that
2023-12-01 21:55:06 +0100 <tomsmeding> hence ST is not levity polymorphic either
2023-12-01 21:55:10 +0100 <tomsmeding> sad
2023-12-01 21:55:38 +0100 <tomsmeding> EvanR: does dlist advertise O(1) materialisation?
2023-12-01 21:55:42 +0100 <tomsmeding> that's patently false
2023-12-01 21:55:50 +0100 <EvanR> "O(1) concat" xD
2023-12-01 21:55:56 +0100 <tomsmeding> oh for sure
2023-12-01 21:56:12 +0100 <tomsmeding> you just pay O(n) at the end to materialise the final list
2023-12-01 21:56:13 +0100 <EvanR> as long as you don't look at the results you're blazing
2023-12-01 21:56:16 +0100iqubic(~avi@2601:602:9502:c70:35dc:d74c:2bc9:e283) (Ping timeout: 268 seconds)
2023-12-01 21:56:25 +0100 <tomsmeding> I mean, the tree of closures you build with DList is essentially your JList :p
2023-12-01 21:56:34 +0100 <EvanR> that's what it seems like!
2023-12-01 21:56:45 +0100 <int-e> EvanR: if you don't look at the results you can use `(<>) = undefined`
2023-12-01 21:56:47 +0100__monty__(~toonn@user/toonn) (Ping timeout: 252 seconds)
2023-12-01 21:56:54 +0100 <EvanR> would that speed it up?
2023-12-01 21:57:06 +0100 <tomsmeding> the difference being that with the dlist approach, GHC can automatically fuse 'a <> b <> c <> d' because it understands closures
2023-12-01 21:57:29 +0100 <tomsmeding> it doesn't understand that it can merge multiple Leafs connected by Joins together, that knowledge is contained in your materialisation function
2023-12-01 21:57:30 +0100 <EvanR> yes but earlier you were hoping it could "just" fuse data too
2023-12-01 21:57:55 +0100 <tomsmeding> that's about a data type that gets constructed close to where it's matched
2023-12-01 21:57:56 +0100 <EvanR> if it can't why can't it
2023-12-01 21:58:12 +0100 <tomsmeding> with your JList you build the stuff locally, and the materialisation may be far away
2023-12-01 21:58:16 +0100Inst(~Inst@120.244.192.187)
2023-12-01 21:58:21 +0100 <int-e> EvanR: I don't know, does GHC manage to optimize `undefined a b` to `undefined`? If so, that will reduce the allocations of thunks while you're accumulating the value that you're never going to use.
2023-12-01 21:58:25 +0100 <tomsmeding> with DList, even if the materialisation is far away, multiple <> close together are still fusible
2023-12-01 21:58:43 +0100 <tomsmeding> fusable?
2023-12-01 21:58:46 +0100 <tomsmeding> fuseable?
2023-12-01 21:58:53 +0100 <Inst> Is trying to reverse engineer wordpress and port its MariaDB MySQL to haskell a viable introduction to web development?
2023-12-01 21:59:16 +0100 <tomsmeding> if you value neither time nor sanity
2023-12-01 21:59:19 +0100 <EvanR> for yourself or the general audience
2023-12-01 21:59:37 +0100 <Inst> tomsmeding: why is this generally untenable?
2023-12-01 21:59:45 +0100 <EvanR> general audience might revolt
2023-12-01 22:00:02 +0100 <Inst> myself, at least
2023-12-01 22:00:09 +0100 <EvanR> go for it
2023-12-01 22:00:18 +0100 <tomsmeding> because it's a big task, probably no one but you wants to use it in the end (if you survive), and it's not the most effective way to learn what's generally called "web development" :p
2023-12-01 22:00:23 +0100 <johnw> if I were looking for a small team to build a constraint verifier for a simple lambda calculus based functional language, do people know of anyone in or near academia who'd be interested in such a contract?
2023-12-01 22:01:28 +0100 <Inst> trying to save my relationship from the CIA (well, not really) by porting someone's wordpress-based high-revenue site to Haskell to save them money.
2023-12-01 22:02:47 +0100kraftwerk28(~kraftwerk@164.92.219.160) (Ping timeout: 256 seconds)
2023-12-01 22:04:03 +0100 <Inst> and yes, this is intended to be comic
2023-12-01 22:04:29 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:e149:4c4f:e3f1:4f3e)
2023-12-01 22:05:32 +0100hc(~hc@mail.hce.li) (Remote host closed the connection)
2023-12-01 22:06:40 +0100tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 255 seconds)
2023-12-01 22:06:56 +0100hc(~hc@mail.hce.li)
2023-12-01 22:07:29 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2023-12-01 22:08:09 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2023-12-01 22:08:55 +0100qqq(~qqq@92.43.167.61) (Ping timeout: 255 seconds)
2023-12-01 22:10:59 +0100qqq(~qqq@92.43.167.61)
2023-12-01 22:12:10 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 255 seconds)
2023-12-01 22:12:56 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-12-01 22:16:25 +0100 <EvanR> sans
2023-12-01 22:17:15 +0100thegeekinside(~thegeekin@189.141.65.247) (Ping timeout: 252 seconds)
2023-12-01 22:19:07 +0100tomboy64(~tomboy64@user/tomboy64)
2023-12-01 22:20:40 +0100Square(~Square@user/square) (Ping timeout: 276 seconds)
2023-12-01 22:32:12 +0100mobivme(~mobivme@112.201.111.217) (Remote host closed the connection)
2023-12-01 22:33:41 +0100mobivme(~mobivme@112.201.111.217)
2023-12-01 22:36:06 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2023-12-01 22:37:36 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Remote host closed the connection)
2023-12-01 22:39:52 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-12-01 22:45:50 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1)
2023-12-01 22:47:22 +0100mjs2600(~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net)
2023-12-01 22:55:48 +0100alp_(~alp@2001:861:e3d6:8f80:35c2:e097:c95:5680)
2023-12-01 22:56:40 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-12-01 22:58:36 +0100kraftwerk28(~kraftwerk@164.92.219.160)
2023-12-01 22:58:40 +0100JeremyB99(~JeremyB99@2607:fb91:17ea:fe4:458d:4dfa:7aa1:135b)
2023-12-01 23:06:15 +0100shapr(~user@2600:1700:c640:3100:feee:deb2:bc2:5a3c) (Remote host closed the connection)
2023-12-01 23:06:28 +0100shapr(~user@2600:1700:c640:3100:fae0:3c5e:6b1c:b298)
2023-12-01 23:07:16 +0100JeremyB99(~JeremyB99@2607:fb91:17ea:fe4:458d:4dfa:7aa1:135b) (Read error: Connection reset by peer)
2023-12-01 23:12:29 +0100JeremyB99(~JeremyB99@2607:fb91:17ea:fe4:458d:4dfa:7aa1:135b)
2023-12-01 23:13:22 +0100seydar(~seydar@38-73-249-43.starry-inc.net)
2023-12-01 23:13:42 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a)
2023-12-01 23:13:53 +0100 <seydar> I am doing AOC #1 and I am unable to not think imperatively
2023-12-01 23:13:55 +0100JeremyB99(~JeremyB99@2607:fb91:17ea:fe4:458d:4dfa:7aa1:135b) (Read error: Connection reset by peer)
2023-12-01 23:14:48 +0100 <seydar> i'm out here trying to find the first occurrence of a substring, but this is not The Way
2023-12-01 23:15:01 +0100 <seydar> how do i fix my brain
2023-12-01 23:15:17 +0100 <seydar> and/or i am open to any advice people have
2023-12-01 23:15:39 +0100 <c_wraith> Try to decompose the problem into different steps
2023-12-01 23:15:46 +0100 <monochrom> Data.List has isInfixOf and related functions for finding substrings.
2023-12-01 23:15:49 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-12-01 23:15:51 +0100 <c_wraith> Instead of finding the first substring, find all the substrings
2023-12-01 23:15:59 +0100notzmv(~zmv@user/notzmv)
2023-12-01 23:16:00 +0100 <c_wraith> then grab the first one of them.
2023-12-01 23:16:52 +0100 <glguy> seydar: Why do you think that "find the first occurrence of a substring" is not the way?
2023-12-01 23:18:26 +0100 <seydar> glguy: because i was googling for finding the index of a substring and some random comment said "stop thinking imperatively, there's a reason this isn't included on strings"
2023-12-01 23:19:07 +0100 <seydar> c_wraith: that definitely feels more haskelly
2023-12-01 23:19:23 +0100 <glguy> I wouldn't put too much stock in any one comment you read on the internet. The main thing there was not to think about indexes because indexing a haskell list isn't efficient
2023-12-01 23:19:27 +0100 <monochrom> Perhaps the comment means stop wanting indexes.
2023-12-01 23:19:33 +0100 <glguy> next to nothing to do with imperative or not
2023-12-01 23:19:44 +0100 <glguy> returning the thing directly, instead of an index, is the main insight
2023-12-01 23:20:50 +0100 <monochrom> What would you do with the index anyway? Dereference it to get the substring? Now there is a fusion opportunity. (In your mental model, not in the computer.)
2023-12-01 23:20:56 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2023-12-01 23:22:17 +0100 <EvanR> finding a subtract matching some criteria is pretty declarative
2023-12-01 23:22:30 +0100 <EvanR> except for the verb
2023-12-01 23:22:34 +0100 <EvanR> ignore that
2023-12-01 23:22:35 +0100 <monochrom> :)
2023-12-01 23:22:42 +0100 <EvanR> er substring
2023-12-01 23:22:45 +0100JeremyB99(~JeremyB99@2607:fb91:17ea:fe4:458d:4dfa:7aa1:135b)
2023-12-01 23:22:48 +0100 <monochrom> Yeah no worries, I think we get it.
2023-12-01 23:23:34 +0100 <monochrom> <troll>If I cancel a contract, that's a subtract.</troll>
2023-12-01 23:23:50 +0100JeremyB99(~JeremyB99@2607:fb91:17ea:fe4:458d:4dfa:7aa1:135b) (Read error: Connection reset by peer)
2023-12-01 23:27:37 +0100 <EvanR> I write a day 1 solution in elixir, ran the elixir program on it, it works great, and then I was told that I in fact solved day 1 entirely at compile time
2023-12-01 23:28:06 +0100 <EvanR> so now I think ruby, which is what elixir was trying to feel like, does everything at compile time xD
2023-12-01 23:28:28 +0100 <EvanR> and or don't know the difference anymore
2023-12-01 23:28:55 +0100thegeekinside(~thegeekin@189.141.65.247)
2023-12-01 23:29:21 +0100 <monochrom> Ruby evaluates terms at compile time, Hugs checks types at run time. This is a fun Friday. :D
2023-12-01 23:31:06 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-01 23:31:45 +0100 https://www.reddit.com/r/haskell | Admin: #haskell-ops | Offtopic: #haskell-offtopic | https://downloads.haskell.org | https://play.haskell.org/ | Paste code/errors: https://paste.tomsmeding.com | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell | AoC 43100-84040706
2023-12-01 23:32:36 +0100JeremyB99(~JeremyB99@2607:fb91:17ea:fe4:458d:4dfa:7aa1:135b)
2023-12-01 23:32:41 +0100 <glguy> I cleared out a little bit of headroom from people who weren't active this or last year. If you're using Haskell as your main language, feel free to join the AoC leaderboard in the topic
2023-12-01 23:35:09 +0100nckx(~nckx@libera/staff/owl/nckx) (Ping timeout: 256 seconds)
2023-12-01 23:35:51 +0100 <sshine> how do you make AoC interesting this year?
2023-12-01 23:36:01 +0100 <sshine> I did some of AoC 2022 in Rust last year.
2023-12-01 23:37:35 +0100JeremyB99(~JeremyB99@2607:fb91:17ea:fe4:458d:4dfa:7aa1:135b) (Read error: Connection reset by peer)
2023-12-01 23:37:53 +0100nckx(~nckx@libera/staff/owl/nckx)
2023-12-01 23:38:40 +0100Inst(~Inst@120.244.192.187) (Ping timeout: 276 seconds)
2023-12-01 23:40:53 +0100 <glguy> The main two things I get from it are the fun of racing for some leaderboard points and then from cleaning things up so that people reading them might learn something about Haskell they didn't know when we're sharing code
2023-12-01 23:41:22 +0100 <seydar> glguy: do you post your stuff on the hub of the git
2023-12-01 23:41:35 +0100 <EvanR> sshine, solve it in a bespoke programming language, esoteric or optimized for aoc
2023-12-01 23:41:40 +0100 <glguy> yeah. traffic was up on the repo before the night even started
2023-12-01 23:41:53 +0100mjs2600(~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-01 23:42:01 +0100 <glguy> sometimes I'll go and add solutions to my C++ or rust repo if I think there's a fun library or language feature to explore with them
2023-12-01 23:42:07 +0100 <glguy> but I do the Haskell one first for completeness
2023-12-01 23:42:28 +0100 <glguy> seydar: I put mine on https://github.com/glguy/advent
2023-12-01 23:45:06 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2023-12-01 23:45:50 +0100target_i(~target_i@217.175.14.39) (Quit: leaving)
2023-12-01 23:51:41 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-01 23:52:59 +0100cstml(~cstml@user/cstml)
2023-12-01 23:53:59 +0100JeremyB99(~JeremyB99@2607:fb91:17ea:fe4:458d:4dfa:7aa1:135b)
2023-12-01 23:57:08 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)