2024/09/30

Newest at the top

2024-09-30 07:20:13 +0200alp(~alp@user/alp) alp
2024-09-30 07:20:13 +0200alp(~alp@2001:861:e3d6:8f80:8ed3:89ad:bffe:2596) (Changing host)
2024-09-30 07:20:07 +0200alp(~alp@2001:861:e3d6:8f80:8ed3:89ad:bffe:2596)
2024-09-30 07:19:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-30 07:18:52 +0200 <haskellbridge> <thirdofmay18081814goya> will look up how to express them wrt adjecency relation, ty
2024-09-30 07:18:36 +0200 <haskellbridge> <thirdofmay18081814goya> hm right, I was thinking what sort of mathematical representation would be useful for thinking about transformations on trees
2024-09-30 07:18:23 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-30 07:15:02 +0200 <Lears> thirdofmay: I don't know what you're looking for---a tree is already a mathematical object. But as a graph its adjacency relation can be written as a matrix I suppose.
2024-09-30 07:13:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-30 07:11:58 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2024-09-30 07:11:05 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-09-30 07:10:01 +0200Laverga(~Guest99@2806:2f0:1000:c843:4888:b302:2f13:2d52) (Ping timeout: 256 seconds)
2024-09-30 07:09:29 +0200Vajb(~Vajb@n7m8bu6eaitlx0eukg2-1.v6.elisa-mobile.fi)
2024-09-30 07:09:27 +0200 <haskellbridge> <thirdofmay18081814goya> is there some sort of useful mathematical representation of trees? maybe with some linear algebra?
2024-09-30 07:03:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-30 06:58:53 +0200Guest88Laverga
2024-09-30 06:57:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-30 06:53:08 +0200Guest88(~Guest99@2806:2f0:1000:c843:4888:b302:2f13:2d52)
2024-09-30 06:50:01 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-30 06:49:39 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-09-30 06:47:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-30 06:42:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-30 06:31:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-30 06:27:01 +0200youthlic(~Thunderbi@user/youthlic) (Ping timeout: 248 seconds)
2024-09-30 06:25:57 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-09-30 06:23:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-30 06:12:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-30 06:07:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-30 06:03:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-30 05:58:57 +0200jle`(~jle`@2603:8001:3b02:84d4:467d:3e5f:31ca:9a0a) jle`
2024-09-30 05:58:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-30 05:57:57 +0200jle`(~jle`@2603:8001:3b02:84d4:4e01:3d77:727d:559b) (Ping timeout: 252 seconds)
2024-09-30 05:53:22 +0200michalz(~michalz@185.246.207.197)
2024-09-30 05:52:40 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds)
2024-09-30 05:47:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-30 05:45:32 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-09-30 05:44:35 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-09-30 05:43:29 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2024-09-30 05:42:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-30 05:31:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-30 05:26:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-30 05:22:56 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-30 05:15:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-30 05:12:17 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-30 05:10:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-30 05:08:06 +0200weary-traveler(~user@user/user363627) user363627
2024-09-30 05:06:23 +0200Typedfern(~Typedfern@2a02:9130:9c34:14e4:3caf:37c0:2522:467b)
2024-09-30 05:05:55 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-30 05:00:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-30 04:55:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn