| 2025-09-17 00:01:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-17 00:09:53 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-17 00:12:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 00:13:17 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-17 00:16:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-17 00:18:05 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-17 00:21:47 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-09-17 00:24:15 +0200 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-09-17 00:27:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 00:29:10 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-17 00:32:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-17 00:36:03 +0200 | wz1000_ | (~wz1000@2a01:4f9:c012:de50::1) |
| 2025-09-17 00:42:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 00:44:17 +0200 | wz1000_ | (~wz1000@2a01:4f9:c012:de50::1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-17 00:45:09 +0200 | wz1000_ | (~wz1000@static.194.167.62.46.clients.your-server.de) |
| 2025-09-17 00:47:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-17 00:47:40 +0200 | wz1000_ | (~wz1000@static.194.167.62.46.clients.your-server.de) (Client Quit) |
| 2025-09-17 00:48:28 +0200 | wz1000_ | (~wz1000@static.194.167.62.46.clients.your-server.de) |
| 2025-09-17 00:52:32 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-17 00:58:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 00:58:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-09-17 00:59:16 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-17 01:03:20 +0200 | sprotte24 | (~sprotte24@p200300d16f231d00e5b1a054e6dbcfed.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-17 01:04:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-17 01:08:01 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-17 01:16:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 01:21:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-17 01:21:45 +0200 | acidjnk | (~acidjnk@p200300d6e717193311482dfc0bb512ca.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-09-17 01:25:06 +0200 | mange | (~mange@user/mange) mange |
| 2025-09-17 01:31:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 01:36:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-17 01:42:39 +0200 | lol_ | (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) (Quit: Leaving) |
| 2025-09-17 01:47:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 01:48:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-09-17 01:51:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-17 01:53:48 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2025-09-17 01:57:32 +0200 | glguy_ | (glguy@libera/staff/glguy) (Quit: Quit) |
| 2025-09-17 01:58:10 +0200 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-09-17 02:02:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 02:06:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-17 02:07:29 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-17 02:13:27 +0200 | Fijxu_ | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-09-17 02:16:36 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-17 02:17:04 +0200 | trickard | (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-17 02:17:18 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-17 02:17:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 02:22:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-17 02:25:10 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-09-17 02:28:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:332e:d29a:2193:9d6b) (Ping timeout: 248 seconds) |
| 2025-09-17 02:29:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 02:34:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-17 02:34:09 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-17 02:35:14 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-17 02:35:31 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-17 02:37:04 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-09-17 02:38:31 +0200 | Fijxu_ | (~Fijxu@user/fijxu) fijxu |
| 2025-09-17 02:41:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-17 02:44:28 +0200 | caconym7478 | (~caconym@user/caconym) (Quit: Ping timeout (120 seconds)) |
| 2025-09-17 02:44:39 +0200 | caconym7478 | (~caconym@user/caconym) caconym |
| 2025-09-17 02:44:42 +0200 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2025-09-17 02:44:45 +0200 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-09-17 02:45:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 02:45:13 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-17 02:46:01 +0200 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert |
| 2025-09-17 02:47:27 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-17 02:48:08 +0200 | wz1000- | (~wz1000@static.194.167.62.46.clients.your-server.de) |
| 2025-09-17 02:49:21 +0200 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-09-17 02:49:26 +0200 | peterbecich1 | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-17 02:49:41 +0200 | vgtw_ | (~vgtw@user/vgtw) vgtw |
| 2025-09-17 02:50:02 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-17 02:50:47 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-09-17 02:51:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-17 02:51:42 +0200 | j0lol_ | (~j0lol@132.145.17.236) j0lol |
| 2025-09-17 02:53:50 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Remote host closed the connection) |
| 2025-09-17 02:53:50 +0200 | wz1000_ | (~wz1000@static.194.167.62.46.clients.your-server.de) (Ping timeout: 260 seconds) |
| 2025-09-17 02:53:50 +0200 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 260 seconds) |
| 2025-09-17 02:53:50 +0200 | peterbecich1 | peterbecich |
| 2025-09-17 02:53:50 +0200 | divlamir_ | divlamir |
| 2025-09-17 02:53:50 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2025-09-17 02:53:50 +0200 | j0lol | (~j0lol@132.145.17.236) (Ping timeout: 260 seconds) |
| 2025-09-17 02:53:50 +0200 | Fijxu_ | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-09-17 02:53:50 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-09-17 02:53:51 +0200 | j0lol_ | j0lol |
| 2025-09-17 02:53:51 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-09-17 02:53:52 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2025-09-17 02:56:33 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) PotatoGim |
| 2025-09-17 02:57:15 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-09-17 03:03:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 03:07:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-17 03:10:48 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 2025-09-17 03:15:29 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-17 03:16:00 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 272 seconds) |
| 2025-09-17 03:18:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 03:21:30 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-17 03:22:41 +0200 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-09-17 03:23:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-17 03:24:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-17 03:30:30 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-17 03:33:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 03:38:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-17 03:46:05 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-09-17 03:49:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 03:50:48 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-09-17 03:53:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-17 03:55:12 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-17 04:02:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-17 04:04:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 04:08:51 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-17 04:09:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-17 04:14:45 +0200 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-09-17 04:15:11 +0200 | arandombit | (~arandombi@user/arandombit) (Read error: Connection reset by peer) |
| 2025-09-17 04:15:22 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) |
| 2025-09-17 04:15:23 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) (Changing host) |
| 2025-09-17 04:15:23 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-17 04:20:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 04:24:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-17 04:35:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 04:42:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-17 04:52:52 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-17 04:59:14 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-09-17 05:01:13 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-17 05:03:07 +0200 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2025-09-17 05:03:15 +0200 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Ping timeout: 260 seconds) |
| 2025-09-17 05:03:53 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-17 05:04:07 +0200 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) dfordivam |
| 2025-09-17 05:04:08 +0200 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 260 seconds) |
| 2025-09-17 05:04:09 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-17 05:04:29 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
| 2025-09-17 05:09:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 05:09:48 +0200 | aforemny_ | (~aforemny@i577B1203.versanet.de) aforemny |
| 2025-09-17 05:09:51 +0200 | aforemny | (~aforemny@2001:9e8:6cce:4800:55ab:c43e:17dc:ff6c) (Ping timeout: 250 seconds) |
| 2025-09-17 05:13:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-17 05:18:12 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-17 05:20:01 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-17 05:20:42 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-17 05:24:10 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-09-17 05:24:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 05:29:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-17 05:33:20 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-17 05:33:36 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-17 05:39:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 05:44:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-17 05:55:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 05:58:47 +0200 | mmaruseacph2 | (~mihai@mihai.page) (Ping timeout: 260 seconds) |
| 2025-09-17 05:59:37 +0200 | mmaruseacph2 | (~mihai@mihai.page) mmaruseacph2 |
| 2025-09-17 05:59:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-17 06:00:25 +0200 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-09-17 06:10:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 06:17:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-17 06:19:38 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-17 06:24:35 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2025-09-17 06:26:35 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-09-17 06:28:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 06:29:09 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-17 06:29:31 +0200 | califax | (~califax@user/califx) califx |
| 2025-09-17 06:33:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-17 06:38:54 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-17 06:40:31 +0200 | <feetwind> | > toRational 1.2 |
| 2025-09-17 06:40:32 +0200 | <lambdabot> | 5404319552844595 % 4503599627370496 |
| 2025-09-17 06:40:35 +0200 | <feetwind> | :( |
| 2025-09-17 06:41:43 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Ping timeout: 250 seconds) |
| 2025-09-17 06:44:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 06:44:44 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) PKDrinker |
| 2025-09-17 06:45:46 +0200 | PKDrinker | (~PKDrinker@user/PKDrinker) (Remote host closed the connection) |
| 2025-09-17 06:48:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-17 06:48:37 +0200 | michalz | (~michalz@185.246.207.201) |
| 2025-09-17 06:50:50 +0200 | <feetwind> | > 27 / 1.8 |
| 2025-09-17 06:50:52 +0200 | <lambdabot> | 15.0 |
| 2025-09-17 06:50:59 +0200 | <feetwind> | > toRational 27 / toRational 1.8 |
| 2025-09-17 06:51:00 +0200 | <lambdabot> | 121597189939003392 % 8106479329266893 |
| 2025-09-17 06:51:26 +0200 | <feetwind> | > (floor (27 / 1.8), floor (toRational 27 / toRational 1.8)) |
| 2025-09-17 06:51:27 +0200 | <lambdabot> | (15,14) |
| 2025-09-17 06:51:41 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-17 06:52:28 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 2025-09-17 06:56:50 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) dcpagan |
| 2025-09-17 07:03:18 +0200 | mange | (~mange@user/mange) (*.net *.split) |
| 2025-09-17 07:03:18 +0200 | haveo | (~weechat@pacamara.iuwt.fr) (*.net *.split) |
| 2025-09-17 07:03:18 +0200 | drlkf | (~drlkf@chat-1.drlkf.net) (*.net *.split) |
| 2025-09-17 07:03:19 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 2025-09-17 07:04:30 +0200 | Vajb | (~Vajb@n4c77qqwuy0305es5ac-1.v6.elisa-mobile.fi) (Ping timeout: 245 seconds) |
| 2025-09-17 07:06:26 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-09-17 07:08:50 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-17 07:09:44 +0200 | trickard___ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 07:11:03 +0200 | trickard_ | (~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-17 07:13:54 +0200 | <fgarcia> | > putStrLn "hi lambdabot" |
| 2025-09-17 07:13:55 +0200 | <lambdabot> | <IO ()> |
| 2025-09-17 07:14:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 07:14:44 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-17 07:18:08 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Remote host closed the connection) |
| 2025-09-17 07:18:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-17 07:22:42 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-09-17 07:26:03 +0200 | haveo | (~weechat@pacamara.iuwt.fr) haveo |
| 2025-09-17 07:26:03 +0200 | drlkf | (~drlkf@chat-1.drlkf.net) drlkf |
| 2025-09-17 07:27:59 +0200 | <monochrom> | > putStrLn "<IO ()>" |
| 2025-09-17 07:28:00 +0200 | <lambdabot> | <IO ()> |
| 2025-09-17 07:28:05 +0200 | <monochrom> | works :) |
| 2025-09-17 07:28:26 +0200 | trickard___ | trickard |
| 2025-09-17 07:28:58 +0200 | <monochrom> | > 27/1.8 - 15 |
| 2025-09-17 07:28:59 +0200 | <lambdabot> | 0.0 |
| 2025-09-17 07:29:15 +0200 | <monochrom> | > toRational (27/1.8) |
| 2025-09-17 07:29:16 +0200 | <lambdabot> | 15 % 1 |
| 2025-09-17 07:31:43 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
| 2025-09-17 07:31:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 07:36:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-17 07:40:55 +0200 | xax__ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-17 07:41:34 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-17 07:43:09 +0200 | pavonia_ | (~user@user/siracusa) siracusa |
| 2025-09-17 07:43:39 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2025-09-17 07:44:38 +0200 | glguy_ | (glguy@libera/staff/glguy) glguy |
| 2025-09-17 07:44:47 +0200 | glguy | (glguy@libera/staff/glguy) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2025-09-17 07:44:47 +0200 | glguy_ | glguy |
| 2025-09-17 07:46:24 +0200 | jmcantre1 | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-17 07:47:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 07:49:17 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (*.net *.split) |
| 2025-09-17 07:49:17 +0200 | arandombit | (~arandombi@user/arandombit) (*.net *.split) |
| 2025-09-17 07:49:17 +0200 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split) |
| 2025-09-17 07:49:17 +0200 | Pozyomka_ | (~pyon@user/pyon) (*.net *.split) |
| 2025-09-17 07:49:17 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 2025-09-17 07:49:17 +0200 | Fijxu | (~Fijxu@user/fijxu) (*.net *.split) |
| 2025-09-17 07:49:17 +0200 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (*.net *.split) |
| 2025-09-17 07:49:17 +0200 | weary-traveler | (~user@user/user363627) (*.net *.split) |
| 2025-09-17 07:49:17 +0200 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
| 2025-09-17 07:49:17 +0200 | pavonia | (~user@user/siracusa) (*.net *.split) |
| 2025-09-17 07:49:17 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (*.net *.split) |
| 2025-09-17 07:49:17 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | Jackneill_ | (~Jackneill@94-21-227-192.pool.digikabel.hu) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | swistak- | (~swistak@185.21.216.141) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | rselim | (ce261f06ff@user/milesrout) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | laman | (laman@rego.ai) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | Beowulf | (florian@gabilgathol.bandrate.org) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (*.net *.split) |
| 2025-09-17 07:49:18 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split) |
| 2025-09-17 07:49:21 +0200 | ubert1 | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert |
| 2025-09-17 07:49:25 +0200 | pavonia_ | pavonia |
| 2025-09-17 07:50:48 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-17 07:50:48 +0200 | swistak | (~swistak@185.21.216.141) |
| 2025-09-17 07:50:48 +0200 | jackneill__ | (~Jackneill@94-21-227-192.pool.digikabel.hu) |
| 2025-09-17 07:50:48 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-17 07:50:48 +0200 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) dfordivam |
| 2025-09-17 07:50:48 +0200 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2025-09-17 07:50:48 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-09-17 07:50:48 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-09-17 07:50:48 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-09-17 07:50:48 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2025-09-17 07:50:48 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2025-09-17 07:50:48 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2025-09-17 07:50:48 +0200 | aspen | (sid449115@id-449115.helmsley.irccloud.com) aspen |
| 2025-09-17 07:50:48 +0200 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2025-09-17 07:50:48 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-09-17 07:50:48 +0200 | laman | (laman@rego.ai) laman |
| 2025-09-17 07:50:48 +0200 | Beowulf | (florian@gabilgathol.bandrate.org) |
| 2025-09-17 07:50:48 +0200 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) coldmountain |
| 2025-09-17 07:50:48 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2025-09-17 07:50:48 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-09-17 07:50:48 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-09-17 07:50:48 +0200 | tungsten.libera.chat | +v yahb2 |
| 2025-09-17 07:50:50 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Max SendQ exceeded) |
| 2025-09-17 07:51:13 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-09-17 07:51:39 +0200 | ubert1 | ubert |
| 2025-09-17 07:51:50 +0200 | Square2 | (~Square@user/square) Square |
| 2025-09-17 07:53:29 +0200 | FANTOM | (~fantom@90.244.165.186) (Ping timeout: 260 seconds) |
| 2025-09-17 07:54:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-17 07:54:46 +0200 | FANTOM | (~fantom@90.244.165.186) |
| 2025-09-17 07:59:09 +0200 | qqe | (~qqq@185.54.23.100) |
| 2025-09-17 08:07:25 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-17 08:09:27 +0200 | Square | (~Square4@user/square) Square |
| 2025-09-17 08:10:04 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 08:12:04 +0200 | trickard_ | trickard |
| 2025-09-17 08:13:54 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-09-17 08:20:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 08:23:19 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2025-09-17 08:23:32 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-09-17 08:25:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-17 08:29:22 +0200 | Jackneill | (~Jackneill@94-21-227-192.pool.digikabel.hu) Jackneill |
| 2025-09-17 08:29:37 +0200 | jackneill__ | (~Jackneill@94-21-227-192.pool.digikabel.hu) (Quit: Leaving) |
| 2025-09-17 08:36:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-17 08:40:00 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-17 08:40:09 +0200 | jmcantre1 | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-09-17 08:40:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-17 08:45:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-17 08:48:01 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-17 08:51:24 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-17 08:55:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-09-17 08:57:07 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-17 08:57:34 +0200 | califax | (~califax@user/califx) califx |
| 2025-09-17 09:00:00 +0200 | caconym7478 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-17 09:00:23 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-17 09:00:40 +0200 | caconym7478 | (~caconym@user/caconym) caconym |
| 2025-09-17 09:10:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-09-17 09:20:21 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-17 09:22:48 +0200 | apache | apache2 |
| 2025-09-17 09:27:13 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-09-17 09:28:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-17 09:34:00 +0200 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Quit: ubert) |
| 2025-09-17 09:34:13 +0200 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert |
| 2025-09-17 09:36:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 244 seconds) |
| 2025-09-17 09:41:12 +0200 | chele | (~chele@user/chele) chele |
| 2025-09-17 09:50:40 +0200 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Quit: ubert) |
| 2025-09-17 09:54:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-09-17 10:01:57 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-17 10:08:52 +0200 | <yin> | > 15 * 1.2 :: Float |
| 2025-09-17 10:08:53 +0200 | <lambdabot> | 18.0 |
| 2025-09-17 10:09:15 +0200 | <yin> | > 15 * 1.2 :: Double |
| 2025-09-17 10:09:16 +0200 | <lambdabot> | 18.0 |
| 2025-09-17 10:09:52 +0200 | <tomsmeding> | % putStrLn "hi yahb" |
| 2025-09-17 10:09:52 +0200 | <yahb2> | hi yahb |
| 2025-09-17 10:10:59 +0200 | <tomsmeding> | > 15 * realToFrac (1.2 :: Float) :: Double |
| 2025-09-17 10:11:00 +0200 | <lambdabot> | 18.000000715255737 |
| 2025-09-17 10:11:55 +0200 | <tomsmeding> | > 15 * toRational (1.2 :: Double) - 18 |
| 2025-09-17 10:11:57 +0200 | <lambdabot> | (-3) % 4503599627370496 |
| 2025-09-17 10:12:08 +0200 | <tomsmeding> | > 15 * toRational (1.2 :: Float) - 18 |
| 2025-09-17 10:12:09 +0200 | <lambdabot> | 3 % 4194304 |
| 2025-09-17 10:12:23 +0200 | <tomsmeding> | 3 / 4194304 |
| 2025-09-17 10:12:27 +0200 | <tomsmeding> | > 3 / 4194304 |
| 2025-09-17 10:12:29 +0200 | <lambdabot> | 7.152557373046875e-7 |
| 2025-09-17 10:12:36 +0200 | <yin> | wait, did I just multiply 2 Integers and then convert to Float? |
| 2025-09-17 10:12:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) |
| 2025-09-17 10:12:58 +0200 | caconym74781 | (~caconym@user/caconym) caconym |
| 2025-09-17 10:13:18 +0200 | <yin> | > (15 :: Float) * (1.2 :: Float) |
| 2025-09-17 10:13:19 +0200 | <lambdabot> | 18.0 |
| 2025-09-17 10:13:25 +0200 | <yin> | hum... |
| 2025-09-17 10:13:59 +0200 | <yin> | silly me |
| 2025-09-17 10:14:27 +0200 | <yin> | nevermind all that |
| 2025-09-17 10:15:20 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-09-17 10:15:29 +0200 | <tomsmeding> | this is not JS ;) |
| 2025-09-17 10:16:16 +0200 | <tomsmeding> | > [fromIntegral i * (1.2 :: Float) | i <- [1 :: Int .. 16]] |
| 2025-09-17 10:16:17 +0200 | <lambdabot> | [1.2,2.4,3.6000001,4.8,6.0,7.2000003,8.400001,9.6,10.8,12.0,13.200001,14.400... |
| 2025-09-17 10:16:27 +0200 | <tomsmeding> | 15 just happens to round correctly |
| 2025-09-17 10:16:43 +0200 | haveo_ | (~weechat@pacamara.iuwt.fr) haveo |
| 2025-09-17 10:17:03 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-09-17 10:17:37 +0200 | <tomsmeding> | > 1000001 * 1.2 :: Float |
| 2025-09-17 10:17:38 +0200 | <lambdabot> | 1200001.3 |
| 2025-09-17 10:17:56 +0200 | <tomsmeding> | > 1000001 * 1.2 :: Double |
| 2025-09-17 10:17:57 +0200 | <lambdabot> | 1200001.2 |
| 2025-09-17 10:18:00 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-17 10:19:09 +0200 | <tomsmeding> | > realToFrac (toRational (1.2 :: Float) - (6 % 5)) :: Double |
| 2025-09-17 10:19:10 +0200 | <lambdabot> | 4.76837158203125e-8 |
| 2025-09-17 10:19:36 +0200 | <tomsmeding> | now what's funny is: |
| 2025-09-17 10:19:40 +0200 | <tomsmeding> | > 1000001 * realToFrac (toRational (1.2 :: Float) - (6 % 5)) :: Double |
| 2025-09-17 10:19:42 +0200 | <lambdabot> | 4.768376350402832e-2 |
| 2025-09-17 10:20:50 +0200 | <yin> | > 0.1 + 0.2 |
| 2025-09-17 10:20:51 +0200 | <lambdabot> | 0.30000000000000004 |
| 2025-09-17 10:20:57 +0200 | <tomsmeding> | so 1000001 * the error in 1.2 :: Float is (slightly) less than 0.05, yet 1000001 * 1.2 comes out 0.1 too large |
| 2025-09-17 10:21:33 +0200 | <tomsmeding> | ah and that is because: |
| 2025-09-17 10:21:45 +0200 | <tomsmeding> | > (realToFrac (1200001.2 :: Float) :: Double, realToFrac (1200001.3 :: Float) :: Double) |
| 2025-09-17 10:21:46 +0200 | <lambdabot> | (1200001.25,1200001.25) |
| 2025-09-17 10:22:14 +0200 | <tomsmeding> | it rounds to that as a binary fraction, which gets rendered as .3 because that's the shortest representation to which the closest actual Float value is the actual value, .25 |
| 2025-09-17 10:23:03 +0200 | <yin> | > 0.1 + 0.2 :: Float |
| 2025-09-17 10:23:04 +0200 | <lambdabot> | 0.3 |
| 2025-09-17 10:23:08 +0200 | <yin> | > 0.1 + 0.2 :: Double |
| 2025-09-17 10:23:09 +0200 | <lambdabot> | 0.30000000000000004 |
| 2025-09-17 10:24:12 +0200 | xax__ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 256 seconds) |
| 2025-09-17 10:24:44 +0200 | <__monty__> | Multiplication simply multiplies the error seems like quite a dangerous assumption with floats. |
| 2025-09-17 10:25:07 +0200 | <tomsmeding> | I'm fairly sure it's accurate though |
| 2025-09-17 10:25:26 +0200 | merijn | (~merijn@77.242.116.146) (*.net *.split) |
| 2025-09-17 10:25:26 +0200 | caconym7478 | (~caconym@user/caconym) (*.net *.split) |
| 2025-09-17 10:25:26 +0200 | haveo | (~weechat@pacamara.iuwt.fr) (*.net *.split) |
| 2025-09-17 10:25:26 +0200 | drlkf | (~drlkf@chat-1.drlkf.net) (*.net *.split) |
| 2025-09-17 10:25:26 +0200 | caconym74781 | caconym7478 |
| 2025-09-17 10:28:02 +0200 | <tomsmeding> | > [(toRational (d :: Double) - r) * 5*2^55 | (d, r) <- [(0.1,1%10), (0.2,2%10), (0.3,3%10)]] |
| 2025-09-17 10:28:03 +0200 | <lambdabot> | [1 % 1,2 % 1,(-2) % 1] |
| 2025-09-17 10:28:10 +0200 | <tomsmeding> | > [(toRational (d :: Float) - r) * 5*2^24 | (d, r) <- [(0.1,1%10), (0.2,2%10), (0.3,3%10)]] |
| 2025-09-17 10:28:11 +0200 | <lambdabot> | [1 % 8,1 % 4,1 % 1] |
| 2025-09-17 10:28:11 +0200 | <__monty__> | I'm pretty sure it can't because the representational error in floats is not a continuous function, it increases in steps. So if your multiplication crosses such a boundary, your error jumps. |
| 2025-09-17 10:28:41 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-17 10:28:41 +0200 | <tomsmeding> | 0.3 in Float is much less accurate than 0.1 and 0.2, so it makes sense that 0.1 + 0.2 in Float rounds to 0.3 |
| 2025-09-17 10:28:42 +0200 | drlkf | (~drlkf@chat-1.drlkf.net) drlkf |
| 2025-09-17 10:29:10 +0200 | <tomsmeding> | whereas the error of 0.3 in Double is similar in scale to that of 0.1 and 0.2, and furthermore goes in the other direction, so it makes sense that 0.1 + 0.2 in Double rounds to 0.3 + epsilon |
| 2025-09-17 10:29:12 +0200 | <tomsmeding> | yin: ^ |
| 2025-09-17 10:29:18 +0200 | <tomsmeding> | __monty__: that's fair |
| 2025-09-17 10:29:42 +0200 | <tomsmeding> | but multiplication is a one-shot operation, n * x is not x + x + ... + x |
| 2025-09-17 10:30:08 +0200 | <tomsmeding> | with n repeated additions, you'd get odd error effects around those boundaries; with a single multiplication, things are more well-behaved, I think |
| 2025-09-17 10:30:34 +0200 | <tomsmeding> | you lose precision in the product result, of course, but only after having virtually computed the correct result first |
| 2025-09-17 10:30:46 +0200 | <tomsmeding> | the correct result of the rounded inputs, that is |
| 2025-09-17 10:31:20 +0200 | mari73827 | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-17 10:32:20 +0200 | <tomsmeding> | yin: the 5*2^55 scales etc. are arbitrary, just to make you not have to compare 1 % 180143985094819840 and 1 % 90071992547409920 |
| 2025-09-17 10:33:09 +0200 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-09-17 10:33:23 +0200 | <yin> | more precision around small numbers, right? |
| 2025-09-17 10:33:42 +0200 | <tomsmeding> | yes |
| 2025-09-17 10:33:58 +0200 | <tomsmeding> | floats are "always in scientific notation", with a fixed number of digits of precision |
| 2025-09-17 10:34:36 +0200 | <tomsmeding> | were they decimal with four digits of precision, you'd be able to represent 1.234e-4 and 1.234e100 both exactly, but not 1.2341e100 |
| 2025-09-17 10:35:01 +0200 | <tomsmeding> | this leads to more _absolute_ precision (i.e. smaller error epsilon) around small numbers |
| 2025-09-17 10:35:13 +0200 | <tomsmeding> | now they're actually binary, not decimal, but same idea applies |
| 2025-09-17 10:39:09 +0200 | craunts7 | (~craunts@152.32.99.194) |
| 2025-09-17 10:39:57 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-17 10:42:32 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 10:44:29 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-17 10:44:58 +0200 | yegor | (~yegor@user/yegor) (Ping timeout: 260 seconds) |
| 2025-09-17 10:45:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-17 10:47:41 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
| 2025-09-17 10:48:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-09-17 10:48:50 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-17 10:53:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-17 10:53:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-17 10:58:54 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-09-17 11:05:29 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-09-17 11:05:51 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-09-17 11:05:52 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-17 11:06:18 +0200 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-09-17 11:09:19 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-17 11:11:13 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-17 11:13:53 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
| 2025-09-17 11:14:15 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-17 11:16:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-17 11:18:11 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-09-17 11:18:54 +0200 | acidjnk | (~acidjnk@p200300d6e717191211482dfc0bb512ca.dip0.t-ipconnect.de) acidjnk |
| 2025-09-17 11:21:10 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-17 11:21:23 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 11:24:35 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-17 11:27:19 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-09-17 11:28:53 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-17 11:28:53 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-17 11:28:53 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-09-17 11:29:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-17 11:29:59 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-17 11:31:38 +0200 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-09-17 11:38:04 +0200 | Vajb | (~Vajb@n73x58svltwqbfu1g7z-1.v6.elisa-mobile.fi) |
| 2025-09-17 11:42:18 +0200 | Vajb | (~Vajb@n73x58svltwqbfu1g7z-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 2025-09-17 11:42:30 +0200 | Vajb | (~Vajb@n4y5zw2tyued4xl9193-1.v6.elisa-mobile.fi) |
| 2025-09-17 11:42:45 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-17 11:45:55 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-17 11:46:23 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 11:46:34 +0200 | Vajb | (~Vajb@n4y5zw2tyued4xl9193-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 2025-09-17 11:47:23 +0200 | Vajb | (~Vajb@n86utdh10wqaniezv84-1.v6.elisa-mobile.fi) |
| 2025-09-17 11:48:12 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-17 11:48:17 +0200 | inline | (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) Inline |
| 2025-09-17 11:51:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) |
| 2025-09-17 11:53:22 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-17 11:53:37 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-17 11:54:49 +0200 | fp | (~Thunderbi@wireless-86-50-140-15.open.aalto.fi) fp |
| 2025-09-17 12:00:11 +0200 | fp1 | (~Thunderbi@dhcp-87-72.eduroam.aalto.fi) fp |
| 2025-09-17 12:00:18 +0200 | hc_ | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2025-09-17 12:01:14 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) |
| 2025-09-17 12:01:14 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) (Changing host) |
| 2025-09-17 12:01:14 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-17 12:01:24 +0200 | fp | (~Thunderbi@wireless-86-50-140-15.open.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-09-17 12:01:24 +0200 | fp1 | fp |
| 2025-09-17 12:02:36 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-17 12:09:13 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-09-17 12:09:37 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 12:09:47 +0200 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert |
| 2025-09-17 12:14:32 +0200 | trickard_ | trickard |
| 2025-09-17 12:18:16 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-17 12:18:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-17 12:18:25 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-09-17 12:26:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2025-09-17 12:31:22 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-17 12:40:10 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) mreh |
| 2025-09-17 12:41:42 +0200 | inline | (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-09-17 12:42:36 +0200 | inline | (~inline@2a02:908:1246:c0c0:4c88:22b9:c265:a39e) Inline |
| 2025-09-17 12:49:26 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-09-17 12:50:15 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-17 12:50:21 +0200 | <mreh> | finding which queue families to use for my Vulkan queues feels like a `ListT State` thing |
| 2025-09-17 12:51:47 +0200 | <mreh> | each queue has requirements and each queue family has capabilities and a limited number of slots. I guess I'll need `list-t`'s version of ListT too |
| 2025-09-17 12:53:57 +0200 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-17 12:54:50 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-17 12:55:17 +0200 | petrichor | (~jez@user/petrichor) (Client Quit) |
| 2025-09-17 12:55:56 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-17 12:56:59 +0200 | rembo10_ | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-17 12:58:48 +0200 | petrichor | (~jez@user/petrichor) (Client Quit) |
| 2025-09-17 13:00:20 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-17 13:00:26 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-09-17 13:00:42 +0200 | phm | (~peter@user/phm) (Quit: leaving) |
| 2025-09-17 13:01:32 +0200 | inline_ | (~inline@2a02:908:1246:c0c0:4c88:22b9:c265:a39e) Inline |
| 2025-09-17 13:01:33 +0200 | phm | (~peter@user/phm) phm |
| 2025-09-17 13:02:36 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-17 13:07:15 +0200 | inline | (~inline@2a02:908:1246:c0c0:4c88:22b9:c265:a39e) (Remote host closed the connection) |
| 2025-09-17 13:08:07 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-17 13:09:57 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-17 13:10:01 +0200 | ubert1 | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert |
| 2025-09-17 13:10:44 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 13:10:46 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-17 13:13:14 +0200 | ubert | (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2025-09-17 13:13:14 +0200 | ubert1 | ubert |
| 2025-09-17 13:13:14 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-09-17 13:18:22 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9dd4:63dc:1bdb:5b8) |
| 2025-09-17 13:20:10 +0200 | Square | (~Square4@user/square) Square |
| 2025-09-17 13:21:28 +0200 | mari73827 | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-17 13:28:06 +0200 | fp | (~Thunderbi@dhcp-87-72.eduroam.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-09-17 13:29:40 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-17 13:30:38 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-09-17 13:31:00 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-09-17 13:31:06 +0200 | APic | (apic@apic.name) (Ping timeout: 248 seconds) |
| 2025-09-17 13:34:44 +0200 | EPic_ | (~apic@apic.name) |
| 2025-09-17 13:41:07 +0200 | APic | (apic@apic.name) APic |
| 2025-09-17 13:41:46 +0200 | EPic_ | (~apic@apic.name) (*.net *.split) |
| 2025-09-17 13:45:23 +0200 | yegor | (~yegor@user/yegor) yegor |
| 2025-09-17 13:51:05 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-09-17 13:51:32 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-17 13:52:29 +0200 | trickard_ | trickard |
| 2025-09-17 13:52:46 +0200 | inline_ | inline |
| 2025-09-17 14:05:26 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-17 14:08:01 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 14:08:54 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-09-17 14:15:08 +0200 | trickard_ | trickard |
| 2025-09-17 14:19:31 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-17 14:24:46 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-17 14:26:39 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-17 14:32:28 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-17 14:34:53 +0200 | mreh | (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-17 14:34:56 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-17 14:36:11 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-17 14:37:28 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-17 14:40:41 +0200 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-09-17 14:46:33 +0200 | karenw_ | (~karenw@user/karenw) (Remote host closed the connection) |
| 2025-09-17 14:47:00 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-09-17 14:48:39 +0200 | Axma31701 | (~Axman6@user/axman6) Axman6 |
| 2025-09-17 14:50:59 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-17 14:55:13 +0200 | Guest9181 | (~ds@ip-037-049-102-199.um09.pools.vodafone-ip.de) |
| 2025-09-17 14:55:43 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-17 14:56:56 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-09-17 14:58:51 +0200 | Guest9181 | (~ds@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Changing host) |
| 2025-09-17 14:58:51 +0200 | Guest9181 | (~ds@user/ds7832) ds7832 |
| 2025-09-17 15:01:50 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-17 15:02:41 +0200 | petrichor | (~jez@user/petrichor) (Ping timeout: 248 seconds) |
| 2025-09-17 15:03:31 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-17 15:03:47 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-09-17 15:07:07 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-17 15:08:35 +0200 | opqdonut_ | (~opqdonut@static.154.72.180.157.clients.your-server.de) |
| 2025-09-17 15:13:14 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b980:1d20:3fd8:263d:54c5) |
| 2025-09-17 15:13:30 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-09-17 15:13:30 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-17 15:13:46 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |