Newest at the top
| 2025-09-23 08:55:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-23 08:51:38 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 258 seconds) |
| 2025-09-23 08:51:21 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2025-09-23 08:51:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-23 08:50:05 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-23 08:47:59 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-09-23 08:47:18 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-23 08:46:39 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-09-23 08:40:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-23 08:37:22 +0200 | <geekosaur> | power restored, bridge back up and running |
| 2025-09-23 08:35:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-23 08:33:53 +0200 | j0lol | (~j0lol@132.145.17.236) j0lol |
| 2025-09-23 08:32:29 +0200 | <dminuoso> | In nix you have this typical hof function that is often dubbed "overlay" in the form of `final: prev: ...` where prev is the previous iteration of the thing you are modifying and final is that fixed point. |
| 2025-09-23 08:32:07 +0200 | ChanServ | +v haskellbridge |
| 2025-09-23 08:32:07 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-09-23 08:31:40 +0200 | j0lol | (~j0lol@132.145.17.236) (Remote host closed the connection) |
| 2025-09-23 08:31:08 +0200 | <dminuoso> | It's just functional programming tricks that eventually boil down to CPS being able to encode whatever we want. |
| 2025-09-23 08:30:33 +0200 | <dminuoso> | monochrom: Yes, that's how it starts. So if we think of it as a big foldl over a series of functions, the next step becomes to think how to make that series of functions then extensible, and how to make that extensioning extension extensible. |
| 2025-09-23 08:29:23 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-09-23 08:27:44 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-23 08:26:03 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) dcpagan |
| 2025-09-23 08:25:45 +0200 | Googulator1 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-23 08:25:44 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) (Remote host closed the connection) |
| 2025-09-23 08:25:44 +0200 | Googulator17 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-23 08:25:40 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-09-23 08:25:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-23 08:23:39 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 258 seconds) |
| 2025-09-23 08:20:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-23 08:14:24 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-23 08:14:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-23 08:13:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-23 08:12:53 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2025-09-23 08:12:20 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-09-23 08:10:35 +0200 | califax | (~califax@user/califx) califx |
| 2025-09-23 08:10:26 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-23 08:10:21 +0200 | ec__ | (~ec@gateway/tor-sasl/ec) ec |
| 2025-09-23 08:09:51 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-23 08:09:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-23 08:09:01 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) dcpagan |
| 2025-09-23 08:08:32 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) (Ping timeout: 272 seconds) |
| 2025-09-23 08:08:32 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-23 08:06:38 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-09-23 08:01:19 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-23 07:58:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-23 07:57:52 +0200 | Inline | (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2025-09-23 07:57:14 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-23 07:53:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-23 07:49:50 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-23 07:49:50 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7054:843b:4b80:a9d) (Changing host) |
| 2025-09-23 07:49:50 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7054:843b:4b80:a9d) |