| 2025-04-03 00:00:44 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-04-03 00:01:48 +0200 | AlexZenon | (~alzenon@178.34.150.194) |
| 2025-04-03 00:03:09 +0200 | <EvanR> | dragon algorithm (Steele90) prints out a float in decimal and bellerophon undoes it (Clinger90) |
| 2025-04-03 00:03:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-03 00:07:51 +0200 | <EvanR> | Steele and White's paper bases the description of the printing problem (the shortest decimal representation which could be read back in to get the original correct value) on a hypothetical algorithm that would read in a string and get the closest float approximation |
| 2025-04-03 00:08:29 +0200 | <EvanR> | but people working on an IEEE standard for scheme were wondering if any such algorithm existed |
| 2025-04-03 00:08:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-04-03 00:10:23 +0200 | <EvanR> | Clinger worked on it and in a first draft, supposed that Steel and White's algorithm existed, and possibly use it as a fallback in case the efficient part of his algorithm failed (guess and check) |
| 2025-04-03 00:10:38 +0200 | <EvanR> | until somebody mentioned that that's probably problematic |
| 2025-04-03 00:12:45 +0200 | <EvanR> | (e.g. if you have a float that is known to be close to the closest approximation of the decimal number, then you can try to print out a few floats around it to see if they work better) |
| 2025-04-03 00:13:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-03 00:15:45 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 248 seconds) |
| 2025-04-03 00:17:22 +0200 | <EvanR> | Theorem 5 of Clinger: For n >= 5, no finite automaton computes the significand of the best n-bit binary floating approximation to f x 10^e where f and e are presented in base 10 |
| 2025-04-03 00:18:15 +0200 | visilii | (~visilii@85.94.26.83) (Read error: Connection reset by peer) |
| 2025-04-03 00:18:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-03 00:18:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-03 00:19:29 +0200 | visilii | (~visilii@85.172.76.90) |
| 2025-04-03 00:29:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-03 00:29:41 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-03 00:33:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 2025-04-03 00:33:09 +0200 | ljdarj1 | ljdarj |
| 2025-04-03 00:33:16 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-03 00:33:25 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 248 seconds) |
| 2025-04-03 00:34:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-03 00:41:22 +0200 | dyniec | (~dyniec@dybiec.info) (Killed (lithium.libera.chat (Nickname regained by services))) |
| 2025-04-03 00:41:47 +0200 | dyniec_ | (~dyniec@dybiec.info) dyniec |
| 2025-04-03 00:41:49 +0200 | dyniec_ | (~dyniec@dybiec.info) (Client Quit) |
| 2025-04-03 00:43:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-03 00:43:11 +0200 | dyniec | (~dyniec@dybiec.info) dyniec |
| 2025-04-03 00:48:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-03 00:52:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-03 00:54:27 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-04-03 00:58:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-03 01:00:35 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-04-03 01:01:22 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2025-04-03 01:04:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-03 01:04:47 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-04-03 01:06:46 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-03 01:11:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-04-03 01:14:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-03 01:15:33 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f85dc3c06db59cdfece.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-04-03 01:18:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-03 01:19:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-03 01:22:06 +0200 | Square2 | (~Square@user/square) Square |
| 2025-04-03 01:23:54 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2025-04-03 01:25:27 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-03 01:25:39 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-04-03 01:29:33 +0200 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2025-04-03 01:30:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-03 01:30:54 +0200 | Square | (~Square@user/square) Square |
| 2025-04-03 01:35:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-03 01:42:42 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-04-03 01:42:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-03 01:44:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-03 01:45:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2025-04-03 01:48:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-03 01:59:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-03 02:02:16 +0200 | sprotte24 | (~sprotte24@p200300d16f105300edc0583ef9378a6d.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-03 02:06:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-03 02:08:16 +0200 | otto_s | (~user@p4ff27ad6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-03 02:10:10 +0200 | otto_s | (~user@p5b044be5.dip0.t-ipconnect.de) |
| 2025-04-03 02:17:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-03 02:22:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-03 02:22:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-03 02:33:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-03 02:33:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8220:3efc:a503:ef) (Quit: xff0x) |
| 2025-04-03 02:34:38 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-03 02:36:09 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-03 02:38:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-03 02:46:15 +0200 | <troydm> | I'm trying to use HLS with package dependency that is installed using cabal v1-install and HLS fails to start because of that with message like this |