Newest at the top
2025-09-23 09:24:06 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
2025-09-23 09:22:21 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-09-23 09:22:08 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-23 09:20:35 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) |
2025-09-23 09:15:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-23 09:15:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-09-23 09:13:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-23 09:11:46 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
2025-09-23 09:08:32 +0200 | lol_ | (~lol@2603:3016:1e01:b980:1d20:3fd8:263d:54c5) (Ping timeout: 256 seconds) |
2025-09-23 09:06:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-23 09:02:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
2025-09-23 09:00:41 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
2025-09-23 09:00:01 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
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 |