2025/08/08

Newest at the top

2025-08-08 02:08:07 +0200Ranhir(~Ranhir@157.97.53.139) Ranhir
2025-08-08 02:07:24 +0200acidjnk(~acidjnk@p200300d6e7171956e90dafb18b04e6cb.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-08-08 02:03:51 +0200Ranhir(~Ranhir@157.97.53.139) (Remote host closed the connection)
2025-08-08 02:03:36 +0200bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10)
2025-08-08 02:03:27 +0200 <Leary> energizer: I don't know, but it follows from (half of) homomorphism (for all xs, ys. h (xs <> ys) = h xs <> h ys) and will hold for any `foldMap f`.
2025-08-08 02:03:24 +0200bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (Server closed connection)
2025-08-08 01:59:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-08 01:57:16 +0200sprotte24(~sprotte24@p200300d16f3afe002db8c04208de3f7c.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-08 01:55:55 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-08-08 01:54:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 01:54:14 +0200Igloo(~ian@81.2.99.210) Igfoo
2025-08-08 01:54:05 +0200 <EvanR> hmm trying to iterate over all possibilities of xs and ys
2025-08-08 01:53:09 +0200 <EvanR> watch this
2025-08-08 01:52:53 +0200 <EvanR> yes
2025-08-08 01:52:39 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 260 seconds)
2025-08-08 01:51:24 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds)
2025-08-08 01:49:37 +0200xff0x(~xff0x@2405:6580:b080:900:b6cd:f0c8:c2fb:2237)
2025-08-08 01:48:41 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-08-08 01:43:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-08 01:41:55 +0200 <energizer> notice the last bit is x:ys not y:ys
2025-08-08 01:41:44 +0200 <EvanR> guess not
2025-08-08 01:40:44 +0200 <EvanR> isn't that a theorem for all h
2025-08-08 01:40:33 +0200poscat(~poscat@user/poscat) poscat
2025-08-08 01:40:19 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-08-08 01:37:47 +0200tomku(~tomku@user/tomku) tomku
2025-08-08 01:36:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 01:35:59 +0200 <energizer> for some functions h, "h xs = h ys implies h (x : xs) = h (x : ys)" is this property of h familiar?
2025-08-08 01:35:04 +0200shr\ke(~shrike@user/shrke:31298) shr\ke
2025-08-08 01:35:04 +0200shr\ke(~shrike@user/paxhumana) (Changing host)
2025-08-08 01:35:04 +0200shr\ke(~shrike@user/paxhumana) paxhumana
2025-08-08 01:34:54 +0200shr\ke(~shrike@user/paxhumana) (Server closed connection)
2025-08-08 01:32:28 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds)
2025-08-08 01:30:48 +0200tomku(~tomku@user/tomku) (Ping timeout: 245 seconds)
2025-08-08 01:29:03 +0200poscat(~poscat@user/poscat) poscat
2025-08-08 01:26:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-08 01:26:06 +0200poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-08-08 01:22:27 +0200tomku(~tomku@user/tomku) tomku
2025-08-08 01:21:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 01:14:24 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline
2025-08-08 01:13:40 +0200finsternis(~X@23.226.237.192) (Read error: Connection reset by peer)
2025-08-08 01:13:30 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-08-08 01:12:53 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2025-08-08 01:11:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-08 01:07:03 +0200xff0x(~xff0x@2405:6580:b080:900:b6cd:f0c8:c2fb:2237) (Ping timeout: 245 seconds)
2025-08-08 01:06:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 01:00:51 +0200tomku(~tomku@user/tomku) (Ping timeout: 252 seconds)
2025-08-08 01:00:48 +0200davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-08-08 01:00:22 +0200davidlbowman(~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1)
2025-08-08 00:58:45 +0200karenw(~karenw@user/karenw) (Ping timeout: 276 seconds)
2025-08-08 00:55:29 +0200AlexZenon(~alzenon@178.34.162.188)