Newest at the top
| 2026-04-16 07:52:17 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 272 seconds) |
| 2026-04-16 07:47:32 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 07:47:32 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-16 07:44:52 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) |
| 2026-04-16 07:44:22 +0000 | Googulator | (~Googulato@94-21-172-213.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-16 07:44:03 +0000 | tromp | (~textual@2001:1c00:340e:2700:68be:1bd6:d97b:c11e) |
| 2026-04-16 07:43:46 +0000 | foul_owl | (~kerry@94.156.149.97) (Read error: Connection reset by peer) |
| 2026-04-16 07:40:22 +0000 | <drbean> | I am now able to solve that problem by running ghcup install .., cabal update in a windows 'cmd' shell. |
| 2026-04-16 07:38:46 +0000 | <drbean> | I wasn't able to do that downloading the cabal package index. It wasn't reporting a URL. |
| 2026-04-16 07:37:33 +0000 | <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:34:28 +0000 | <drbean> | 6 hrs ago, here, I posted about ghcup, cabal downloading problems running them in a MSYS2 shell. |
| 2026-04-16 07:32:49 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 245 seconds) |
| 2026-04-16 07:32:29 +0000 | jreicher | (~joelr@user/jreicher) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-16 07:30:51 +0000 | drbean | (~drbean@softbank126022010209.bbtec.net) owuser |
| 2026-04-16 07:30:02 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-16 07:28:28 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 07:22:06 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-16 07:22:06 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:94bc:c513:e806:9a8f) (Changing host) |
| 2026-04-16 07:22:06 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:94bc:c513:e806:9a8f) |
| 2026-04-16 07:10:49 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-16 07:09:35 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-16 07:06:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-16 07:06:09 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 255 seconds) |
| 2026-04-16 07:03:32 +0000 | <gentauro> | 23:42 <@janus> https://github.com/solomon-b/lambda-calculus-hs/ janus that seems like a nice project |
| 2026-04-16 07:01:38 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 07:01:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 06:57:19 +0000 | noxp | (~noxp@2600:1700:2050:1040::49) (Ping timeout: 276 seconds) |
| 2026-04-16 06:55:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-16 06:50:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 06:50:02 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-16 06:46:24 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 244 seconds) |
| 2026-04-16 06:41:59 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 06:41:48 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-04-16 06:39:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-16 06:37:04 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) Enrico63 |
| 2026-04-16 06:34:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 06:33:22 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-04-16 06:33:09 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-16 06:30:15 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-16 06:29:57 +0000 | raincomplex | (~rain@user/raincomplex) raincomplex |
| 2026-04-16 06:29:57 +0000 | raincomplex | (~rain@pool-173-54-178-82.nwrknj.fios.verizon.net) (Changing host) |
| 2026-04-16 06:29:57 +0000 | raincomplex | (~rain@pool-173-54-178-82.nwrknj.fios.verizon.net) |
| 2026-04-16 06:22:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-16 06:21:22 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-04-16 06:16:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-16 06:15:02 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 268 seconds) |
| 2026-04-16 06:12:45 +0000 | noxp | (~noxp@2600:1700:2050:1040::49) noxp |
| 2026-04-16 06:10:07 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 06:05:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-16 06:02:43 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 272 seconds) |