Newest at the top
| 2026-07-06 11:31:41 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-07-06 11:29:41 +0000 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) fp |
| 2026-07-06 11:29:30 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 2026-07-06 11:28:34 +0000 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2026-07-06 11:26:59 +0000 | CiaoSen | (~Jura@2a02:3100:629f:1e00:4e50:ddff:fe9b:8922) (Ping timeout: 245 seconds) |
| 2026-07-06 11:24:30 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-07-06 11:24:30 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-07-06 11:24:30 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-07-06 11:22:35 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-07-06 11:22:02 +0000 | petrichor | (~jez@user/petrichor) (Client Quit) |
| 2026-07-06 11:19:44 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-07-06 11:18:05 +0000 | petrichor | (~jez@user/petrichor) (Client Quit) |
| 2026-07-06 11:18:05 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 261 seconds) |
| 2026-07-06 11:17:21 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-07-06 11:13:47 +0000 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-07-06 11:11:57 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 2026-07-06 11:11:21 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-07-06 11:11:11 +0000 | fp1 | fp |
| 2026-07-06 11:09:59 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) |
| 2026-07-06 11:08:53 +0000 | fp1 | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) fp |
| 2026-07-06 11:08:42 +0000 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Quit: fp) |
| 2026-07-06 11:07:35 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1f7d:b3d5:f184:19e7) |
| 2026-07-06 11:04:20 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-07-06 10:59:53 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 270 seconds) |
| 2026-07-06 10:59:20 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ffb8:888c:ff12:58a4) (Ping timeout: 257 seconds) |
| 2026-07-06 10:56:59 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-07-06 10:54:07 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 2026-07-06 10:53:49 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2026-07-06 10:53:44 +0000 | fp1 | fp |
| 2026-07-06 10:53:36 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-07-06 10:51:27 +0000 | fp1 | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) fp |
| 2026-07-06 10:51:21 +0000 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Read error: Connection reset by peer) |
| 2026-07-06 10:48:52 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 268 seconds) |
| 2026-07-06 10:48:33 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-07-06 10:43:19 +0000 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-07-06 10:38:57 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-07-06 10:38:36 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-07-06 10:37:09 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2026-07-06 10:30:15 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-07-06 10:25:55 +0000 | k3ut0i | (~keutoi@182.65.248.188) |
| 2026-07-06 10:15:27 +0000 | <danza> | so i started from https://en.wikipedia.org/wiki/Monoid_(category_theory), got confused, and eventually settled on https://en.wikipedia.org/wiki/Monoid |
| 2026-07-06 10:12:40 +0000 | <danza> | there is just so much talk about category theory in haskell... also fp assumed the terms were stemming from there |
| 2026-07-06 10:11:51 +0000 | <danza> | no, you are right |
| 2026-07-06 10:11:40 +0000 | <int-e> | Hmm but there's nothing categorical in what I wrote. |
| 2026-07-06 10:10:25 +0000 | <danza> | dunno i always understood such classes better as algebras than as categories |
| 2026-07-06 10:10:09 +0000 | <danza> | the difference between a monoid and a semigroup for instance |
| 2026-07-06 10:09:57 +0000 | CiaoSen | (~Jura@2a02:3100:629f:1e00:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-07-06 10:09:48 +0000 | <danza> | but you also need `e` |
| 2026-07-06 10:09:04 +0000 | <int-e> | danza: So it's not as sloppy as it sounds. |
| 2026-07-06 10:08:56 +0000 | <int-e> | danza: Okay, not quite. But if you have a group then you can reconstruct everything from just the binary operation. Like, you know the carrier is non-empty because there is an identity element. So you can pick any element x, then find the identity as the element e satisfying ex = x, and then you get inverses y = x^-1 from solving xy = e. |