Newest at the top
2024-09-20 15:29:43 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-09-20 15:28:30 +0200 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
2024-09-20 15:28:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 15:28:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-20 15:20:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 15:14:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-20 15:09:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 15:00:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-20 15:00:21 +0200 | <kuribas> | Inst: which instance? |
2024-09-20 14:58:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-20 14:56:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 14:53:09 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-09-20 14:52:48 +0200 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
2024-09-20 14:49:36 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) |
2024-09-20 14:47:15 +0200 | srazkvt | (~sarah@user/srazkvt) |
2024-09-20 14:41:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-20 14:37:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-20 14:35:11 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 14:20:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:64be:ce6a:a0a8:1563) |
2024-09-20 14:11:09 +0200 | Blasius_ | (~Blasius@2.219.56.221) (Ping timeout: 260 seconds) |
2024-09-20 14:10:34 +0200 | chiselfu1e | chiselfuse |
2024-09-20 14:05:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
2024-09-20 14:00:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 14:00:23 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
2024-09-20 13:58:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-20 13:55:51 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
2024-09-20 13:52:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-09-20 13:46:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 13:42:35 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
2024-09-20 13:32:54 +0200 | morb | (~morb@108.41.100.120) (Ping timeout: 252 seconds) |
2024-09-20 13:29:50 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-20 13:24:25 +0200 | morb | (~morb@108.41.100.120) |
2024-09-20 13:19:31 +0200 | bliminse | (~bliminse@user/bliminse) |
2024-09-20 13:14:53 +0200 | <Inst> | or am i wrong here? |
2024-09-20 13:13:01 +0200 | <Inst> | . and >=> also has the wrong fixity, i think, but you can't really fix it without losing laziness |
2024-09-20 13:12:34 +0200 | <Inst> | well, not really, but whereas >> can be optimized, it's harder to optimize a >>= chain |
2024-09-20 13:08:30 +0200 | <Inst> | tbh it can't be avoided due to laziness |
2024-09-20 13:08:24 +0200 | <Inst> | term >>= foo >>= bar starts stacking space |
2024-09-20 13:08:04 +0200 | <Inst> | come to think of it, does >>= leak? |
2024-09-20 13:07:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-20 13:06:56 +0200 | potato44 | (uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-20 13:06:48 +0200 | flounders | (~flounders@173.246.214.210) |
2024-09-20 13:04:49 +0200 | flounders_ | (~flounders@2607:fb91:f40:c71f:1db6:ca6:cd9b:ec1c) (Ping timeout: 248 seconds) |
2024-09-20 13:04:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-20 13:02:02 +0200 | arahael | (~arahael@user/arahael) |
2024-09-20 12:58:13 +0200 | greenflower | (~greenflow@14.99.164.82) (Quit: Client closed) |
2024-09-20 12:58:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-09-20 12:56:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-20 12:52:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-20 12:48:55 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |