| 2024-11-06 00:01:34 +0100 | Guest7 | (~Guest7@137.79.192.219) (Remote host closed the connection) |
| 2024-11-06 00:01:51 +0100 | Guest7 | (~Guest7@137.79.192.219) |
| 2024-11-06 00:02:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-06 00:08:23 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-06 00:12:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2024-11-06 00:12:07 +0100 | ljdarj1 | ljdarj |
| 2024-11-06 00:13:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 00:15:24 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2024-11-06 00:17:18 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-06 00:18:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-06 00:19:23 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-06 00:19:58 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-06 00:19:59 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-11-06 00:24:24 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-06 00:28:48 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-06 00:29:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 00:31:29 +0100 | Everything | (~Everythin@178-133-16-55.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-06 00:32:27 +0100 | acidjnk | (~acidjnk@p200300d6e7283f86fde9f223924bb8a1.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-11-06 00:35:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-06 00:35:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-06 00:43:15 +0100 | alp | (~alp@2001:861:e3d6:8f80:86cd:f9bc:2fcc:950e) (Remote host closed the connection) |
| 2024-11-06 00:47:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 00:50:26 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-11-06 00:50:36 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-11-06 00:51:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-06 00:52:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 00:56:17 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-06 00:57:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-06 00:58:37 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-06 01:01:15 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-06 01:08:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 01:13:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-06 01:13:22 +0100 | troojg | (~troojg@user/troojg) troojg |
| 2024-11-06 01:13:28 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-06 01:13:54 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2024-11-06 01:21:39 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-06 01:22:51 +0100 | <jackdk> | Standards pricing is just obscene, TBQH. There has to be a way to compensate experts for their work without certain companies getting to overcharge for ancient documents forever. |
| 2024-11-06 01:23:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 01:28:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-06 01:28:22 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-06 01:31:36 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fc69:912f:320c:e811) (Ping timeout: 272 seconds) |
| 2024-11-06 01:32:02 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-06 01:34:09 +0100 | <constxd> | mauke: my understanding is wg14 intentionally makes drafts public that are as close as possible to the final revision to circumvent the ISO pricing absurdity |
| 2024-11-06 01:34:38 +0100 | <constxd> | i was reading somewhere that they are like grandfathered in, most ISO standards have tighter restrictions on what can be released as a draft |
| 2024-11-06 01:34:51 +0100 | <constxd> | but basically there is no reason to buy the C standard |
| 2024-11-06 01:39:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 01:39:21 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-11-06 01:42:38 +0100 | sprotte24_ | (~sprotte24@p200300d16f3f2c00b0d50a9d74dbbab9.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-11-06 01:43:47 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-11-06 01:44:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-06 01:46:34 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2024-11-06 01:47:33 +0100 | Versality | (~Versality@84.237.180.62) |
| 2024-11-06 01:47:33 +0100 | Versality | (~Versality@84.237.180.62) (Changing host) |
| 2024-11-06 01:47:33 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-06 01:48:18 +0100 | <haskellbridge> | <zwro> is there a way to save the current ghci session? |
| 2024-11-06 01:49:36 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |