2024/07/14

2024-07-14 00:00:04 +0200dsrt^(dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-07-14 00:01:19 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-07-14 00:06:29 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-07-14 00:08:20 +0200andjjj23(~irc@107.170.228.47) (Server closed connection)
2024-07-14 00:08:37 +0200andjjj23(~irc@107.170.228.47)
2024-07-14 00:09:01 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 00:11:30 +0200malte(~malte@mal.tc) (Remote host closed the connection)
2024-07-14 00:12:48 +0200malte(~malte@mal.tc)
2024-07-14 00:14:54 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 00:24:43 +0200mikess(~mikess@user/mikess) (Ping timeout: 264 seconds)
2024-07-14 00:25:23 +0200absence(torgeihe@hildring.pvv.ntnu.no) (Server closed connection)
2024-07-14 00:25:32 +0200absence(torgeihe@hildring.pvv.ntnu.no)
2024-07-14 00:25:33 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 00:27:59 +0200mikess(~mikess@user/mikess)
2024-07-14 00:30:51 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 00:34:13 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288)
2024-07-14 00:35:09 +0200xal(~xal@mx1.xal.systems) ()
2024-07-14 00:35:52 +0200xal(~xal@mx1.xal.systems)
2024-07-14 00:38:14 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 00:38:58 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt)
2024-07-14 00:43:32 +0200yin(~yin@user/zero) (Quit: leaving)
2024-07-14 00:43:40 +0200Square2(~Square@user/square)
2024-07-14 00:43:54 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 00:48:49 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 00:54:03 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 00:56:05 +0200zmt00(~zmt00@user/zmt00)
2024-07-14 00:59:58 +0200acidjnk(~acidjnk@p200300d6e72cfb2415952ab083ca28a4.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2024-07-14 01:00:24 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 246 seconds)
2024-07-14 01:01:05 +0200mechap(~mechap@user/mechap)
2024-07-14 01:01:23 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt)
2024-07-14 01:03:26 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-14 01:04:36 +0200puke(~puke@user/puke) (Ping timeout: 246 seconds)
2024-07-14 01:07:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-14 01:08:26 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 01:12:53 +0200ph88(~ph88@2a02:8109:9e26:c800:be5c:5fcb:9a59:be2e) (Ping timeout: 245 seconds)
2024-07-14 01:14:21 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 01:14:53 +0200lbseale(~quassel@user/ep1ctetus) (Server closed connection)
2024-07-14 01:15:10 +0200lbseale(~quassel@user/ep1ctetus)
2024-07-14 01:16:32 +0200caubert(~caubert@user/caubert) (Server closed connection)
2024-07-14 01:16:50 +0200caubert(~caubert@user/caubert)
2024-07-14 01:26:27 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 01:32:43 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds)
2024-07-14 01:35:37 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 01:38:14 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-14 01:45:59 +0200myme(~myme@40.51-175-185.customer.lyse.net) (Server closed connection)
2024-07-14 01:46:24 +0200myme(~myme@2a01:799:d5c:5f00:cfaa:94a4:df6a:9f90)
2024-07-14 01:48:39 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 01:53:38 +0200piele(~piele@tbonesteak.creativeserver.net) (Server closed connection)
2024-07-14 01:53:52 +0200piele(~piele@tbonesteak.creativeserver.net)
2024-07-14 01:54:28 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 01:54:57 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-07-14 02:03:02 +0200fr33domlover(~fr33domlo@towards.vision) (Server closed connection)
2024-07-14 02:03:02 +0200y-koj(~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96) (Server closed connection)
2024-07-14 02:03:26 +0200fr33domlover(~fr33domlo@towards.vision)
2024-07-14 02:03:27 +0200y-koj(~yk@2404:7a81:c840:5e00:c44:429d:83d8:df96)
2024-07-14 02:06:39 +0200czy(~user@host81-158-36-81.range81-158.btcentralplus.com)
2024-07-14 02:09:14 +0200onliner10(~onliner10@user/onliner10) (Server closed connection)
2024-07-14 02:09:26 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Ping timeout: 258 seconds)
2024-07-14 02:10:01 +0200onliner10(~onliner10@user/onliner10)
2024-07-14 02:11:25 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-07-14 02:12:09 +0200czy(~user@host81-158-36-81.range81-158.btcentralplus.com) (Ping timeout: 246 seconds)
2024-07-14 02:13:53 +0200feetwind(~mike@user/feetwind) (Server closed connection)
2024-07-14 02:14:13 +0200feetwind(~mike@user/feetwind)
2024-07-14 02:21:38 +0200dtman34(~dtman34@c-75-72-163-222.hsd1.mn.comcast.net) (Server closed connection)
2024-07-14 02:22:00 +0200dtman34(~dtman34@2601:447:d001:ed50:9fa4:727d:8f09:9bce)
2024-07-14 02:25:35 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 02:29:23 +0200jocke-l(jocke-l@a.x0.is) (Server closed connection)
2024-07-14 02:29:47 +0200jocke-l(jocke-l@a.x0.is)
2024-07-14 02:31:13 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 245 seconds)
2024-07-14 02:38:41 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 02:39:43 +0200mikess(~mikess@user/mikess) (Ping timeout: 258 seconds)
2024-07-14 02:40:19 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2024-07-14 02:42:11 +0200mikess(~mikess@user/mikess)
2024-07-14 02:43:39 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 246 seconds)
2024-07-14 02:49:48 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 02:50:18 +0200mechap(~mechap@user/mechap) (Ping timeout: 246 seconds)
2024-07-14 02:53:09 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2024-07-14 02:55:51 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 03:03:29 +0200Igloo(~ian@matrix.chaos.earth.li) (Server closed connection)
2024-07-14 03:03:40 +0200Igloo(~ian@matrix.chaos.earth.li)
2024-07-14 03:06:58 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-07-14 03:08:31 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 03:11:16 +0200alexherbo2(~alexherbo@2a02-8440-3300-e679-3c7a-108c-f2d9-59ad.rev.sfr.net) (Remote host closed the connection)
2024-07-14 03:13:44 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 03:14:20 +0200anpad(~pandeyan@user/anpad) (Server closed connection)
2024-07-14 03:16:42 +0200anpad(~pandeyan@user/anpad)
2024-07-14 03:17:54 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
2024-07-14 03:24:49 +0200jinsun(~jinsun@user/jinsun)
2024-07-14 03:26:44 +0200sudden(~cat@user/sudden) (Server closed connection)
2024-07-14 03:27:00 +0200sudden(~cat@user/sudden)
2024-07-14 03:42:14 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2024-07-14 03:44:39 +0200czy(~user@host81-158-36-81.range81-158.btcentralplus.com)
2024-07-14 03:47:36 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Remote host closed the connection)
2024-07-14 03:48:01 +0200aforemny(~aforemny@i59f516fe.versanet.de)
2024-07-14 03:48:49 +0200aforemny_(~aforemny@i59F516CE.versanet.de) (Ping timeout: 246 seconds)
2024-07-14 03:51:32 +0200danso(~danso@user/danso) (Server closed connection)
2024-07-14 03:51:46 +0200danso(~danso@user/danso)
2024-07-14 03:54:33 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2024-07-14 03:57:09 +0200czy(~user@host81-158-36-81.range81-158.btcentralplus.com) (Ping timeout: 258 seconds)
2024-07-14 04:04:45 +0200puke(~puke@user/puke)
2024-07-14 04:05:03 +0200op_4(~tslil@2a01:4f8:c0c:7952::1) (Remote host closed the connection)
2024-07-14 04:05:33 +0200op_4(~tslil@user/op-4/x-9116473)
2024-07-14 04:08:35 +0200PHO`(~pho@akari.cielonegro.org) (Server closed connection)
2024-07-14 04:08:45 +0200PHO`(~pho@akari.cielonegro.org)
2024-07-14 04:09:42 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 04:10:55 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds)
2024-07-14 04:15:07 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 04:19:26 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com) (Server closed connection)
2024-07-14 04:19:28 +0200billchenchina-(~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19)
2024-07-14 04:19:52 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df)
2024-07-14 04:24:43 +0200billchenchina-(~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) (Ping timeout: 264 seconds)
2024-07-14 04:25:39 +0200billchenchina-(~billchenc@103.118.42.229)
2024-07-14 04:27:09 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 04:27:10 +0200td_(~td@i5387091C.versanet.de) (Ping timeout: 268 seconds)
2024-07-14 04:28:57 +0200td_(~td@i53870911.versanet.de)
2024-07-14 04:32:31 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 04:46:44 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 04:47:24 +0200finsternis(~X@23.226.237.192) (Read error: Connection reset by peer)
2024-07-14 04:56:12 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 04:58:14 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2024-07-14 04:59:03 +0200rembo10(~rembo10@main.remulis.com)
2024-07-14 05:09:02 +0200dsal(sid13060@id-13060.lymington.irccloud.com) (Server closed connection)
2024-07-14 05:09:13 +0200dsal(sid13060@id-13060.lymington.irccloud.com)
2024-07-14 05:09:54 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 05:13:41 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2024-07-14 05:13:53 +0200Adeon(sid418992@id-418992.lymington.irccloud.com)
2024-07-14 05:15:07 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 264 seconds)
2024-07-14 05:18:20 +0200SethTisue(sid14912@id-14912.ilkley.irccloud.com) (Server closed connection)
2024-07-14 05:18:30 +0200SethTisue(sid14912@id-14912.ilkley.irccloud.com)
2024-07-14 05:24:34 +0200aforemny_(~aforemny@i59F516EC.versanet.de)
2024-07-14 05:25:21 +0200aforemny(~aforemny@i59f516fe.versanet.de) (Ping timeout: 246 seconds)
2024-07-14 05:26:32 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-14 05:29:08 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 05:31:30 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.3.1)
2024-07-14 05:31:38 +0200tomku(~tomku@user/tomku) (Ping timeout: 245 seconds)
2024-07-14 05:33:41 +0200tomku(~tomku@user/tomku)
2024-07-14 05:34:23 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 05:36:12 +0200rosco(~rosco@175.136.155.137)
2024-07-14 05:37:00 +0200billchenchina-(~billchenc@103.118.42.229) (Quit: Leaving)
2024-07-14 05:41:02 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-14 05:48:23 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 05:52:20 +0200aspen(sid449115@id-449115.helmsley.irccloud.com) (Server closed connection)
2024-07-14 05:52:31 +0200aspen(sid449115@id-449115.helmsley.irccloud.com)
2024-07-14 05:57:06 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 06:10:19 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-07-14 06:10:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-07-14 06:10:48 +0200rvalue(~rvalue@user/rvalue)
2024-07-14 06:10:56 +0200haasn(sid579015@id-579015.hampstead.irccloud.com) (Server closed connection)
2024-07-14 06:11:23 +0200haasn(sid579015@id-579015.hampstead.irccloud.com)
2024-07-14 06:18:47 +0200tnks(sid412124@id-412124.helmsley.irccloud.com) (Server closed connection)
2024-07-14 06:18:59 +0200tnks(sid412124@id-412124.helmsley.irccloud.com)
2024-07-14 06:28:05 +0200JSharp(sid4580@user/JSharp) (Server closed connection)
2024-07-14 06:28:27 +0200JSharp(sid4580@user/JSharp)
2024-07-14 06:46:37 +0200 <dibblego> what is the process for taking over and updating a hackage package these days? https://hackage.haskell.org/package/pandoc-lens
2024-07-14 06:52:53 +0200natto(~natto@129.154.243.159) (Server closed connection)
2024-07-14 06:53:47 +0200natto(~natto@129.154.243.159)
2024-07-14 07:01:45 +0200rosco(~rosco@175.136.155.137) (Quit: Lost terminal)
2024-07-14 07:05:05 +0200 <probie> If you just want to do some minor version bumping (e.g. increase the upper bound of base), any of the hackage trustees can do that. If you actually want to take over the package, start by contacting the original author.
2024-07-14 07:05:17 +0200bairyn(~bairyn@50.250.232.19) (Server closed connection)
2024-07-14 07:05:26 +0200bairyn(~bairyn@50.250.232.19)
2024-07-14 07:06:01 +0200 <dibblego> ok cheers
2024-07-14 07:09:57 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 07:14:57 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 258 seconds)
2024-07-14 07:38:01 +0200ddellacosta(~ddellacos@68.199.61.41)
2024-07-14 07:41:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-14 07:44:02 +0200T_S_____(sid501726@id-501726.uxbridge.irccloud.com) (Server closed connection)
2024-07-14 07:44:11 +0200T_S_____(sid501726@id-501726.uxbridge.irccloud.com)
2024-07-14 07:54:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-14 08:15:56 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 08:21:24 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 246 seconds)
2024-07-14 08:30:39 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-14 08:33:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-14 08:34:37 +0200billchenchina-(~billchenc@103.118.42.229)
2024-07-14 08:41:23 +0200bradparker(sid262931@id-262931.uxbridge.irccloud.com) (Server closed connection)
2024-07-14 08:41:34 +0200bradparker(sid262931@id-262931.uxbridge.irccloud.com)
2024-07-14 08:45:54 +0200__monty__(~toonn@user/toonn)
2024-07-14 08:51:19 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-14 08:51:43 +0200acidjnk(~acidjnk@p200300d6e72cfb780da6807de598ff81.dip0.t-ipconnect.de)
2024-07-14 08:53:41 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 08:53:47 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-07-14 08:59:13 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 258 seconds)
2024-07-14 08:59:36 +0200dtman34(~dtman34@2601:447:d001:ed50:9fa4:727d:8f09:9bce) (Ping timeout: 258 seconds)
2024-07-14 08:59:51 +0200 <davean> dibblego: https://wiki.haskell.org/Taking_over_a_package
2024-07-14 09:00:02 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
2024-07-14 09:03:06 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-07-14 09:09:11 +0200mankyKitty(sid31287@id-31287.helmsley.irccloud.com) (Server closed connection)
2024-07-14 09:09:18 +0200mankyKitty(sid31287@id-31287.helmsley.irccloud.com)
2024-07-14 09:12:04 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 09:16:43 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds)
2024-07-14 09:19:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-14 09:27:15 +0200ash3en(~ash3en@2a01:c22:8d06:c000:cf5e:32f:8633:1f5c)
2024-07-14 09:27:53 +0200S11001001(sid42510@id-42510.ilkley.irccloud.com) (Server closed connection)
2024-07-14 09:28:04 +0200S11001001(sid42510@id-42510.ilkley.irccloud.com)
2024-07-14 09:30:39 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0)
2024-07-14 09:34:37 +0200czy(~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Quit: ERC 5.6 (IRC client for GNU Emacs 31.0.50))
2024-07-14 09:37:05 +0200lexi-lambda(sid92601@id-92601.hampstead.irccloud.com) (Server closed connection)
2024-07-14 09:37:11 +0200shane(~shane@ana.rch.ist) (Server closed connection)
2024-07-14 09:37:16 +0200lexi-lambda(sid92601@id-92601.hampstead.irccloud.com)
2024-07-14 09:37:20 +0200shane(~shane@ana.rch.ist)
2024-07-14 09:48:02 +0200Hecate(~mariposa@user/hecate) (Server closed connection)
2024-07-14 09:48:12 +0200Hecate(~mariposa@user/hecate)
2024-07-14 09:51:08 +0200amir(sid22336@user/amir) (Server closed connection)
2024-07-14 09:51:22 +0200amir(sid22336@user/amir)
2024-07-14 09:53:26 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-14 09:58:55 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-07-14 10:01:59 +0200evertedsphere(sid434122@id-434122.hampstead.irccloud.com) (Server closed connection)
2024-07-14 10:02:09 +0200evertedsphere(sid434122@id-434122.hampstead.irccloud.com)
2024-07-14 10:09:24 +0200billchenchina-(~billchenc@103.118.42.229) (Ping timeout: 265 seconds)
2024-07-14 10:13:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-14 10:18:43 +0200 <Leary> So I moved my internals from the other-modules of my library to the exposed-modules of the 'internals' sublibrary it now depends upon, but cabal is complaining: "[-Wmissing-home-modules] These modules are needed for compilation but not listed in your .cabal file's other-modules"
2024-07-14 10:18:57 +0200 <Leary> Do I really have to list them twice? Seems rather redundant.
2024-07-14 10:19:55 +0200ash3en(~ash3en@2a01:c22:8d06:c000:cf5e:32f:8633:1f5c) (Remote host closed the connection)
2024-07-14 10:20:31 +0200hiecaq(~hiecaq@user/hiecaq) (Read error: Connection reset by peer)
2024-07-14 10:22:37 +0200 <c_wraith> that sounds like the sources might still be in the original locations, and it's finding them instead of looking in your sublibrary
2024-07-14 10:23:12 +0200 <Leary> Oh, they can't just share source dirs? I see.
2024-07-14 10:23:25 +0200 <Leary> I hadn't bothered to separate them.
2024-07-14 10:23:38 +0200 <c_wraith> GHC looks for modules in the current package before looking in other packages.
2024-07-14 10:25:34 +0200hiecaq(~hiecaq@user/hiecaq)
2024-07-14 10:26:23 +0200 <Leary> Cabal should probably warn when sub/libraries have the same hs-source-dirs...
2024-07-14 10:33:23 +0200 <dibblego> davean: thanks
2024-07-14 10:34:19 +0200cpressey(~weechat@176.254.71.203)
2024-07-14 10:34:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-07-14 10:37:32 +0200caasih(sid13241@id-13241.ilkley.irccloud.com) (Server closed connection)
2024-07-14 10:37:43 +0200caasih(sid13241@2a03:5180:f:3::33b9)
2024-07-14 10:41:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-14 10:47:32 +0200gmg(~user@user/gehmehgeh)
2024-07-14 10:54:23 +0200mechap(~mechap@user/mechap)
2024-07-14 11:08:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-07-14 11:08:46 +0200[exa](~exa@user/exa/x-3587197) (Ping timeout: 246 seconds)
2024-07-14 11:13:17 +0200Rembane(~Rembane@user/Rembane) (Server closed connection)
2024-07-14 11:13:35 +0200irssi(~Rembane@user/Rembane)
2024-07-14 11:16:44 +0200irssiRembane
2024-07-14 11:17:56 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Server closed connection)
2024-07-14 11:18:21 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
2024-07-14 11:31:53 +0200nonzen(~nonzen@user/nonzen) (Server closed connection)
2024-07-14 11:32:09 +0200nonzen(~nonzen@user/nonzen)
2024-07-14 11:44:17 +0200nshepperd2(~nshepperd@static.117.72.21.65.clients.your-server.de) (Server closed connection)
2024-07-14 11:44:27 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2)
2024-07-14 12:01:20 +0200b20n(sid115913@id-115913.uxbridge.irccloud.com) (Server closed connection)
2024-07-14 12:01:31 +0200b20n(sid115913@id-115913.uxbridge.irccloud.com)
2024-07-14 12:12:11 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) (Server closed connection)
2024-07-14 12:12:22 +0200Kamuela(sid111576@2a03:5180:f::1:b3d8)
2024-07-14 12:19:51 +0200chessai(sid225296@id-225296.lymington.irccloud.com) (Server closed connection)
2024-07-14 12:19:56 +0200edm(sid147314@id-147314.hampstead.irccloud.com) (Server closed connection)
2024-07-14 12:20:01 +0200chessai(sid225296@id-225296.lymington.irccloud.com)
2024-07-14 12:20:12 +0200edm(sid147314@2a03:5180:f:4::2:3f72)
2024-07-14 12:24:06 +0200target_i(~target_i@user/target-i/x-6023099)
2024-07-14 12:24:18 +0200tomku(~tomku@user/tomku) (Ping timeout: 246 seconds)
2024-07-14 12:24:28 +0200alexherbo2(~alexherbo@2a02-8440-3205-7bee-0dae-8ca9-d6fc-3fa3.rev.sfr.net)
2024-07-14 12:26:11 +0200tomku(~tomku@user/tomku)
2024-07-14 12:28:49 +0200oneeyedalien(~oneeyedal@user/oneeyedalien)
2024-07-14 12:29:05 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 265 seconds)
2024-07-14 12:29:39 +0200cpressey(~weechat@176.254.71.203)
2024-07-14 12:36:33 +0200mechap(~mechap@user/mechap) (Ping timeout: 246 seconds)
2024-07-14 12:38:25 +0200Inst_(~Inst@user/Inst)
2024-07-14 12:40:05 +0200bcksl(~bcksl@user/bcksl) (Server closed connection)
2024-07-14 12:40:11 +0200Inst(~Inst@user/Inst) (Ping timeout: 264 seconds)
2024-07-14 12:44:41 +0200bcksl(~bcksl@user/bcksl)
2024-07-14 12:50:52 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-07-14 12:53:49 +0200mikess(~mikess@user/mikess) (Ping timeout: 258 seconds)
2024-07-14 12:58:41 +0200tritlo_(sid58727@id-58727.hampstead.irccloud.com) (Server closed connection)
2024-07-14 12:58:51 +0200tritlo_(sid58727@id-58727.hampstead.irccloud.com)
2024-07-14 13:02:51 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-14 13:02:52 +0200mrmr155334346(~mrmr@user/mrmr) (Quit: Bye, See ya later!)
2024-07-14 13:13:59 +0200califax(~califax@user/califx)
2024-07-14 13:14:12 +0200vizimajac(~Rodney@97e7368c.skybroadband.com)
2024-07-14 13:15:44 +0200gaze__(sid387101@id-387101.helmsley.irccloud.com) (Server closed connection)
2024-07-14 13:15:55 +0200gaze__(sid387101@id-387101.helmsley.irccloud.com)
2024-07-14 13:22:33 +0200mrmr155334346(~mrmr@user/mrmr)
2024-07-14 13:23:29 +0200edwardk(sid47016@haskell/developer/edwardk) (Server closed connection)
2024-07-14 13:23:41 +0200edwardk(sid47016@haskell/developer/edwardk)
2024-07-14 13:28:17 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-14 13:33:50 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-07-14 13:40:13 +0200cassiopea(~cassiopea@user/cassiopea)
2024-07-14 13:41:29 +0200cassiopea(~cassiopea@user/cassiopea) (Client Quit)
2024-07-14 13:42:51 +0200Guest453(~cass@174.25.74.15)
2024-07-14 13:43:18 +0200Guest453(~cass@174.25.74.15) (Client Quit)
2024-07-14 13:44:28 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-07-14 13:44:48 +0200oneeyedalien(~oneeyedal@user/oneeyedalien) (Ping timeout: 246 seconds)
2024-07-14 13:45:25 +0200cassiopea(~cassiopea@user/cassiopea)
2024-07-14 13:46:15 +0200[exa](~exa@user/exa/x-3587197)
2024-07-14 14:08:47 +0200aljazmc(~aljazmc@user/aljazmc)
2024-07-14 14:10:19 +0200puke(~puke@user/puke) (Ping timeout: 264 seconds)
2024-07-14 14:15:02 +0200billchenchina-(~billchenc@103.118.42.229)
2024-07-14 14:18:07 +0200billchenchina-(~billchenc@103.118.42.229) (Remote host closed the connection)
2024-07-14 14:18:18 +0200sajith_sajith
2024-07-14 14:20:44 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com) (Server closed connection)
2024-07-14 14:20:55 +0200taktoa[c](sid282096@2a03:5180:f::4:4df0)
2024-07-14 14:23:22 +0200emm(~emm@user/edmeme)
2024-07-14 14:24:18 +0200zetef(~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f)
2024-07-14 14:24:23 +0200zetef(~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Client Quit)
2024-07-14 14:28:40 +0200dequbednadja
2024-07-14 14:38:20 +0200rvalue-(~rvalue@user/rvalue)
2024-07-14 14:39:03 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 246 seconds)
2024-07-14 14:42:20 +0200rvalue-rvalue
2024-07-14 14:42:31 +0200ash3en(~ash3en@2a01:c22:8d06:c000:cf5e:32f:8633:1f5c)
2024-07-14 14:49:22 +0200ash3en(~ash3en@2a01:c22:8d06:c000:cf5e:32f:8633:1f5c) (Remote host closed the connection)
2024-07-14 14:53:23 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (Server closed connection)
2024-07-14 14:53:37 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2024-07-14 14:57:48 +0200CiaoSen(~Jura@2a05:5800:2b3:d800:e6b9:7aff:fe80:3d03)
2024-07-14 15:00:43 +0200vizimajac(~Rodney@97e7368c.skybroadband.com) (Ping timeout: 264 seconds)
2024-07-14 15:02:35 +0200systemfault(sid267009@about/typescript/member/systemfault) (Server closed connection)
2024-07-14 15:02:47 +0200systemfault(sid267009@about/typescript/member/systemfault)
2024-07-14 15:03:57 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-07-14 15:08:36 +0200hiecaq(~hiecaq@user/hiecaq) (Read error: Connection reset by peer)
2024-07-14 15:10:26 +0200meooow(~meooow@165.232.184.169) (Server closed connection)
2024-07-14 15:10:40 +0200meooow(~meooow@2400:6180:100:d0::ad9:e001)
2024-07-14 15:10:42 +0200AlexNoo_(~AlexNoo@178.34.160.117)
2024-07-14 15:11:53 +0200hiecaq(~hiecaq@user/hiecaq)
2024-07-14 15:13:04 +0200AlexZenon(~alzenon@5.139.233.228) (Ping timeout: 246 seconds)
2024-07-14 15:14:13 +0200AlexNoo(~AlexNoo@5.139.233.228) (Ping timeout: 256 seconds)
2024-07-14 15:14:48 +0200svipal(~svipal@2a01:e0a:3cc:4590:1e35:5bb7:1820:8e9f)
2024-07-14 15:15:05 +0200jakesyl_____(sid56879@id-56879.hampstead.irccloud.com) (Server closed connection)
2024-07-14 15:15:23 +0200jakesyl_____(sid56879@id-56879.hampstead.irccloud.com)
2024-07-14 15:16:24 +0200svipalmelodev
2024-07-14 15:17:40 +0200 <melodev> i'm trying out gi-gtk and it builds nicely... but i'm not exactly sure how to track any custom state. It doesn't seem i'm supposed to make my own IsApplication datatype, maybe i'm supposed to put something in the app.run options, but i don't know where the doc for that is either ,haha
2024-07-14 15:17:46 +0200hiecaq(~hiecaq@user/hiecaq) (Ping timeout: 265 seconds)
2024-07-14 15:18:05 +0200jackdk(sid373013@cssa/jackdk) (Server closed connection)
2024-07-14 15:18:19 +0200jackdk(sid373013@cssa/jackdk)
2024-07-14 15:18:40 +0200AlexZenon(~alzenon@178.34.160.117)
2024-07-14 15:21:34 +0200AlexNoo_AlexNoo
2024-07-14 15:27:51 +0200 <melodev> (it may seem strange that i'm saying it builds nicely as the positive, but my unfortunate experience as a returning haskeller wanting to try making a GUI app with 9.10, only monomer & gi-gtk actually build properly, & only gi-gtk actually makes use of stuff i wanted to try out (overloaded labels))
2024-07-14 15:34:21 +0200euleritian(~euleritia@dynamic-176-003-087-157.176.3.pool.telefonica.de) (Ping timeout: 246 seconds)
2024-07-14 15:35:39 +0200ddellacosta(~ddellacos@68.199.61.41) (Ping timeout: 265 seconds)
2024-07-14 15:35:41 +0200 <Leary> melodev: It's been years since I used it, but I recall gi-gtk being pretty much raw bindings---it's a /direct/ translation of a library written for some C-like language, where all state is tracked by mutable variables.
2024-07-14 15:36:23 +0200 <Leary> The Haskell equivalent is mutable references (IORef, MVar, etc), possibly in ReaderT over IO.
2024-07-14 15:37:19 +0200euleritian(~euleritia@dynamic-176-003-083-134.176.3.pool.telefonica.de)
2024-07-14 15:41:16 +0200 <melodev> i don't mind imperative style and using IORefs, i'm not sure how to actually have them & the application loop running at the same time ? like i'm not sure how to have them being accessible in the application's whole context if i just declare them beforehand
2024-07-14 15:41:35 +0200 <melodev> granted i'm also not familiar at all with GTK which probably doesn't help
2024-07-14 15:41:59 +0200leah2(~leah@vuxu.org) (Ping timeout: 264 seconds)
2024-07-14 15:42:06 +0200 <melodev> but every single example i've seen so far has been stateless which is tickling me a little bit
2024-07-14 15:44:38 +0200alexherbo2(~alexherbo@2a02-8440-3205-7bee-0dae-8ca9-d6fc-3fa3.rev.sfr.net) (Remote host closed the connection)
2024-07-14 15:44:58 +0200alexherbo2(~alexherbo@2a02-8440-3205-7bee-0dae-8ca9-d6fc-3fa3.rev.sfr.net)
2024-07-14 15:50:25 +0200 <Leary> If you do `main = do { r <- newIORef x; ... }`, then `r` effectively /is/ in scope for your entire application; it's just a matter of passing it down to the function that need it.
2024-07-14 15:56:58 +0200Inst_(~Inst@user/Inst) (Remote host closed the connection)
2024-07-14 15:57:30 +0200Inst_(~Inst@user/Inst)
2024-07-14 15:57:48 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds)
2024-07-14 16:00:40 +0200leah2(~leah@vuxu.org)
2024-07-14 16:01:34 +0200jasper(~jasper@89-186-96-155.pool.digikabel.hu)
2024-07-14 16:01:48 +0200 <melodev> it's precisely the passing things down that is giving me trouble
2024-07-14 16:01:50 +0200jasperjasperr
2024-07-14 16:03:35 +0200 <Leary> Well, ReaderT essentially does it for you. You just have to lift/unlift IO instead.
2024-07-14 16:04:17 +0200 <jasperr> hello. I need a help with a quick and dirty fix, need to convert String that has UTF8 content to ISO-8859-1
2024-07-14 16:05:53 +0200 <mauke> what about characters that can't be represented?
2024-07-14 16:06:05 +0200 <jasperr> found Data.String.UTF8Decoding, but that seems to stip extended ASCII characters
2024-07-14 16:06:12 +0200 <jasperr> á. é, í etc.
2024-07-14 16:07:44 +0200tomku(~tomku@user/tomku) (Remote host closed the connection)
2024-07-14 16:07:59 +0200tomku(~tomku@user/tomku)
2024-07-14 16:08:35 +0200 <jasperr> the ones that are html-encoded like &aacute; or &ouml;
2024-07-14 16:10:39 +0200alexherbo2(~alexherbo@2a02-8440-3205-7bee-0dae-8ca9-d6fc-3fa3.rev.sfr.net) (Remote host closed the connection)
2024-07-14 16:11:56 +0200jcarpenter2(~lol@2603:3016:1e01:b940:b169:4b35:90eb:1648) (Ping timeout: 256 seconds)
2024-07-14 16:14:58 +0200CiaoSen(~Jura@2a05:5800:2b3:d800:e6b9:7aff:fe80:3d03) (Ping timeout: 245 seconds)
2024-07-14 16:16:13 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 258 seconds)
2024-07-14 16:20:29 +0200 <jasperr> I get many "at input position xxx: InvalidLaterByte 1" errors back from Data.String.UTF8Decoding.DecodeUtf8
2024-07-14 16:21:16 +0200 <jasperr> befiore my attempt if I redirected stdout to file, iconv command made the conversion correctly...
2024-07-14 16:23:31 +0200leah2(~leah@vuxu.org) (Ping timeout: 264 seconds)
2024-07-14 16:26:46 +0200 <mauke> sounds like you don't have UTF-8 then
2024-07-14 16:27:11 +0200 <mauke> wait, you said String. how would even get a String with UTF-8 in it?
2024-07-14 16:27:51 +0200jasperr(~jasper@89-186-96-155.pool.digikabel.hu) (Quit: Client closed)
2024-07-14 16:29:59 +0200 <tomsmeding> yeah there seem to be multiple inconsistent things here :p
2024-07-14 16:30:32 +0200 <tomsmeding> oh they left
2024-07-14 16:36:12 +0200rosco(~rosco@175.136.155.137)
2024-07-14 16:37:04 +0200jasperr(~jasperr@89-186-96-155.pool.digikabel.hu)
2024-07-14 16:37:26 +0200 <EvanR> extended ascii html encoded utf-8
2024-07-14 16:37:52 +0200 <EvanR> pretty standard
2024-07-14 16:38:14 +0200 <jasperr> sorry, my network connection had an issue... I wonder if I missed any reply wrt. quick and dirty fix to convert String of UTF8 content to iso-8859-1
2024-07-14 16:38:26 +0200 <EvanR> String isn't UTF8
2024-07-14 16:38:43 +0200 <EvanR> maybe you are using UTF8 to mean "unicode text", rather than the encoding scheme UTF-8
2024-07-14 16:38:47 +0200 <jasperr> html encoding was used by me to make sure that there is no issue with irc clients
2024-07-14 16:39:20 +0200 <jasperr> I do not have html encoding in my original String, just utf8, and I need iso-8859-1
2024-07-14 16:39:39 +0200 <mauke> how did you get UTF-8 in a String?
2024-07-14 16:39:39 +0200 <EvanR> if you have String then you almost certainly don't have UTF-8
2024-07-14 16:39:42 +0200 <mauke> that part makes no sense
2024-07-14 16:39:50 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
2024-07-14 16:41:27 +0200 <mauke> encoding goes from text to bytes; decoding goes from bytes to text
2024-07-14 16:41:30 +0200 <mauke> String stores text
2024-07-14 16:41:37 +0200 <jasperr> well, I have Strings and at the end it is UTF-8. actually this is a compiler, I started to write decades ago
2024-07-14 16:41:39 +0200 <mauke> utf-8 and latin-1 are encodings and live in the "bytes" part
2024-07-14 16:41:46 +0200 <EvanR> there's a package called "encoding" on hackage which includes a codec for iso-8859-1
2024-07-14 16:41:58 +0200 <mauke> jasperr: that still makes no sense
2024-07-14 16:42:19 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-14 16:42:28 +0200 <jasperr> I know the correct way to develop anew would be using ByteString
2024-07-14 16:42:40 +0200 <tomsmeding> type String = [Char]
2024-07-14 16:42:44 +0200 <tomsmeding> a Char is essentially an Int
2024-07-14 16:42:48 +0200 <jasperr> but I do not want to completely rewrite everything
2024-07-14 16:42:52 +0200 <tomsmeding> a Char contains a whole unicode codepoint
2024-07-14 16:43:02 +0200 <tomsmeding> hence a String does not have an "encoding" -- it's literally a list of unicode code points
2024-07-14 16:43:15 +0200 <jasperr> tomsmeding: that's why I told it has UTF-8 content
2024-07-14 16:43:23 +0200 <mauke> what
2024-07-14 16:43:26 +0200 <tomsmeding> you can _encode_ a String to UTF8 by encoding each of the Chars in there to 1, 2, 3 or 4 bytes
2024-07-14 16:43:28 +0200 <EvanR> String is unencoded, there's no encoding
2024-07-14 16:43:37 +0200 <tomsmeding> you can also _encode_ it to some other representation, e.g. UTF16 or UTF32
2024-07-14 16:43:51 +0200 <tomsmeding> a String itself does not yet have an encoding
2024-07-14 16:44:07 +0200leah2(~leah@vuxu.org)
2024-07-14 16:44:16 +0200 <EvanR> "my String has UTF-8 content" no it doesn't. Alternatively, you mean to say there's non-ascii text in there
2024-07-14 16:44:17 +0200 <tomsmeding> UTF8 is a particular way to represent unicode codepoints as bytes
2024-07-14 16:44:37 +0200 <mauke> you could encode a String as utf-8, then decode those bytes as latin-1. that's the only thing I can think of that would kind of fit "utf-8 in a String"
2024-07-14 16:44:44 +0200 <jasperr> the string is a result of some IO operations, and the input file is UTF-8 encoded
2024-07-14 16:44:56 +0200 <EvanR> which IO operation
2024-07-14 16:44:56 +0200 <tomsmeding> "unicode" and "UTF8" are very different things, and while some people like to confuse them, the distinction becomes very important when talking about changing encodings
2024-07-14 16:45:29 +0200 <jasperr> actually, just readFile at the end
2024-07-14 16:45:35 +0200 <mauke> using which encoding?
2024-07-14 16:45:48 +0200 <EvanR> prelude readFile?
2024-07-14 16:45:58 +0200 <EvanR> it decodes the file using the locale
2024-07-14 16:46:07 +0200 <tomsmeding> it's possible that readFile parsed some other encoding that UTF8 depending on the environment, but however it is, it _produced_ a String that does not have an encoding
2024-07-14 16:46:41 +0200 <jasperr> tomsmeding: the input is correct UTF8, and yes, Prelude.readFile provides String
2024-07-14 16:46:47 +0200 <tomsmeding> % "あ"
2024-07-14 16:46:47 +0200 <yahb2> "\12354"
2024-07-14 16:46:51 +0200 <tomsmeding> % length "あ"
2024-07-14 16:46:51 +0200 <yahb2> 1
2024-07-14 16:46:55 +0200 <EvanR> the file might have UTF-8 encoding but the String you get doesn't
2024-07-14 16:47:05 +0200 <mauke> > System.IO.localeEncoding
2024-07-14 16:47:06 +0200 <lambdabot> error:
2024-07-14 16:47:06 +0200 <lambdabot> Not in scope: ‘System.IO.localeEncoding’
2024-07-14 16:47:06 +0200 <lambdabot> No module named ‘System.IO’ is imported.
2024-07-14 16:47:09 +0200 <mauke> aw
2024-07-14 16:47:11 +0200 <tomsmeding> that's a String with 1 Char in it; the Char has value 12354
2024-07-14 16:47:17 +0200 <tomsmeding> % System.IO.localeEncoding
2024-07-14 16:47:17 +0200 <yahb2> UTF-8
2024-07-14 16:47:43 +0200 <jasperr> EvanR: yep, it is not the String that has the encoding, just the content of the string complies with UTF-8
2024-07-14 16:47:43 +0200 <tomsmeding> now if you would encode "あ" as UTF8, you'd get 3 bytes: 0xE3, 0x81, 0x82
2024-07-14 16:47:52 +0200 <tomsmeding> the content of the string is unicode
2024-07-14 16:47:55 +0200 <EvanR> the content of the file you mean
2024-07-14 16:47:57 +0200 <tomsmeding> which you could _encode_ as UTF-8
2024-07-14 16:48:17 +0200 <tomsmeding> you can also try to encode it as ISO-8859-1, but there will be a whole lot of unrepresentable characters that way
2024-07-14 16:48:21 +0200 <tomsmeding> s/characters/codepoints/
2024-07-14 16:48:32 +0200 <mauke> jasperr: what does that mean?
2024-07-14 16:48:39 +0200 <tomsmeding> what you want is not UTF8 -> ISO-8859-1, you want String -> ISO-8859-1
2024-07-14 16:48:43 +0200 <tomsmeding> that's something very different
2024-07-14 16:48:44 +0200 <jasperr> I simply would like a String, which I output *by Prelude.putStrLn for example, it will be ISO-latin compliant
2024-07-14 16:49:00 +0200 <tomsmeding> do you want to output Latin-1 bytes on stdout?
2024-07-14 16:49:02 +0200 <jasperr> and yes, that is dirty a bit, but I am looking for a quick and dirty fix
2024-07-14 16:49:08 +0200 <mauke> jasperr: hSetEncoding on the output handle
2024-07-14 16:50:11 +0200 <EvanR> :t hSetEncoding latin1
2024-07-14 16:50:13 +0200 <lambdabot> error:
2024-07-14 16:50:13 +0200 <lambdabot> Variable not in scope: hSetEncoding :: t0 -> t
2024-07-14 16:50:13 +0200 <lambdabot> error: Variable not in scope: latin1
2024-07-14 16:50:31 +0200 <tomsmeding> % :t \h -> System.IO.hSetEncoding h System.IO.latin1
2024-07-14 16:50:31 +0200 <yahb2> \h -> System.IO.hSetEncoding h System.IO.latin1 ; :: GHC.IO.Handle.Types.Handle -> IO ()
2024-07-14 16:50:47 +0200 <mauke> @let import System.IO
2024-07-14 16:50:48 +0200 <lambdabot> Defined.
2024-07-14 16:50:54 +0200 <mauke> :t hSetEncoding latin1
2024-07-14 16:50:55 +0200 <lambdabot> error:
2024-07-14 16:50:55 +0200 <lambdabot> • Couldn't match expected type ‘Handle’
2024-07-14 16:50:55 +0200 <lambdabot> with actual type ‘TextEncoding’
2024-07-14 16:51:01 +0200 <mauke> good :-)
2024-07-14 16:51:01 +0200 <EvanR> I got the arguments wrong
2024-07-14 16:51:15 +0200 <EvanR> :t flip hSetEncoding latin1
2024-07-14 16:51:16 +0200 <lambdabot> Handle -> IO ()
2024-07-14 16:52:39 +0200 <tomsmeding> jasperr: you could also see if the 'text-latin1' package still compiles, and if it does, if '\str -> Data.ByteString.pack <$> mapM Text.Latin1.maybeLatin1 str' does what you want
2024-07-14 16:52:54 +0200 <jasperr> I guess hsetEncoding stdout latin1 is the missing idea (assuming correct import command, of course )
2024-07-14 16:53:20 +0200 <tomsmeding> is it easy to explain why you want to output in latin1 encoding on stdout?
2024-07-14 16:53:22 +0200 <EvanR> a solution to a problem not involving utf-8 in any way xD
2024-07-14 16:53:38 +0200 <jasperr> because there is a legacy program i would like to feed
2024-07-14 16:53:52 +0200 <tomsmeding> I see
2024-07-14 16:54:08 +0200 <tomsmeding> and your stdout is connected to its stdin via a pipe
2024-07-14 16:54:13 +0200 <jasperr> I have a compiler for music notation and I would like to provide my output for Mup (see arkkra.com). as a new backend
2024-07-14 16:54:54 +0200 <jasperr> and that "new" backend supports ISO-latin only, plus their own way of encoding anything else...
2024-07-14 16:55:19 +0200 <mauke> "ISO-latin" doesn't actually mean anything, btw
2024-07-14 16:55:20 +0200 <tomsmeding> if the intent is to write to a file instead of stdout, it's probably better to explictly write to a file in Haskell and set the encoding on that file handle instead
2024-07-14 16:55:30 +0200 <jasperr> actually ISO-8859-1
2024-07-14 16:55:51 +0200 <jasperr> no, my intent is stdout, I might trick in bach with pipes
2024-07-14 16:55:51 +0200 <mauke> good, that's latin-1
2024-07-14 16:56:00 +0200 <jasperr> bash
2024-07-14 16:56:02 +0200 <tomsmeding> because terminals, other programs, etc. are going to be quite surprised if a program outputs invalid UTF-8 (and latin1-encoded text typically doesn't parse as UTF-8)
2024-07-14 16:56:51 +0200 <tomsmeding> you're going to see ? marks etc. if you just run your program in a terminal without connecting up your stdout with Mup :)
2024-07-14 16:57:17 +0200Teacup(~teacup@user/teacup) (Server closed connection)
2024-07-14 16:57:18 +0200 <jasperr> mup is writing a postscript output :)
2024-07-14 16:57:22 +0200 <mauke> (but there's also e.g. latin-1 == ISO-8859-9, latin-7 == ISO-8859-13, etc)
2024-07-14 16:57:28 +0200Teacup(~teacup@user/teacup)
2024-07-14 16:57:34 +0200 <mauke> s/latin-1/latin-5
2024-07-14 16:58:38 +0200 <EvanR> who came up with this numbering scheme damn
2024-07-14 16:59:05 +0200 <jasperr> I am especially concerned with Hungarian characters, we are lucky with latin2, only the hungarumlaut for o becomes a tilde and for u becomes a circumflex... but for those I will just use Prelude.replace to put Mup's own encoding :)
2024-07-14 16:59:33 +0200 <jasperr> EvanR now that is pretty "for historical reasons" :)
2024-07-14 16:59:48 +0200 <mauke> ő?
2024-07-14 17:00:17 +0200 <jasperr> yep, ő and ű (and Ő and Ű of course)
2024-07-14 17:01:09 +0200 <jasperr> and I just dont want an ugly map of replacements for all the other latin-2 characters
2024-07-14 17:03:05 +0200 <EvanR> you're trying to reencoding something representable in latin-2 as latin-1 ?
2024-07-14 17:04:19 +0200 <jasperr> something like that but that part is trivial
2024-07-14 17:04:31 +0200 <EvanR> it is?
2024-07-14 17:05:07 +0200cpressey(~weechat@176.254.71.203)
2024-07-14 17:05:43 +0200 <jasperr> only four characters are problematic, and there I need to use a special escaped sequence like "\(ohungarumlaut)" that is interpreted by the program I want to compile the input for
2024-07-14 17:06:05 +0200 <EvanR> yeesh
2024-07-14 17:06:27 +0200 <EvanR> somebody should come up with one universal character set once and for all
2024-07-14 17:06:52 +0200 <c_wraith> we could call it unichar
2024-07-14 17:07:47 +0200 <jasperr> well, poststcipt glyph names was one good old first shot, far far before unicode and utf8
2024-07-14 17:08:16 +0200 <jasperr> and now for dealing wiht hystorical reasons this is a mix of all 3 a bit for me :)
2024-07-14 17:10:10 +0200 <tomsmeding> is there not some table mapping unicode codepoints to postscript escapes
2024-07-14 17:10:22 +0200 <tomsmeding> allowing you to output pure-ascii
2024-07-14 17:11:50 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 265 seconds)
2024-07-14 17:15:10 +0200mikess(~mikess@user/mikess)
2024-07-14 17:15:59 +0200 <jasperr> hSetEncoding stdout latin1 has fixed my problem, it works :)
2024-07-14 17:17:49 +0200 <tomsmeding> yay
2024-07-14 17:21:27 +0200Square2(~Square@user/square) (Ping timeout: 246 seconds)
2024-07-14 17:26:59 +0200jasperr(~jasperr@89-186-96-155.pool.digikabel.hu) (Ping timeout: 256 seconds)
2024-07-14 17:28:23 +0200SanchayanMaity(sid478177@id-478177.hampstead.irccloud.com) (Server closed connection)
2024-07-14 17:28:34 +0200SanchayanMaity(sid478177@2a03:5180:f:4::7:4be1)
2024-07-14 17:28:45 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:f1e3:4747:4928:80a0)
2024-07-14 17:37:19 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:f1e3:4747:4928:80a0) (Quit: Leaving)
2024-07-14 17:40:41 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (Server closed connection)
2024-07-14 17:40:50 +0200mrmonday(~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15)
2024-07-14 17:40:51 +0200cpressey(~weechat@176.254.71.203)
2024-07-14 17:43:36 +0200 <EvanR> latin-1 not to be confused with latin-1 (pronounced "latin minus 1")
2024-07-14 17:43:37 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 258 seconds)
2024-07-14 17:43:53 +0200spenat(~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (Server closed connection)
2024-07-14 17:44:05 +0200spenat(~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se)
2024-07-14 17:44:17 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-07-14 17:46:33 +0200 <tomsmeding> that would be latin−1
2024-07-14 17:47:05 +0200 <tomsmeding> (try https://tomsmeding.com/unicode if you're confused)
2024-07-14 17:47:47 +0200aljazmc(~aljazmc@user/aljazmc) (Quit: Leaving)
2024-07-14 17:48:07 +0200tomku(~tomku@user/tomku) (Ping timeout: 264 seconds)
2024-07-14 17:51:38 +0200rncwnd(~quassel@2a01:4f8:221:27c6::1) (Server closed connection)
2024-07-14 17:51:50 +0200rncwnd(~quassel@2a01:4f8:221:27c6::1)
2024-07-14 17:53:27 +0200nckx(nckx@libera/staff/owl/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>)
2024-07-14 17:55:51 +0200nckx(nckx@libera/staff/owl/nckx)
2024-07-14 17:57:29 +0200CiaoSen(~Jura@2a05:5800:2b3:d800:e6b9:7aff:fe80:3d03)
2024-07-14 17:59:30 +0200tomku(~tomku@user/tomku)
2024-07-14 18:04:19 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 264 seconds)
2024-07-14 18:06:09 +0200filipondios(~filipondi@static-54-169-85-188.ipcom.comunitel.net)
2024-07-14 18:07:07 +0200filipondios(~filipondi@static-54-169-85-188.ipcom.comunitel.net) (Client Quit)
2024-07-14 18:07:08 +0200Boarders_____(sid425905@id-425905.lymington.irccloud.com) (Server closed connection)
2024-07-14 18:07:22 +0200Boarders_____(sid425905@id-425905.lymington.irccloud.com)
2024-07-14 18:11:21 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-07-14 18:13:31 +0200gmg(~user@user/gehmehgeh)
2024-07-14 18:14:53 +0200cpressey(~weechat@176.254.71.203)
2024-07-14 18:17:12 +0200danse-nr3(~danse-nr3@151.57.205.20)
2024-07-14 18:17:56 +0200jcarpenter2(~lol@2603:3016:1e01:b9a0:8e4:c63e:58e8:6f0b)
2024-07-14 18:22:55 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 264 seconds)
2024-07-14 18:23:47 +0200ash3en(~ash3en@2a01:c22:8d06:c000:cf5e:32f:8633:1f5c)
2024-07-14 18:29:06 +0200dhil(~dhil@2001:8e0:2014:3100:bb7f:d068:2ca0:8556)
2024-07-14 18:29:54 +0200tomku(~tomku@user/tomku) (Remote host closed the connection)
2024-07-14 18:30:09 +0200tomku(~tomku@user/tomku)
2024-07-14 18:30:19 +0200DragonMaus(~dragonmau@user/dragonmaus)
2024-07-14 18:30:20 +0200euphores(~SASL_euph@user/euphores)
2024-07-14 18:30:43 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 264 seconds)
2024-07-14 18:41:47 +0200ash3en(~ash3en@2a01:c22:8d06:c000:cf5e:32f:8633:1f5c) (Ping timeout: 256 seconds)
2024-07-14 18:41:50 +0200 <edwardk> latin minus the one character you are looking for?
2024-07-14 18:47:20 +0200jrm(~jrm@user/jrm) (Server closed connection)
2024-07-14 18:47:44 +0200jrm(~jrm@user/jrm)
2024-07-14 18:50:04 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-07-14 18:54:29 +0200ash3en(~ash3en@2a01:c22:8d06:c000:cf5e:32f:8633:1f5c)
2024-07-14 18:56:16 +0200oneeyedalien(~oneeyedal@user/oneeyedalien)
2024-07-14 18:56:53 +0200ash3en(~ash3en@2a01:c22:8d06:c000:cf5e:32f:8633:1f5c) (Remote host closed the connection)
2024-07-14 19:18:28 +0200cpressey(~weechat@176.254.71.203)
2024-07-14 19:18:47 +0200rosco(~rosco@175.136.155.137) (Quit: Lost terminal)
2024-07-14 19:27:07 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 264 seconds)
2024-07-14 19:49:26 +0200elevenkb(ab07dcdb5a@2a03:6000:1812:100::13ac) (Server closed connection)
2024-07-14 19:49:33 +0200elevenkb(ab07dcdb5a@2a03:6000:1812:100::13ac)
2024-07-14 20:01:50 +0200eso(a0662dfd5e@2a03:6000:1812:100::1266) (Server closed connection)
2024-07-14 20:01:57 +0200eso(a0662dfd5e@2a03:6000:1812:100::1266)
2024-07-14 20:05:17 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-14 20:06:29 +0200lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de) (Server closed connection)
2024-07-14 20:06:46 +0200lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de)
2024-07-14 20:07:03 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
2024-07-14 20:09:05 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-07-14 20:09:11 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-07-14 20:10:36 +0200danse-nr3is amazed yet once at the amount of simplification a pure function's signature (not in a Reader) provides when analysing code
2024-07-14 20:10:49 +0200CiaoSen(~Jura@2a05:5800:2b3:d800:e6b9:7aff:fe80:3d03) (Ping timeout: 258 seconds)
2024-07-14 20:11:56 +0200gmg(~user@user/gehmehgeh)
2024-07-14 20:12:15 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds)
2024-07-14 20:23:31 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2024-07-14 20:23:31 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-07-14 20:24:53 +0200Lord_of_Life_Lord_of_Life
2024-07-14 20:27:53 +0200leah2(~leah@vuxu.org) (Ping timeout: 245 seconds)
2024-07-14 20:31:59 +0200danse-nr3(~danse-nr3@151.57.205.20) (Quit: Leaving)
2024-07-14 20:37:28 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 245 seconds)
2024-07-14 20:37:40 +0200dsrt^(eodrys@c-98-242-74-66.hsd1.ga.comcast.net)
2024-07-14 20:43:55 +0200leah2(~leah@vuxu.org)
2024-07-14 20:45:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-14 20:51:26 +0200sm2n(ae95cb1267@user/sm2n) (Server closed connection)
2024-07-14 20:51:35 +0200sm2n(ae95cb1267@user/sm2n)
2024-07-14 20:51:40 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-07-14 21:02:17 +0200JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (Server closed connection)
2024-07-14 21:02:26 +0200JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3)
2024-07-14 21:03:50 +0200dispater(~dispater@mail.brprice.uk) (Server closed connection)
2024-07-14 21:04:10 +0200dispater(~dispater@mail.brprice.uk)
2024-07-14 21:05:23 +0200orcus(~orcus@mail.brprice.uk) (Server closed connection)
2024-07-14 21:05:23 +0200alethkit(23bd17ddc6@sourcehut/user/alethkit) (Server closed connection)
2024-07-14 21:05:33 +0200alethkit(23bd17ddc6@sourcehut/user/alethkit)
2024-07-14 21:05:43 +0200orcus(~orcus@mail.brprice.uk)
2024-07-14 21:06:07 +0200michalz(~michalz@185.246.207.205)
2024-07-14 21:08:18 +0200leah2(~leah@vuxu.org) (Ping timeout: 245 seconds)
2024-07-14 21:08:29 +0200esph(~weechat@user/esph) (Server closed connection)
2024-07-14 21:08:49 +0200esph(~weechat@user/esph)
2024-07-14 21:17:47 +0200yaroot(~yaroot@p2987138-ipngn7501souka.saitama.ocn.ne.jp) (Server closed connection)
2024-07-14 21:18:01 +0200yaroot(~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c)
2024-07-14 21:18:33 +0200oneeyedalien(~oneeyedal@user/oneeyedalien) (Quit: Leaving)
2024-07-14 21:19:20 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (Server closed connection)
2024-07-14 21:19:36 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2024-07-14 21:21:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-14 21:22:51 +0200leah2(~leah@vuxu.org)
2024-07-14 21:28:12 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-07-14 21:28:43 +0200rvalue(~rvalue@user/rvalue)
2024-07-14 21:32:28 +0200aforemny_(~aforemny@i59F516EC.versanet.de) (Ping timeout: 258 seconds)
2024-07-14 21:50:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-14 21:51:54 +0200cpressey(~weechat@176.254.71.203)
2024-07-14 21:52:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-07-14 21:53:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-14 21:54:59 +0200SteelBlueSilk(~SteelBlue@user/SteelBlueSilk) (Server closed connection)
2024-07-14 21:55:41 +0200SteelBlueSilk(~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net)
2024-07-14 21:55:41 +0200SteelBlueSilk(~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host)
2024-07-14 21:55:41 +0200SteelBlueSilk(~SteelBlue@user/SteelBlueSilk)
2024-07-14 21:59:32 +0200tomboy64(~tomboy64@user/tomboy64) (Server closed connection)
2024-07-14 22:00:00 +0200tomboy64(~tomboy64@user/tomboy64)
2024-07-14 22:00:31 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-07-14 22:02:47 +0200Sgeo(~Sgeo@user/sgeo)
2024-07-14 22:12:43 +0200dhil(~dhil@2001:8e0:2014:3100:bb7f:d068:2ca0:8556) (Ping timeout: 258 seconds)
2024-07-14 22:18:14 +0200Leary(~Leary@user/Leary/x-0910699) (Server closed connection)
2024-07-14 22:20:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-14 22:24:20 +0200dagi78319(~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Server closed connection)
2024-07-14 22:25:59 +0200Ranhir(~Ranhir@157.97.53.139) (Server closed connection)
2024-07-14 22:26:28 +0200Ranhir(~Ranhir@157.97.53.139)
2024-07-14 22:27:56 +0200Leary(~Leary@user/Leary/x-0910699)
2024-07-14 22:28:10 +0200phma(phma@2001:5b0:210b:d718:d66b:9fbd:325d:b421) (Read error: Connection reset by peer)
2024-07-14 22:28:57 +0200phma(~phma@host-67-44-208-22.hnremote.net)
2024-07-14 22:36:56 +0200vizimajac(~Rodney@97e7368c.skybroadband.com)
2024-07-14 22:47:08 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-14 22:48:13 +0200califax(~califax@user/califx)
2024-07-14 22:50:16 +0200pavonia(~user@user/siracusa)
2024-07-14 22:53:53 +0200jjhoo(~jahakala@user/jjhoo) (Server closed connection)
2024-07-14 22:54:09 +0200jjhoo(~jahakala@user/jjhoo)
2024-07-14 22:55:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-07-14 22:59:20 +0200dsrt^(eodrys@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-07-14 23:03:03 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 260 seconds)
2024-07-14 23:06:36 +0200cpressey(~weechat@176.254.71.203) (Ping timeout: 265 seconds)
2024-07-14 23:17:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-14 23:18:41 +0200Yumemi(~Yumemi@2001:bc8:47a0:1b14::1) (Server closed connection)
2024-07-14 23:18:59 +0200Yumemi(~Yumemi@chamoin.net)
2024-07-14 23:20:05 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection)
2024-07-14 23:20:25 +0200hgolden(~hgolden@syn-172-251-233-141.res.spectrum.com)
2024-07-14 23:22:15 +0200michalz(~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in)
2024-07-14 23:35:44 +0200mesaoptimizer(~mesaoptim@user/PapuaHardyNet) (Server closed connection)
2024-07-14 23:36:12 +0200mesaoptimizer(~mesaoptim@user/PapuaHardyNet)
2024-07-14 23:47:20 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-14 23:50:01 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-07-14 23:52:03 +0200oo_miguel(~Thunderbi@78.10.207.46) (Ping timeout: 260 seconds)
2024-07-14 23:53:32 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 258 seconds)