| 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 |
| 2025-12-23 07:27:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 07:30:15 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-12-23 07:32:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 07:43:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 07:47:13 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Quit: free()) |
| 2025-12-23 07:48:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-23 07:48:51 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2025-12-23 07:52:05 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 07:52:18 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 07:56:58 +0100 | trickard_ | trickard |
| 2025-12-23 07:59:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 08:02:08 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 08:02:45 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 08:02:54 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-23 08:06:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-23 08:13:31 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 264 seconds) |
| 2025-12-23 08:17:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 08:22:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 08:32:14 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-12-23 08:33:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 08:34:56 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-23 08:34:59 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-23 08:36:42 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-23 08:38:11 +0100 | trickard_ | trickard |
| 2025-12-23 08:46:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 08:54:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-23 08:55:15 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-23 08:59:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 09:03:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 09:05:34 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-23 09:05:54 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-23 09:07:54 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 09:12:42 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-12-23 09:13:41 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-23 09:14:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 09:15:37 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-12-23 09:19:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 09:22:34 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-23 09:28:58 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-23 09:30:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 09:31:49 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-23 09:33:49 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-12-23 09:35:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-23 09:39:05 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 09:42:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 09:45:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-23 09:46:36 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-23 09:47:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 09:47:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-23 09:49:00 +0100 | xff0x_ | xff0x |
| 2025-12-23 09:49:07 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 09:51:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-23 09:53:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 09:53:43 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-23 09:57:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-23 09:58:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 10:01:22 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-23 10:01:44 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-23 10:03:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 10:03:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 10:05:20 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-23 10:05:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 10:06:47 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-23 10:08:44 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 10:11:19 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 10:12:28 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-12-23 10:14:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 10:19:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 10:20:58 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-23 10:21:23 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-23 10:21:55 +0100 | mulk | (~mulk@p5b1127bf.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-12-23 10:25:45 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 10:25:52 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 10:26:09 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-12-23 10:26:33 +0100 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) mulk |
| 2025-12-23 10:26:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 10:30:12 +0100 | <lucabtz> | in the documentation of fix :: (a -> a) -> a it says that fix f is the lowest fixed point of f. i think lowest here is related to what c_wraith was once telling me about domain theory vs set theory in haskell |
| 2025-12-23 10:30:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 10:30:34 +0100 | <lucabtz> | i remember checking stuff quickly about domain theory and it was related to partial orders |
| 2025-12-23 10:31:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7dcc:b6c2:83dc:ef69) |
| 2025-12-23 10:35:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 10:39:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-23 10:41:31 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-23 10:43:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 10:50:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 10:56:26 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-23 11:00:51 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 11:01:29 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 11:01:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 11:03:14 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-12-23 11:04:55 +0100 | acidjnk | (~acidjnk@p200300d6e717199091ae1e99efbcdecd.dip0.t-ipconnect.de) acidjnk |
| 2025-12-23 11:06:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 11:13:31 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-23 11:17:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 11:21:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-12-23 11:22:07 +0100 | karenw | (~karenw@user/karenw) (Remote host closed the connection) |
| 2025-12-23 11:22:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 11:23:28 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-23 11:23:34 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-23 11:33:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 11:37:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 11:40:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 11:42:25 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2025-12-23 11:49:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 11:49:15 +0100 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2025-12-23 11:51:34 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-23 11:55:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-23 11:59:45 +0100 | <ski> | yes, lucabtz |
| 2025-12-23 12:00:25 +0100 | <lucabtz> | ski: do you have more information about this, somewhere i can read or even just what to search to learn about it |
| 2025-12-23 12:00:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 12:01:34 +0100 | <lucabtz> | it's pretty clear bottom in this partial order is lower than anything else (hence the name i guess), but how does it work for other stuff |
| 2025-12-23 12:02:43 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-23 12:05:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 12:07:34 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c301:8873:661e:4742) |
| 2025-12-23 12:16:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 12:21:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-23 12:23:29 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 12:31:56 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-23 12:32:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 12:36:13 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-23 12:36:51 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 12:38:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-23 12:45:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 12:50:42 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 12:51:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 12:53:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-23 12:53:35 +0100 | ljdarj1 | ljdarj |
| 2025-12-23 13:01:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 13:06:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 13:07:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-12-23 13:13:49 +0100 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2025-12-23 13:15:53 +0100 | Googulator53 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 13:15:54 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 13:17:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 13:18:14 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-12-23 13:19:07 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-23 13:22:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 13:25:15 +0100 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2025-12-23 13:25:29 +0100 | shaeto | (~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1) |
| 2025-12-23 13:27:36 +0100 | FloorCalc | (~user@user/FloorCalc) FloorCalc |
| 2025-12-23 13:27:54 +0100 | shaeto | (~Shaeto@94.25.234.244) |
| 2025-12-23 13:28:28 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-23 13:33:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 13:33:31 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) (Read error: Connection reset by peer) |
| 2025-12-23 13:35:34 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:f9fc:b4ea:5c3c:255e) synchromesh |
| 2025-12-23 13:35:59 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-23 13:36:50 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 244 seconds) |
| 2025-12-23 13:36:57 +0100 | lucabtz_ | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-23 13:38:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 13:41:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 13:46:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 13:48:26 +0100 | trickard_ | trickard |
| 2025-12-23 13:51:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-23 14:02:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 14:03:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-23 14:07:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-23 14:09:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 14:10:38 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 14:10:56 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-12-23 14:13:55 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-23 14:13:55 +0100 | ljdarj1 | ljdarj |
| 2025-12-23 14:14:45 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 14:14:59 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 14:15:44 +0100 | Googulator53 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 14:15:45 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 14:20:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 14:25:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 14:28:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-23 14:31:13 +0100 | danza | (~danza@user/danza) danza |
| 2025-12-23 14:31:48 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-23 14:35:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-23 14:36:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 14:37:13 +0100 | trickard__ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 14:38:04 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7dcc:b6c2:83dc:ef69) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-23 14:38:15 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2025-12-23 14:41:15 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-23 14:41:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 14:42:02 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-23 14:44:05 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-23 14:44:18 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2025-12-23 14:44:38 +0100 | danza | (~danza@user/danza) danza |
| 2025-12-23 14:46:25 +0100 | trickard__ | trickard |
| 2025-12-23 14:46:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-23 14:47:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 14:49:20 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-12-23 14:50:45 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-12-23 14:52:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 14:54:48 +0100 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2025-12-23 14:55:08 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-23 14:59:49 +0100 | kayvank | (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) kayvank |
| 2025-12-23 15:01:46 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2025-12-23 15:03:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 15:03:48 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) ft |
| 2025-12-23 15:08:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 15:08:08 +0100 | kayvank | (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2025-12-23 15:09:08 +0100 | kayvank | (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) kayvank |
| 2025-12-23 15:11:38 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2025-12-23 15:15:44 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 15:15:50 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-23 15:15:50 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 15:19:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 15:21:39 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-23 15:21:58 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-23 15:22:59 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-23 15:23:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 15:35:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 15:36:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-23 15:39:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 15:40:11 +0100 | lucabtz_ | lucabtz |
| 2025-12-23 15:42:42 +0100 | Jackneill | (~Jackneill@178-164-234-79.pool.digikabel.hu) Jackneill |
| 2025-12-23 15:44:03 +0100 | annamalai | (~annamalai@157.32.209.107) (Ping timeout: 265 seconds) |
| 2025-12-23 15:44:24 +0100 | annamalai | (~annamalai@157.32.209.107) annamalai |
| 2025-12-23 15:47:04 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-23 15:48:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 15:51:08 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-12-23 15:55:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-23 15:58:20 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) |
| 2025-12-23 15:59:37 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-12-23 16:01:03 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 16:01:23 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 16:02:20 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7dcc:b6c2:83dc:ef69) |
| 2025-12-23 16:06:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 16:09:50 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-23 16:11:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-23 16:11:50 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 16:16:12 +0100 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 252 seconds) |
| 2025-12-23 16:16:15 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 16:16:29 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 16:20:23 +0100 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-23 16:20:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-23 16:20:49 +0100 | <haskellbridge> | <Morj> I just used a traversable instance for 2-tuples |
| 2025-12-23 16:21:32 +0100 | <haskellbridge> | <Morj> I'm rewriting my code from lists to NonEmpty (because I updated base and now a bunch of prelude functions throw warnings about being partial, so this started a fire under my ass where I was lazy before) |
| 2025-12-23 16:22:33 +0100 | <haskellbridge> | <Morj> And it's convenient to transform a [(ByteString, [ByteString])] into [(ByteString, NonEmpty ByteString)] via a simple `mapMaybe (traverse nonEmpty)` |
| 2025-12-23 16:22:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 16:22:52 +0100 | <haskellbridge> | <Morj> Though it warrants a comment for future readers for sure |
| 2025-12-23 16:23:08 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-23 16:24:53 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) (Ping timeout: 272 seconds) |
| 2025-12-23 16:27:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 16:27:31 +0100 | <haskellbridge> | <Morj> Though ugh, currently I do two passes: first find empty lists in one, then the second to leave only non-empty. I doubt that I can partition in single pass with just combinators, without writing a recursion myself. Hm |
| 2025-12-23 16:30:40 +0100 | kayvank | (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2025-12-23 16:31:03 +0100 | FloorCalc | (~user@user/FloorCalc) (Remote host closed the connection) |
| 2025-12-23 16:32:48 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 16:35:37 +0100 | <Leary> | % :t partitionEithers . map \case{ (a, []) -> Left a; (a, x:xs) -> Right (a, x:|xs) } |
| 2025-12-23 16:35:37 +0100 | <yahb2> | partitionEithers . map \case{ (a, []) -> Left a; (a, x:xs) -> Right (a, x:|xs) } ; :: [(a1, [a2])] -> ([a1], [(a1, NonEmpty a2)]) |
| 2025-12-23 16:38:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 16:38:45 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c301:8873:661e:4742) (Ping timeout: 252 seconds) |
| 2025-12-23 16:43:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 16:46:05 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-23 16:49:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 16:51:33 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1f2a:d9f9:9fbc:2d4) |
| 2025-12-23 16:54:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-23 16:56:14 +0100 | <haskellbridge> | <Morj> Hm, pretty good! |
| 2025-12-23 16:56:25 +0100 | <haskellbridge> | <Morj> Not pointfree enough, but oh well |
| 2025-12-23 17:05:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 17:10:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 17:13:14 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-23 17:13:26 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-23 17:14:02 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 17:14:27 +0100 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-12-23 17:14:44 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) |
| 2025-12-23 17:16:33 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 17:19:07 +0100 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2025-12-23 17:19:09 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-12-23 17:20:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 17:25:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2025-12-23 17:25:48 +0100 | Googulator9 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-23 17:26:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 17:26:13 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 17:26:28 +0100 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) distopico |
| 2025-12-23 17:30:19 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Quit: Lost terminal) |
| 2025-12-23 17:30:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7dcc:b6c2:83dc:ef69) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-23 17:32:35 +0100 | Digitteknohippie | Digit |
| 2025-12-23 17:34:56 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2025-12-23 17:36:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 17:38:22 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-23 17:39:30 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab) |
| 2025-12-23 17:40:07 +0100 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2025-12-23 17:41:05 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) (Quit: Client closed) |
| 2025-12-23 17:41:15 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) |
| 2025-12-23 17:41:18 +0100 | hc | (~hc@mail.hce.li) hc |
| 2025-12-23 17:42:59 +0100 | <Leary> | % :t let (.:) = (.) . (.) in partitionEithers . map (uncurry (flip . maybe Left . flip $ Right .: (,)) . fmap nonEmpty) |
| 2025-12-23 17:42:59 +0100 | <yahb2> | let (.:) = (.) . (.) in partitionEithers . map (uncurry (flip . maybe Left . flip $ Right .: (,)) . fmap nonEmpty) ; :: [(a1, [a2])] -> ([a1], [(a1, NonEmpty a2)]) |
| 2025-12-23 17:43:10 +0100 | <Leary> | Morj: Pick your poison. |
| 2025-12-23 17:43:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 17:43:25 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-23 17:43:32 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-23 17:44:19 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:f9fc:b4ea:5c3c:255e) (Read error: Connection reset by peer) |
| 2025-12-23 17:45:19 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:f9fc:b4ea:5c3c:255e) synchromesh |
| 2025-12-23 17:47:09 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab) (Ping timeout: 260 seconds) |
| 2025-12-23 17:48:28 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-12-23 17:49:27 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-23 17:50:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 17:52:29 +0100 | yin | (~zero@user/zero) (Ping timeout: 244 seconds) |
| 2025-12-23 17:52:54 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-12-23 17:52:54 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-12-23 17:52:54 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-23 17:56:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 18:00:29 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-23 18:02:54 +0100 | <hololeap> | or, instead of building a [(ByteString, [ByteString])], just build a [(ByteString, Maybe (NonEmpty ByteString))] from the start |
| 2025-12-23 18:03:24 +0100 | <hololeap> | (I assume this data structure is being built using some kind of input from the real world) |
| 2025-12-23 18:03:38 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-23 18:06:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 18:07:42 +0100 | <Leary> | % :t partitionEithers . map ((uncurry . flip . maybe Left . flip . curry) Right . fmap nonEmpty) |
| 2025-12-23 18:07:42 +0100 | <yahb2> | partitionEithers . map ((uncurry . flip . maybe Left . flip . curry) Right . fmap nonEmpty) ; :: [(a1, [a2])] -> ([a1], [(a1, NonEmpty a2)]) |
| 2025-12-23 18:08:14 +0100 | <Leary> | I might actually be alright with this ... the symmetries are doing it for me. |
| 2025-12-23 18:08:39 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-23 18:10:17 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) (Quit: Client closed) |
| 2025-12-23 18:11:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-23 18:11:52 +0100 | tromp | (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) |
| 2025-12-23 18:19:54 +0100 | <hololeap> | Foldable1 seems kind of pointless on the surface, but now I'm seeing a few useful functions that don't have any Foldable equivalent |
| 2025-12-23 18:22:06 +0100 | <hololeap> | being able to use a Semigroup that cannot have a Monoid instance could be very handy on occasion |
| 2025-12-23 18:22:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 18:24:56 +0100 | <monochrom> | Yeah, things like maximum may better belong to Foldable1 too. |
| 2025-12-23 18:25:52 +0100 | <EvanR> | er, is that what Foldable1 is |
| 2025-12-23 18:26:00 +0100 | <EvanR> | it's not a higher kinded Foldable? |
| 2025-12-23 18:26:33 +0100 | <monochrom> | Took me a while to realize that too. :) |
| 2025-12-23 18:26:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-23 18:26:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 18:27:04 +0100 | <monochrom> | "Oh as in foldr1, not as in Eq1" |
| 2025-12-23 18:27:45 +0100 | <monochrom> | The "Semigroup" hint helped. :) |
| 2025-12-23 18:34:38 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-23 18:37:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 18:39:54 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-23 18:42:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 18:43:49 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2025-12-23 18:51:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 18:56:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 19:01:42 +0100 | trickard_ | trickard |
| 2025-12-23 19:03:10 +0100 | tromp | (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-23 19:09:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 19:14:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 19:16:15 +0100 | tromp | (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) |
| 2025-12-23 19:16:32 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab) |
| 2025-12-23 19:21:25 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab) (Ping timeout: 256 seconds) |
| 2025-12-23 19:22:01 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) |
| 2025-12-23 19:25:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 19:26:23 +0100 | <haskellbridge> | <loonycyborg> NonEmpty for example is Foldable1 but not Foldable, so Foldable1 is pretty necessary given the push to use NonEmpty to avoid partial functions. |
| 2025-12-23 19:27:56 +0100 | <hololeap> | NonEmpty is Foldable though |
| 2025-12-23 19:28:41 +0100 | <hololeap> | it's just that foldMap for NonEmpty carries a Monoid constraint, when Semigroup would be enough |
| 2025-12-23 19:28:46 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) () |
| 2025-12-23 19:28:52 +0100 | <haskellbridge> | <loonycyborg> hmm nwm, it seems to be actually Foldable. But I vaguely remember some use of Foldable1 being related to NonEmpty. |
| 2025-12-23 19:30:40 +0100 | <hololeap> | with a NonEmpty, you don't have to worry about the case of an empty list, thus you don't need a definition for mempty and can use any Semigroup instead |
| 2025-12-23 19:30:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-23 19:31:03 +0100 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2025-12-23 19:31:42 +0100 | <hololeap> | the fact that toNonEmpty is part of Foldable1 sort of proves that NonEmpty is the canonical Foldable1 |
| 2025-12-23 19:33:16 +0100 | <hololeap> | I do think that Traversable1 is more useful https://hackage.haskell.org/package/semigroupoids-6.0.1/docs/Data-Semigroup-Traversable.html |
| 2025-12-23 19:33:43 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-23 19:33:45 +0100 | <hololeap> | I missed the discussion where Foldable1 was added to base and why some of the other things from semigroupoids were left out |
| 2025-12-23 19:34:11 +0100 | <haskellbridge> | <loonycyborg> ye Foldable1 requires at least 1 item to work with because it has no starting accumulator so it's connected to NonEmpty. |
| 2025-12-23 19:38:08 +0100 | <haskellbridge> | <loonycyborg> Were there any proposals to make NonEmpty a builtin list so you could write [1 | 2, 3] instead of 1 :| [2,3]? |
| 2025-12-23 19:38:08 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-23 19:38:30 +0100 | <hololeap> | I _think_ you can already do that with OverloadedLists |
| 2025-12-23 19:38:56 +0100 | <hololeap> | but it shares the same syntax with list [1, 2, 3] |
| 2025-12-23 19:39:12 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-12-23 19:39:25 +0100 | <hololeap> | and you have to be careful not to give it [] or else you get a runtime error |
| 2025-12-23 19:39:34 +0100 | <hololeap> | but I might be wrong on the details |
| 2025-12-23 19:40:46 +0100 | <haskellbridge> | <loonycyborg> Yes, I think if syntax is shared then there's more potential for ambiguity |
| 2025-12-23 19:40:46 +0100 | <hololeap> | also, I have no shame in throwing a `NonEmpty.fromList [1, 2, 3]` into my code |
| 2025-12-23 19:41:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 19:41:32 +0100 | <hololeap> | esp for tests and things where you control the input |
| 2025-12-23 19:43:05 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-12-23 19:43:34 +0100 | <hololeap> | but [1 | 2, 3] in theory makes sense, but it might overlap with list comprehension syntax |
| 2025-12-23 19:43:44 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-23 19:44:24 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2025-12-23 19:44:34 +0100 | <hololeap> | ghci> [1 | 2, 3] |
| 2025-12-23 19:44:42 +0100 | <hololeap> | Could not deduce ‘Num Bool’ arising from the literal ‘2’ |
| 2025-12-23 19:44:52 +0100 | <hololeap> | it's trying to process it as a list comprehension |
| 2025-12-23 19:45:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 19:46:42 +0100 | <int-e> | it keeps surprising me that people find the NonEmpty overhead worthwhile |
| 2025-12-23 19:46:55 +0100 | <monochrom> | Please don't bring in Prolog list syntax. :( |
| 2025-12-23 19:46:56 +0100 | <geekosaur> | it'll also potentially conflict with quasiquotations |
| 2025-12-23 19:47:06 +0100 | <geekosaur> | I'd consider keeping the `:|` |
| 2025-12-23 19:47:27 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-12-23 19:48:43 +0100 | <monochrom> | Oh missed a pun opportunity! Here: Please don't bring in Prolog list syntax. :| |
| 2025-12-23 19:48:49 +0100 | <monochrom> | (hehe) |
| 2025-12-23 19:49:04 +0100 | <hololeap> | int-e: I think it would be even more useful if they brought Traversable1 and Apply into base. it lets you traverse _into_ (as oppsed to over) Maps |
| 2025-12-23 19:49:50 +0100 | <hololeap> | traverse1 (\(x,y) -> Map.singleton x y) :: NonEmpty (x,y) -> Map x (NonEmpty y) |
| 2025-12-23 19:49:59 +0100 | <hololeap> | not the most illuminating example :) |
| 2025-12-23 19:50:15 +0100 | <monochrom> | What is Apply? |
| 2025-12-23 19:50:26 +0100 | <hololeap> | it's Applicative sans `pure` |
| 2025-12-23 19:50:34 +0100 | <monochrom> | Ah thanks. |
| 2025-12-23 19:50:44 +0100 | <hololeap> | which Map is a perfect example of |
| 2025-12-23 19:50:56 +0100 | <monochrom> | May I call it Applicable instead? >:) |
| 2025-12-23 19:51:18 +0100 | <hololeap> | sure thing |
| 2025-12-23 19:51:22 +0100 | <monochrom> | <-- uses dad jokes for meaningful names :) |
| 2025-12-23 19:52:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 19:56:44 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-23 19:57:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 19:57:56 +0100 | somemathguy | (~somemathg@user/somemathguy) (Client Quit) |
| 2025-12-23 20:02:05 +0100 | <__monty__> | int-e: Is there actually extra overhead? Or does it come in the form of lack of fusion? |
| 2025-12-23 20:02:13 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-12-23 20:03:01 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-12-23 20:04:25 +0100 | <int-e> | __monty__: I'm talking about programmer effort. Though replacing the top-level constructory by another one isn't free; I'm pretty sure that GHC won't reuse one for the other because the tags are different for different types. Even though it will, technically, work. |
| 2025-12-23 20:05:24 +0100 | <int-e> | Uh, or not since [] is the first constructor of [a]. So pointer tags would be wrong. |
| 2025-12-23 20:07:29 +0100 | <int-e> | "programmer effort" is hard to objectively quantify though because compared to just using lists, it includes both time spent on extraneous conversions and time saved on debugging empty list errors. |
| 2025-12-23 20:08:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
