Newest at the top
| 2026-04-27 21:02:03 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-04-27 21:00:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-27 20:59:11 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 272 seconds) |
| 2026-04-27 20:58:19 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-27 20:56:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 20:50:11 +0000 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2026-04-27 20:47:37 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-27 20:47:12 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-27 20:45:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-27 20:44:38 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-27 20:44:12 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-27 20:41:55 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-27 20:40:23 +0000 | janus | . o O ( SELECT CAST(...), CAST(...) FROM (SELECT ...) LATERAL (SELECT ...) ) |
| 2026-04-27 20:38:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 20:37:48 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-27 20:37:31 +0000 | <janus> | now i have an excuse to learn it :) |
| 2026-04-27 20:37:19 +0000 | <janus> | Seems like hackage-server is going to use rel8 |
| 2026-04-27 20:36:54 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-27 20:31:16 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-27 20:30:59 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-27 20:27:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 20:22:03 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) |
| 2026-04-27 20:21:59 +0000 | <haskellbridge> | <ijouw> Oh, thanks |
| 2026-04-27 20:21:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 20:20:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-27 20:19:49 +0000 | <EvanR> | the DirStream functions in here? https://downloads.haskell.org/ghc/9.8.2/docs/libraries/unix-2.8.4.0-b036/System-Posix-Directory-Po… |
| 2026-04-27 20:17:16 +0000 | <haskellbridge> | <ijouw> I am trying to use PosixPath but am stuck on how I enumerate things in a directory or convert to a representation that allows it. Is there an overview? |
| 2026-04-27 20:13:35 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-27 20:12:16 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-27 20:11:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-27 20:06:19 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-27 20:06:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 20:06:01 +0000 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2026-04-27 20:01:56 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-04-27 20:00:17 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2026-04-27 20:00:03 +0000 | thenightmail` | (~whoareyou@user/thenightmail) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-27 19:59:58 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2026-04-27 19:59:35 +0000 | gabriel_sevecek | (~gabriel@92-180-224-71.dynamic.orange.sk) gabriel_sevecek |
| 2026-04-27 19:59:04 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-27 19:58:30 +0000 | gabriel_sevecek | (~gabriel@92-180-224-71.dynamic.orange.sk) (Quit: WeeChat 4.9.0) |
| 2026-04-27 19:57:13 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-04-27 19:55:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-27 19:54:32 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-27 19:50:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 19:48:05 +0000 | r1bilski_ | (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-27 19:45:26 +0000 | <davean> | They can be forced into enumeration but they try to avoid it and do only a ... pertial enumeration, not to feed __monty__ |
| 2026-04-27 19:44:57 +0000 | <davean> | Yah and SMT solvers very much try to NOT have to cover all of them |
| 2026-04-27 19:39:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-27 19:39:03 +0000 | layline-away | (~layline@149.154.26.56) (Quit: ZZZzzz…) |
| 2026-04-27 19:36:55 +0000 | Googulator53 | (~Googulato@78-131-16-66.pool.digikabel.hu) |