| 2025-01-11 00:03:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 00:05:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-01-11 00:06:14 +0100 | saulosilva | (~saulosilv@181.216.220.21) saulosilva |
| 2025-01-11 00:06:30 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-11 00:07:12 +0100 | <euouae> | c_wraith: answer to what? |
| 2025-01-11 00:08:00 +0100 | <c_wraith> | how to enumerate rationals efficiently |
| 2025-01-11 00:08:14 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-01-11 00:11:25 +0100 | <euouae> | c_wraith: well a straightforward way is a simple generator formula that I extracted from that paper |
| 2025-01-11 00:11:44 +0100 | <euouae> | I'm not going for 100% efficiency in terms of flops and all that -- just an O(1) memory/time generating formula |
| 2025-01-11 00:13:02 +0100 | <euouae> | c_wraith: <https://termbin.com/barw> here's my Haskell code of that paper. `rats7` is the fast implementation and it only relies on `inverse` and `next`. |
| 2025-01-11 00:14:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 00:16:51 +0100 | <euouae> | not "fast". I should say "cheap" like O(1) memory/time |
| 2025-01-11 00:18:24 +0100 | <c_wraith> | ... to be clear, that's not O(1), because Rational isn't constant-space or constant-time |
| 2025-01-11 00:19:01 +0100 | <c_wraith> | But arbitrary-precision prevents those in general. It's not an issue with Rational. |
| 2025-01-11 00:19:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-11 00:20:23 +0100 | <euouae> | yes |
| 2025-01-11 00:20:56 +0100 | avdb13 | (~avdb13@2001-14ba-a0a9-f200--18c.rev.dnainternet.fi) |
| 2025-01-11 00:21:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-11 00:22:32 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 265 seconds) |
| 2025-01-11 00:30:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 00:32:48 +0100 | saulosilva | (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 2025-01-11 00:34:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 00:37:59 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2025-01-11 00:38:57 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-11 00:42:40 +0100 | euouae | (~euouae@user/euouae) (Ping timeout: 252 seconds) |
| 2025-01-11 00:45:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 00:46:27 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2025-01-11 00:52:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-11 00:54:41 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-01-11 00:59:10 +0100 | ahisho | (~ahisoooo@88.90.222.87.dynamic.jazztel.es) (Quit: Leaving) |
| 2025-01-11 01:10:45 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-11 01:12:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 01:16:13 +0100 | saulosilva | (~saulosilv@181.216.220.21) saulosilva |
| 2025-01-11 01:16:16 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-11 01:16:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-11 01:23:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-01-11 01:23:49 +0100 | sprotte24 | (~sprotte24@p200300d16f053e002de39e6a7dd83ed5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-11 01:24:42 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-11 01:27:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 01:31:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 01:42:07 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2025-01-11 01:42:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 01:43:52 +0100 | <EvanR> | "flops" to measure the efficiency of rational numbers |
| 2025-01-11 01:44:17 +0100 | <EvanR> | xD |
| 2025-01-11 01:44:54 +0100 | <EvanR> | one of these programming languages comes with rational number backed by ints instead of arbitrary precision |
| 2025-01-11 01:45:07 +0100 | <EvanR> | I guess this works about as well as "int" for representing integers |
| 2025-01-11 01:47:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 01:49:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-11 01:58:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 01:59:04 +0100 | saulosilva | (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 2025-01-11 02:02:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 02:07:08 +0100 | saulosilva | (~saulosilv@181.216.220.21) saulosilva |
| 2025-01-11 02:07:26 +0100 | saulosilva | (~saulosilv@181.216.220.21) (Client Quit) |
| 2025-01-11 02:13:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 02:18:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-11 02:19:58 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-11 02:22:39 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-11 02:24:19 +0100 | saulosilva | (~saulosilv@181.216.220.21) saulosilva |
| 2025-01-11 02:25:16 +0100 | <saulosilva> | Hello |
| 2025-01-11 02:28:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 02:33:13 +0100 | <geekosaur> | hi |
| 2025-01-11 02:35:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 02:35:40 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 02:38:31 +0100 | otto_s | (~user@p5de2f8cc.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-01-11 02:39:54 +0100 | otto_s | (~user@p5de2fce5.dip0.t-ipconnect.de) |
| 2025-01-11 02:40:07 +0100 | saulosilva | (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 2025-01-11 02:46:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 02:48:44 +0100 | acidjnk | (~acidjnk@p200300d6e7283f46ed3dd32d3de732cf.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-01-11 02:49:00 +0100 | avdb13 | (~avdb13@2001-14ba-a0a9-f200--18c.rev.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2025-01-11 02:50:20 +0100 | housemate | (~housemate@146.70.66.228) (Remote host closed the connection) |
| 2025-01-11 02:50:52 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 02:51:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 02:52:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 02:56:11 +0100 | housemate | (~housemate@146.70.66.228) (Ping timeout: 252 seconds) |
| 2025-01-11 02:56:25 +0100 | housemate | (~housemate@pa49-183-118-117.pa.vic.optusnet.com.au) housemate |
| 2025-01-11 02:56:28 +0100 | housemate | (~housemate@pa49-183-118-117.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-11 02:57:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 02:57:48 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-11 03:01:03 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-11 03:03:42 +0100 | housemate_ | (~housemate@146.70.66.228) housemate |
| 2025-01-11 03:03:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-01-11 03:05:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-11 03:12:42 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-01-11 03:13:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 03:14:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-11 03:18:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-11 03:19:00 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-11 03:19:58 +0100 | housemate_ | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-11 03:21:15 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-01-11 03:28:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 03:31:49 +0100 | dnerchm^ | (~dnerchm@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2025-01-11 03:33:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 03:33:47 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.228) Jeanne-Kamikaze |
| 2025-01-11 03:38:17 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-11 03:44:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 03:45:16 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
| 2025-01-11 03:47:27 +0100 | euouae | (~euouae@user/euouae) (Remote host closed the connection) |
| 2025-01-11 03:48:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-11 03:59:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 04:05:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 04:05:13 +0100 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-11 04:06:16 +0100 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-01-11 04:16:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 04:19:48 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-11 04:22:42 +0100 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-11 04:22:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 04:23:43 +0100 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-01-11 04:32:26 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-11 04:32:45 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) orangeFlu |
| 2025-01-11 04:34:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 04:37:07 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-11 04:38:08 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-11 04:38:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-11 04:38:50 +0100 | ChanServ | +o litharge |
| 2025-01-11 04:38:51 +0100 | litharge | -bo *!*@user/rongwey litharge |
| 2025-01-11 04:40:31 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-11 04:41:22 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-11 04:49:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 04:50:50 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 04:51:50 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2025-01-11 04:52:19 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-11 04:54:04 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2025-01-11 04:54:43 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-11 04:57:14 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2025-01-11 04:57:55 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-11 04:58:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 05:05:16 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc3:c600:66d6:598d:d25f:7909) aforemny |
| 2025-01-11 05:06:22 +0100 | aforemny | (~aforemny@i59F4C56A.versanet.de) (Ping timeout: 252 seconds) |
| 2025-01-11 05:09:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 05:10:37 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
| 2025-01-11 05:14:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-11 05:14:42 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-11 05:20:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-11 05:24:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 05:29:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 05:33:48 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-01-11 05:34:03 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-11 05:40:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 05:40:39 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.228) (Quit: Leaving) |
| 2025-01-11 05:40:45 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Read error: Connection reset by peer) |
| 2025-01-11 05:41:01 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-11 05:44:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-11 05:51:12 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-11 05:55:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 05:55:48 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-11 06:02:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-11 06:07:21 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-01-11 06:07:27 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-11 06:12:56 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-11 06:13:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 06:17:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-11 06:28:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 06:31:33 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 248 seconds) |
| 2025-01-11 06:33:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 06:37:14 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-01-11 06:44:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 06:48:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 06:53:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-11 06:55:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 06:59:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 07:01:54 +0100 | Me-me | (~me-me@user/me-me) (Remote host closed the connection) |
| 2025-01-11 07:04:32 +0100 | Me-me | (~me-me@user/me-me) Me-me |
| 2025-01-11 07:06:01 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-11 07:06:13 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-11 07:10:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 07:15:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 07:22:11 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-11 07:25:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 07:27:07 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-11 07:30:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 07:39:01 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-11 07:39:57 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-11 07:39:57 +0100 | tnt2 | tnt1 |
| 2025-01-11 07:41:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 07:45:10 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:ea66:e6de:89d7:22da) (Ping timeout: 272 seconds) |
| 2025-01-11 07:48:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-11 07:53:21 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-11 07:56:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 08:00:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-11 08:00:45 +0100 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-01-11 08:01:57 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:b02a:8bb0:8f4f:58a0) dtman34 |
| 2025-01-11 08:11:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 08:12:55 +0100 | CiaoSen | (~Jura@2a05:5800:2ef:f000:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-11 08:15:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 08:18:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-11 08:21:48 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-01-11 08:26:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 08:31:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 08:33:18 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-01-11 08:33:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-01-11 08:36:31 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-11 08:40:18 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-11 08:42:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 08:45:38 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) (Ping timeout: 252 seconds) |
| 2025-01-11 08:46:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 08:47:30 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) orangeFlu |
| 2025-01-11 08:57:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-11 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-11 09:02:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-11 09:03:34 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-01-11 09:03:38 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-11 09:04:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-11 09:12:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 09:19:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 09:26:28 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-11 09:29:59 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-11 09:30:23 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-11 09:30:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 09:35:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 09:38:10 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-11 09:39:08 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 09:40:21 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2025-01-11 09:41:27 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-11 09:42:28 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 09:45:31 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:b02a:8bb0:8f4f:58a0) (Ping timeout: 252 seconds) |
| 2025-01-11 09:45:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 09:46:06 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2025-01-11 09:46:57 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) |
| 2025-01-11 09:50:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 09:56:51 +0100 | housemate | (~housemate@146.70.66.228) (Read error: Connection reset by peer) |
| 2025-01-11 09:57:44 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 09:58:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 09:58:46 +0100 | housemate | (~housemate@146.70.66.228) (Remote host closed the connection) |
| 2025-01-11 09:59:10 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-11 10:00:23 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-11 10:02:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 10:06:54 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-11 10:11:48 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
| 2025-01-11 10:13:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 10:14:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-11 10:16:33 +0100 | CiaoSen | (~Jura@2a05:5800:2ef:f000:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds) |
| 2025-01-11 10:18:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 10:28:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 10:30:11 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-11 10:31:43 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-01-11 10:33:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 10:33:39 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-01-11 10:44:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 10:45:15 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-11 10:49:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-11 10:49:39 +0100 | acidjnk | (~acidjnk@p200300d6e7283f9048e4a8ec3d592563.dip0.t-ipconnect.de) acidjnk |
| 2025-01-11 10:49:49 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca |
| 2025-01-11 10:52:46 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-11 10:53:24 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Remote host closed the connection) |
| 2025-01-11 10:59:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 11:00:55 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-11 11:10:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-11 11:21:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 11:25:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 11:26:31 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca |
| 2025-01-11 11:29:27 +0100 | acidjnk | (~acidjnk@p200300d6e7283f9048e4a8ec3d592563.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-01-11 11:30:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-01-11 11:30:56 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-11 11:32:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-11 11:36:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 11:41:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-11 11:48:19 +0100 | <kaol> | I find <$>'s precedence awkward. I tend to write code like "f1 . f2 <$> g1 $ g2 x" which I'd expect to work like "f1 . f2 <$> g1 (g2 x)" and not "(f1 . f2 <$> g1) (g2 x)". |
| 2025-01-11 11:49:17 +0100 | <kaol> | I then write "fmap (f1 . f2) $ g1 $ g2 x" instead. |
| 2025-01-11 11:51:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 11:51:56 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-11 11:53:46 +0100 | CiaoSen | (~Jura@2a05:5800:2ef:f000:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-11 11:54:59 +0100 | <Rembane> | kaol: Super legit, you can also write (fmap (f1 . f2) . g1 . g2) x |
| 2025-01-11 11:56:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-11 12:08:42 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2025-01-11 12:09:19 +0100 | <Leary> | kaol: The purpose of `$` is to be application that's a greedy as possible, by having the least precedence. If you have other expectations then you're misusing it. `g1 (g2 x)` and `(g1 . g2) x` are both cleaner options anyway. |
| 2025-01-11 12:11:09 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-11 12:11:17 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-01-11 12:11:17 +0100 | tnt2 | tnt1 |
| 2025-01-11 12:14:41 +0100 | <kaol> | <$> is so similar to $ even down to the $ and I've gathered it's intentional except that's one thing where it isn't. |
| 2025-01-11 12:15:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 12:17:28 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: β reduced) |
| 2025-01-11 12:17:55 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-11 12:18:21 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-11 12:19:50 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2025-01-11 12:22:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-11 12:31:35 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-01-11 12:32:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 12:37:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-11 12:42:15 +0100 | <kaol> | > let (€) = (*1.03) in (€) $ 1.0 |
| 2025-01-11 12:42:16 +0100 | <lambdabot> | 1.03 |
| 2025-01-11 12:43:20 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-11 12:48:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 12:52:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 12:54:10 +0100 | acidjnk | (~acidjnk@p200300d6e7283f90c8dc7c78c19bd00e.dip0.t-ipconnect.de) acidjnk |
| 2025-01-11 12:54:37 +0100 | <[exa]> | kaol: wasn't there a library that literally allowed you to write "5 eur"? (via the usual typeclass trickery) |
| 2025-01-11 12:56:08 +0100 | <ncf> | > let (€) = (*1.03) in (1.0 €) |
| 2025-01-11 12:56:10 +0100 | <lambdabot> | 1.03 |
| 2025-01-11 12:59:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-11 12:59:27 +0100 | <tomsmeding> | the € symbol is written prefix |
| 2025-01-11 12:59:52 +0100 | <tomsmeding> | too bad that won't work with the syntax :p |
| 2025-01-11 12:59:53 +0100 | <[exa]> | not everywhere :( |
| 2025-01-11 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-11 13:00:24 +0100 | AlexNoo_ | (~AlexNoo@178.34.160.135) |
| 2025-01-11 13:00:28 +0100 | <tomsmeding> | TIL |
| 2025-01-11 13:00:51 +0100 | <haskellbridge> | <magic_rb> In slovakia its postfix yeah |
| 2025-01-11 13:01:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 13:01:34 +0100 | <haskellbridge> | <magic_rb> {-# LANGUAGE PrefixUnaryOperators #-} when |
| 2025-01-11 13:01:42 +0100 | <ncf> | isn't € suffixed in most places that actually use € |
| 2025-01-11 13:01:51 +0100 | <tomsmeding> | there aren't unary operators in the first place |
| 2025-01-11 13:01:53 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-11 13:02:01 +0100 | <haskellbridge> | <magic_rb> -10 is :) |
| 2025-01-11 13:02:14 +0100 | <tomsmeding> | ncf: apparently, and apparently NL is one of the few where it's written prefix |
| 2025-01-11 13:02:15 +0100 | <haskellbridge> | <magic_rb> So yea, first we need UnaryOperators |
| 2025-01-11 13:02:26 +0100 | <tomsmeding> | magic_rb: that one is built-in :p |
| 2025-01-11 13:02:34 +0100 | <haskellbridge> | <magic_rb> Ye ik :P |
| 2025-01-11 13:02:48 +0100 | <tomsmeding> | LexicalNegation is relevant |
| 2025-01-11 13:03:43 +0100 | <haskellbridge> | <magic_rb> Cant wait for (* 4 (+ 4 5)) to be valid haskell code |
| 2025-01-11 13:03:43 +0100 | <kaol> | I wrote it like that since I wanted to abuse $. |
| 2025-01-11 13:03:45 +0100 | AlexZenon | (~alzenon@94.233.240.147) (Ping timeout: 252 seconds) |
| 2025-01-11 13:03:52 +0100 | <kaol> | Even more. |
| 2025-01-11 13:04:04 +0100 | AlexNoo | (~AlexNoo@94.233.240.147) (Ping timeout: 252 seconds) |
| 2025-01-11 13:08:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-11 13:12:39 +0100 | AlexZenon | (~alzenon@178.34.160.135) |
| 2025-01-11 13:14:28 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 13:18:16 +0100 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2025-01-11 13:19:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 13:19:12 +0100 | housemate | (~housemate@146.70.66.228) (Read error: Connection reset by peer) |
| 2025-01-11 13:20:05 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-11 13:20:14 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 13:20:38 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 244 seconds) |
| 2025-01-11 13:20:45 +0100 | housemate | (~housemate@146.70.66.228) (Read error: Connection reset by peer) |
| 2025-01-11 13:21:29 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-11 13:24:20 +0100 | housemate | (~housemate@146.70.66.228) (Client Quit) |
| 2025-01-11 13:24:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-11 13:27:22 +0100 | pera | (~pera@user/pera) pera |
| 2025-01-11 13:31:49 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 2025-01-11 13:35:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 13:36:04 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-11 13:40:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-11 13:40:12 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-11 13:41:43 +0100 | FragByte_ | (~christian@user/fragbyte) FragByte |
| 2025-01-11 13:42:06 +0100 | FragByte | (~christian@user/fragbyte) (Ping timeout: 246 seconds) |
| 2025-01-11 13:42:06 +0100 | FragByte_ | FragByte |
| 2025-01-11 13:46:28 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2025-01-11 13:47:35 +0100 | FragByte_ | (~christian@user/fragbyte) FragByte |
| 2025-01-11 13:48:14 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-11 13:48:32 +0100 | FragByte | (~christian@user/fragbyte) (Ping timeout: 244 seconds) |
| 2025-01-11 13:48:32 +0100 | FragByte_ | FragByte |
| 2025-01-11 13:50:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 13:51:22 +0100 | CiaoSen | (~Jura@2a05:5800:2ef:f000:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2025-01-11 13:55:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 14:02:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 14:03:31 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2025-01-11 14:06:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 14:07:09 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-11 14:11:25 +0100 | jinsun_ | (~jinsun@user/jinsun) jinsun |
| 2025-01-11 14:11:25 +0100 | jinsun | Guest6442 |
| 2025-01-11 14:11:25 +0100 | jinsun_ | jinsun |
| 2025-01-11 14:14:28 +0100 | <zero> | > let (#) = succ in (6 #) |
| 2025-01-11 14:14:30 +0100 | <lambdabot> | 7 |
| 2025-01-11 14:15:00 +0100 | Guest6442 | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2025-01-11 14:17:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 14:18:47 +0100 | <tomsmeding> | % let (++) = succ in (6++) |
| 2025-01-11 14:18:47 +0100 | <yahb2> | 7 |
| 2025-01-11 14:19:29 +0100 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2025-01-11 14:19:53 +0100 | <[exa]> | magic_rb: czechoslovak hi5 |
| 2025-01-11 14:20:14 +0100 | <zero> | zm |
| 2025-01-11 14:20:57 +0100 | <[exa]> | zero: ok wow cool |
| 2025-01-11 14:21:19 +0100 | FragByte | (~christian@user/fragbyte) FragByte |
| 2025-01-11 14:24:09 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 276 seconds) |
| 2025-01-11 14:26:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-11 14:26:56 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-11 14:28:22 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-11 14:33:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-11 14:37:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 14:41:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |