Newest at the top
| 2025-01-11 00:45:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 00:42:40 +0100 | euouae | (~euouae@user/euouae) (Ping timeout: 252 seconds) |
| 2025-01-11 00:38:57 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-11 00:37:59 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2025-01-11 00:34:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-11 00:32:48 +0100 | saulosilva | (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 2025-01-11 00:30:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-11 00:22:32 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 265 seconds) |
| 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:20:56 +0100 | avdb13 | (~avdb13@2001-14ba-a0a9-f200--18c.rev.dnainternet.fi) |
| 2025-01-11 00:20:23 +0100 | <euouae> | yes |
| 2025-01-11 00:19:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 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: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:16:51 +0100 | <euouae> | not "fast". I should say "cheap" like O(1) memory/time |
| 2025-01-11 00:14:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 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: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: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:08:14 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-01-11 00:08:00 +0100 | <c_wraith> | how to enumerate rationals efficiently |
| 2025-01-11 00:07:12 +0100 | <euouae> | c_wraith: answer to what? |
| 2025-01-11 00:06:30 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-11 00:06:14 +0100 | saulosilva | (~saulosilv@181.216.220.21) saulosilva |
| 2025-01-11 00:05:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-01-11 00:03:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 23:59:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 23:53:01 +0100 | <c_wraith> | euouae: did you ever get an answer to that? It turns out there are very sneaky ways. |
| 2025-01-10 23:51:29 +0100 | mchav | (~mchav@197.221.254.145) (Quit: Client closed) |
| 2025-01-10 23:51:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-10 23:49:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 23:46:29 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-10 23:44:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 23:41:11 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-10 23:40:45 +0100 | mari51520 | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-01-10 23:33:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 23:28:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 23:28:34 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-10 23:27:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-10 23:25:39 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-10 23:22:53 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2025-01-10 23:22:34 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2025-01-10 23:21:24 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2025-01-10 23:20:30 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2025-01-10 23:19:53 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2025-01-10 23:18:58 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2025-01-10 23:18:23 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2025-01-10 23:17:48 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2025-01-10 23:17:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 23:16:50 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Max SendQ exceeded) |