Newest at the top
| 2026-01-02 23:24:09 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-02 23:22:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 23:16:42 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 256 seconds) |
| 2026-01-02 23:15:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 23:13:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 23:12:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-02 23:12:16 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2026-01-02 23:06:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 23:05:06 +0100 | iqubic | (~sophia@2601:602:9203:1660:c40f:f996:91cc:d34) (Remote host closed the connection) |
| 2026-01-02 23:04:43 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 23:04:06 +0100 | Inline | (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2026-01-02 23:04:03 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 23:01:49 +0100 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2026-01-02 23:01:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:55:00 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:53:47 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:50:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 22:49:27 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:48:12 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:45:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:45:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-02 22:45:02 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:43:49 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:37:42 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:36:50 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-02 22:36:24 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:35:29 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 2026-01-02 22:35:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 22:35:06 +0100 | acidjnk | (~acidjnk@p200300d6e7171974ecdc66dbb7a91ed3.dip0.t-ipconnect.de) acidjnk |
| 2026-01-02 22:35:00 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-02 22:33:19 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:31:55 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:30:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:26:26 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-02 22:24:41 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:23:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:22:46 +0100 | <geekosaur> | someone somewhere's done it, I'm sure |
| 2026-01-02 22:21:43 +0100 | <monochrom> | OK, but I will hide behind "I am skeptical until I see a language that does that". :) |
| 2026-01-02 22:19:27 +0100 | <EvanR> | e.g. if predicting costs is too hard |
| 2026-01-02 22:19:04 +0100 | <EvanR> | and if you can't ... the other way doesn't sound plausible |
| 2026-01-02 22:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 22:18:52 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:18:35 +0100 | <EvanR> | dedicated to that purpose |
| 2026-01-02 22:18:24 +0100 | <EvanR> | yes but you could have cost meaningful syntactic forms |
| 2026-01-02 22:17:38 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:17:22 +0100 | <monochrom> | You can't talk about costs when hiding behind the denotational façade. |
| 2026-01-02 22:15:57 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-02 22:15:24 +0100 | <monochrom> | In the case of Haskell, a ton of tweaks ruined the denotational ideal. But I am not surprised; someone has to talk about time costs and space costs. |
| 2026-01-02 22:14:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:14:17 +0100 | <monochrom> | Every PL ideology has been broken by even its most ideological language. For example, Prolog added cuts to ruin the nice and symmetric logic programming ideal. |