2025/12/04

2025-12-04 00:03:55 +0100 <haskellbridge> <lucabtz> Leary maybe your way is better than an Additive typeclass as I was doing
2025-12-04 00:06:14 +0100oats(~oats@user/oats) (Read error: Connection reset by peer)
2025-12-04 00:06:29 +0100oats(~oats@user/oats) oats
2025-12-04 00:06:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 00:11:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-04 00:12:37 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-12-04 00:14:10 +0100 <EvanR> TMA, due to buffy the vampire slayer, anything can be anythinged
2025-12-04 00:22:01 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-12-04 00:22:15 +0100lambda_gibbon(~lambda_gi@208.83.175.39) (Ping timeout: 240 seconds)
2025-12-04 00:22:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 00:23:30 +0100 <geekosaur> due to pretty much any native English speaker 🙂
2025-12-04 00:23:41 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-12-04 00:23:51 +0100tromp(~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-04 00:25:36 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-04 00:27:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-04 00:28:07 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds)
2025-12-04 00:30:40 +0100 <EvanR> the word museum in washington DC is pretty cool
2025-12-04 00:31:02 +0100 <EvanR> all about language learning language, inventing new words, and not just english
2025-12-04 00:38:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 00:42:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-04 00:46:16 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-12-04 00:47:15 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-12-04 00:53:40 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds)
2025-12-04 00:54:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 00:58:28 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-12-04 00:59:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-04 01:01:14 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-12-04 01:08:03 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-12-04 01:09:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 01:14:35 +0100X-Scale(~ARM@50.65.114.89.rev.vodafone.pt) X-Scale
2025-12-04 01:14:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-04 01:25:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 01:26:09 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-12-04 01:30:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-04 01:41:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 01:41:43 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds)
2025-12-04 01:44:12 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-12-04 01:46:07 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb)
2025-12-04 01:46:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-04 01:49:20 +0100xff0x(~xff0x@2405:6580:b080:900:9a8d:d213:9a6f:7468) (Ping timeout: 244 seconds)
2025-12-04 01:50:08 +0100 <haskellbridge> <Zemyla> I wish GHC would turn compile-time lists of primitive types into operations on an Addr# defined at compile time.
2025-12-04 01:50:44 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) (Ping timeout: 265 seconds)
2025-12-04 01:51:29 +0100 <haskellbridge> <Zemyla> Like, [1, 3, 5, 8, 14] :: [Int32] would become unpackInt32List# 5# "[something]"#.
2025-12-04 01:51:45 +0100sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer)
2025-12-04 01:53:09 +0100 <geekosaur> I can't see that being any faster, and possibly slower if it needs to box the contents individually
2025-12-04 01:54:01 +0100sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101
2025-12-04 01:57:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 01:58:28 +0100 <EvanR> the question becomes how unpackInt32List# primitive is implemented
2025-12-04 01:58:57 +0100 <EvanR> is it even different from normal
2025-12-04 01:59:59 +0100 <EvanR> also, a string?
2025-12-04 02:00:48 +0100jle`(~jle`@2603:8001:3b00:11:cbef:e190:cb2:e0d) (Ping timeout: 244 seconds)
2025-12-04 02:02:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-04 02:02:46 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds)
2025-12-04 02:02:50 +0100jle`(~jle`@2603:8001:3b00:11:ed74:b35d:c320:7e16) jle`
2025-12-04 02:05:10 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb)
2025-12-04 02:05:50 +0100 <haskellbridge> <Zemyla> If it's not faster, then why is it used that way for lists of Char?
2025-12-04 02:09:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 02:09:37 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) (Ping timeout: 246 seconds)
2025-12-04 02:11:08 +0100ryanbooker(uid4340@id-4340.hampstead.irccloud.com) ryanbooker
2025-12-04 02:11:54 +0100 <EvanR> seems like they would coerce to the same thing
2025-12-04 02:13:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-04 02:17:20 +0100firesquidwao(~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 244 seconds)
2025-12-04 02:18:13 +0100tuxpaint(~a@2600:3c06::f03c:93ff:fea6:ef0e)
2025-12-04 02:18:36 +0100omidmash9(~omidmash@user/omidmash) omidmash
2025-12-04 02:20:51 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 244 seconds)
2025-12-04 02:20:51 +0100omidmash9omidmash
2025-12-04 02:24:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 02:28:54 +0100 <haskellbridge> <Zemyla> Also, it's not just about it being faster. It's also about it being a good producer and potentially having rewrite rules that straight up don't produce an intermediate list (for instance, a Vector implementation).
2025-12-04 02:29:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-04 02:29:49 +0100Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.)
2025-12-04 02:35:18 +0100acidjnk(~acidjnk@p200300d6e71719231986af8ebf40e0fc.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-12-04 02:36:31 +0100X-Scale(~ARM@50.65.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds)
2025-12-04 02:36:40 +0100inline__(~wbooze@cgn-195-14-219-122.nc.de) Inline
2025-12-04 02:39:43 +0100wbooze(~wbooze@2001-4dd7-9813-0-5961-9b55-d1ca-8eee.ipv6dyn.netcologne.de) (Ping timeout: 250 seconds)
2025-12-04 02:40:37 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-12-04 02:40:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 02:45:32 +0100ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-12-04 02:46:38 +0100X-Scale(~ARM@50.65.114.89.rev.vodafone.pt) X-Scale
2025-12-04 02:47:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-12-04 02:48:56 +0100inline__(~wbooze@cgn-195-14-219-122.nc.de) (Ping timeout: 240 seconds)
2025-12-04 02:54:46 +0100arahael(~wetfoot@user/arahael) (Ping timeout: 256 seconds)
2025-12-04 02:55:39 +0100trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Remote host closed the connection)
2025-12-04 02:58:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 03:03:35 +0100trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-12-04 03:03:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-04 03:08:25 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb)
2025-12-04 03:12:42 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) (Ping timeout: 252 seconds)
2025-12-04 03:14:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 03:18:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-04 03:29:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 03:35:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-04 03:38:39 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 250 seconds)
2025-12-04 03:40:27 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal