Home liberachat/#haskell: Logs Calendar

Logs on 2024-07-14 (liberachat/#haskell)

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

All times are in UTC on 2024-07-14.