2024/09/29

Newest at the top

2024-09-29 18:21:43 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-09-29 18:21:41 +0200synchromesh(~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) (Read error: Connection reset by peer)
2024-09-29 18:20:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 18:16:21 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-09-29 18:16:05 +0200 <raehik> Wait, no! The Core leaves the constants separate, but the ASM has them combined. Cool!
2024-09-29 18:15:21 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-29 18:12:51 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-29 18:11:14 +0200 <raehik> (Oops, please read my original example as having constants 0b0001, 0b1000)
2024-09-29 18:10:47 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-29 18:10:02 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-29 18:09:34 +0200 <raehik> Bleh, it is an association issue. Putting the constants next to each other has GHC combine them as expected.
2024-09-29 18:09:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-29 18:07:54 +0200 <raehik> Hm. No, GHC wasn't able to combine those. That's a shame. https://play.haskell.org/saved/VfZw28Kb
2024-09-29 18:07:52 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2024-09-29 18:06:12 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 18:04:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 18:01:10 +0200druchan(uid567859@id-567859.lymington.irccloud.com)
2024-09-29 17:59:45 +0200misterfish(~misterfis@178-85-89-58.dynamic.upc.nl) (Ping timeout: 265 seconds)
2024-09-29 17:59:07 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-09-29 17:58:12 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2024-09-29 17:57:18 +0200 <raehik> google found it immediately :) https://play.haskell.org/
2024-09-29 17:56:35 +0200 <raehik> I could answer it myself if I had that
2024-09-29 17:56:27 +0200 <raehik> Ack. Wasn't there a GHC/Haskell playground that lets you view Core, advertised the other day?
2024-09-29 17:55:09 +0200benjaminl(~benjaminl@user/benjaminl) benjaminl
2024-09-29 17:55:05 +0200 <raehik> If I have a big bit twiddle of `a .|. 0b0001 .|. b .|. 0b1001`, is GHC smart enough to combine the constants into `a .|. b .|. 0b1001`?
2024-09-29 17:54:53 +0200benjaminl(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2024-09-29 17:53:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-29 17:51:43 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-29 17:48:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 17:48:41 +0200pabs3(~pabs3@user/pabs3) pabs3
2024-09-29 17:47:42 +0200tedbjurlin(tedbjurlin@user/tedbjurlin) (Remote host closed the connection)
2024-09-29 17:45:52 +0200pabs3(~pabs3@user/pabs3) (Remote host closed the connection)
2024-09-29 17:44:52 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-29 17:41:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 17:41:05 +0200tedbjurlin(tedbjurlin@user/tedbjurlin) tedbjurlin
2024-09-29 17:38:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-29 17:36:07 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 17:35:49 +0200sp1ff(~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff
2024-09-29 17:35:35 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds)
2024-09-29 17:35:35 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-09-29 17:35:35 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 17:33:21 +0200druchan(uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-29 17:33:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 17:30:37 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-29 17:24:23 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 17:22:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-29 17:17:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-29 17:16:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection)
2024-09-29 17:07:56 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-29 17:06:51 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)