2025-05-23 00:01:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 00:01:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 00:04:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-05-23 00:08:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 00:09:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 00:10:10 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Remote host closed the connection) |
2025-05-23 00:11:42 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
2025-05-23 00:12:23 +0200 | davl | (~davl@207.154.228.18) (Read error: Connection reset by peer) |
2025-05-23 00:12:44 +0200 | davl | (~davl@207.154.228.18) davl |
2025-05-23 00:14:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 00:14:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 00:15:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 00:18:02 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-05-23 00:18:12 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-05-23 00:20:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 00:20:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 00:22:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-23 00:22:52 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
2025-05-23 00:24:22 +0200 | <Square> | Anyone know how to bypass "Internal error when trying to open a repl for the package fake-package-0. The package is not in the set of available targets for the project plan, which would suggest an inconsistency between readTargetSelectors and resolveTargets" |
2025-05-23 00:25:12 +0200 | <Square> | when issuing "cabal repl" in a multi module project? Filed here among other places https://github.com/haskell/cabal/issues/9983 |
2025-05-23 00:25:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 00:25:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 00:28:07 +0200 | <int-e> | this suggests that you're supposed to also provide a package name for loading into the repl |
2025-05-23 00:29:41 +0200 | <Square> | Yeah, easy to figure out. I'll try to onboard some colleagues into haskell land next week so i hoped I could offer a more user friendly experience. |
2025-05-23 00:31:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 00:32:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 00:32:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-23 00:33:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 00:36:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 00:36:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 00:38:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-23 00:42:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 00:42:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 00:48:06 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
2025-05-23 00:50:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 00:50:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 00:51:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-05-23 00:52:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 00:53:43 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Quit: Konversation terminated!) |
2025-05-23 00:57:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-05-23 00:57:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 00:58:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 01:01:14 +0200 | xff0x | (~xff0x@2405:6580:b080:900:65d9:fee1:57b4:c2d1) (Ping timeout: 245 seconds) |
2025-05-23 01:03:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 01:04:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 01:05:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:65d9:fee1:57b4:c2d1) |
2025-05-23 01:07:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 01:11:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 01:12:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 01:12:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-23 01:18:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 01:18:04 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-05-23 01:18:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 01:22:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-05-23 01:23:20 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-05-23 01:23:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 01:25:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 01:25:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 01:28:10 +0200 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
2025-05-23 01:28:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-23 01:30:17 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-23 01:31:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 01:32:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 01:33:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 01:36:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-05-23 01:39:37 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-05-23 01:43:36 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
2025-05-23 01:46:59 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Client Quit) |
2025-05-23 01:47:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 01:48:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 01:48:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 01:52:14 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f686104470de4bb3da9.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-05-23 01:52:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-23 01:56:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 01:56:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 02:02:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 02:03:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 02:03:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 02:04:44 +0200 | jespada | (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-05-23 02:08:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-05-23 02:08:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 02:08:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 02:16:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 02:16:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 02:19:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 02:21:51 +0200 | djmetzle | (~djmetzle@syn-141-126-079-209.res.spectrum.com) |
2025-05-23 02:22:10 +0200 | djmetzle | (~djmetzle@syn-141-126-079-209.res.spectrum.com) (Changing host) |
2025-05-23 02:22:10 +0200 | djmetzle | (~djmetzle@user/djmetzle) djmetzle |
2025-05-23 02:22:38 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-05-23 02:22:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 02:23:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 02:23:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-23 02:28:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 02:28:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 02:29:45 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2025-05-23 02:30:01 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-05-23 02:31:09 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
2025-05-23 02:34:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 02:35:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 02:35:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 02:35:45 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 272 seconds) |
2025-05-23 02:39:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-23 02:40:11 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-05-23 02:41:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 02:41:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 02:49:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 02:49:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 02:50:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 02:51:39 +0200 | craunts7 | (~craunts@136.158.8.87) |
2025-05-23 02:51:58 +0200 | craunts7 | (~craunts@136.158.8.87) (Client Quit) |
2025-05-23 02:52:51 +0200 | craunts7 | (~craunts@136.158.8.87) |
2025-05-23 02:53:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-23 02:56:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-05-23 02:57:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 02:57:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 03:03:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 03:04:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 03:06:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 03:07:00 +0200 | mange | (~user@user/mange) mange |
2025-05-23 03:10:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 03:10:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 03:11:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:65d9:fee1:57b4:c2d1) (Ping timeout: 252 seconds) |
2025-05-23 03:13:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-23 03:14:02 +0200 | df | (~ben@justworks.xyz) (Ping timeout: 252 seconds) |
2025-05-23 03:14:16 +0200 | df | (~ben@justworks.xyz) |
2025-05-23 03:18:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 03:19:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 03:24:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 03:25:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 03:25:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 03:26:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-05-23 03:29:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-23 03:31:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 03:31:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 03:39:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 03:39:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 03:40:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 03:45:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-23 03:46:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 03:46:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 03:52:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 03:53:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 03:56:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 03:59:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 03:59:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 04:01:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-23 04:05:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 04:05:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 04:06:04 +0200 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
2025-05-23 04:06:54 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
2025-05-23 04:09:16 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-05-23 04:10:05 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-05-23 04:11:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 04:12:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 04:13:19 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-05-23 04:13:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 04:17:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 04:17:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 04:17:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-23 04:23:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 04:23:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 04:25:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-05-23 04:27:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 04:28:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 04:28:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 04:33:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 04:33:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 04:34:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-23 04:38:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-05-23 04:41:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 04:42:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 04:43:14 +0200 | philopsos | (~caecilius@user/philopsos) philopsos |
2025-05-23 04:44:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 04:48:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 04:48:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 04:51:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-23 04:52:15 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2025-05-23 04:53:04 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
2025-05-23 04:53:30 +0200 | pierrot | (~pi@user/pierrot) pierrot |
2025-05-23 04:54:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 04:54:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 04:57:33 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2025-05-23 04:57:52 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2025-05-23 05:02:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 05:02:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 05:03:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 05:08:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-23 05:10:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 05:13:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 05:14:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 05:15:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-23 05:21:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 05:22:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 05:25:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 05:27:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-23 05:28:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 05:29:04 +0200 | aforemny | (~aforemny@2001:9e8:6ce6:ef00:2fd7:e80c:fba:7604) aforemny |
2025-05-23 05:29:33 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc7:2b00:37c8:f56f:dea9:2687) (Ping timeout: 276 seconds) |
2025-05-23 05:30:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-05-23 05:34:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 05:34:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-05-23 05:35:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 05:35:52 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
2025-05-23 05:36:09 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) codedmart |
2025-05-23 05:41:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 05:41:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 05:41:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 05:42:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
2025-05-23 05:46:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-05-23 05:46:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-05-23 05:48:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 05:48:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 05:54:11 +0200 | michalz | (~michalz@185.246.207.203) |
2025-05-23 05:56:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-05-23 05:57:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 05:58:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 05:58:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 06:02:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-23 06:06:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 06:06:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 06:12:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-23 06:12:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 06:13:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 06:14:27 +0200 | tavare | (~tavare@150.129.88.189) |
2025-05-23 06:14:28 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
2025-05-23 06:14:28 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-05-23 06:18:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-23 06:20:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 06:20:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 06:24:01 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2025-05-23 06:27:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 06:27:17 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-05-23 06:27:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 06:28:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 06:32:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 06:33:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 06:33:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-23 06:39:45 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 276 seconds) |
2025-05-23 06:39:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 06:40:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 06:44:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 06:44:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-05-23 06:44:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 06:44:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 06:48:10 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
2025-05-23 06:49:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-23 06:51:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 06:52:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 06:53:44 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-05-23 06:56:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2025-05-23 06:56:32 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
2025-05-23 06:56:46 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-05-23 06:56:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-05-23 07:00:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 07:00:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 07:00:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 07:05:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-23 07:07:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 07:07:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 07:09:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-05-23 07:10:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-05-23 07:11:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 07:13:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 07:14:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 07:16:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-23 07:20:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-23 07:20:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 07:23:37 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-05-23 07:27:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 07:27:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 07:28:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 07:33:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-05-23 07:34:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 07:34:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 07:40:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 07:40:45 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
2025-05-23 07:41:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 07:44:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 07:45:06 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-05-23 07:46:51 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-05-23 07:49:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 07:49:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 07:51:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-05-23 07:56:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 07:57:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 08:01:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-05-23 08:02:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 08:03:27 +0200 | iteratee_ | (~kyle@199.119.84.78) |
2025-05-23 08:03:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 08:03:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 08:04:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-05-23 08:06:13 +0200 | iteratee | (~kyle@199.119.84.78) (Ping timeout: 248 seconds) |
2025-05-23 08:07:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-05-23 08:08:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-05-23 08:08:50 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-05-23 08:09:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 08:10:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 08:12:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 08:12:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-05-23 08:16:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) |
2025-05-23 08:16:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 08:16:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 08:17:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-05-23 08:17:21 +0200 | j0lol | (~j0lol@132.145.17.236) (Remote host closed the connection) |
2025-05-23 08:17:35 +0200 | j0lol | (~j0lol@132.145.17.236) j0lol |
2025-05-23 08:18:20 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-23 08:22:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 08:23:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 08:24:35 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-05-23 08:27:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 08:28:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 08:29:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 08:32:07 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
2025-05-23 08:32:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-23 08:35:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 08:35:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 08:41:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 08:41:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 08:43:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 08:47:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 08:47:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 08:48:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-23 08:51:14 +0200 | craunts7 | (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
2025-05-23 08:51:28 +0200 | craunts7 | (~craunts@136.158.8.87) |
2025-05-23 08:51:45 +0200 | craunts7 | (~craunts@136.158.8.87) (Client Quit) |
2025-05-23 08:52:12 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-05-23 08:52:35 +0200 | craunts7 | (~craunts@136.158.8.87) |
2025-05-23 08:54:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 08:55:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 08:58:04 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-05-23 08:59:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-05-23 09:00:39 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-05-23 09:01:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 09:02:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 09:04:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-23 09:04:43 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
2025-05-23 09:09:33 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2025-05-23 09:09:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-05-23 09:10:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 09:10:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 09:10:47 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
2025-05-23 09:11:43 +0200 | remedan | (~remedan@ip-94-113-89-193.bb.vodafone.cz) remedan |
2025-05-23 09:13:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 09:13:23 +0200 | <tomsmeding> | hellwolf: yay :) |
2025-05-23 09:13:28 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
2025-05-23 09:15:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 09:15:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 09:18:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-05-23 09:23:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 09:23:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 09:23:49 +0200 | <Leary> | Is there a good reason why, if I have e.g `t :: (,) _ _`, GHC can't give me `t ~ '(,) _ _`? How dangerous is it for me to magic up such an equality? |
2025-05-23 09:25:23 +0200 | <haskellbridge> | <Morj> Omitting Nil also leads to some inconsistencies of functions for 2-tuples and [n>2]-tuples; that's why purescript doesn't omit it |
2025-05-23 09:25:25 +0200 | <haskellbridge> | <Morj> Like should snd be snd = cdr . car or snd = cdr |
2025-05-23 09:25:25 +0200 | <haskellbridge> | <Morj> *car . cdr, well you get it |
2025-05-23 09:25:25 +0200 | <haskellbridge> | <Morj> fromList elements are homogenous though |
2025-05-23 09:25:25 +0200 | <haskellbridge> | <Morj> No fromList [1, "one"] |
2025-05-23 09:25:25 +0200 | <haskellbridge> | <hellwolf> named wildcard |
2025-05-23 09:25:26 +0200 | <haskellbridge> | <hellwolf> check it out |
2025-05-23 09:25:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-05-23 09:26:09 +0200 | <haskellbridge> | <hellwolf> perhaps it can help, since that's the only way to provide additional information to wildcard |
2025-05-23 09:28:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 09:30:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 09:30:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 09:31:41 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2025-05-23 09:31:58 +0200 | innegatives | (~user@37.61.112.6) innegatives |
2025-05-23 09:32:14 +0200 | <innegatives> | Is there a recommended Haskell video course for absolute beginners? |
2025-05-23 09:35:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-23 09:35:21 +0200 | <[exa]> | good question, I started with the written ones |
2025-05-23 09:35:22 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-05-23 09:35:39 +0200 | <[exa]> | lemme check, there's been a good list of resources on haskell wiki |
2025-05-23 09:36:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 09:36:38 +0200 | <[exa]> | some of stuff here is videos actually https://wiki.haskell.org/index.php?title=Tutorials |
2025-05-23 09:37:13 +0200 | <innegatives> | ok thanks |
2025-05-23 09:37:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-23 09:37:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 09:38:25 +0200 | <[exa]> | also maybe here https://wiki.haskell.org/index.php?title=Learning_Haskell |
2025-05-23 09:39:38 +0200 | <[exa]> | btw innegatives are you programming already or is this te first time coding? |
2025-05-23 09:39:48 +0200 | <innegatives> | been programming for 10+ years |
2025-05-23 09:39:55 +0200 | <tomsmeding> | Leary: is t a term or a type? |
2025-05-23 09:40:10 +0200 | <hellwolf> | 05-23 10:39 <innegatives> been programming for 10+ years |
2025-05-23 09:40:10 +0200 | <hellwolf> | which language(s)? |
2025-05-23 09:40:25 +0200 | <innegatives> | the usual, c++, javascript, typescript, go, python, etc |
2025-05-23 09:40:43 +0200 | <Leary> | tomsmeding: type |
2025-05-23 09:40:48 +0200 | <[exa]> | innegatives: unless you totally need videos you might have luck skimming through this https://learnyouahaskell.github.io/, it's a good book but there aren't exercises. But you should be able to invent some. |
2025-05-23 09:42:39 +0200 | <tomsmeding> | Leary: do you mean something specific by writing `(,) _ _` instead of `(a, b)`? |
2025-05-23 09:42:53 +0200 | <[exa]> | oh wow the wiki has a tutorial on tutorials https://wiki.haskell.org/index.php?title=Meta-tutorial |
2025-05-23 09:43:32 +0200 | <Leary> | tomsmeding: No, just avoiding the complexities of quantification/unification etc. |
2025-05-23 09:44:01 +0200 | <Leary> | My "magic" looks like: `matchTup :: forall {k1} {k2} (t :: (k1, k2)) r. (forall (a :: k1) (b :: k2). t :~: '(a, b) -> r) -> r; matchTup k = k (unsafeCoerce (Refl @t))` |
2025-05-23 09:44:30 +0200 | <[exa]> | innegatives: and for a practical programmer, this is indispensable https://wiki.haskell.org/index.php?title=How_to_write_a_Haskell_program |
2025-05-23 09:44:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 09:45:02 +0200 | user3 | (~user@37.61.120.251) |
2025-05-23 09:45:09 +0200 | chele | (~chele@user/chele) chele |
2025-05-23 09:45:16 +0200 | <tomsmeding> | Leary: I guess one could say that you're asking: do type-level pairs have an eta law |
2025-05-23 09:45:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 09:45:39 +0200 | innegatives | (~user@37.61.112.6) (Ping timeout: 276 seconds) |
2025-05-23 09:46:31 +0200 | <tomsmeding> | I don't think GHC ever reasons with eta laws in type checking |
2025-05-23 09:47:09 +0200 | user3 | innegatives |
2025-05-23 09:50:39 +0200 | <tomsmeding> | innegatives: that "how to write a haskell program" is mostly good but a little outdated |
2025-05-23 09:51:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-05-23 09:52:35 +0200 | <tomsmeding> | don't add a Setup.hs; use `cabal build` to build instead of sandbox/install; use `cabal run` to run (also builds automatically) if needed; never run `cabal install` except if you want to globally install a binary in ~/.cabal/bin; you'll need to add dependencies to the `build-depends:` field of the <name>.cabal file (think package.json) |
2025-05-23 09:53:17 +0200 | <tomsmeding> | uploading documentation to hackage is also much simpler than written there, but you'll get there when you get there |
2025-05-23 09:54:06 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-05-23 09:54:39 +0200 | <tomsmeding> | the Libraries section is mostly bunk today because it's considered a very bad idea to install libraries globally; you declaratively depend on libraries, and if you need to depend on something that's not on Hackage, use a https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html file (note: <package>.cabal and cabal.project are NOT the same thing, confusingly) |
2025-05-23 09:55:54 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-05-23 09:56:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 09:56:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 09:57:13 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-23 09:58:41 +0200 | <haskellbridge> | <sm> innegatives here's a recent list of all the stuff: https://joyful.com/Haskell+map |
2025-05-23 09:58:53 +0200 | <innegatives> | thanks dudes |
2025-05-23 09:59:45 +0200 | <tomsmeding> | [exa]: honestly, https://cabal.readthedocs.io/en/stable/getting-started.html is much less extensive than that guide, but good enough for starting |
2025-05-23 09:59:49 +0200 | <tomsmeding> | innegatives: ^ |
2025-05-23 09:59:58 +0200 | <tomsmeding> | with the advantage that it's actually up to date |
2025-05-23 10:00:25 +0200 | <[exa]> | true |
2025-05-23 10:00:39 +0200 | <tomsmeding> | if you need more than the getting started guide, you'll be in a good enough position to read more |
2025-05-23 10:01:14 +0200 | djmetzle | (~djmetzle@user/djmetzle) (Quit: Client closed) |
2025-05-23 10:02:50 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2025-05-23 10:02:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 10:03:12 +0200 | <tomsmeding> | added a link to that guide at the top of the wiki page |
2025-05-23 10:03:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 10:07:04 +0200 | <dminuoso> | [exa]: If possible, I would consider cabal data-files rather than trying to hack them into the binary file. |
2025-05-23 10:07:07 +0200 | <dminuoso> | Via TH |
2025-05-23 10:09:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 10:09:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 10:12:25 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2025-05-23 10:13:08 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2025-05-23 10:13:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 10:14:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 10:15:07 +0200 | <tomsmeding> | do those work if you do weird things like include a package as a git dependency? |
2025-05-23 10:15:45 +0200 | <[exa]> | dminuoso: yeah I'd love to, the issue is that there's no applicable package installation system on the other end, so in this case I really want to make a blob into the executable to keep stuff simple for the users |
2025-05-23 10:15:55 +0200 | <tomsmeding> | my experience with cabal data files is that they mostly don't work unless you get a package from hackage or install it globally, but maybe things have changed |
2025-05-23 10:16:08 +0200 | <haskellbridge> | <sm> data-files is totally fragile, waste of time IMHO |
2025-05-23 10:16:30 +0200 | <[exa]> | tbh it worked for me on the few occasions I could use it |
2025-05-23 10:17:22 +0200 | <[exa]> | as in, debian packaging can work with it, so you can do a debian package that distributes its own data without touching debtools, which is a win |
2025-05-23 10:19:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-05-23 10:19:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-23 10:20:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 10:21:38 +0200 | Digitteknohippie | Digit |
2025-05-23 10:22:40 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-05-23 10:24:23 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-05-23 10:24:23 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-05-23 10:26:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 10:26:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 10:31:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 10:32:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 10:32:36 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
2025-05-23 10:34:21 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-05-23 10:34:34 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-05-23 10:34:53 +0200 | haritz | (~hrtz@152.37.68.157) |
2025-05-23 10:34:53 +0200 | haritz | (~hrtz@152.37.68.157) (Changing host) |
2025-05-23 10:34:53 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-05-23 10:35:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 10:35:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 10:36:48 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-05-23 10:37:09 +0200 | <dminuoso> | sm, tomsmeding: Fragility is a problem if you consider hackage to be a realistic package deployment system. |
2025-05-23 10:37:19 +0200 | <dminuoso> | (Or cabal-install + hackage, rather) |
2025-05-23 10:39:01 +0200 | <dminuoso> | It might somewhat accepted a haskell developer audience who dont mind meddling with the usual problems (updating cabal index, fixing build plan issues, waiting half an hour on compiling kmettiverse and all the rest..) |
2025-05-23 10:39:35 +0200 | <dminuoso> | But honestly, when I install shellcheck or pandoc, I just want a binary. |
2025-05-23 10:40:23 +0200 | <dminuoso> | (Or rather, I want my package system to ship with some package that contains all the bits compiled and packaged by someone and somewhere else) |
2025-05-23 10:40:52 +0200 | <tomsmeding> | dminuoso: I trust that data files work if you install a thing from hackage. What I've had problems with in the past is, if I remember correctly, _anything else_ |
2025-05-23 10:41:16 +0200 | <tomsmeding> | if I `cabal run` a test suite, will the library have access to data files? |
2025-05-23 10:41:27 +0200 | <tomsmeding> | if I depend on a package via `source-repository-package`, will that thing have its data files? |
2025-05-23 10:41:36 +0200 | <haskellbridge> | <sm> even in that case, they work on the day you install them, but then your app breaks in future when you upgrade ghc, clean out old .cabal files, etc. |
2025-05-23 10:42:01 +0200 | <dminuoso> | tomsmeding: For any non-trivial package, I dont expect any cabal commands to work. Id expect the git repository to have some described mechanism to set up a deterministic environment. |
2025-05-23 10:42:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 10:42:15 +0200 | <tomsmeding> | I expect `cabal run` to work. |
2025-05-23 10:42:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 10:42:27 +0200 | <tomsmeding> | (if the package has an executable) |
2025-05-23 10:42:28 +0200 | <dminuoso> | tomsmeding: Consider GHC, you really want to `nix-shell` or `nix develop` from its repository to do any work |
2025-05-23 10:42:56 +0200 | <tomsmeding> | GHC is a special case that gets allowed its build system madness because it's old and predates cabal |
2025-05-23 10:43:20 +0200 | <dminuoso> | I dont think age is relevant at all. GHC has a complicated staged build process. |
2025-05-23 10:43:26 +0200 | <dminuoso> | It's simply not trivial. |
2025-05-23 10:43:29 +0200 | <tomsmeding> | if you need something that's so complex that even a custom Setup.hs can't handle it, simplify your build process, or justify why you're special |
2025-05-23 10:43:41 +0200 | <dminuoso> | While yes, you probably could rebuild it all in Setup.hs with enough energy.. |
2025-05-23 10:43:43 +0200 | <tomsmeding> | dminuoso: ah right, I forgot about the staged build |
2025-05-23 10:43:52 +0200 | <tomsmeding> | okay staged ghc build gets a pass too |
2025-05-23 10:44:34 +0200 | <tomsmeding> | (i.e. staged build is sufficient justification for being special :p) |
2025-05-23 10:44:56 +0200 | <tomsmeding> | I'm not saying that every haskell codebase everywhere must run with `cabal run`, just that the _vast majority_ has not enough claim to specialness to not do so |
2025-05-23 10:45:09 +0200 | <dminuoso> | Besides, the fragility of data-files by itself is perhaps a good indicator why relying on hackage is not the best of ideas. |
2025-05-23 10:45:24 +0200 | <tomsmeding> | dminuoso: I'm talking about everything _but_ hackage lol |
2025-05-23 10:45:28 +0200 | <dminuoso> | Oh. |
2025-05-23 10:45:43 +0200 | <tomsmeding> | if you get a package from hackage, its data files probably work fine |
2025-05-23 10:45:51 +0200 | <dminuoso> | See, Im building via haskell.nix to get deterministic behavior *and* all the custom nonsense without meddling with Setup.hs :) |
2025-05-23 10:46:04 +0200 | <tomsmeding> | good for you :) |
2025-05-23 10:46:09 +0200 | <dminuoso> | It's still headaches, but honestly there just are no sane build systems in this world. |
2025-05-23 10:46:17 +0200 | <dminuoso> | No it's still bad for me. |
2025-05-23 10:46:40 +0200 | <tomsmeding> | significant non-haskell dependencies that require build steps _might_ also get a pass to need a custom build system |
2025-05-23 10:47:00 +0200 | <tomsmeding> | Accelerate builds some C++ stuff in certain build modes and does so via Setup.hs, but it's fragile |
2025-05-23 10:47:50 +0200 | <tomsmeding> | but my point is: data files are something rather basic, and if they prohibit standard things that I expect to do with cabal packages, then it's data files that are broken, not `cabal run` |
2025-05-23 10:48:25 +0200 | <dminuoso> | I would much prefer text sections in my resulting object files embedded by cabal, rather than as the result of a TH splice. |
2025-05-23 10:48:28 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 272 seconds) |
2025-05-23 10:48:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 10:48:44 +0200 | tomsmeding | doesn't care very much about that difference |
2025-05-23 10:48:49 +0200 | <dminuoso> | Because with file-embed you're tying a build system into the parsing stage of your compiler... |
2025-05-23 10:49:00 +0200 | <tomsmeding> | there's a philosophical niceness about having data in a separate file on disk from your executable code |
2025-05-23 10:49:00 +0200 | <dminuoso> | What if the content needs to be customizable? |
2025-05-23 10:49:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 10:49:08 +0200 | <dminuoso> | Are you going to propagate cabal flags via CPP to influence TH? |
2025-05-23 10:49:39 +0200 | <dminuoso> | Or maybe you could generate CPP macros in your Setup.hs which are substitude in the middle of a TH splice |
2025-05-23 10:49:41 +0200 | <dminuoso> | Fun. |
2025-05-23 10:49:47 +0200 | <tomsmeding> | dminuoso: are you advocating for embedding a little programming language in cabal files so that we can move the customisation there? |
2025-05-23 10:49:56 +0200 | <haskellbridge> | <sm> I'm sure justine tunney (cosmopolitan c etc) has solutions! |
2025-05-23 10:50:10 +0200 | <dminuoso> | Well the programming language for build customization is Setup.hs? |
2025-05-23 10:50:20 +0200 | <tomsmeding> | oh I see |
2025-05-23 10:50:26 +0200 | <dminuoso> | Im just suggesting, it would be nice to embed binary data via .cabal rather than TH |
2025-05-23 10:50:50 +0200 | <tomsmeding> | I'm not against |
2025-05-23 10:50:53 +0200 | <sclv> | cabal run is about the only circumstance where datafiles don't just immediately work, and it is something that should be fixed. however, its pretty straightforward to hack around that |
2025-05-23 10:51:14 +0200 | <tomsmeding> | sclv: thanks for confirming my shakey memory about this :p |
2025-05-23 10:51:17 +0200 | <sclv> | eg give the binary a flag to let it read files from a specified directory |
2025-05-23 10:51:52 +0200 | <sclv> | the issue with run is the binary isn't "installed" anywhere, so the datafiles don't get placed in a location the binary knows to look em up in |
2025-05-23 10:51:58 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-05-23 10:52:33 +0200 | <tomsmeding> | it makes sense from an architectural perspective, but as a user, I mean, the first thing you ever do is essentially `cabal run` https://cabal.readthedocs.io/en/stable/getting-started.html |
2025-05-23 10:53:06 +0200 | <dminuoso> | sclv: So I guess one solution would be to actually install it into some temporary place? |
2025-05-23 10:53:14 +0200 | <dminuoso> | And tear it down afterwards? |
2025-05-23 10:53:34 +0200 | tomsmeding | . o O ( cabal install --lib --package-env=some-dir ) |
2025-05-23 10:53:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 10:54:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 10:56:15 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
2025-05-23 10:57:06 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-05-23 10:59:43 +0200 | <tomsmeding> | dminuoso: oh, and re GHC: `hadrian/build -j` works fine, no need for nix |
2025-05-23 10:59:54 +0200 | <tomsmeding> | though I haven't yet tried to get HLS to work |
2025-05-23 10:59:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 11:00:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 11:01:05 +0200 | innegatives | (~user@37.61.120.251) (Quit: WeeChat 4.5.2) |
2025-05-23 11:03:02 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:3da1:7dc9:9cd1:6849) ubert |
2025-05-23 11:07:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 11:12:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 11:17:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 11:18:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 11:22:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 11:22:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 11:25:14 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-05-23 11:25:46 +0200 | haritz | (~hrtz@152.37.68.157) |
2025-05-23 11:25:46 +0200 | haritz | (~hrtz@152.37.68.157) (Changing host) |
2025-05-23 11:25:46 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-05-23 11:30:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-23 11:30:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 11:37:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 11:37:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 11:39:02 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-05-23 11:44:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 11:44:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 11:51:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 11:52:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 11:53:37 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
2025-05-23 11:56:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-23 11:57:30 +0200 | omegatron | (~some@user/omegatron) omegatron |
2025-05-23 11:57:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-23 11:57:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 11:58:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
2025-05-23 12:04:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 12:04:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 12:05:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
2025-05-23 12:08:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 12:10:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 12:11:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 12:13:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-23 12:14:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-05-23 12:14:13 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-05-23 12:14:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-23 12:16:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 12:16:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 12:18:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
2025-05-23 12:19:44 +0200 | <tomsmeding> | with tasty, what are the possibilities for programmatically setting a bunch of options on a test suite |
2025-05-23 12:20:22 +0200 | <tomsmeding> | for API purposes, I'd prefer to have a single value that contains possibly multiple options to be set; OptionSet seems perfect, but I can't find a way to have tasty _use_ an OptionSet! |
2025-05-23 12:20:26 +0200 | flounders | (~flounders@24.246.181.22) (Quit: WeeChat 4.6.3) |
2025-05-23 12:22:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 12:23:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 12:24:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 12:25:06 +0200 | mange | (~user@user/mange) (Quit: Zzz...) |
2025-05-23 12:26:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 12:26:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 12:33:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 12:33:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 12:35:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-05-23 12:40:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-23 12:40:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 12:42:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 12:42:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 12:44:44 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-05-23 12:45:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 12:45:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 12:52:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-05-23 12:52:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 12:52:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 12:53:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 12:59:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 12:59:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 13:01:59 +0200 | jespada | (~jespada@r167-61-220-219.dialup.adsl.anteldata.net.uy) jespada |
2025-05-23 13:02:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-05-23 13:03:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-23 13:04:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 13:04:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 13:11:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 13:11:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 13:11:44 +0200 | <haskellbridge> | <Morj> Are there any ML-like languages targeted at being embedded into other programs? Something like lua, but functional and statically typed and preferably with no braces when calling a function :-) |
2025-05-23 13:11:46 +0200 | <haskellbridge> | <Morj> I looked through the list here: https://github.com/dbohdan/embedded-scripting-languages - but it's just a lot of lisps |
2025-05-23 13:11:48 +0200 | <haskellbridge> | <Liamzee> AI just told me i'm unethical for using it. |
2025-05-23 13:17:22 +0200 | <[exa]> | Liamzee: was it AI tho? I rolled 1d6 and it says certainly not |
2025-05-23 13:17:25 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f25155e18f2fff4c02d.dip0.t-ipconnect.de) acidjnk |
2025-05-23 13:18:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 13:18:23 +0200 | <[exa]> | Morj: the usual question is what would you like to do with that language. And "interpreted + no braces when calling a function" leaves you little choice with known design, it's going to be either lisp or hidden lisp |
2025-05-23 13:18:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 13:26:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-23 13:27:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-23 13:30:06 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2025-05-23 13:31:32 +0200 | Digit | (~user@user/digit) (Ping timeout: 268 seconds) |