2026/02/23

Newest at the top

2026-02-23 22:51:32 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-02-23 22:51:13 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-02-23 22:49:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-23 22:48:42 +0100c_wraith(~c_wraith@adjoint.us) c_wraith
2026-02-23 22:47:57 +0100c_wraith(~c_wraith@adjoint.us) (Server closed connection)
2026-02-23 22:45:34 +0100bggd_(~bgg@2a01:e0a:fd5:f510:ad7c:fa54:e40d:9544)
2026-02-23 22:44:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 22:43:33 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-23 22:43:01 +0100pavonia(~user@user/siracusa) siracusa
2026-02-23 22:41:31 +0100st_aldini(~Thunderbi@136.48.46.187) st_aldini
2026-02-23 22:39:16 +0100 <lambdabot> "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex...
2026-02-23 22:39:14 +0100 <tomsmeding> > fix error
2026-02-23 22:39:12 +0100 <tomsmeding> yeah Foldable (,) is good; I guess there is also the classic
2026-02-23 22:38:39 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2026-02-23 22:38:25 +0100 <EvanR> or length of that is 1
2026-02-23 22:37:42 +0100jmcantrell_jmcantrell
2026-02-23 22:36:37 +0100 <lambdabot> 2
2026-02-23 22:36:35 +0100 <EvanR> > sum (1,2)
2026-02-23 22:36:20 +0100 <tomsmeding> better
2026-02-23 22:36:15 +0100 <lambdabot> Sum {getSum = 2}
2026-02-23 22:36:13 +0100 <EvanR> > fold (Sum 1, Sum 2)
2026-02-23 22:34:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-23 22:34:08 +0100 <tomsmeding> does that count as one?
2026-02-23 22:34:03 +0100 <yahb2> ()
2026-02-23 22:34:03 +0100 <tomsmeding> % mempty
2026-02-23 22:32:23 +0100 <tomsmeding> nope, unfortunately
2026-02-23 22:31:44 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-23 22:30:26 +0100morj(~morj@user/morj) (Quit: Konversation terminated!)
2026-02-23 22:29:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 22:28:06 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds)
2026-02-23 22:28:04 +0100 <EvanR> I was hoping he was going to show some haskell wats
2026-02-23 22:26:14 +0100tromp(~textual@2001:1c00:3487:1b00:1a7:fa86:12e2:7e3d)
2026-02-23 22:25:24 +0100 <tomsmeding> EvanR: how does it feel
2026-02-23 22:22:12 +0100mmaruseacph2(~mihai@mihai.page) mmaruseacph2
2026-02-23 22:21:57 +0100mmaruseacph2(~mihai@mihai.page) (Server closed connection)
2026-02-23 22:21:10 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2026-02-23 22:19:31 +0100target_i(~target_i@user/target-i/x-6023099) (Ping timeout: 264 seconds)
2026-02-23 22:16:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-23 22:14:56 +0100sp1ff(~user@2601:1c2:4701:7850::8cd) sp1ff
2026-02-23 22:12:58 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2026-02-23 22:11:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 22:11:17 +0100petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in)
2026-02-23 22:06:32 +0100AlexZenon(~alzenon@178.34.151.130)
2026-02-23 22:06:12 +0100distopico(~cerdolibr@xvm-111-150.dc2.ghst.net) distopico
2026-02-23 22:05:58 +0100constxd(~constxd@user/constxd) constxd
2026-02-23 22:05:57 +0100distopico(~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (Server closed connection)
2026-02-23 22:05:49 +0100 <EvanR> which might still be unenlightened dependent on precision
2026-02-23 22:05:29 +0100 <EvanR> I was unenlightened but now I'm unenlightened minus that bit of enlightenment
2026-02-23 22:04:06 +0100constxd(~constxd@user/constxd) (Server closed connection)
2026-02-23 22:02:38 +0100AlexZenon(~alzenon@178.34.151.130) (Ping timeout: 256 seconds)