Newest at the top
| 2026-04-23 20:03:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 20:01:04 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-04-23 19:59:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2026-04-23 19:58:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 19:58:10 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-23 19:57:09 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2026-04-23 19:57:03 +0000 | bgtdsword | (b968c1779f@user/titibandit) titibandit |
| 2026-04-23 19:57:01 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2026-04-23 19:57:00 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-04-23 19:56:59 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
| 2026-04-23 19:56:49 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-04-23 19:55:51 +0000 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
| 2026-04-23 19:55:45 +0000 | caz | (866183745f@2a03:6000:1812:100::15d4) caz |
| 2026-04-23 19:54:29 +0000 | bgtdsword | (b968c1779f@user/titibandit) (Ping timeout: 244 seconds) |
| 2026-04-23 19:54:29 +0000 | rselim | (ce261f06ff@user/milesrout) (Ping timeout: 244 seconds) |
| 2026-04-23 19:54:29 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 244 seconds) |
| 2026-04-23 19:54:04 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 245 seconds) |
| 2026-04-23 19:53:42 +0000 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2026-04-23 19:53:42 +0000 | probie | (cc0b34050a@user/probie) probie |
| 2026-04-23 19:53:35 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2026-04-23 19:53:29 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2026-04-23 19:53:27 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2026-04-23 19:53:27 +0000 | samhh__ | (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 244 seconds) |
| 2026-04-23 19:53:17 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2026-04-23 19:53:05 +0000 | jakzale | (6291399afa@user/jakzale) (Ping timeout: 245 seconds) |
| 2026-04-23 19:53:05 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 245 seconds) |
| 2026-04-23 19:53:05 +0000 | probie | (cc0b34050a@user/probie) (Ping timeout: 245 seconds) |
| 2026-04-23 19:53:05 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 245 seconds) |
| 2026-04-23 19:53:05 +0000 | caz | (866183745f@2a03:6000:1812:100::15d4) (Ping timeout: 245 seconds) |
| 2026-04-23 19:53:05 +0000 | smiesner | (b0cf5acf8c@user/smiesner) (Ping timeout: 245 seconds) |
| 2026-04-23 19:52:56 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Ping timeout: 244 seconds) |
| 2026-04-23 19:52:56 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 244 seconds) |
| 2026-04-23 19:52:40 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) (Ping timeout: 245 seconds) |
| 2026-04-23 19:52:40 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Ping timeout: 245 seconds) |
| 2026-04-23 19:48:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 19:43:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 19:40:27 +0000 | <Comstar> | no magmas? |
| 2026-04-23 19:38:19 +0000 | <monochrom> | One hour later I realized "oh so you're going to define N as the free monoid on the singleton set". |
| 2026-04-23 19:37:38 +0000 | <monochrom> | A math prof was teaching an intro number theory course. I heard from students that he began with monoids. I asked him why, he said "because I don't like the Peano axioms". |
| 2026-04-23 19:37:37 +0000 | <haskellbridge> | <ijouw> generalizing peano numbers: instance (Monoid a) => Num [a] |
| 2026-04-23 19:37:34 +0000 | layline_ | (~layline@149.154.26.56) (Textual IRC Client: www.textualapp.com) |
| 2026-04-23 19:36:35 +0000 | <monochrom> | which brings me to... |
| 2026-04-23 19:36:10 +0000 | <monochrom> | More precisely, for each type T, [T]'s foldr is catamorphisms for [T]. Now let T=() for Peano naturals. :) |
| 2026-04-23 19:35:42 +0000 | <Comstar> | folds/foldable and stuff |
| 2026-04-23 19:35:11 +0000 | <Comstar> | oh that's where I heard it before then |
| 2026-04-23 19:34:54 +0000 | <monochrom> | List's foldr is catamorphisms for cons lists. |
| 2026-04-23 19:33:39 +0000 | <Comstar> | yeah I could see that |
| 2026-04-23 19:32:25 +0000 | <monochrom> | Look for "catamorphism". What you have in mind may be catamorphisms for "data N = Z | S N". |
| 2026-04-23 19:31:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 19:31:40 +0000 | <Comstar> | where n \in \mathbb{N} |