| 2025-04-02 00:02:17 +0200 | berberman | (~berberman@user/berberman) (Read error: Connection reset by peer) |
| 2025-04-02 00:03:20 +0200 | berberman | (~berberman@user/berberman) berberman |
| 2025-04-02 00:06:34 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:553a:e935:8c4f:3651) (Ping timeout: 260 seconds) |
| 2025-04-02 00:07:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 00:10:26 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-02 00:11:42 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-02 00:12:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 00:13:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-04-02 00:13:41 +0200 | ljdarj1 | ljdarj |
| 2025-04-02 00:20:46 +0200 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 272 seconds) |
| 2025-04-02 00:21:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 00:26:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-02 00:26:32 +0200 | Guest86 | (~Guest86@46.161.250.98) |
| 2025-04-02 00:33:20 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-02 00:35:10 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-02 00:35:15 +0200 | Guest86 | (~Guest86@46.161.250.98) (Quit: Client closed) |
| 2025-04-02 00:36:13 +0200 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 245 seconds) |
| 2025-04-02 00:37:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 00:37:28 +0200 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2025-04-02 00:38:10 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-04-02 00:41:54 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-02 00:42:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 00:44:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-04-02 00:44:29 +0200 | ljdarj1 | ljdarj |
| 2025-04-02 00:52:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 00:57:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 01:01:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:974d:9d72:56de:9211) (Quit: xff0x) |
| 2025-04-02 01:04:31 +0200 | bramh | (~bramh@user/bramh) (Quit: bye) |
| 2025-04-02 01:08:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 01:09:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:65f4:9be1:13af:2ebf) |
| 2025-04-02 01:10:08 +0200 | bramh | (~bramh@user/bramh) bramh |
| 2025-04-02 01:13:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-02 01:20:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-02 01:22:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 01:27:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-02 01:30:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-02 01:38:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 01:43:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 01:45:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f82f0c745920bdd4e91.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-02 01:53:10 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-02 01:53:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 01:58:09 +0200 | sprotte24 | (~sprotte24@p200300d16f057c00015ec09f124907ef.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-02 02:00:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-02 02:00:55 +0200 | ShePT | She |
| 2025-04-02 02:02:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-02 02:02:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:65f4:9be1:13af:2ebf) (Ping timeout: 268 seconds) |
| 2025-04-02 02:05:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5c22:7b2f:725:5051) |
| 2025-04-02 02:09:38 +0200 | otto_s | (~user@p5b044af5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-04-02 02:11:29 +0200 | otto_s | (~user@p4ff27ad6.dip0.t-ipconnect.de) |
| 2025-04-02 02:11:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 02:16:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-02 02:27:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 02:31:12 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2025-04-02 02:32:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 02:38:26 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-04-02 02:38:26 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-04-02 02:38:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-04-02 02:40:14 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-04-02 02:43:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 02:48:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-02 02:51:49 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-02 02:52:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5c22:7b2f:725:5051) (Ping timeout: 252 seconds) |
| 2025-04-02 02:54:12 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2025-04-02 02:56:28 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-04-02 02:56:28 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-04-02 02:56:28 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-04-02 02:58:25 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-02 02:58:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 03:03:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-04-02 03:03:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-02 03:05:25 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 2025-04-02 03:05:37 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:74fe:276a:bf91:9cd2) |
| 2025-04-02 03:06:44 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) dibblego |
| 2025-04-02 03:06:44 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-04-02 03:06:44 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-04-02 03:10:47 +0200 | a_fantom | (~fantom@2.219.56.221) |
| 2025-04-02 03:12:27 +0200 | fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-04-02 03:14:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 03:19:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 03:20:00 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-04-02 03:22:58 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-02 03:29:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 03:31:24 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-04-02 03:31:47 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-04-02 03:34:36 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-02 03:36:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-02 03:42:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 03:47:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-02 03:50:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-04-02 03:52:28 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-04-02 03:58:23 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-04-02 03:58:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 03:58:33 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2025-04-02 04:00:23 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2025-04-02 04:00:23 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-02 04:00:26 +0200 | thuna` | (~thuna`@user/thuna/x-1480069) (Ping timeout: 268 seconds) |
| 2025-04-02 04:03:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-02 04:05:28 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:74fe:276a:bf91:9cd2) (Read error: Connection reset by peer) |
| 2025-04-02 04:14:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 04:15:36 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-02 04:17:02 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-04-02 04:18:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 04:20:30 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-02 04:20:39 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-04-02 04:24:47 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-04-02 04:25:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-02 04:29:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 04:34:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-02 04:40:15 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-02 04:40:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-04-02 04:43:32 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-02 04:45:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 04:50:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 04:54:54 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2025-04-02 04:57:47 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-02 05:01:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 05:06:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 05:17:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 05:22:20 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-04-02 05:24:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 05:32:46 +0200 | AI_Dragon | gAy_Dragon |
| 2025-04-02 05:35:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 05:39:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-02 05:44:24 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-04-02 05:51:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 05:56:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 05:57:44 +0200 | aforemny_ | (~aforemny@i59F4C56B.versanet.de) aforemny |
| 2025-04-02 05:59:04 +0200 | aforemny | (~aforemny@2001:9e8:6cf8:6c00:d3fe:9b53:2e36:ee7b) (Ping timeout: 260 seconds) |
| 2025-04-02 06:00:12 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-04-02 06:01:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 06:02:22 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-02 06:05:32 +0200 | zungi | (~tory@user/andrewchawk) (Remote host closed the connection) |
| 2025-04-02 06:06:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-02 06:06:12 +0200 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-04-02 06:11:24 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2025-04-02 06:17:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 06:22:04 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-02 06:22:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-02 06:27:09 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-02 06:30:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-02 06:32:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 06:37:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 06:37:57 +0200 | michalz | (~michalz@185.246.207.221) |
| 2025-04-02 06:47:31 +0200 | Googulator18 | (~Googulato@178-164-243-34.pool.digikabel.hu) (Quit: Client closed) |
| 2025-04-02 06:48:05 +0200 | Googulator18 | (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) |
| 2025-04-02 06:48:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 06:53:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-02 07:01:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-02 07:01:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-02 07:04:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 07:04:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-02 07:08:40 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-04-02 07:10:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 07:11:16 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-02 07:17:34 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-02 07:22:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 07:27:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-02 07:38:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 07:40:23 +0200 | aman | (~aman@user/aman) (Quit: aman) |
| 2025-04-02 07:43:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-02 07:53:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 07:59:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-02 08:02:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 08:03:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-04-02 08:03:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-02 08:05:59 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-02 08:07:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-02 08:09:47 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Read error: Connection reset by peer) |
| 2025-04-02 08:10:05 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2025-04-02 08:18:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 08:23:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-02 08:26:46 +0200 | forell | (~forell@user/forell) (Ping timeout: 252 seconds) |
| 2025-04-02 08:31:36 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2025-04-02 08:32:18 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-04-02 08:33:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 08:38:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-04-02 08:39:02 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-02 08:40:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) |
| 2025-04-02 08:45:54 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 2025-04-02 08:49:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 08:50:48 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-04-02 08:56:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-02 08:58:12 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Quit: ash3en) |
| 2025-04-02 09:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-02 09:00:51 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-02 09:01:52 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2025-04-02 09:02:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-02 09:03:12 +0200 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2025-04-02 09:03:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 09:07:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-02 09:11:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) |
| 2025-04-02 09:17:22 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-04-02 09:18:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-02 09:19:03 +0200 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-04-02 09:24:24 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-04-02 09:26:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-02 09:33:30 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f851c2f22b8710dc515.dip0.t-ipconnect.de) |
| 2025-04-02 09:34:01 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-04-02 09:40:15 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-02 09:43:16 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-02 09:47:28 +0200 | <[exa]> | Liamzee: oh wow the linear-base fix is in |
| 2025-04-02 09:48:39 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-04-02 09:50:10 +0200 | chele | (~chele@user/chele) chele |
| 2025-04-02 09:51:17 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-02 09:51:37 +0200 | <tomsmeding> | teamwork :) |
| 2025-04-02 09:53:02 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-04-02 09:57:55 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-02 10:02:08 +0200 | <Digit> | TIL the programming language we're using is called "God Helmet". ("Haskell" Norse name meaning.) :) |
| 2025-04-02 10:07:05 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-02 10:09:18 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-02 10:11:43 +0200 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:9418:e1bb:944:39ba) ubert |
| 2025-04-02 10:12:44 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-02 10:12:56 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 272 seconds) |
| 2025-04-02 10:14:05 +0200 | <haskellbridge> | <thirdofmay18081814goya> does anyone know how to get "hint" to interpret source files that contain imports? |
| 2025-04-02 10:14:57 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-02 10:18:56 +0200 | <haskellbridge> | <thirdofmay18081814goya> oh nvm just build with the option to export an env file |
| 2025-04-02 10:21:32 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-04-02 10:23:59 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-02 10:27:02 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:c289:1aa6:ed7d:1c05) dhil |
| 2025-04-02 10:30:03 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 246 seconds) |
| 2025-04-02 10:30:24 +0200 | Square | (~Square4@user/square) Square |
| 2025-04-02 10:31:18 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-02 10:31:21 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-02 10:32:32 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-04-02 10:41:01 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-02 10:41:49 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-02 10:42:15 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-02 10:53:54 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-04-02 11:03:07 +0200 | fp | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp |
| 2025-04-02 11:08:37 +0200 | Digit | (~user@user/digit) Digit |
| 2025-04-02 11:12:17 +0200 | Digit | digitteknohippie |
| 2025-04-02 11:12:43 +0200 | digitteknohippie | Digit |
| 2025-04-02 11:22:38 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-04-02 11:25:06 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-02 11:25:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-02 11:26:56 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-04-02 11:28:05 +0200 | Googulator18 | Googulator |
| 2025-04-02 11:28:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) |
| 2025-04-02 11:28:32 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:eb92:4f02:d1ba:c2c4) internatetional |
| 2025-04-02 11:45:51 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:eb92:4f02:d1ba:c2c4) (Ping timeout: 252 seconds) |
| 2025-04-02 11:56:51 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2025-04-02 12:02:54 +0200 | forell | (~forell@user/forell) forell |
| 2025-04-02 12:03:45 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-04-02 12:11:09 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:c289:1aa6:ed7d:1c05) (Ping timeout: 252 seconds) |
| 2025-04-02 12:12:26 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-04-02 12:16:15 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-04-02 12:24:28 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:c289:1aa6:ed7d:1c05) dhil |
| 2025-04-02 12:25:14 +0200 | fp | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-04-02 12:56:07 +0200 | fp | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp |
| 2025-04-02 12:57:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8220:3efc:a503:ef) |
| 2025-04-02 13:10:45 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-02 13:10:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-02 13:13:53 +0200 | toby-bro | (~toby-bro@user/toby-bro) toby-bro |
| 2025-04-02 13:19:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-02 13:30:44 +0200 | hattckory | (~hattckory@70.27.118.207) |
| 2025-04-02 13:31:12 +0200 | Guest93 | (~Guest93@176.181.170.144) |
| 2025-04-02 13:32:41 +0200 | Guest93 | (~Guest93@176.181.170.144) (Client Quit) |
| 2025-04-02 13:39:44 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 2025-04-02 13:41:18 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f851c2f22b8710dc515.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-04-02 13:49:04 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 260 seconds) |
| 2025-04-02 14:00:10 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f85fde757c5382759da.dip0.t-ipconnect.de) acidjnk |
| 2025-04-02 14:04:03 +0200 | <haskellbridge> | <thirdofmay18081814goya> does anyone know what's the analogue to "readFile" as a yampa "SF" function? |
| 2025-04-02 14:13:52 +0200 | <haskellbridge> | <thirdofmay18081814goya> ah nvm, it's not supposed to be an "SF" function but an input function for "reactimate" (i think) |
| 2025-04-02 14:24:32 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-02 14:27:02 +0200 | fp | (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Remote host closed the connection) |
| 2025-04-02 14:29:06 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-02 14:35:01 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-02 14:41:13 +0200 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 245 seconds) |
| 2025-04-02 14:41:36 +0200 | [exa] | (~exa@2001:15e8:110:7d00::117) |
| 2025-04-02 14:44:36 +0200 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-04-02 14:48:26 +0200 | hattckory | (~hattckory@70.27.118.207) |
| 2025-04-02 14:48:48 +0200 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-04-02 14:51:26 +0200 | AlexZenon | (~alzenon@178.34.150.194) (Quit: ;-) |
| 2025-04-02 14:52:21 +0200 | AlexNoo | (~AlexNoo@178.34.150.194) (Quit: Leaving) |
| 2025-04-02 14:53:14 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 2025-04-02 15:01:13 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-02 15:13:03 +0200 | AlexNoo | (~AlexNoo@178.34.150.194) |
| 2025-04-02 15:13:58 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-02 15:16:48 +0200 | AlexZenon | (~alzenon@178.34.150.194) |
| 2025-04-02 15:23:46 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-04-02 15:26:15 +0200 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2025-04-02 15:26:17 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Remote host closed the connection) |
| 2025-04-02 15:26:27 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-04-02 15:29:18 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-04-02 15:35:16 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:6913:74bc:c005:815d) |
| 2025-04-02 15:36:27 +0200 | danza | (~danza@user/danza) danza |
| 2025-04-02 15:36:59 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-02 15:40:29 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-04-02 15:43:23 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Read error: Connection reset by peer) |
| 2025-04-02 15:45:16 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-04-02 15:46:06 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-04-02 15:47:53 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Remote host closed the connection) |
| 2025-04-02 16:12:57 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-02 16:14:07 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2025-04-02 16:16:28 +0200 | thuna` | (~thuna`@user/thuna/x-1480069) thuna` |
| 2025-04-02 16:22:55 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2025-04-02 16:30:04 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-04-02 16:33:57 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-04-02 16:37:26 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-02 16:40:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-02 16:47:09 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f85fde757c5382759da.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-02 16:47:33 +0200 | zungi_ | (~tory@user/andrewchawk) andrewchawk |
| 2025-04-02 16:47:40 +0200 | zungi_ | (~tory@user/andrewchawk) (Client Quit) |
| 2025-04-02 16:58:53 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f85199a5c1e661769cc.dip0.t-ipconnect.de) acidjnk |
| 2025-04-02 17:04:33 +0200 | Guest47 | (~Guest47@2601:445:700:69b0:1f2a:1b40:4a10:f6ff) |
| 2025-04-02 17:14:54 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-04-02 17:32:21 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-02 17:36:37 +0200 | Googulator | (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-02 17:37:00 +0200 | Googulator | (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) |
| 2025-04-02 17:39:58 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-04-02 17:54:58 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:c289:1aa6:ed7d:1c05) (Ping timeout: 248 seconds) |
| 2025-04-02 18:01:12 +0200 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
| 2025-04-02 18:04:08 +0200 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 245 seconds) |
| 2025-04-02 18:04:21 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-04-02 18:10:34 +0200 | Guest47 | (~Guest47@2601:445:700:69b0:1f2a:1b40:4a10:f6ff) (Quit: Client closed) |
| 2025-04-02 18:10:39 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f85199a5c1e661769cc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-04-02 18:10:43 +0200 | ash3en1 | (~Thunderbi@193.32.248.154) ash3en |
| 2025-04-02 18:10:51 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 252 seconds) |
| 2025-04-02 18:11:42 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-04-02 18:11:58 +0200 | ash3en | (~Thunderbi@31.16.203.214) (Ping timeout: 244 seconds) |
| 2025-04-02 18:11:59 +0200 | ash3en1 | ash3en |
| 2025-04-02 18:14:49 +0200 | ash3en1 | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2025-04-02 18:15:01 +0200 | Googulator | (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-02 18:15:22 +0200 | Googulator | (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) |
| 2025-04-02 18:16:15 +0200 | ash3en | (~Thunderbi@193.32.248.154) (Ping timeout: 246 seconds) |
| 2025-04-02 18:16:15 +0200 | ash3en1 | ash3en |
| 2025-04-02 18:16:20 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-04-02 18:17:30 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) |
| 2025-04-02 18:20:48 +0200 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-04-02 18:20:55 +0200 | krei-se- | (~krei-se@p5dea1e73.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-04-02 18:22:28 +0200 | krei-se | (~krei-se@p5dea1e73.dip0.t-ipconnect.de) krei-se |
| 2025-04-02 18:22:40 +0200 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Read error: Connection reset by peer) |
| 2025-04-02 18:23:34 +0200 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:9418:e1bb:944:39ba) (Quit: ubert1) |
| 2025-04-02 18:35:13 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2025-04-02 18:36:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 18:39:33 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-02 18:40:13 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-02 18:42:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-02 18:45:51 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-02 18:46:09 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-02 18:52:09 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f85f1d07f3bc9f1d735.dip0.t-ipconnect.de) acidjnk |
| 2025-04-02 18:52:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 18:52:29 +0200 | sprotte24 | (~sprotte24@p200300d16f1053003d869356f7727199.dip0.t-ipconnect.de) |
| 2025-04-02 18:55:04 +0200 | <EvanR> | in haskell and elixir the value of pi is displayed by default as 3.141592653589793 |
| 2025-04-02 18:55:48 +0200 | <EvanR> | but if you use the float.h DBL_DECIMAL_DIG to choose number of significant digits to printf M_PI |
| 2025-04-02 18:56:39 +0200 | <EvanR> | you get 3.1415926535897931 |
| 2025-04-02 18:57:14 +0200 | <EvanR> | is C the odd man out here on acceptable round tripping of floats |
| 2025-04-02 18:57:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-02 18:57:29 +0200 | ft | (~ft@p508db463.dip0.t-ipconnect.de) ft |
| 2025-04-02 18:58:20 +0200 | <int-e> | > read (show pi) == pi |
| 2025-04-02 18:58:21 +0200 | <lambdabot> | True |
| 2025-04-02 18:59:33 +0200 | <EvanR> | it (sometimes?) seems that DBL_DECIMAL_DIG with %g shows one more digit than necessary |
| 2025-04-02 18:59:51 +0200 | <int-e> | > read "3.1415926535897931" == pi |
| 2025-04-02 18:59:53 +0200 | <lambdabot> | True |
| 2025-04-02 18:59:59 +0200 | <int-e> | > read "3.1415926535897930" == pi |
| 2025-04-02 19:00:01 +0200 | <lambdabot> | True |
| 2025-04-02 19:00:20 +0200 | <EvanR> | > printf "%.17g" pi :: String |
| 2025-04-02 19:00:21 +0200 | <lambdabot> | "3.14159265358979300" |
| 2025-04-02 19:00:28 +0200 | <int-e> | > (length (show (2*sqrt 2)), length (show pi)) |
| 2025-04-02 19:00:30 +0200 | <lambdabot> | (18,17) |
| 2025-04-02 19:00:56 +0200 | <EvanR> | haskell printf is playing a different game |
| 2025-04-02 19:00:59 +0200 | <int-e> | printf is built on top of `show`, isn't it |
| 2025-04-02 19:02:21 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-04-02 19:03:02 +0200 | <EvanR> | ruby is agreeing with elixir and haskell |
| 2025-04-02 19:03:32 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-02 19:03:51 +0200 | <EvanR> | and python |
| 2025-04-02 19:06:24 +0200 | <int-e> | well it should arguable produce a truncated and properly rounded approximation of 3.141592653589793115997963468544185161590576171875 = toRational pi |
| 2025-04-02 19:06:50 +0200 | <int-e> | so 3.1415926535897931 is better in that sense than 3.1415926535897930 |
| 2025-04-02 19:08:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 19:10:11 +0200 | <EvanR> | yes but all these other languages are using a "better" (shorter) approximation that still works |
| 2025-04-02 19:10:25 +0200 | <int-e> | % GHC.Internal.Float.floatToDigits 10 pi |
| 2025-04-02 19:10:25 +0200 | <yahb2> | ([3,1,4,1,5,9,2,6,5,3,5,8,9,7,9,3],1) |
| 2025-04-02 19:11:01 +0200 | <int-e> | That's all the digits you'll get from GHC's implementation of `show` and `Numeric` |
| 2025-04-02 19:13:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-02 19:15:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-02 19:16:58 +0200 | byte | (~mu@user/byte) (Ping timeout: 272 seconds) |
| 2025-04-02 19:23:12 +0200 | byte | (~mu@user/byte) byte |
| 2025-04-02 19:25:51 +0200 | <EvanR> | looking for a float which haskell prints out with 17 sigfigs instead of 16, to see if DBL_DECIMAL_DIG is not full of shit xD |
| 2025-04-02 19:26:16 +0200 | <int-e> | > show (sqrt 8) |
| 2025-04-02 19:26:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 19:26:17 +0200 | <lambdabot> | "2.8284271247461903" |
| 2025-04-02 19:26:38 +0200 | <int-e> | > show (sqrt 8) |
| 2025-04-02 19:26:40 +0200 | <lambdabot> | "2.8284271247461903" |
| 2025-04-02 19:26:49 +0200 | <int-e> | > show (pi / 2) |
| 2025-04-02 19:26:51 +0200 | <lambdabot> | "1.5707963267948966" |
| 2025-04-02 19:27:24 +0200 | <int-e> | (it's less likely to use 16 digits between 1 and 2 than between 2 and 4) |
| 2025-04-02 19:27:31 +0200 | <int-e> | (well, I think) |
| 2025-04-02 19:27:39 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2025-04-02 19:28:24 +0200 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-02 19:29:09 +0200 | <int-e> | > show (pi-2) -- checking that theory |
| 2025-04-02 19:29:11 +0200 | <lambdabot> | "1.1415926535897931" |
| 2025-04-02 19:30:54 +0200 | <EvanR> | > show pi |
| 2025-04-02 19:30:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-02 19:30:55 +0200 | <lambdabot> | "3.141592653589793" |
| 2025-04-02 19:31:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-02 19:31:08 +0200 | <EvanR> | lol, pi is like the only one which is short xD |
| 2025-04-02 19:31:11 +0200 | sprotte24_ | (~sprotte24@p200300d16f105300edc0583ef9378a6d.dip0.t-ipconnect.de) |
| 2025-04-02 19:31:25 +0200 | <EvanR> | note to self not a great "random irrational" |
| 2025-04-02 19:31:45 +0200 | <c_wraith> | technically, its operating constraint is that it produces the shortest decimal that parses back to the same bit pattern. |
| 2025-04-02 19:31:54 +0200 | <EvanR> | > read "1.1415926535897931" :: Double |
| 2025-04-02 19:31:55 +0200 | <lambdabot> | 1.1415926535897931 |
| 2025-04-02 19:32:01 +0200 | <EvanR> | > read "1.1415926535897930" :: Double |
| 2025-04-02 19:32:03 +0200 | <lambdabot> | 1.141592653589793 |
| 2025-04-02 19:32:14 +0200 | <EvanR> | c_wraith, right, it seems many languages do this |
| 2025-04-02 19:32:28 +0200 | <int-e> | > read "1.1415926535897929" :: Double |
| 2025-04-02 19:32:29 +0200 | <lambdabot> | 1.141592653589793 |
| 2025-04-02 19:32:53 +0200 | <EvanR> | I guess C is so old they "never thought of it" |
| 2025-04-02 19:33:16 +0200 | <EvanR> | though %g does produce a shorter version if it would end in zeros |
| 2025-04-02 19:33:28 +0200 | <EvanR> | it doesn't produce "shortest representation that would parse back to the original value" |
| 2025-04-02 19:33:50 +0200 | <c_wraith> | yeah, it's actually hard to get that behavior from C |
| 2025-04-02 19:34:13 +0200 | sprotte24 | (~sprotte24@p200300d16f1053003d869356f7727199.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-02 19:34:47 +0200 | <int-e> | > show (19/12) |
| 2025-04-02 19:34:49 +0200 | <lambdabot> | "1.5833333333333333" |
| 2025-04-02 19:35:58 +0200 | Rembane | (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
| 2025-04-02 19:36:07 +0200 | mauke | (~mauke@user/mauke) (Remote host closed the connection) |
| 2025-04-02 19:36:12 +0200 | preflex | (~preflex@user/mauke/bot/preflex) (Remote host closed the connection) |
| 2025-04-02 19:36:47 +0200 | irssi | (~Rembane@user/Rembane) Rembane |
| 2025-04-02 19:38:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 19:38:04 +0200 | <int-e> | EvanR: evidence for "this is more likely between 2 and 4 than it is between 1 and 2": https://paste.tomsmeding.com/N7G3UvE3 |
| 2025-04-02 19:38:22 +0200 | irssi | Rembane |
| 2025-04-02 19:38:47 +0200 | <EvanR> | I would think floats is more or less isomorphic between those two intervals. But I guess the relation between decimal and float is not |
| 2025-04-02 19:39:21 +0200 | <c_wraith> | yeah.. You can get up to 3 bits in the first digit |
| 2025-04-02 19:39:32 +0200 | <c_wraith> | If the number starts with 8 or 9 |
| 2025-04-02 19:39:44 +0200 | <int-e> | but the least significant bit has 2x more weight between 2 and 4 than between 1 and 2, so there are cases where you can round more. |
| 2025-04-02 19:40:17 +0200 | <c_wraith> | Uh. I suppose I actually mean > 8, < 10 |
| 2025-04-02 19:41:02 +0200 | <EvanR> | I feel like you're probably saying something that makes sense |
| 2025-04-02 19:41:15 +0200 | noctux | (~noctux@user/noctux) (Remote host closed the connection) |
| 2025-04-02 19:41:20 +0200 | <EvanR> | dunno what though xD |
| 2025-04-02 19:42:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-02 19:42:58 +0200 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2025-04-02 19:43:02 +0200 | <EvanR> | there is a lot going on in int-e's post |
| 2025-04-02 19:47:35 +0200 | XZDX_ | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) |
| 2025-04-02 19:47:36 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-02 19:48:18 +0200 | noctux | (~noctux@user/noctux) noctux |
| 2025-04-02 19:49:19 +0200 | XZDX_ | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) (Changing host) |
| 2025-04-02 19:49:19 +0200 | XZDX_ | (~xzdx@user/XZDX) XZDX |
| 2025-04-02 19:53:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 19:54:29 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f85f1d07f3bc9f1d735.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-02 19:58:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-02 20:06:27 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f85a5e0559a60a17993.dip0.t-ipconnect.de) |
| 2025-04-02 20:06:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-02 20:07:27 +0200 | forell | (~forell@user/forell) (Ping timeout: 276 seconds) |
| 2025-04-02 20:08:14 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2025-04-02 20:08:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 20:12:21 +0200 | [exa] | (~exa@2001:15e8:110:7d00::117) (Changing host) |
| 2025-04-02 20:12:21 +0200 | [exa] | (~exa@user/exa/x-3587197) [exa] |
| 2025-04-02 20:13:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-02 20:16:50 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-04-02 20:20:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-02 20:23:26 +0200 | sprotte24_ | (~sprotte24@p200300d16f105300edc0583ef9378a6d.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-02 20:24:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 20:26:43 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-04-02 20:27:00 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-04-02 20:29:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 20:31:20 +0200 | sprotte24 | (~sprotte24@p200300d16f105300edc0583ef9378a6d.dip0.t-ipconnect.de) |
| 2025-04-02 20:32:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-02 20:39:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 20:39:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) |
| 2025-04-02 20:40:42 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f85dc3c06db59cdfece.dip0.t-ipconnect.de) acidjnk |
| 2025-04-02 20:41:55 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f85a5e0559a60a17993.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-02 20:42:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-02 20:43:35 +0200 | <monochrom> | IIRC there was a paper linked here about an algorithm for the shortest decimal form that still gets you the floating point value you want. |
| 2025-04-02 20:45:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-02 20:50:29 +0200 | <EvanR> | https://www.cs.tufts.edu/~nr/cs257/archive/florian-loitsch/printf.pdf ? |
| 2025-04-02 20:50:29 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-02 20:50:40 +0200 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) |
| 2025-04-02 20:57:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 20:58:28 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-04-02 21:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-02 21:00:49 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-02 21:02:00 +0200 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-04-02 21:02:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-02 21:02:48 +0200 | <EvanR> | it's funny that parsing the float is relatively easy (?) |
| 2025-04-02 21:12:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 21:17:00 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-04-02 21:18:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-02 21:19:52 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-02 21:23:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-04-02 21:23:40 +0200 | ljdarj1 | ljdarj |
| 2025-04-02 21:28:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-02 21:30:02 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-02 21:31:25 +0200 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-04-02 21:31:58 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-02 21:33:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |