Newest at the top
2025-08-08 02:08:07 +0200 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
2025-08-08 02:07:24 +0200 | acidjnk | (~acidjnk@p200300d6e7171956e90dafb18b04e6cb.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-08-08 02:03:51 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Remote host closed the connection) |
2025-08-08 02:03:36 +0200 | bryanv | (~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 +0200 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (Server closed connection) |
2025-08-08 01:59:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-08 01:57:16 +0200 | sprotte24 | (~sprotte24@p200300d16f3afe002db8c04208de3f7c.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-08-08 01:55:55 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-08-08 01:54:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-08 01:54:14 +0200 | Igloo | (~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 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 260 seconds) |
2025-08-08 01:51:24 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
2025-08-08 01:49:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b6cd:f0c8:c2fb:2237) |
2025-08-08 01:48:41 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
2025-08-08 01:43:36 +0200 | merijn | (~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 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-08-08 01:40:19 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-08-08 01:37:47 +0200 | tomku | (~tomku@user/tomku) tomku |
2025-08-08 01:36:56 +0200 | merijn | (~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 +0200 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
2025-08-08 01:35:04 +0200 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
2025-08-08 01:35:04 +0200 | shr\ke | (~shrike@user/paxhumana) paxhumana |
2025-08-08 01:34:54 +0200 | shr\ke | (~shrike@user/paxhumana) (Server closed connection) |
2025-08-08 01:32:28 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
2025-08-08 01:30:48 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 245 seconds) |
2025-08-08 01:29:03 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-08-08 01:26:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-08 01:26:06 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-08-08 01:22:27 +0200 | tomku | (~tomku@user/tomku) tomku |
2025-08-08 01:21:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-08 01:14:24 +0200 | inline | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline |
2025-08-08 01:13:40 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
2025-08-08 01:13:30 +0200 | inline | (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-08-08 01:12:53 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
2025-08-08 01:11:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-08-08 01:07:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b6cd:f0c8:c2fb:2237) (Ping timeout: 245 seconds) |
2025-08-08 01:06:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-08 01:00:51 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
2025-08-08 01:00:48 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-08-08 01:00:22 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
2025-08-08 00:58:45 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
2025-08-08 00:55:29 +0200 | AlexZenon | (~alzenon@178.34.162.188) |