2025/09/23

Newest at the top

2025-09-23 09:44:19 +0200vetkat(~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish)
2025-09-23 09:44:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-23 09:43:50 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-23 09:43:06 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-09-23 09:42:18 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-09-23 09:33:28 +0200kilolympus(~kilolympu@vmi1102682.contaboserver.net) kilolympus
2025-09-23 09:33:06 +0200kilolympus(~kilolympu@vmi1102682.contaboserver.net) (Quit: Ping timeout (120 seconds))
2025-09-23 09:32:45 +0200emperori(~emperori@223.187.125.91) (Remote host closed the connection)
2025-09-23 09:30:44 +0200Googulator17(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-23 09:30:40 +0200Googulator25(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-23 09:29:45 +0200emperori(~emperori@223.187.125.91)
2025-09-23 09:28:23 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-09-23 09:26:21 +0200acidjnk(~acidjnk@p200300d6e71719784593b070e4f06c0e.dip0.t-ipconnect.de) acidjnk
2025-09-23 09:26:11 +0200trickard_trickard
2025-09-23 09:24:06 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds)
2025-09-23 09:22:21 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-09-23 09:22:08 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-23 09:20:35 +0200tromp(~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df)
2025-09-23 09:15:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-23 09:15:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-09-23 09:13:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-23 09:11:46 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
2025-09-23 09:08:32 +0200lol_(~lol@2603:3016:1e01:b980:1d20:3fd8:263d:54c5) (Ping timeout: 256 seconds)
2025-09-23 09:06:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-23 09:02:28 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 255 seconds)
2025-09-23 09:00:41 +0200caconym74787(~caconym@user/caconym) caconym
2025-09-23 09:00:01 +0200caconym74787(~caconym@user/caconym) (Quit: bye)
2025-09-23 08:55:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-23 08:51:38 +0200weary-traveler(~user@user/user363627) (Ping timeout: 258 seconds)
2025-09-23 08:51:21 +0200user363627(~user@user/user363627) user363627
2025-09-23 08:51:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-23 08:50:05 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-23 08:47:59 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 244 seconds)
2025-09-23 08:47:18 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-09-23 08:46:39 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-09-23 08:40:14 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-23 08:33:53 +0200j0lol(~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 +0200ChanServ+v haskellbridge
2025-09-23 08:32:07 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-09-23 08:31:40 +0200j0lol(~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 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 244 seconds)
2025-09-23 08:27:44 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-23 08:26:03 +0200dcpagan(~dcpagan@gateway/tor-sasl/dcpagan) dcpagan
2025-09-23 08:25:45 +0200Googulator1(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-23 08:25:44 +0200dcpagan(~dcpagan@gateway/tor-sasl/dcpagan) (Remote host closed the connection)