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