| 2025-07-02 00:02:17 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 00:02:45 +0000 | Square | (~Square@user/square) Square |
| 2025-07-02 00:03:50 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 00:04:05 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 00:04:18 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 00:04:33 +0000 | jespada | (~jespada@r190-135-224-140.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 2025-07-02 00:04:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 00:05:16 +0000 | kimjetwav | (~user@2607:fea8:25a3:a100:794c:5924:b309:3338) kimjetwav |
| 2025-07-02 00:05:23 +0000 | FANTOM | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-07-02 00:08:35 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-07-02 00:09:06 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 276 seconds) |
| 2025-07-02 00:10:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-07-02 00:11:04 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-02 00:11:18 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-02 00:12:58 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 00:13:00 +0000 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 276 seconds) |
| 2025-07-02 00:14:09 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-07-02 00:15:44 +0000 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-07-02 00:15:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 00:16:34 +0000 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2025-07-02 00:19:58 +0000 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
| 2025-07-02 00:21:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-02 00:22:11 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2025-07-02 00:22:53 +0000 | kadobanana | (~mud@user/kadoban) (Ping timeout: 245 seconds) |
| 2025-07-02 00:24:06 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-02 00:24:50 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-07-02 00:27:51 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-07-02 00:29:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-02 00:30:14 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 00:31:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 00:34:33 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 245 seconds) |
| 2025-07-02 00:34:38 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-07-02 00:36:27 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 00:37:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-02 00:39:58 +0000 | kadobanana | (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 2025-07-02 00:40:05 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2025-07-02 00:40:34 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 00:40:37 +0000 | rat-with-hat | (~rat-with-@24-113-114-97.wavecable.com) |
| 2025-07-02 00:42:08 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 00:45:12 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-07-02 00:45:27 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 00:45:40 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-02 00:47:34 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-07-02 00:47:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 00:52:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-02 00:54:28 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-07-02 00:54:34 +0000 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-02 00:54:47 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-02 01:02:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 01:04:17 +0000 | <yin> | oh no. now i'm having another problem. i get no logs from it. can this be because of buffering? |
| 2025-07-02 01:05:15 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-02 01:06:48 +0000 | <yin> | cabal run had no problem with this |
| 2025-07-02 01:07:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 01:07:49 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4cc8:3950:ac73:12bf) (Ping timeout: 252 seconds) |
| 2025-07-02 01:08:54 +0000 | <geekosaur> | buffering might be it |
| 2025-07-02 01:09:28 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 276 seconds) |
| 2025-07-02 01:10:23 +0000 | <geekosaur> | you might use script(1) if you want logging to file + terminal |
| 2025-07-02 01:13:51 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 01:14:41 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2025-07-02 01:15:23 +0000 | <yin> | that did it, thanks |
| 2025-07-02 01:16:55 +0000 | <yin> | i had tried stdbuf but i guess haskell doesn't use standard C library buffering |
| 2025-07-02 01:16:59 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 01:17:29 +0000 | <yin> | script -qec did the trick |
| 2025-07-02 01:18:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 01:22:00 +0000 | <geekosaur> | nope, the buffering is itself written in Haskell and the RTS only uses "raw" syscalls |
| 2025-07-02 01:22:30 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-07-02 01:25:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-02 01:25:26 +0000 | <yin> | haskell is allergic to C and i like it |
| 2025-07-02 01:26:47 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 01:28:24 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-07-02 01:31:41 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 01:32:30 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 01:33:07 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-07-02 01:33:30 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-02 01:34:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 01:36:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 01:39:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 01:41:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 01:43:02 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 01:43:24 +0000 | machinedgod | (~machinedg@d172-219-249-147.abhsia.telus.net) machinedgod |
| 2025-07-02 01:43:33 +0000 | machinedgod | (~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer) |
| 2025-07-02 01:46:34 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 01:48:53 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-02 01:51:44 +0000 | ft | (~ft@p3e9bc301.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-07-02 01:52:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 01:53:24 +0000 | ft | (~ft@p4fc2a38d.dip0.t-ipconnect.de) ft |
| 2025-07-02 01:57:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-02 01:58:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-02 01:59:11 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 01:59:27 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 02:00:32 +0000 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2025-07-02 02:01:13 +0000 | latticepolytope | (~user@user/isekaijin) isekaijin |
| 2025-07-02 02:04:51 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 02:08:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 02:12:15 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 02:13:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-07-02 02:19:50 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-02 02:23:04 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2025-07-02 02:24:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 02:28:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 02:29:49 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-02 02:31:59 +0000 | td_ | (~td@i5387092C.versanet.de) (Ping timeout: 260 seconds) |
| 2025-07-02 02:33:23 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-07-02 02:33:47 +0000 | td_ | (~td@i53870938.versanet.de) td_ |
| 2025-07-02 02:36:43 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-02 02:37:57 +0000 | rat-with-hat | (~rat-with-@24-113-114-97.wavecable.com) (Ping timeout: 276 seconds) |
| 2025-07-02 02:39:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 02:40:44 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-07-02 02:44:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-02 02:53:28 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 276 seconds) |
| 2025-07-02 02:54:38 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 02:55:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 02:58:35 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 02:59:34 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2025-07-02 03:02:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 03:02:48 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-02 03:08:26 +0000 | aforemny | (~aforemny@i577B12B5.versanet.de) aforemny |
| 2025-07-02 03:09:19 +0000 | aforemny_ | (~aforemny@i577B13AF.versanet.de) (Ping timeout: 244 seconds) |
| 2025-07-02 03:10:50 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-02 03:11:04 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-02 03:11:13 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 03:12:24 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2025-07-02 03:13:22 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 248 seconds) |
| 2025-07-02 03:13:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 03:14:56 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 03:18:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-02 03:29:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 03:32:26 +0000 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-07-02 03:34:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 03:36:05 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-02 03:36:18 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-02 03:36:25 +0000 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2025-07-02 03:39:31 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 03:39:46 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 03:43:44 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-07-02 03:45:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 03:49:51 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 03:50:09 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 03:50:33 +0000 | monochrom | (~trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in) |
| 2025-07-02 03:50:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-07-02 03:57:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-02 03:59:40 +0000 | qqe | (~qqq@185.54.20.5) (Quit: Lost terminal) |
| 2025-07-02 04:01:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 04:06:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-02 04:06:21 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 04:07:20 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-02 04:07:33 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-02 04:09:20 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-07-02 04:09:23 +0000 | monochrom | (trebla@216.138.220.146) |
| 2025-07-02 04:09:39 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-07-02 04:11:03 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 04:14:20 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 04:16:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 04:17:56 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 04:21:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-02 04:21:51 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 04:24:49 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 04:32:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 04:34:22 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 04:35:14 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 04:35:29 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 04:35:32 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-07-02 04:39:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 04:41:15 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 04:41:29 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-07-02 04:47:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 04:47:11 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 04:47:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-07-02 04:48:33 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-07-02 04:51:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 04:59:56 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-02 05:00:11 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-02 05:02:39 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-02 05:02:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 05:03:41 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 05:05:47 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 05:07:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-02 05:07:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-02 05:10:32 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-02 05:18:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 05:19:28 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 05:23:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 05:24:52 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 05:25:34 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 05:25:50 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 05:29:33 +0000 | perro | (~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-02 05:30:50 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 05:32:38 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) MaybeMonad |
| 2025-07-02 05:33:50 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 05:34:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 05:38:27 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 05:39:08 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-02 05:39:19 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-02 05:39:33 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-02 05:39:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-02 05:40:05 +0000 | perro | (~aaron@2600:100c:b236:292b:80e3:b8e:7835:5d26) |
| 2025-07-02 05:43:19 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 05:49:02 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-07-02 05:50:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 05:54:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-02 05:55:14 +0000 | Square | (~Square@user/square) Square |
| 2025-07-02 05:55:57 +0000 | trickard__ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-02 05:56:09 +0000 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-07-02 05:59:27 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2025-07-02 06:06:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 06:10:37 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 06:11:43 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
| 2025-07-02 06:13:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-02 06:13:05 +0000 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 248 seconds) |
| 2025-07-02 06:14:13 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 06:16:54 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 06:23:39 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 06:24:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 06:26:51 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 06:27:38 +0000 | perro | (~aaron@2600:100c:b236:292b:80e3:b8e:7835:5d26) (Ping timeout: 272 seconds) |
| 2025-07-02 06:28:27 +0000 | perro | (~aaron@syn-072-191-245-069.res.spectrum.com) |
| 2025-07-02 06:29:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-07-02 06:34:16 +0000 | rat-with-hat | (~rat-with-@24-113-114-97.wavecable.com) |
| 2025-07-02 06:35:39 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-07-02 06:36:49 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-07-02 06:36:59 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 06:37:09 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-07-02 06:39:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 06:41:14 +0000 | latticepolytope | (~user@user/isekaijin) (Ping timeout: 260 seconds) |
| 2025-07-02 06:43:18 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 06:44:43 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 2025-07-02 06:44:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 06:46:22 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 06:47:05 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-02 06:48:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 06:53:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-02 06:54:09 +0000 | trickard__ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-07-02 06:57:47 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-02 06:57:58 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 06:59:12 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-07-02 07:00:01 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-02 07:00:43 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-07-02 07:03:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 07:04:28 +0000 | ft | (~ft@p4fc2a38d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-07-02 07:04:43 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-02 07:05:13 +0000 | latticepolytope | (~user@user/isekaijin) isekaijin |
| 2025-07-02 07:06:18 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 07:07:54 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-02 07:09:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-02 07:09:59 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 07:11:20 +0000 | AlexNoo | (~AlexNoo@178.34.151.27) (Read error: Connection reset by peer) |
| 2025-07-02 07:15:37 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-02 07:25:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-07-02 07:26:09 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 07:29:16 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-02 07:30:06 +0000 | acidjnk | (~acidjnk@p200300d6e70b66524484d91b65e5b2b2.dip0.t-ipconnect.de) acidjnk |
| 2025-07-02 07:34:24 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 07:37:27 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 07:40:13 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:9794:811d:5f03:335d) nschoe |
| 2025-07-02 07:43:56 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 07:46:30 +0000 | <sshine> | I think it mainly has to do with leveraging laziness? |
| 2025-07-02 07:47:52 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-07-02 07:55:09 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 07:56:30 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-02 08:00:16 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) (Ping timeout: 276 seconds) |
| 2025-07-02 08:00:43 +0000 | kuribas | (~user@ptr-17d51enohk5pcv4z4s5.18120a2.ip6.access.telenet.be) kuribas |
| 2025-07-02 08:03:43 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 08:04:03 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-02 08:06:02 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 08:06:57 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 08:07:30 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-02 08:10:03 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 08:14:30 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 08:15:21 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 08:15:54 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 08:16:09 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 08:22:35 +0000 | trickard_ | trickard |
| 2025-07-02 08:24:38 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-02 08:25:07 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 08:26:39 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-07-02 08:29:31 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 08:36:07 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 08:37:49 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-02 08:40:34 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 08:40:50 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-07-02 08:44:40 +0000 | FANTOM | (~fantom@33be818f.skybroadband.com) |
| 2025-07-02 08:45:24 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-07-02 08:51:15 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 08:53:37 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-02 09:03:29 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-02 09:03:43 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-02 09:04:15 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-02 09:05:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-02 09:06:59 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-07-02 09:07:38 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 09:09:20 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-07-02 09:14:45 +0000 | latticepolytope | (~user@user/isekaijin) (Quit: brb) |
| 2025-07-02 09:15:07 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-07-02 09:26:18 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-02 09:29:20 +0000 | j1n37 | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-07-02 09:31:37 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 09:32:00 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-02 09:32:12 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 2025-07-02 09:32:43 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-07-02 09:34:49 +0000 | machinedgod | (~machinedg@d172-219-249-147.abhsia.telus.net) machinedgod |
| 2025-07-02 09:35:02 +0000 | machinedgod | (~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer) |
| 2025-07-02 09:37:14 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 09:37:30 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-07-02 09:40:17 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-02 09:40:50 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-02 09:41:09 +0000 | acidjnk | (~acidjnk@p200300d6e70b66524484d91b65e5b2b2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-02 09:45:00 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 09:45:18 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 252 seconds) |
| 2025-07-02 09:45:39 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-07-02 09:48:09 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-02 09:49:55 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-07-02 09:49:58 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-07-02 09:50:31 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 09:51:48 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-07-02 09:51:53 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 09:52:11 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 09:52:14 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-02 09:55:19 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-02 10:00:05 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 10:03:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 10:05:00 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2025-07-02 10:06:03 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 10:11:22 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-02 10:12:43 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 10:13:21 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-02 10:14:11 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-02 10:14:22 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-07-02 10:17:02 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 10:22:58 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-02 10:23:24 +0000 | trickard_ | trickard |
| 2025-07-02 10:24:00 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-02 10:25:57 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-07-02 10:25:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 10:29:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-02 10:30:19 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 10:33:14 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-02 10:33:49 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-02 10:34:25 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-07-02 10:36:42 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-02 10:37:01 +0000 | rat-with-hat | (~rat-with-@24-113-114-97.wavecable.com) (Ping timeout: 268 seconds) |
| 2025-07-02 10:41:09 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-02 10:49:48 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 10:50:06 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 10:51:45 +0000 | yin | (~yin@user/zero) (Quit: leaving) |
| 2025-07-02 10:55:45 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-07-02 10:56:16 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 10:57:21 +0000 | s3np41 | (~s3np41@078088254000.unknown.vectranet.pl) |
| 2025-07-02 10:58:42 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-07-02 10:59:06 +0000 | s3np41 | (~s3np41@078088254000.unknown.vectranet.pl) (Quit: WeeChat 4.4.3) |
| 2025-07-02 11:00:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 11:00:22 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-02 11:00:40 +0000 | acidjnk | (~acidjnk@p200300d6e70b6652f429b1307fbc5ebd.dip0.t-ipconnect.de) acidjnk |
| 2025-07-02 11:01:41 +0000 | jespada | (~jespada@r179-25-1-139.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-02 11:04:54 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-07-02 11:17:08 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 11:18:21 +0000 | xff0x | (~xff0x@2405:6580:b080:900:d5d3:9c03:a2c:5492) |
| 2025-07-02 11:20:11 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 11:21:08 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-07-02 11:21:43 +0000 | malte | (~malte@mal.tc) malte |
| 2025-07-02 11:26:23 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-07-02 11:29:41 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 11:30:43 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 11:31:13 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-07-02 11:32:52 +0000 | <dpk> | is there any way i can see the parse tree for some input Haskell code? or something like :set +t in ghci except it prints me back what i entered with maximal parenthesization and no layout, so i see directly how it’s resolving operator precedence etc.? |
| 2025-07-02 11:33:07 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 11:33:46 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 11:36:58 +0000 | <geekosaur> | `:set -ddump-ds`, possibly? |
| 2025-07-02 11:37:54 +0000 | <geekosaur> | well, that wouldn't be what you entered, the desugarer does things like rewriting `do` to `>>`/`>>=` and `if` to `case` |
| 2025-07-02 11:39:39 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-02 11:39:54 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-02 11:40:05 +0000 | <dpk> | oh wow, that produces a lot of output. however, i think i can actually see what i want to know. thanks! |
| 2025-07-02 11:40:13 +0000 | <geekosaur> | `-ddump-parsed` or `-ddump-parsed-ast`, not sure which has precedence/associativity applied |
| 2025-07-02 11:40:36 +0000 | <geekosaur> | but it won't look like your code |
| 2025-07-02 11:41:52 +0000 | <geekosaur> | operator precedence is a bit hacky, since `infix*` directives can appear anywhere in a module the AST has to be adjusted after the initial parse |
| 2025-07-02 11:43:00 +0000 | <dpk> | -ddump-parsed does not help, -ddump-parsed-ast is harder to read than -ddump-ds … now i know that -ddump-something is what i’m looking for, i can take a look myself, and in the worst case, -ddump-ds is at least sufficiently comprehensible even if not ideal. thanks so much! |
| 2025-07-02 11:44:12 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 11:45:53 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-02 11:46:26 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-07-02 11:46:44 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-02 11:50:02 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-02 11:52:49 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 11:52:50 +0000 | trickard_ | trickard |
| 2025-07-02 11:52:52 +0000 | phma | (phma@2001:5b0:210d:81d8:1374:2a87:a1eb:a30a) (Read error: Connection reset by peer) |
| 2025-07-02 11:53:16 +0000 | phma | (phma@2001:5b0:210d:81d8:ebbe:358e:d440:a29e) |
| 2025-07-02 11:57:28 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-02 12:00:08 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 12:00:41 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 12:06:50 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 12:09:55 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 12:12:08 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 12:12:34 +0000 | apache | (apache2@anubis.0x90.dk) (Remote host closed the connection) |
| 2025-07-02 12:12:50 +0000 | apache2 | (~apache2@anubis.0x90.dk) apache2 |
| 2025-07-02 12:13:45 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-07-02 12:15:57 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 244 seconds) |
| 2025-07-02 12:18:19 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 12:19:00 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-07-02 12:19:34 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-02 12:26:54 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-07-02 12:27:33 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 12:29:11 +0000 | malte | (~malte@mal.tc) malte |
| 2025-07-02 12:29:47 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 12:30:30 +0000 | machinedgod | (~machinedg@d172-219-249-147.abhsia.telus.net) machinedgod |
| 2025-07-02 12:30:51 +0000 | jespada | (~jespada@r179-25-1-139.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-02 12:30:51 +0000 | machinedgod | (~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer) |
| 2025-07-02 12:32:42 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-02 12:36:04 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 12:36:19 +0000 | jespada | (~jespada@r179-25-1-139.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-02 12:36:36 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-07-02 12:38:01 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-02 12:40:50 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 12:42:19 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 12:46:20 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 12:49:22 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 12:50:35 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 12:50:54 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 12:51:53 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 12:52:04 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-07-02 12:52:05 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-02 12:52:13 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 12:55:19 +0000 | hseg | (~gesh@46.120.20.122) |
| 2025-07-02 12:57:30 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 13:00:06 +0000 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-02 13:00:06 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer) |
| 2025-07-02 13:00:21 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-07-02 13:01:00 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
| 2025-07-02 13:01:29 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 13:01:44 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 13:01:55 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 13:02:12 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-07-02 13:03:36 +0000 | machinedgod | (~machinedg@d172-219-249-147.abhsia.telus.net) machinedgod |
| 2025-07-02 13:03:59 +0000 | shaeto | (~Shaeto@94.25.234.117) |
| 2025-07-02 13:04:07 +0000 | machinedgod | (~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer) |
| 2025-07-02 13:07:17 +0000 | rvalue- | rvalue |
| 2025-07-02 13:07:37 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 244 seconds) |
| 2025-07-02 13:10:39 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-07-02 13:11:54 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 260 seconds) |
| 2025-07-02 13:16:21 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 13:16:49 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 13:17:06 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 13:18:38 +0000 | machinedgod | (~machinedg@d172-219-249-147.abhsia.telus.net) machinedgod |
| 2025-07-02 13:18:56 +0000 | machinedgod | (~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer) |
| 2025-07-02 13:20:21 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 2025-07-02 13:21:34 +0000 | apache2 | (~apache2@anubis.0x90.dk) (Remote host closed the connection) |
| 2025-07-02 13:22:00 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 13:22:08 +0000 | apache2 | (apache2@anubis.0x90.dk) apache2 |
| 2025-07-02 13:28:37 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 13:28:53 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 13:29:40 +0000 | Guest67 | (~Guest67@29.28.219.201.static.anycast.cnt-grms.ec) |
| 2025-07-02 13:29:42 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-02 13:30:48 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-02 13:30:48 +0000 | xff0x | (~xff0x@2405:6580:b080:900:d5d3:9c03:a2c:5492) (Ping timeout: 252 seconds) |
| 2025-07-02 13:32:10 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 13:32:25 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 13:33:13 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-07-02 13:33:37 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-07-02 13:36:09 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 13:39:24 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 13:42:30 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 13:42:45 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 13:43:34 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 13:43:38 +0000 | xff0x | (~xff0x@2405:6580:b080:900:d5d3:9c03:a2c:5492) |
| 2025-07-02 13:46:43 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 13:49:04 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 13:49:40 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 13:51:34 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 13:55:39 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 13:56:25 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 13:57:50 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 13:58:06 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 13:59:13 +0000 | jespada | (~jespada@r179-25-1-139.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-07-02 14:00:06 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 14:01:22 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 14:02:06 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-07-02 14:02:31 +0000 | jespada | (~jespada@r179-25-246-58.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-02 14:02:36 +0000 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-07-02 14:02:52 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 14:09:55 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 14:10:03 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-02 14:13:08 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 14:14:18 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-02 14:16:04 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 14:17:45 +0000 | <EvanR> | yeah the rawest parse will not have the operator precedence "resolved" yet |
| 2025-07-02 14:19:10 +0000 | <EvanR> | worst case resort would be to load the module in ghci and use :i to get the precedence of the operators then you know how it will be resolved |
| 2025-07-02 14:19:13 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 14:22:46 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2025-07-02 14:24:10 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-02 14:26:52 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 14:33:42 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-02 14:34:08 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 14:34:11 +0000 | Everything | (~Everythin@5.248.246.128) Everything |
| 2025-07-02 14:34:44 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 260 seconds) |
| 2025-07-02 14:35:21 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-07-02 14:37:44 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-07-02 14:42:03 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-02 14:43:04 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-02 14:46:05 +0000 | Everything | (~Everythin@5.248.246.128) (Read error: Connection reset by peer) |
| 2025-07-02 14:47:39 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 14:48:25 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 14:48:42 +0000 | Everything | (~Everythin@5.248.246.128) Everything |
| 2025-07-02 14:53:10 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 14:53:25 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 14:53:41 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2025-07-02 14:55:30 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2025-07-02 14:56:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 14:58:30 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 14:58:46 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 14:59:37 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-07-02 15:00:59 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-07-02 15:03:06 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 2025-07-02 15:06:15 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Disconnected: closed) |
| 2025-07-02 15:08:26 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-07-02 15:09:31 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 15:09:50 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-02 15:11:25 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-02 15:13:50 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 15:14:07 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 15:17:42 +0000 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-07-02 15:17:47 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 15:17:48 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-07-02 15:17:53 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-02 15:19:16 +0000 | ft | (~ft@p4fc2a38d.dip0.t-ipconnect.de) ft |
| 2025-07-02 15:20:10 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-07-02 15:20:27 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 15:24:19 +0000 | ft | (~ft@p4fc2a38d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-07-02 15:26:39 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-02 15:27:17 +0000 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-07-02 15:30:03 +0000 | ft | (~ft@p508db6cd.dip0.t-ipconnect.de) ft |
| 2025-07-02 15:37:01 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) machinedgod |
| 2025-07-02 15:37:18 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-07-02 15:39:11 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 15:39:29 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 15:42:28 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 15:44:54 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-02 15:45:25 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-02 15:48:29 +0000 | tired | (~tired@user/tired) (Quit: /) |
| 2025-07-02 15:49:17 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-07-02 15:49:27 +0000 | tired | (~tired@user/tired) tired |
| 2025-07-02 15:50:51 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 15:54:20 +0000 | jespada | (~jespada@r179-25-246-58.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-02 15:54:21 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (Ping timeout: 252 seconds) |
| 2025-07-02 15:56:16 +0000 | jespada | (~jespada@r179-25-246-58.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-02 15:56:47 +0000 | machinedgod | (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-07-02 15:58:55 +0000 | Guest67 | (~Guest67@29.28.219.201.static.anycast.cnt-grms.ec) (Quit: Client closed) |
| 2025-07-02 16:00:06 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 16:00:58 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-02 16:01:15 +0000 | patri_ | (~patri@user/patri) patri |
| 2025-07-02 16:02:28 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-07-02 16:03:13 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-02 16:04:20 +0000 | patri | (~patri@user/patri) (Ping timeout: 252 seconds) |
| 2025-07-02 16:05:41 +0000 | patri | (~patri@user/patri) patri |
| 2025-07-02 16:05:48 +0000 | patri_ | (~patri@user/patri) (Ping timeout: 252 seconds) |
| 2025-07-02 16:05:58 +0000 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2025-07-02 16:06:15 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 16:06:49 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 16:07:02 +0000 | tired | (~tired@user/tired) (Quit: /) |
| 2025-07-02 16:08:05 +0000 | tired | (~tired@user/tired) tired |
| 2025-07-02 16:10:17 +0000 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2025-07-02 16:10:25 +0000 | noctux | (~noctux@user/noctux) noctux |
| 2025-07-02 16:10:59 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 16:12:06 +0000 | fp | (~Thunderbi@2001:708:150:10::8f7c) fp |
| 2025-07-02 16:12:17 +0000 | mjacob | (~mjacob@adrastea.uberspace.de) (Ping timeout: 244 seconds) |
| 2025-07-02 16:12:42 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 16:13:05 +0000 | mjacob | (~mjacob@adrastea.uberspace.de) mjacob |
| 2025-07-02 16:14:20 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) MaybeMonad |
| 2025-07-02 16:14:31 +0000 | fp | (~Thunderbi@2001:708:150:10::8f7c) (Client Quit) |
| 2025-07-02 16:15:53 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 16:18:28 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) (Client Quit) |
| 2025-07-02 16:18:43 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) MaybeMonad |
| 2025-07-02 16:20:18 +0000 | Frostillicus | (~Frostilli@mobile-166-171-185-118.mycingular.net) |
| 2025-07-02 16:21:25 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-07-02 16:22:26 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 16:22:29 +0000 | Guest67 | (~Guest67@29.28.219.201.static.anycast.cnt-grms.ec) |
| 2025-07-02 16:23:14 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-02 16:28:46 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-02 16:33:13 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-02 16:33:35 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 16:36:04 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-02 16:38:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 16:39:30 +0000 | kuribas` | (~user@ptr-17d51eo50789m38ueyu.18120a2.ip6.access.telenet.be) kuribas |
| 2025-07-02 16:41:13 +0000 | kuribas | (~user@ptr-17d51enohk5pcv4z4s5.18120a2.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-07-02 16:41:26 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 16:46:56 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 16:50:43 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 16:52:08 +0000 | rat-with-hat | (~rat-with-@24-113-114-97.wavecable.com) |
| 2025-07-02 16:53:15 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-07-02 16:53:33 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-02 16:55:54 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 2025-07-02 16:56:20 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 16:59:34 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 16:59:49 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 17:00:02 +0000 | kuribas` | (~user@ptr-17d51eo50789m38ueyu.18120a2.ip6.access.telenet.be) (Ping timeout: 248 seconds) |
| 2025-07-02 17:00:32 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-02 17:01:13 +0000 | kuribas` | (~user@ptr-17d51epoo75iorg92cq.18120a2.ip6.access.telenet.be) kuribas |
| 2025-07-02 17:02:05 +0000 | Frostillicus | (~Frostilli@mobile-166-171-185-118.mycingular.net) (Read error: Connection reset by peer) |
| 2025-07-02 17:02:06 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-02 17:02:26 +0000 | mxs9 | (~mxs@user/mxs) mxs |
| 2025-07-02 17:04:24 +0000 | acidjnk | (~acidjnk@p200300d6e70b6652f429b1307fbc5ebd.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-07-02 17:05:59 +0000 | ft | (~ft@p508db6cd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-07-02 17:07:17 +0000 | ft | (~ft@p4fc2ae10.dip0.t-ipconnect.de) ft |
| 2025-07-02 17:10:39 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 17:19:49 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 17:21:49 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 17:22:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 17:22:33 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-02 17:23:54 +0000 | kuribas` | (~user@ptr-17d51epoo75iorg92cq.18120a2.ip6.access.telenet.be) (Ping timeout: 260 seconds) |
| 2025-07-02 17:26:25 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 17:26:39 +0000 | Frostillicus | (~Frostilli@2600:380:5973:3be:6cb1:74f6:6d7b:35a1) |
| 2025-07-02 17:26:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 17:37:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 17:43:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-02 17:44:54 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 17:45:11 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 17:45:25 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-02 17:50:09 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-07-02 17:52:22 +0000 | Frostillicus | (~Frostilli@2600:380:5973:3be:6cb1:74f6:6d7b:35a1) (Read error: Connection reset by peer) |
| 2025-07-02 17:53:00 +0000 | tekmelt | (~meltek___@user/Discordian93) Discordian93 |
| 2025-07-02 17:53:09 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) (Ping timeout: 276 seconds) |
| 2025-07-02 17:53:26 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 17:53:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 17:57:12 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-07-02 17:59:20 +0000 | Frostillicus | (~Frostilli@2600:380:5973:3be:6cb1:74f6:6d7b:35a1) |
| 2025-07-02 17:59:50 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-07-02 18:00:40 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 2025-07-02 18:00:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-02 18:05:05 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-07-02 18:07:29 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 18:11:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 18:12:31 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-02 18:12:31 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 18:13:21 +0000 | acidjnk | (~acidjnk@p200300d6e70b6621f429b1307fbc5ebd.dip0.t-ipconnect.de) acidjnk |
| 2025-07-02 18:15:51 +0000 | Frostillicus | (~Frostilli@2600:380:5973:3be:6cb1:74f6:6d7b:35a1) (Read error: Connection reset by peer) |
| 2025-07-02 18:16:17 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 18:16:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-02 18:19:53 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 18:20:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 18:20:50 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 18:23:18 +0000 | wbooze | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2025-07-02 18:24:29 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 18:25:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-02 18:29:40 +0000 | Everything | (~Everythin@5.248.246.128) (Quit: leaving) |
| 2025-07-02 18:31:05 +0000 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-07-02 18:31:56 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 18:33:48 +0000 | tekmelt | (~meltek___@user/Discordian93) (Remote host closed the connection) |
| 2025-07-02 18:34:59 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 18:36:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 18:39:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 18:41:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-02 18:42:54 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-02 18:44:16 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kbdvksb) |
| 2025-07-02 18:50:15 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 18:50:21 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 18:50:31 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 18:52:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 18:55:15 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 2025-07-02 18:55:56 +0000 | wbooze | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline |
| 2025-07-02 18:57:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 18:59:31 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 19:00:03 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-02 19:00:43 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-07-02 19:01:28 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 19:03:34 +0000 | shaeto | (~Shaeto@94.25.234.117) (Quit: WeeChat 4.1.1) |
| 2025-07-02 19:03:59 +0000 | hseg | (~gesh@46.120.20.122) (Ping timeout: 252 seconds) |
| 2025-07-02 19:05:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-02 19:05:35 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 19:05:52 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 19:07:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 19:10:19 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 19:10:54 +0000 | a_fantom | (~fantom@33be818f.skybroadband.com) |
| 2025-07-02 19:12:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-02 19:13:56 +0000 | FANTOM | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-07-02 19:18:58 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 19:21:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 19:22:22 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 19:26:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-02 19:34:24 +0000 | Guest67 | (~Guest67@29.28.219.201.static.anycast.cnt-grms.ec) () |
| 2025-07-02 19:34:55 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-02 19:37:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 19:39:40 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-02 19:41:01 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 19:41:14 +0000 | tjbc_ | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2025-07-02 19:41:44 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 19:43:11 +0000 | Square | (~Square@user/square) Square |
| 2025-07-02 19:43:53 +0000 | tjbc | (~tjbc@user/fliife) fliife |
| 2025-07-02 19:44:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-02 19:50:28 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-07-02 19:52:15 +0000 | FANTOM | (~fantom@33be818f.skybroadband.com) |
| 2025-07-02 19:54:03 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 2025-07-02 19:55:16 +0000 | a_fantom | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-07-02 19:55:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 19:55:37 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-02 19:57:41 +0000 | Square2 | (~Square@user/square) Square |
| 2025-07-02 19:59:25 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds) |
| 2025-07-02 19:59:49 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-07-02 19:59:49 +0000 | ljdarj1 | ljdarj |
| 2025-07-02 19:59:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-02 20:00:46 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-07-02 20:01:21 +0000 | ftzm3 | (~ftzm@085080227206.dynamic.telenor.dk) ftzm |
| 2025-07-02 20:03:09 +0000 | ftzm | (~ftzm@085080227187.dynamic.telenor.dk) (Ping timeout: 276 seconds) |
| 2025-07-02 20:03:09 +0000 | ftzm3 | ftzm |
| 2025-07-02 20:03:29 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-07-02 20:04:17 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-02 20:04:55 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-07-02 20:06:41 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-02 20:11:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 20:13:24 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 20:14:02 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-07-02 20:14:33 +0000 | sprotte24 | (~sprotte24@p200300d16f4b3300a958d9d5d33fe8c0.dip0.t-ipconnect.de) |
| 2025-07-02 20:15:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 20:15:56 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 20:16:11 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 20:18:07 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 2025-07-02 20:21:19 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-02 20:22:33 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-02 20:26:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 20:29:38 +0000 | ftzm | (~ftzm@085080227206.dynamic.telenor.dk) (Ping timeout: 268 seconds) |
| 2025-07-02 20:30:42 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-02 20:31:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-02 20:32:37 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 20:34:53 +0000 | tromp | (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-02 20:38:27 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 20:41:58 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-07-02 20:42:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 20:43:27 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-02 20:44:01 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 20:46:16 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 20:47:00 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 20:48:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-02 20:48:29 +0000 | ft | (~ft@p4fc2ae10.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-07-02 20:48:41 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-07-02 20:50:35 +0000 | ft | (~ft@p4fc2a78e.dip0.t-ipconnect.de) ft |
| 2025-07-02 20:51:33 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 20:53:51 +0000 | ftzm | (~ftzm@085080236095.dynamic.telenor.dk) ftzm |
| 2025-07-02 20:56:19 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-02 20:57:33 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 20:58:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 21:02:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 21:03:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-02 21:06:39 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 21:06:55 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-07-02 21:07:13 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-02 21:08:46 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 21:10:08 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 21:12:35 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 21:13:32 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) |
| 2025-07-02 21:13:36 +0000 | <r-sta> | yo what is Up #haskell ? |
| 2025-07-02 21:13:46 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) |
| 2025-07-02 21:13:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 21:16:30 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 268 seconds) |
| 2025-07-02 21:17:07 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) (Client Quit) |
| 2025-07-02 21:17:28 +0000 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-07-02 21:21:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-02 21:21:59 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 21:22:14 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 21:22:36 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 21:24:03 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 21:27:01 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-02 21:28:05 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 21:31:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 21:36:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-02 21:38:22 +0000 | ft | (~ft@p4fc2a78e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-07-02 21:40:02 +0000 | ft | (~ft@p4fc2a518.dip0.t-ipconnect.de) ft |
| 2025-07-02 21:41:27 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-07-02 21:42:45 +0000 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 248 seconds) |
| 2025-07-02 21:43:01 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-02 21:47:35 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 21:47:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 21:51:14 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 21:51:34 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-02 21:52:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-02 21:57:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-02 21:59:29 +0000 | sprotte24 | (~sprotte24@p200300d16f4b3300a958d9d5d33fe8c0.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-02 21:59:36 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 22:02:47 +0000 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-07-02 22:03:16 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 22:03:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 22:03:40 +0000 | wbooze | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2025-07-02 22:06:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-02 22:07:37 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 22:08:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-02 22:15:20 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 22:15:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-02 22:15:45 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-07-02 22:19:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 22:19:38 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 22:20:57 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-02 22:21:52 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-07-02 22:22:19 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 22:22:34 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 22:24:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-02 22:26:47 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 22:29:16 +0000 | Nosrep | (~jimothy@user/nosrep) (Remote host closed the connection) |
| 2025-07-02 22:30:07 +0000 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2025-07-02 22:31:08 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 22:32:47 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 22:35:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 22:35:32 +0000 | glguy | (glguy@libera/staff/glguy) (Remote host closed the connection) |
| 2025-07-02 22:35:40 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 22:37:01 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-07-02 22:39:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-02 22:41:41 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 22:41:53 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-07-02 22:42:24 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-07-02 22:45:30 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 22:46:26 +0000 | sadkeyvanfar | (~sadkeyvan@user/sadkeyvanfar) sadkeyvanfar |
| 2025-07-02 22:48:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 22:50:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 22:52:13 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 22:53:18 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 22:56:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 22:57:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-02 22:58:46 +0000 | sadkeyvanfar | (~sadkeyvan@user/sadkeyvanfar) (Quit: Client closed) |
| 2025-07-02 23:00:53 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) |
| 2025-07-02 23:01:01 +0000 | <r-sta> | ok i have a question |
| 2025-07-02 23:01:26 +0000 | <r-sta> | so my prof was explaining to me how a graphically turing complete language works |
| 2025-07-02 23:01:46 +0000 | <r-sta> | but i was wondering if it has to be graphically complete in the sense of a graph or just a list |
| 2025-07-02 23:02:06 +0000 | <r-sta> | like, if the graph leafs have pointers to elsewhere in the graph, isnt that just the same as if it were a list? |
| 2025-07-02 23:03:08 +0000 | <r-sta> | like, cant you just have a list where the values can be either `a' or `Cursor [] a' |
| 2025-07-02 23:03:24 +0000 | <EvanR> | there are variations on defining a turing machine, then there's many ways to implement them which will be equivalent |
| 2025-07-02 23:03:36 +0000 | <r-sta> | hmm? |
| 2025-07-02 23:03:44 +0000 | <EvanR> | what's your turing machine |
| 2025-07-02 23:03:49 +0000 | <r-sta> | no, i mean like, isnt it the same to have the list instead of the graph? |
| 2025-07-02 23:04:02 +0000 | <r-sta> | EvanR, its not turing complete, its grphically turing complete |
| 2025-07-02 23:04:16 +0000 | <EvanR> | graphically turing complete |
| 2025-07-02 23:04:17 +0000 | <r-sta> | my question is if it needs the graph or if the list is the same |
| 2025-07-02 23:04:28 +0000 | <r-sta> | like, if I dont understand the difference |
| 2025-07-02 23:04:43 +0000 | <EvanR> | any finite graph can be described by an adjacency list |
| 2025-07-02 23:05:05 +0000 | <r-sta> | i think thats the point where i get confused. like if you can just "linearze" the graph somehow |
| 2025-07-02 23:05:27 +0000 | <EvanR> | sure |
| 2025-07-02 23:05:42 +0000 | <EvanR> | you number the nodes in the graph and use that in the list |
| 2025-07-02 23:05:48 +0000 | <r-sta> | but then, im not sure if thats the same definition as just regular turing complete, not graphically turing complete |
| 2025-07-02 23:06:20 +0000 | <EvanR> | well what's graphically turing complete |
| 2025-07-02 23:06:29 +0000 | <r-sta> | EvanR: i dont think it needs the adjacency matrix at type level, it just has Either values or itself at different positions |
| 2025-07-02 23:07:01 +0000 | potatoe | (~potatoe@157-131-120-242.fiber.dynamic.sonic.net) |
| 2025-07-02 23:07:04 +0000 | <r-sta> | iiuc the adjacency data is equivalent to the structure directing index in the deconstructed version |
| 2025-07-02 23:07:25 +0000 | <r-sta> | like, pattern matching on the subsequent constructors |
| 2025-07-02 23:07:47 +0000 | <r-sta> | with (Int,Int) for the tree branch depth and hight |
| 2025-07-02 23:08:24 +0000 | <r-sta> | [(Int,Int),a)] instead of whatever the type would be with the adjacency matrix at type level |
| 2025-07-02 23:08:38 +0000 | <r-sta> | (iirc if you exponentiate it it checks for cycles) |
| 2025-07-02 23:08:50 +0000 | <r-sta> | (so you get the graph cuts) |
| 2025-07-02 23:08:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 23:09:02 +0000 | <EvanR> | so what are you asking |
| 2025-07-02 23:09:28 +0000 | <r-sta> | basically i think it means by this graphically turing complete thing that the list is just the same as the graph |
| 2025-07-02 23:09:52 +0000 | <r-sta> | so i just have like, Graph a = Zipper (Either a (Graph a)) |
| 2025-07-02 23:10:20 +0000 | <EvanR> | zipper is equivalent to a list |
| 2025-07-02 23:10:34 +0000 | <r-sta> | and it ends up looking weird because there are no branches but the comonadic convolution cursor somehow captures this |
| 2025-07-02 23:10:55 +0000 | <EvanR> | times the cursor |
| 2025-07-02 23:11:00 +0000 | <r-sta> | EvanR: sure, but now its also weirdly equivalent to a graph somehow |
| 2025-07-02 23:11:28 +0000 | <EvanR> | a list newtype which can contain itself |
| 2025-07-02 23:11:31 +0000 | <r-sta> | seems like a kind of turing tape version of the graphical turing completeness |
| 2025-07-02 23:11:39 +0000 | <EvanR> | might even be a graph at runtime |
| 2025-07-02 23:12:03 +0000 | <EvanR> | if the knots are tied |
| 2025-07-02 23:12:21 +0000 | <r-sta> | like, normally it would be like Graph a = Tree (Either a (Graph a)) where Tree a = Either a [Tree a] |
| 2025-07-02 23:12:31 +0000 | <r-sta> | and you can see the branches |
| 2025-07-02 23:12:36 +0000 | <r-sta> | they just sort of collapse!? |
| 2025-07-02 23:13:02 +0000 | <r-sta> | idk if there is like a monad agnosticism theorem or something at the heart of it |
| 2025-07-02 23:13:03 +0000 | <EvanR> | to show two types are isomorphic just write the from and to functions |
| 2025-07-02 23:13:10 +0000 | <EvanR> | and show they compose into get id |
| 2025-07-02 23:13:39 +0000 | <r-sta> | derp, sorry, that definition should have a bunch of zippers sorry |
| 2025-07-02 23:14:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-02 23:14:07 +0000 | <r-sta> | one for the list of branches, and then, like, one for the depth zipping vertically down the tree |
| 2025-07-02 23:14:29 +0000 | ft | (~ft@p4fc2a518.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-02 23:14:36 +0000 | <r-sta> | so at the leafs its either a value or the "graph pointer" (this horizontal and vertical zipper) |
| 2025-07-02 23:15:02 +0000 | <r-sta> | i guess they are not strictly isomorphic since in the lists only version its like... you cant point to a branch point? |
| 2025-07-02 23:15:44 +0000 | Square2 | (~Square@user/square) (Quit: Leaving) |
| 2025-07-02 23:16:02 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-07-02 23:16:15 +0000 | <r-sta> | there is a version of a deconstructed geti zipper where you have GraphZipper a = ([((Int,Int),a)],(Graph a)) |
| 2025-07-02 23:16:22 +0000 | Square | (~Square@user/square) Square |
| 2025-07-02 23:16:35 +0000 | <r-sta> | i guess that might be equivalent, because then you only ever point to the leaf values |
| 2025-07-02 23:17:11 +0000 | <r-sta> | it just seems weird how the (Int,Int) and the Int seem equivalent |
| 2025-07-02 23:17:23 +0000 | <r-sta> | like, in a list i only need to say where the value is in the list with an Int |
| 2025-07-02 23:17:38 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-02 23:17:56 +0000 | <r-sta> | hmm... i suppose with the GraphZipper above, i would only need some Int number of forward deconstruction opperations |
| 2025-07-02 23:18:04 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-07-02 23:18:37 +0000 | <r-sta> | its just weird how its the same if there is [a] in the backward part of the zipper, or [((Int,Int),a)] for the data retained if its a graph |
| 2025-07-02 23:18:42 +0000 | <r-sta> | i dont get how thats redundant |
| 2025-07-02 23:19:04 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 23:19:05 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-02 23:19:14 +0000 | <r-sta> | like, maybe the runtime representation is less effecient somehow |
| 2025-07-02 23:19:48 +0000 | <r-sta> | it would have to do more zipper opperations since it cant zipper through one of the upper branches and save itself some thunks |
| 2025-07-02 23:20:27 +0000 | malte | (~malte@mal.tc) malte |
| 2025-07-02 23:20:30 +0000 | <r-sta> | i always wonder if that internal representation is used in the compiler somehow since the programs form a graph monad |
| 2025-07-02 23:20:55 +0000 | <r-sta> | like, is that saving being done under the hood somehow |
| 2025-07-02 23:21:04 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-07-02 23:21:05 +0000 | ljdarj1 | ljdarj |
| 2025-07-02 23:21:09 +0000 | <r-sta> | using dereferencing and variable binding in some super awesome way |
| 2025-07-02 23:21:15 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-07-02 23:21:57 +0000 | <r-sta> | ( i was always trying to express the top level program monad as a fancy datatype but getting messed up with singletons ) |
| 2025-07-02 23:22:41 +0000 | <r-sta> | ( like, that the program would automatically factor into an overall datatype which could then be algorithmically refactored ) |
| 2025-07-02 23:23:33 +0000 | <r-sta> | yeah, i guess refactoring would be faster on the graph version because of that point about thunks above |
| 2025-07-02 23:23:34 +0000 | <potatoe> | sorry, I'm kind of new, and I'm trying to understand 'let', so I read that it lets us create "local" expressions, but how does that really work? as in, lets say I have this: take 5 $ 0:z in z, is there another way to write this without the 'in'? |
| 2025-07-02 23:23:36 +0000 | <r-sta> | i think i get it |
| 2025-07-02 23:23:49 +0000 | <r-sta> | cheers! |
| 2025-07-02 23:23:52 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) (Quit: Client closed) |
| 2025-07-02 23:24:01 +0000 | EvanR | blinks |
| 2025-07-02 23:24:02 +0000 | malte | (~malte@mal.tc) malte |
| 2025-07-02 23:24:23 +0000 | <ski> | potatoe : there is no `let' there |
| 2025-07-02 23:24:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 23:24:52 +0000 | <potatoe> | oops sorry, take 5 $ let z = 0:z in z |
| 2025-07-02 23:25:16 +0000 | <EvanR> | for this to work, haskell has to use lazy evaluation |
| 2025-07-02 23:25:21 +0000 | <ski> | you could say `take 5 (fix (0 :))' |
| 2025-07-02 23:25:33 +0000 | <ski> | fix f = x |
| 2025-07-02 23:25:36 +0000 | <ski> | where |
| 2025-07-02 23:25:37 +0000 | <potatoe> | I ended up trying to understand fix first but then realized I didn't properly understand 'let' |
| 2025-07-02 23:25:39 +0000 | <ski> | x = f x |
| 2025-07-02 23:25:46 +0000 | <EvanR> | the infinite list z doesn't get fully constructed before evaluating the next step |
| 2025-07-02 23:25:55 +0000 | <potatoe> | I mean, I was trying to understand fix* and ended up with this question |
| 2025-07-02 23:26:22 +0000 | <EvanR> | semantically you can think of z as 0:0:0:0:... an infinite number of zeros |
| 2025-07-02 23:26:23 +0000 | <ski> | `let' in your case builds a cyclic list, whose tail points back to the same cons cell |
| 2025-07-02 23:26:27 +0000 | <EvanR> | then you can just take 5 of them |
| 2025-07-02 23:27:12 +0000 | <ski> | it's also possible to define `fix' non-recursively, using self-application |
| 2025-07-02 23:28:03 +0000 | <ski> | pretty sure that would not give a cyclic list here, though, rather expanding to new cons cells, as many as you need |
| 2025-07-02 23:28:17 +0000 | <potatoe> | right, so if the expression is take 5 $ ... in z, can I think of it as take 5 from z? |
| 2025-07-02 23:28:24 +0000 | <potatoe> | or is that not the right way to think about it |
| 2025-07-02 23:28:30 +0000 | <potatoe> | for the let in z pattern? |
| 2025-07-02 23:29:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 23:29:48 +0000 | <EvanR> | the value of let x = y in z is the value of z evaluated with x defined as y in its environment |
| 2025-07-02 23:29:53 +0000 | <EvanR> | so yes |
| 2025-07-02 23:30:03 +0000 | <ski> | yes, `take 5 (let ... in z)' is the same as `let ... in take 5 z' |
| 2025-07-02 23:30:04 +0000 | <EvanR> | outside this expression there's no x |
| 2025-07-02 23:30:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 23:30:23 +0000 | <potatoe> | excellent, thank you |
| 2025-07-02 23:30:36 +0000 | <potatoe> | now im going to try to understand fix, so im going to hang out in here |
| 2025-07-02 23:30:37 +0000 | <EvanR> | consider the evaluation rules for each kind of expression |
| 2025-07-02 23:30:42 +0000 | <EvanR> | there's not that many |
| 2025-07-02 23:31:16 +0000 | <EvanR> | then they can be combined in infinite ways |
| 2025-07-02 23:32:39 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-02 23:32:56 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-02 23:35:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-02 23:37:40 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-07-02 23:41:14 +0000 | acidjnk | (~acidjnk@p200300d6e70b6621f429b1307fbc5ebd.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-07-02 23:41:50 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 23:42:27 +0000 | <potatoe> | EvanR: "value of let x = y in z is the value of z evaluated with x defined as y in its environment" is really helpful, which I suppose also explains why if I do let f = (\x -> 0:x) f in f it wont be lazy but rather force evaluation of the infinite list |
| 2025-07-02 23:43:35 +0000 | <EvanR> | that doesn't look well typed |
| 2025-07-02 23:43:43 +0000 | <EvanR> | which is a problem prior to what it means |
| 2025-07-02 23:43:50 +0000 | <EvanR> | maybe |
| 2025-07-02 23:44:27 +0000 | <EvanR> | wait |
| 2025-07-02 23:44:34 +0000 | <potatoe> | hmm, why do you say so? it works in ghci (which of course does not mean its correct I just want to learn mroe) |
| 2025-07-02 23:44:41 +0000 | <EvanR> | you're right. But no, it's also lazy |
| 2025-07-02 23:44:48 +0000 | <EvanR> | you can test it like this |
| 2025-07-02 23:45:48 +0000 | <c_wraith> | You need to be a bit more precise than "lazy" in this case. |
| 2025-07-02 23:45:56 +0000 | <EvanR> | well just take 5 from that |
| 2025-07-02 23:46:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-02 23:46:26 +0000 | <potatoe> | yep, let f = ... f in take 5 f does take only 5 |
| 2025-07-02 23:46:35 +0000 | <c_wraith> | that's kind of uninteresting, though |
| 2025-07-02 23:46:47 +0000 | <EvanR> | so... the infinite list didn't get fully constructed (freeze up) |
| 2025-07-02 23:46:53 +0000 | <c_wraith> | actually it does |
| 2025-07-02 23:46:55 +0000 | <potatoe> | c_wraith: what do you mean by you need to be more precise? |
| 2025-07-02 23:47:12 +0000 | <c_wraith> | See, the thing about that construction is that it literally creates a circular linked list |
| 2025-07-02 23:47:20 +0000 | <EvanR> | implementation detail |
| 2025-07-02 23:47:32 +0000 | <c_wraith> | This whole thing is about implementation details |
| 2025-07-02 23:47:47 +0000 | <EvanR> | it's not clear what potatoe is interested in, so I guess that's where more precise comes in |
| 2025-07-02 23:47:47 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-02 23:49:00 +0000 | <potatoe> | well I suppose I'm not really communicating well here but I guess what I was saying is, I understand that what I asked for was an infinite evaluation, and it doesnt mean that its not "lazy" |
| 2025-07-02 23:49:02 +0000 | <c_wraith> | An expression is neither lazy nor non-lazy. It may be evaluated or unevaluated, but "lazy" is a property of functions. |
| 2025-07-02 23:49:18 +0000 | <EvanR> | I don't think you asked for an infinite evaluation |
| 2025-07-02 23:49:32 +0000 | <EvanR> | trying to print out the whole infinite list I guess does |
| 2025-07-02 23:49:47 +0000 | <EvanR> | which is what's ultimately driving the lazy evaluation |
| 2025-07-02 23:50:46 +0000 | <c_wraith> | I suppose it's more accurate to say "lazy" is a property which means that an expression be evaluated or not. |
| 2025-07-02 23:51:05 +0000 | <c_wraith> | Which is different from whether a particular expression *has* been evaluated |
| 2025-07-02 23:51:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-02 23:51:23 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-02 23:51:23 +0000 | <EvanR> | evaluated and how much |
| 2025-07-02 23:51:25 +0000 | <c_wraith> | err. means that an expression *can be* evaluated or not |
| 2025-07-02 23:51:28 +0000 | <EvanR> | fully, partially |
| 2025-07-02 23:51:35 +0000 | <c_wraith> | eh. nested laziness. |
| 2025-07-02 23:51:42 +0000 | <c_wraith> | That's not separate. :) |
| 2025-07-02 23:51:49 +0000 | <EvanR> | often we use "evaluated" to mean WHNF |
| 2025-07-02 23:52:17 +0000 | <c_wraith> | indeed. that's what the most primitive use of case does. |
| 2025-07-02 23:52:19 +0000 | <EvanR> | which might leaves lazy stuff unevaluated! |
| 2025-07-02 23:52:21 +0000 | <potatoe> | right, I mean, by typing that into ghci I asked it to print it out, hence evaluate |
| 2025-07-02 23:53:10 +0000 | <EvanR> | compare and constrast, (let z = 0:z in z) `seq` "cool" |
| 2025-07-02 23:53:32 +0000 | <EvanR> | which won't print it out |
| 2025-07-02 23:55:52 +0000 | <c_wraith> | but it's worth pointing out that there are two possible definitions of fix |
| 2025-07-02 23:56:18 +0000 | <c_wraith> | fix f = f (fix f) or fix f = let x = f x in x |
| 2025-07-02 23:56:35 +0000 | <c_wraith> | they have the same denotation |
| 2025-07-02 23:56:51 +0000 | <c_wraith> | But in GHC they have different operational behavior |
| 2025-07-02 23:56:57 +0000 | <c_wraith> | and that's why one is chosen over the other |
| 2025-07-02 23:57:44 +0000 | <c_wraith> | the key difference is operational, so it depends on implementation details |
| 2025-07-02 23:58:19 +0000 | <c_wraith> | And the important detail is that a let expression shares the same thunk between uses |
| 2025-07-02 23:58:50 +0000 | <c_wraith> | uses of the bound variable, that is |