Logs: liberachat/#haskell
| 2026-04-16 04:46:16 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-16 04:46:32 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2026-04-16 04:49:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-16 04:49:31 | xff0x_ | is now known as xff0x |
| 2026-04-16 04:53:24 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-16 04:53:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-16 04:55:00 | → | monochrom joins (trebla@216.138.220.146) |
| 2026-04-16 05:04:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-16 05:05:01 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-16 05:09:16 | → | Guest36 joins (~Guest36@2601:41:4301:bff1:a886:9743:2b36:55a6) |
| 2026-04-16 05:09:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-16 05:09:54 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-16 05:14:36 | → | michalz joins (~michalz@185.246.207.221) |
| 2026-04-16 05:19:37 | × | raincomplex quits (~rain@user/raincomplex) (Ping timeout: 248 seconds) |
| 2026-04-16 05:20:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-16 05:21:29 | × | Guest36 quits (~Guest36@2601:41:4301:bff1:a886:9743:2b36:55a6) (Quit: Client closed) |
| 2026-04-16 05:24:09 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-16 05:25:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-16 05:29:46 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-16 05:31:21 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-16 05:39:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-16 05:44:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-16 05:45:27 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-16 05:46:00 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-16 05:54:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-16 05:59:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-16 06:00:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-16 06:02:43 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 272 seconds) |
| 2026-04-16 06:05:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-16 06:10:07 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-16 06:12:45 | → | noxp joins (~noxp@2600:1700:2050:1040::49) |
| 2026-04-16 06:15:02 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 268 seconds) |
| 2026-04-16 06:16:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-16 06:21:22 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-04-16 06:22:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-16 06:29:57 | → | raincomplex joins (~rain@pool-173-54-178-82.nwrknj.fios.verizon.net) |
| 2026-04-16 06:29:57 | × | raincomplex quits (~rain@pool-173-54-178-82.nwrknj.fios.verizon.net) (Changing host) |
| 2026-04-16 06:29:57 | → | raincomplex joins (~rain@user/raincomplex) |
| 2026-04-16 06:30:15 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-16 06:33:09 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-16 06:33:22 | → | poscat joins (~poscat@user/poscat) |
| 2026-04-16 06:34:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-16 06:37:04 | → | Enrico63 joins (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) |
| 2026-04-16 06:39:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-16 06:41:48 | × | czan quits (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-04-16 06:41:59 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-16 06:46:24 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-16 06:50:02 | × | ft quits (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-16 06:50:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-16 06:55:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-16 06:57:19 | × | noxp quits (~noxp@2600:1700:2050:1040::49) (Ping timeout: 276 seconds) |
| 2026-04-16 07:01:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-16 07:01:38 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-16 07:03:32 | <gentauro> | 23:42 <@janus> https://github.com/solomon-b/lambda-calculus-hs/ janus that seems like a nice project |
| 2026-04-16 07:06:09 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-16 07:06:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-16 07:09:35 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-16 07:10:49 | → | CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de) |
| 2026-04-16 07:22:06 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:94bc:c513:e806:9a8f) |
| 2026-04-16 07:22:06 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:94bc:c513:e806:9a8f) (Changing host) |
| 2026-04-16 07:22:06 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-16 07:28:28 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-16 07:30:02 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-16 07:30:51 | → | drbean joins (~drbean@softbank126022010209.bbtec.net) |
| 2026-04-16 07:32:29 | × | jreicher quits (~joelr@user/jreicher) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-16 07:32:49 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-16 07:34:28 | <drbean> | 6 hrs ago, here, I posted about ghcup, cabal downloading problems running them in a MSYS2 shell. |
| 2026-04-16 07:37:33 | <drbean> | I was able to workaround the ghcup downloading problem using curl downloading from the URL ghcup reported to ghcup's cache, and installing from the cache. |
| 2026-04-16 07:38:46 | <drbean> | I wasn't able to do that downloading the cabal package index. It wasn't reporting a URL. |
| 2026-04-16 07:40:22 | <drbean> | I am now able to solve that problem by running ghcup install .., cabal update in a windows 'cmd' shell. |
| 2026-04-16 07:43:46 | × | foul_owl quits (~kerry@94.156.149.97) (Read error: Connection reset by peer) |
| 2026-04-16 07:44:03 | → | tromp joins (~textual@2001:1c00:340e:2700:68be:1bd6:d97b:c11e) |
| 2026-04-16 07:44:22 | × | Googulator quits (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-16 07:44:52 | → | Googulator joins (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-16 07:47:32 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-16 07:47:32 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-16 07:52:17 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 272 seconds) |
| 2026-04-16 07:56:30 | × | sapphire-arches quits (~sapphire-@user/sapphire-arches) (Quit: sapphire-arches) |
| 2026-04-16 07:59:22 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-04-16 07:59:44 | → | alter2000 joins (~alter2000@user/alter2000) |
| 2026-04-16 08:01:34 | → | foul_owl joins (~kerry@94.156.149.94) |
| 2026-04-16 08:02:29 | × | rainbyte quits (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-16 08:03:45 | → | rainbyte joins (~rainbyte@181.47.219.3) |
| 2026-04-16 08:06:20 | × | xal quits (~xal@mx1.xal.systems) (Quit: No Ping reply in 180 seconds.) |
| 2026-04-16 08:06:38 | → | xal joins (~xal@mx1.xal.systems) |
| 2026-04-16 08:11:04 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-16 08:11:40 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-16 08:13:49 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 268 seconds) |
| 2026-04-16 08:15:46 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-16 08:19:41 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-16 08:20:55 | × | Enrico63 quits (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-16 08:30:07 | → | uli-fem joins (~uli-fem@203.87.114.209) |
| 2026-04-16 08:34:48 | × | uli-fem quits (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-16 08:40:12 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-16 08:45:20 | <drbean> | Perhaps that failure,curl: (6) getaddrinfo() thread failed to start |
| 2026-04-16 08:45:22 | <drbean> | [\\ Error ] [GHCup-05841] Download failed: Process "curl" with arguments ["-fL", "-o", |
| 2026-04-16 08:46:12 | <drbean> | [ ... ] "C:\\ghcup\\tmp\\ghcup-b8584d5329d547aa etc, etc |
| 2026-04-16 08:48:23 | <drbean> | is due to different curls, MYS2's and the cmd shell Windows' one. |
| 2026-04-16 08:55:36 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2026-04-16 08:56:57 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
All times are in UTC.