| 2025-12-23 00:05:45 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) (Ping timeout: 272 seconds) |
| 2025-12-23 00:22:32 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-12-23 00:23:51 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-23 00:24:09 +0100 | corecaps | (~quassel@user/corecaps) (Remote host closed the connection) |
| 2025-12-23 00:34:04 +0100 | sajith | (~sajith@user/sajith) (Ping timeout: 260 seconds) |
| 2025-12-23 00:34:35 +0100 | sajith | (~sajith@user/sajith) sajith |
| 2025-12-23 00:36:01 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-23 00:36:32 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 00:39:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 00:42:24 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-23 00:43:19 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) (Ping timeout: 240 seconds) |
| 2025-12-23 00:44:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 00:46:44 +0100 | <hololeap> | does anyone know of a library that can help visualize the differences here? http://dpaste.com/2WQKM83JU |
| 2025-12-23 00:47:51 +0100 | <hololeap> | even greater would be if it plugged into tasty somehow |
| 2025-12-23 00:48:09 +0100 | <hololeap> | or HUnit |
| 2025-12-23 00:48:18 +0100 | <sm> | delta is a good command line diff viewer |
| 2025-12-23 00:48:45 +0100 | <sm> | ideally, if you could arrange to print those on multiple lines, eg with pretty-simple, they'll be much easier to compare |
| 2025-12-23 00:49:31 +0100 | <sm> | but as it is, it's pretty easy to spot the difference visually if you can scroll horizontally, no ? |
| 2025-12-23 00:50:18 +0100 | sm | tries.. eh, not so easy; it's too big |
| 2025-12-23 00:50:27 +0100 | <hololeap> | sure, but I'm looking for something that can automate this to some degree |
| 2025-12-23 00:50:43 +0100 | <sm> | I would pretty-print on multiple lines, and diff that |
| 2025-12-23 00:51:02 +0100 | <sm> | or arrange for more terse output you can compare |
| 2025-12-23 00:52:11 +0100 | <sm> | short answer, I don't know the tool that can help compare two huge lines - maybe LLM can show a one-liner with awk or some such ? |
| 2025-12-23 00:52:22 +0100 | <hololeap> | meld is fine for that |
| 2025-12-23 00:52:48 +0100 | <hololeap> | well, like you said, it's easier to run it through pretty-simple first |
| 2025-12-23 00:53:36 +0100 | <hololeap> | but... is there something that e.g. uses generics to compare two data structures of the same type, and give some representation of the differences? |
| 2025-12-23 00:54:08 +0100 | <hololeap> | even if the representation is yet another haskell data structure |
| 2025-12-23 00:54:33 +0100 | <sm> | I don't know its name, but I have the feeling there is |
| 2025-12-23 00:55:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 00:55:30 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 00:55:48 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 00:59:03 +0100 | <hololeap> | would be very cool if there was |
| 2025-12-23 00:59:18 +0100 | <mauke> | https://github.com/mauke/irssi-scripts/blob/master/topic_diff.pl does line diffs |
| 2025-12-23 00:59:20 +0100 | yin | (~zero@user/zero) () |
| 2025-12-23 00:59:35 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-23 01:00:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-23 01:00:53 +0100 | <hololeap> | hm |
| 2025-12-23 01:05:13 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-23 01:06:02 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 01:06:25 +0100 | Googulator89 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 01:06:51 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-23 01:11:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 01:15:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 01:16:00 +0100 | traxex | (traxex@otaku.sdf.org) |
| 2025-12-23 01:17:19 +0100 | <mauke> | or in command line form: https://pt.gayr.at/p/aUnfghuYP8zplbOdeVF-w9_LQKY |
| 2025-12-23 01:17:39 +0100 | <mauke> | conversion to haskell is left as an exercise for the reader :-) |
| 2025-12-23 01:22:22 +0100 | <mauke> | output: https://v1.imgpaste.net/images/public/9adb1597-900e-4bf4-884c-e3cf14e04e57-a.png |
| 2025-12-23 01:23:35 +0100 | <hololeap> | looks like this was actually designed for my use case: https://hackage-content.haskell.org/package/generic-diff-0.1.0.0/docs/Generics-Diff.html |
| 2025-12-23 01:26:31 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-23 01:27:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 01:32:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-23 01:39:43 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-23 01:43:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 01:43:54 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4269:13fd:9426:cdf9) (Ping timeout: 252 seconds) |
| 2025-12-23 01:47:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 01:58:05 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-23 02:06:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-23 02:07:10 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 02:07:11 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 02:13:17 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-12-23 02:21:37 +0100 | omidmash7 | (~omidmash@user/omidmash) omidmash |
| 2025-12-23 02:22:08 +0100 | trickard_ | trickard |
| 2025-12-23 02:23:43 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2025-12-23 02:23:43 +0100 | omidmash7 | omidmash |
| 2025-12-23 02:24:34 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-23 02:24:49 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-23 02:25:19 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2025-12-23 02:35:31 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 02:35:43 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 02:40:30 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-23 02:43:42 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-23 02:47:07 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 02:47:20 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 03:05:03 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 03:05:36 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 03:09:12 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-23 03:10:54 +0100 | <Leary> | hololeap: I've heard good things about 'tree-diff'. |
| 2025-12-23 03:12:05 +0100 | <hololeap> | yes, I also looked at that one |
| 2025-12-23 03:12:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 03:12:23 +0100 | trickard_ | trickard |
| 2025-12-23 03:13:03 +0100 | <hololeap> | (searched hackage for "diff") |
| 2025-12-23 03:15:22 +0100 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 255 seconds) |
| 2025-12-23 03:15:32 +0100 | <hololeap> | generic-diff has an open bug (from the author) to add support for tests, so it seems like a good place to contribute |
| 2025-12-23 03:16:06 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-12-23 03:19:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 03:21:43 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-23 03:23:25 +0100 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 264 seconds) |
| 2025-12-23 03:23:50 +0100 | traxex | (traxex@otaku.sdf.org) (Changing host) |
| 2025-12-23 03:23:50 +0100 | traxex | (traxex@user/traxex) traxex |
| 2025-12-23 03:26:58 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-12-23 03:27:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 03:32:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-23 03:35:39 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 03:35:46 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 03:40:03 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-23 03:42:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 03:47:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 03:58:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 04:03:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 04:05:45 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 04:05:47 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 04:11:17 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-23 04:14:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 04:19:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 04:21:50 +0100 | dontdieych | (~dontdieyc@132.226.169.184) dontdieych |
| 2025-12-23 04:22:13 +0100 | acidjnk | (~acidjnk@p200300d6e717199315a8de6aaca943b1.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-12-23 04:29:46 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-23 04:30:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 04:30:42 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-12-23 04:34:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 04:35:30 +0100 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 252 seconds) |
| 2025-12-23 04:35:43 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 04:35:47 +0100 | Googulator59 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 04:36:13 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-23 04:36:39 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-23 04:36:41 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-12-23 04:37:11 +0100 | td_ | (~td@i5387090B.versanet.de) |
| 2025-12-23 04:37:44 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-23 04:38:49 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-12-23 04:45:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 04:48:18 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-12-23 04:49:48 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-23 04:52:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 04:53:37 +0100 | annamalai | (~annamalai@157.32.209.107) annamalai |
| 2025-12-23 04:54:16 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-12-23 04:55:56 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-12-23 05:03:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 05:08:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 05:09:58 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 05:10:11 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 05:19:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 05:19:14 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 05:19:27 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 05:24:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 05:34:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 05:39:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-23 05:50:16 +0100 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-12-23 05:50:42 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-12-23 05:50:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 05:54:16 +0100 | Googulator11 | Googulator |
| 2025-12-23 05:55:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 06:03:38 +0100 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-12-23 06:06:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 06:11:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 06:20:43 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 06:20:51 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 06:22:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 06:28:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 06:40:29 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2025-12-23 06:44:55 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2025-12-23 06:55:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 07:01:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-23 07:11:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 07:16:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 07:19:08 +0100 | trickard_ | trickard |