Logs: liberachat/#haskell
| 2025-09-23 05:06:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-23 05:08:05 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-23 05:11:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-23 05:15:45 | × | Googulator1 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-23 05:15:56 | → | Googulator1 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-23 05:17:38 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-23 05:18:24 | → | michalz joins (~michalz@185.246.207.203) |
| 2025-09-23 05:22:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-23 05:26:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-23 05:35:08 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-23 05:37:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-23 05:42:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-23 05:49:50 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:7054:843b:4b80:a9d) |
| 2025-09-23 05:49:50 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:7054:843b:4b80:a9d) (Changing host) |
| 2025-09-23 05:49:50 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-23 05:53:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-23 05:57:14 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-23 05:57:52 | × | Inline quits (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2025-09-23 05:58:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-23 06:01:19 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-23 06:06:38 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-09-23 06:08:32 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-23 06:08:32 | × | dcpagan quits (~dcpagan@gateway/tor-sasl/dcpagan) (Ping timeout: 272 seconds) |
| 2025-09-23 06:09:01 | → | dcpagan joins (~dcpagan@gateway/tor-sasl/dcpagan) |
| 2025-09-23 06:09:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-23 06:09:51 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2025-09-23 06:10:21 | → | ec__ joins (~ec@gateway/tor-sasl/ec) |
| 2025-09-23 06:10:26 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-23 06:10:35 | → | califax joins (~califax@user/califx) |
| 2025-09-23 06:12:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-09-23 06:12:53 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2025-09-23 06:13:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-23 06:14:15 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-09-23 06:14:24 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-09-23 06:20:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-23 06:23:39 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 258 seconds) |
| 2025-09-23 06:25:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-23 06:25:40 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-09-23 06:25:44 | → | Googulator17 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-23 06:25:44 | × | dcpagan quits (~dcpagan@gateway/tor-sasl/dcpagan) (Remote host closed the connection) |
| 2025-09-23 06:25:45 | × | Googulator1 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-23 06:26:03 | → | dcpagan joins (~dcpagan@gateway/tor-sasl/dcpagan) |
| 2025-09-23 06:27:44 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-09-23 06:29:23 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-09-23 06:30:33 | <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 06:31:08 | <dminuoso> | It's just functional programming tricks that eventually boil down to CPS being able to encode whatever we want. |
| 2025-09-23 06:31:40 | × | j0lol quits (~j0lol@132.145.17.236) (Remote host closed the connection) |
| 2025-09-23 06:32:07 | → | haskellbridge joins (~hackager@syn-096-028-224-214.res.spectrum.com) |
| 2025-09-23 06:32:07 | ChanServ | sets mode +v haskellbridge |
| 2025-09-23 06:32:29 | <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 06:33:53 | → | j0lol joins (~j0lol@132.145.17.236) |
| 2025-09-23 06:35:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-23 06:37:22 | <geekosaur> | power restored, bridge back up and running |
| 2025-09-23 06:40:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-23 06:46:39 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-09-23 06:47:18 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-09-23 06:47:59 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-09-23 06:50:05 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-09-23 06:51:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-23 06:51:21 | → | user363627 joins (~user@user/user363627) |
| 2025-09-23 06:51:38 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 258 seconds) |
| 2025-09-23 06:55:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-23 07:00:01 | × | caconym74787 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-23 07:00:41 | → | caconym74787 joins (~caconym@user/caconym) |
| 2025-09-23 07:02:28 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-23 07:06:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-23 07:08:32 | × | lol_ quits (~lol@2603:3016:1e01:b980:1d20:3fd8:263d:54c5) (Ping timeout: 256 seconds) |
| 2025-09-23 07:11:46 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-09-23 07:13:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-23 07:15:15 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-23 07:15:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-23 07:20:35 | → | tromp joins (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) |
| 2025-09-23 07:22:08 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-23 07:22:21 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-23 07:24:06 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-09-23 07:26:11 | trickard_ | is now known as trickard |
| 2025-09-23 07:26:21 | → | acidjnk joins (~acidjnk@p200300d6e71719784593b070e4f06c0e.dip0.t-ipconnect.de) |
| 2025-09-23 07:28:23 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-09-23 07:29:45 | → | emperori joins (~emperori@223.187.125.91) |
| 2025-09-23 07:30:40 | → | Googulator25 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-23 07:30:44 | × | Googulator17 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-23 07:32:45 | × | emperori quits (~emperori@223.187.125.91) (Remote host closed the connection) |
| 2025-09-23 07:33:06 | × | kilolympus quits (~kilolympu@vmi1102682.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
| 2025-09-23 07:33:28 | → | kilolympus joins (~kilolympu@vmi1102682.contaboserver.net) |
| 2025-09-23 07:42:18 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-09-23 07:43:06 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-23 07:43:50 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-23 07:44:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-23 07:44:19 | × | vetkat quits (~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish) |
| 2025-09-23 07:46:53 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-23 07:47:20 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-23 07:48:08 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-23 07:48:26 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-23 07:48:43 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-23 07:49:43 | × | dontdieych quits (~dontdieyc@132.226.169.184) (Read error: Connection reset by peer) |
| 2025-09-23 07:49:59 | → | dontdieych joins (~dontdieyc@132.226.169.184) |
| 2025-09-23 07:58:55 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-23 08:00:12 | → | img joins (~img@user/img) |
| 2025-09-23 08:00:13 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-23 08:00:40 | → | Googulator38 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
All times are in UTC.