Newest at the top
| 2026-04-16 08:20:55 +0000 | Enrico63 | (~Enrico63@host-79-42-237-9.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-16 08:19:41 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-16 08:15:46 +0000 | uli-fem | (~uli-fem@203.87.114.209) (Ping timeout: 248 seconds) |
| 2026-04-16 08:13:49 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 268 seconds) |
| 2026-04-16 08:11:40 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-16 08:11:04 +0000 | uli-fem | (~uli-fem@203.87.114.209) |
| 2026-04-16 08:06:38 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2026-04-16 08:06:20 +0000 | xal | (~xal@mx1.xal.systems) (Quit: No Ping reply in 180 seconds.) |
| 2026-04-16 08:03:45 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-16 08:02:29 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-16 08:01:34 +0000 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-04-16 07:59:44 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-04-16 07:59:22 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-04-16 07:56:30 +0000 | sapphire-arches | (~sapphire-@user/sapphire-arches) (Quit: sapphire-arches) |
| 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 |