| 2026-07-06 00:01:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 00:04:19 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) (Ping timeout: 252 seconds) |
| 2026-07-06 00:04:32 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) yanmaani |
| 2026-07-06 00:05:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-07-06 00:16:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 00:19:11 +0000 | foul_owl | (~kerry@94.156.149.95) foul_owl |
| 2026-07-06 00:23:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-07-06 00:34:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 00:34:50 +0000 | finsternis | (~X@23.226.237.192) finsternis |
| 2026-07-06 00:38:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-07-06 00:52:02 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e74def53f79cd8407407d46e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-07-06 00:52:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 00:55:59 +0000 | sdrfan123 | (~sdrfan123@2607:fb91:3781:34f8:a435:5c58:28fe:92e4) |
| 2026-07-06 00:57:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-07-06 01:02:19 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2026-07-06 01:06:39 +0000 | califax_ | (~califax@user/califx) califx |
| 2026-07-06 01:06:40 +0000 | califax | (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-07-06 01:07:02 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-07-06 01:07:11 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-07-06 01:07:40 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-07-06 01:07:45 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-07-06 01:07:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 01:07:57 +0000 | califax_ | califax |
| 2026-07-06 01:12:11 +0000 | sourdecor | (uid526401@id-526401.lymington.irccloud.com) |
| 2026-07-06 01:12:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-07-06 01:23:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 01:28:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-07-06 01:33:25 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-07-06 01:38:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 01:43:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 263 seconds) |
| 2026-07-06 01:48:17 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-07-06 01:53:42 +0000 | puke | (~puke@user/puke) puke |
| 2026-07-06 01:53:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 01:54:52 +0000 | sdrfan123 | (~sdrfan123@2607:fb91:3781:34f8:a435:5c58:28fe:92e4) (Quit: Client closed) |
| 2026-07-06 02:00:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 262 seconds) |
| 2026-07-06 02:08:07 +0000 | koraynilay | (~koraynila@user/koraynilay) (Ping timeout: 272 seconds) |
| 2026-07-06 02:09:59 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-07-06 02:11:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 02:16:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 262 seconds) |
| 2026-07-06 02:22:55 +0000 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 276 seconds) |
| 2026-07-06 02:24:07 +0000 | td_ | (~td@i53870907.versanet.de) |
| 2026-07-06 02:27:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 02:31:52 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 2026-07-06 02:32:10 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-07-06 02:32:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-07-06 02:36:19 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-07-06 02:38:22 +0000 | koraynilay | (~koraynila@user/koraynilay) koraynilay |
| 2026-07-06 02:43:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 02:45:38 +0000 | koraynilay | (~koraynila@user/koraynilay) (Quit: WeeChat 4.9.1) |
| 2026-07-06 02:45:56 +0000 | koraynilay | (~koraynila@user/koraynilay) koraynilay |
| 2026-07-06 02:47:02 +0000 | koraynilay | (~koraynila@user/koraynilay) (Client Quit) |
| 2026-07-06 02:48:37 +0000 | koraynilay | (~koraynila@user/koraynilay) koraynilay |
| 2026-07-06 02:53:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 247 seconds) |
| 2026-07-06 03:02:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 03:04:49 +0000 | k3ut0i | (~keutoi@223.230.39.17) |
| 2026-07-06 03:07:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2026-07-06 03:17:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 03:21:00 +0000 | k3ut0i | (~keutoi@223.230.39.17) (Ping timeout: 256 seconds) |
| 2026-07-06 03:22:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-07-06 03:32:00 +0000 | sourdecor | (uid526401@id-526401.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-07-06 03:33:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 03:39:15 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-07-06 03:39:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-07-06 03:42:23 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-07-06 03:49:54 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-07-06 03:51:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 03:59:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 251 seconds) |
| 2026-07-06 03:59:34 +0000 | k3ut0i | (~keutoi@223.230.39.17) |
| 2026-07-06 04:10:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 04:11:52 +0000 | machinedgod | (~machinedg@d108-173-95-19.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2026-07-06 04:15:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-07-06 04:25:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 04:30:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-06 04:33:26 +0000 | michalz | (~michalz@185.246.207.217) |
| 2026-07-06 04:41:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 04:45:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-07-06 04:56:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 05:00:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-07-06 05:03:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 05:08:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 254 seconds) |
| 2026-07-06 05:18:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 05:22:57 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-07-06 05:23:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 254 seconds) |
| 2026-07-06 05:27:14 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 259 seconds) |
| 2026-07-06 05:30:12 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-07-06 05:33:13 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 271 seconds) |
| 2026-07-06 05:34:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 05:34:47 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-07-06 05:41:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-07-06 05:44:55 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-07-06 05:48:03 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 265 seconds) |
| 2026-07-06 05:48:04 +0000 | divlamir_ | divlamir |
| 2026-07-06 05:52:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 05:56:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-06 06:04:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 06:09:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-07-06 06:19:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 06:24:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-07-06 06:35:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 06:38:14 +0000 | leppard | (~noOne@ipservice-092-209-218-237.092.209.pools.vodafone-ip.de) Inline |
| 2026-07-06 06:39:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 242 seconds) |
| 2026-07-06 06:42:51 +0000 | CiaoSen | (~Jura@2a02:3100:629f:1e00:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-07-06 06:57:24 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-07-06 07:00:01 +0000 | rabbull7217 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) |
| 2026-07-06 07:01:12 +0000 | rabbull721 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) (Read error: Connection reset by peer) |
| 2026-07-06 07:01:12 +0000 | rabbull7217 | rabbull721 |
| 2026-07-06 07:05:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 07:12:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 247 seconds) |
| 2026-07-06 07:14:47 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) |
| 2026-07-06 07:18:36 +0000 | schuelermine | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-07-06 07:22:07 +0000 | takuan | (~takuan@d8D86B996.access.telenet.be) |
| 2026-07-06 07:23:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-07-06 07:24:32 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-07-06 07:28:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-07-06 07:29:04 +0000 | ski | (~ski@31-208-28-6.cust.bredband2.com) (Ping timeout: 265 seconds) |
| 2026-07-06 07:32:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 275 seconds) |
| 2026-07-06 07:41:03 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-07-06 07:45:59 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Ping timeout: 265 seconds) |
| 2026-07-06 07:49:22 +0000 | bitterx | (~bitterx@user/bitterx) bitterx |
| 2026-07-06 08:03:13 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-07-06 08:07:21 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) |
| 2026-07-06 08:09:49 +0000 | chele | (~chele@user/chele) chele |
| 2026-07-06 08:13:10 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-07-06 08:14:44 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-07-06 08:16:13 +0000 | halloy7365 | (~halloy736@2404:4400:a100:976:b037:f65c:4be7:9401) |
| 2026-07-06 08:18:13 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-07-06 08:18:59 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-07-06 08:19:43 +0000 | halloy7365 | (~halloy736@2404:4400:a100:976:b037:f65c:4be7:9401) (Client Quit) |
| 2026-07-06 08:19:49 +0000 | k3ut0i | (~keutoi@223.230.39.17) (Ping timeout: 265 seconds) |
| 2026-07-06 08:22:15 +0000 | emmanuelux_ | (~em@2a02-8440-2500-1c8c-09cc-3b88-3a47-46a0.rev.sfr.net) (Quit: bye) |
| 2026-07-06 08:24:33 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:3c59:2fe9:3861:67d0) |
| 2026-07-06 08:24:33 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:3c59:2fe9:3861:67d0) (Changing host) |
| 2026-07-06 08:24:33 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-07-06 08:25:18 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-07-06 08:25:40 +0000 | ft | (~ft@p508dbe16.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-07-06 08:31:27 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-07-06 08:32:05 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-07-06 08:33:17 +0000 | danza | (~danza@user/danza) danza |
| 2026-07-06 08:34:45 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 245 seconds) |
| 2026-07-06 08:36:59 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-07-06 08:41:33 +0000 | k3ut0i | (~keutoi@223.230.39.17) |
| 2026-07-06 08:45:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-07-06 08:45:34 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-07-06 08:47:32 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2026-07-06 08:49:37 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-06 08:56:50 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:9436:d382:832a:2336) (Ping timeout: 248 seconds) |
| 2026-07-06 09:03:54 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-07-06 09:07:13 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2026-07-06 09:08:31 +0000 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 276 seconds) |
| 2026-07-06 09:10:22 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 2026-07-06 09:12:50 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:c64a:f69:5048:9489) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-07-06 09:13:07 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:e469:96d4:b168:7f50) nschoe |
| 2026-07-06 09:16:01 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 262 seconds) |
| 2026-07-06 09:17:03 +0000 | gehmehgeh | gmg |
| 2026-07-06 09:21:33 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e74def5338a903041d5cc5e5.dip0.t-ipconnect.de) acidjnk |
| 2026-07-06 09:29:25 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 2026-07-06 09:29:25 +0000 | k3ut0i | (~keutoi@223.230.39.17) (Ping timeout: 265 seconds) |
| 2026-07-06 09:35:11 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 252 seconds) |
| 2026-07-06 09:36:08 +0000 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) fp |
| 2026-07-06 09:41:52 +0000 | <fp> | How come Semigroup and Monoid are called that? To my brain (which hasn't studied category theory), "Semigroup" and "Monoid" don't convey the idea of joinable values, nor that Monoid is a Semigroup with an identity value, and also "Monoid" sounds a bit like "Monad", but at least at the surface, they are unrelated |
| 2026-07-06 09:42:43 +0000 | <jaror> | Do you mean why mathematicians called it that or why Haskell inherited those names? |
| 2026-07-06 09:44:00 +0000 | <fp> | Kind of both, but mostly the mathy origin. I imagine the reason for Haskell is that it inherited names from some set of textbooks, right? |
| 2026-07-06 09:45:13 +0000 | <danza> | let's say a _large_ set of textbooks |
| 2026-07-06 09:45:49 +0000 | <fp> | Actually, would ML have influenced the name? I know nothing of ML besides it inspired Haskell, OCaml, et al. |
| 2026-07-06 09:46:41 +0000 | <jaror> | Wikipedia says this: |
| 2026-07-06 09:46:41 +0000 | <jaror> | "A number of sources[18][19] attribute the first use of the term (in French) to J.-A. de Séguier in Élements de la Théorie des Groupes Abstraits (Elements of the Theory of Abstract Groups) in 1904." |
| 2026-07-06 09:46:47 +0000 | <jaror> | about semigroup |
| 2026-07-06 09:46:54 +0000 | <jaror> | https://en.wikipedia.org/wiki/Semigroup#History |
| 2026-07-06 09:47:35 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 2026-07-06 09:48:21 +0000 | CiaoSen | (~Jura@2a02:3100:629f:1e00:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds) |
| 2026-07-06 09:48:45 +0000 | <danza> | it is not just category theory. As far as i understand these are algebras. So a semigroup is an algebra defined with an associative operation ... like Semigroup |
| 2026-07-06 09:49:30 +0000 | <mauke> | yeah, the whole groups/rings/monoids thing is pure math |
| 2026-07-06 09:49:35 +0000 | <mauke> | (algebra) |
| 2026-07-06 09:49:39 +0000 | <danza> | a monoid is an algebra with associative operation and a neutral (zero) term, like a Monoid... and so forth |
| 2026-07-06 09:50:02 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) |
| 2026-07-06 09:50:26 +0000 | <jaror> | Monoid also makes some intuitive sense to me: it is a type where if you have many (possibly zero) things you can combine them into one (mono). |
| 2026-07-06 09:50:42 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-07-06 09:50:56 +0000 | danza | (~danza@user/danza) danza |
| 2026-07-06 09:51:22 +0000 | bitterx | (~bitterx@user/bitterx) (Remote host closed the connection) |
| 2026-07-06 09:54:01 +0000 | <fp> | I suppose so, just the juxtaposition with Semigroup makes it feel so random |
| 2026-07-06 09:54:18 +0000 | <mauke> | https://en.wikipedia.org/wiki/File:Magma_to_group2.svg |
| 2026-07-06 09:54:28 +0000 | <mauke> | "could be worse" |
| 2026-07-06 09:55:29 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 242 seconds) |
| 2026-07-06 09:56:18 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-07-06 09:56:43 +0000 | <mauke> | https://commons.wikimedia.org/wiki/File:Magma_to_group4.svg yeah, that's not confusing at all |
| 2026-07-06 09:56:43 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-07-06 09:57:21 +0000 | <jaror> | It seems monoid is much more recent |
| 2026-07-06 09:57:55 +0000 | <jaror> | Like 1956 |
| 2026-07-06 09:58:18 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2026-07-06 09:59:00 +0000 | <danza> | i never used Group in Haskell. Yet it sounds like an handy concept |
| 2026-07-06 09:59:21 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-07-06 09:59:45 +0000 | <danza> | %:i Integer |
| 2026-07-06 09:59:56 +0000 | <danza> | >:i Integer |
| 2026-07-06 10:00:22 +0000 | <int-e> | it needs a space |
| 2026-07-06 10:00:29 +0000 | <int-e> | % :i Integer |
| 2026-07-06 10:00:29 +0000 | <yahb2> | type Integer :: * ; data Integer ; = GHC.Internal.Bignum.Integer.IS GHC.Internal.Prim.Int# ; | GHC.Internal.Bignum.Integer.IP GHC.Internal.Prim.ByteArray# ; | GHC.Internal.Bignum.Integer.IN G... |
| 2026-07-06 10:00:47 +0000 | <danza> | well integer would not be a Group anyways because it is lacking negative numbers i think? |
| 2026-07-06 10:00:51 +0000 | <mauke> | semigroup is from 1904, apparently |
| 2026-07-06 10:01:09 +0000 | <danza> | nope i was thinking of Natural but that does not exist |
| 2026-07-06 10:01:10 +0000 | <mauke> | > negate 42 :: Integer |
| 2026-07-06 10:01:10 +0000 | <int-e> | danza: Integer has negative numbers; its addition is a group |
| 2026-07-06 10:01:11 +0000 | <lambdabot> | -42 |
| 2026-07-06 10:01:26 +0000 | <int-e> | the multiplication is a monoid |
| 2026-07-06 10:01:45 +0000 | <jaror> | Yeah, and group from Galois in 1829 |
| 2026-07-06 10:01:50 +0000 | <danza> | did you ever use Group in Haskell int-e? Does it even exist? |
| 2026-07-06 10:02:02 +0000 | <int-e> | I don't think it exists |
| 2026-07-06 10:02:35 +0000 | <int-e> | Monoid existed a long time; Semigroup in base is far more recent |
| 2026-07-06 10:03:46 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 276 seconds) |
| 2026-07-06 10:04:40 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-07-06 10:04:52 +0000 | <danza> | can you say "addition is a group"? As far as i understand, a group is an algebra. So it cannot be attributed to a single operation but to a set of operations and terms like neutral ones |
| 2026-07-06 10:04:55 +0000 | <int-e> | danza: it turns out that in programming, a ton of things have a semigroup of monoid structure (often in several different useful ways) but few things are groups |
| 2026-07-06 10:05:05 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 243 seconds) |
| 2026-07-06 10:05:32 +0000 | <int-e> | danza: you can reconstruct the identity if you have an operation on a non-empty carrier |
| 2026-07-06 10:05:47 +0000 | <int-e> | hmm |
| 2026-07-06 10:08:04 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 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. |
| 2026-07-06 10:09:04 +0000 | <int-e> | danza: So it's not as sloppy as it sounds. |
| 2026-07-06 10:09:48 +0000 | <danza> | but you also need `e` |
| 2026-07-06 10:09:57 +0000 | CiaoSen | (~Jura@2a02:3100:629f:1e00:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-07-06 10:10:09 +0000 | <danza> | the difference between a monoid and a semigroup for instance |
| 2026-07-06 10:10:25 +0000 | <danza> | dunno i always understood such classes better as algebras than as categories |
| 2026-07-06 10:11:40 +0000 | <int-e> | Hmm but there's nothing categorical in what I wrote. |
| 2026-07-06 10:11:51 +0000 | <danza> | no, you are right |
| 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: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:25:55 +0000 | k3ut0i | (~keutoi@182.65.248.188) |
| 2026-07-06 10:30:15 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-07-06 10:37:09 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2026-07-06 10:38:36 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-07-06 10:38:57 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-07-06 10:43:19 +0000 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-07-06 10:48:33 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 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:51:21 +0000 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Read error: Connection reset by peer) |
| 2026-07-06 10:51:27 +0000 | fp1 | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) fp |
| 2026-07-06 10:53:36 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-07-06 10:53:44 +0000 | fp1 | fp |
| 2026-07-06 10:53:49 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2026-07-06 10:54:07 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 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:59:20 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ffb8:888c:ff12:58a4) (Ping timeout: 257 seconds) |
| 2026-07-06 10:59:53 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 270 seconds) |
| 2026-07-06 11:04:20 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-07-06 11:07:35 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1f7d:b3d5:f184:19e7) |
| 2026-07-06 11:08:42 +0000 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Quit: fp) |
| 2026-07-06 11:08:53 +0000 | fp1 | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) fp |
| 2026-07-06 11:09:59 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) |
| 2026-07-06 11:11:11 +0000 | fp1 | fp |
| 2026-07-06 11:11:21 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-07-06 11:11:57 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 2026-07-06 11:13:47 +0000 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-07-06 11:17:21 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 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:18:05 +0000 | petrichor | (~jez@user/petrichor) (Client Quit) |
| 2026-07-06 11:19:44 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-07-06 11:22:02 +0000 | petrichor | (~jez@user/petrichor) (Client Quit) |
| 2026-07-06 11:22:35 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-07-06 11:24:30 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 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@user/haritz) haritz |
| 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:28:34 +0000 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2026-07-06 11:29:30 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) |
| 2026-07-06 11:29:41 +0000 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) fp |
| 2026-07-06 11:31:41 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-07-06 11:33:38 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-07-06 11:35:06 +0000 | acidjnk_new3 | acidjnk |
| 2026-07-06 11:35:08 +0000 | eggplantade | (~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 267 seconds) |
| 2026-07-06 11:35:38 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-07-06 11:37:26 +0000 | tromp | (~textual@2001:1c00:340e:2700:ade1:e806:3aae:82f9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-07-06 11:38:00 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-07-06 11:38:32 +0000 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Ping timeout: 256 seconds) |
| 2026-07-06 11:41:54 +0000 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 268 seconds) |
