2025/02/23

Newest at the top

2025-02-23 12:53:18 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 245 seconds)
2025-02-23 12:53:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-23 12:49:38 +0100tnt2tnt1
2025-02-23 12:49:37 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 248 seconds)
2025-02-23 12:48:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-23 12:48:13 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-23 12:42:51 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2025-02-23 12:40:53 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-02-23 12:38:25 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-23 12:37:49 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds)
2025-02-23 12:36:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-23 12:36:44 +0100tnt2tnt1
2025-02-23 12:36:44 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-02-23 12:36:05 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-23 12:34:12 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-23 12:34:01 +0100acidjnk(~acidjnk@p200300d6e7283f5685ba46ab94b10c3c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-02-23 12:32:43 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-23 12:30:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-23 12:29:09 +0100sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff
2025-02-23 12:28:02 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-02-23 12:26:45 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 248 seconds)
2025-02-23 12:22:34 +0100tnt2tnt1
2025-02-23 12:20:17 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-23 12:20:14 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-02-23 12:19:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-23 12:15:58 +0100tnt2tnt1
2025-02-23 12:15:58 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
2025-02-23 12:15:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-23 12:15:18 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-23 12:13:25 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds)
2025-02-23 12:09:40 +0100tnt2tnt1
2025-02-23 12:08:45 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm
2025-02-23 12:07:23 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-23 12:07:11 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
2025-02-23 12:04:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-23 12:03:00 +0100tnt2tnt1
2025-02-23 12:03:00 +0100 <lambdabot> APrism s t a b -> b -> t
2025-02-23 12:03:00 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-02-23 12:02:59 +0100 <ski> @type (`withPrism` const)
2025-02-23 12:02:31 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-23 12:01:29 +0100 <Noinia> ah also thanks! :)
2025-02-23 12:00:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-23 11:59:29 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds)
2025-02-23 11:55:19 +0100alp(~alp@2001:861:8ca0:4940:a50b:c9c1:1c7b:629c)
2025-02-23 11:53:04 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-23 11:52:09 +0100 <haskellbridge> <ozkutuk> Noinia: prismToGetterF p b = view (re (reviewing p)) b
2025-02-23 11:51:59 +0100tnt2tnt1
2025-02-23 11:51:59 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
2025-02-23 11:51:35 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-23 11:49:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)