Logs on 2024-10-26 (liberachat/#haskell)
| 00:00:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:00:39 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 00:03:09 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:05:00 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 00:05:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 00:06:24 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:10:24 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 00:15:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:20:20 | → | hgolden__ joins (~hgolden@146.70.173.165) |
| 00:20:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:22:53 | × | hgolden_ quits (~hgolden@169.150.203.10) (Ping timeout: 245 seconds) |
| 00:24:22 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 00:26:03 | → | Digit joins (~user@user/digit) |
| 00:27:05 | → | synchromesh joins (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) |
| 00:30:04 | → | synchrom1 joins (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) |
| 00:30:24 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 00:31:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:32:34 | × | synchromesh quits (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 260 seconds) |
| 00:32:40 | → | synchrom2 joins (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) |
| 00:33:29 | tabemann_ | is now known as tabemann |
| 00:35:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:35:31 | × | synchrom1 quits (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 252 seconds) |
| 00:38:31 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:38:36 | → | gmg joins (~user@user/gehmehgeh) |
| 00:45:18 | → | synchromesh joins (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) |
| 00:46:30 | → | synchrom1 joins (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) |
| 00:46:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:48:19 | × | synchrom2 quits (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 260 seconds) |
| 00:49:34 | × | synchromesh quits (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 244 seconds) |
| 00:52:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 01:00:54 | → | habib joins (~habib@146.70.119.186) |
| 01:01:03 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 01:02:20 | <habib> | hey, does anyone know if it's possible to pass key values with spaces in to hadrian when building ghc? no matter how i quote or escape i can't seem to do it, and i've even been reading the hadrian source code, and it seems it's impossible; please tell me i'm missing something, because i could really do with this to fix a problem with a cross-compile build on openbsd |
| 01:03:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:08:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 01:18:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:23:47 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 01:34:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:38:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:49:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:56:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:58:24 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 02:07:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:12:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 02:14:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:22:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:25:14 | → | weary-traveler joins (~user@user/user363627) |
| 02:30:21 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:30:32 | × | spew quits (~spew@155.133.15.67) (Quit: spew) |
| 02:33:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:36:53 | × | td_ quits (~td@i5387090F.versanet.de) (Ping timeout: 252 seconds) |
| 02:37:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:38:53 | → | td_ joins (~td@i5387093A.versanet.de) |
| 02:39:00 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 02:46:41 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 02:48:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:50:46 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 02:53:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 02:59:15 | × | xff0x quits (~xff0x@2405:6580:b080:900:c8b8:61af:1cb3:d380) (Ping timeout: 244 seconds) |
| 03:00:49 | → | xff0x joins (~xff0x@2405:6580:b080:900:c8b8:61af:1cb3:d380) |
| 03:04:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:04:24 | × | td_ quits (~td@i5387093A.versanet.de) (Ping timeout: 252 seconds) |
| 03:06:27 | → | td_ joins (~td@i53870937.versanet.de) |
| 03:08:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:19:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:24:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:31:55 | → | gorignak joins (~gorignak@user/gorignak) |
| 03:34:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:39:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 03:50:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:53:58 | × | Zer000 quits (~02@64.137.132.10) (Quit: Leaving) |
| 03:57:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:57:38 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:10:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:18:01 | → | Guest15 joins (~Guest15@138.199.60.25) |
| 04:18:36 | × | Guest15 quits (~Guest15@138.199.60.25) (Client Quit) |
| 04:19:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 04:30:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:32:34 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 04:34:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 04:45:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:50:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:56:37 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 05:02:11 | × | poscat0x04 quits (~poscat@user/poscat) (Quit: Bye) |
| 05:02:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:07:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 05:10:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:13:30 | × | arahael quits (~arahael@user/arahael) (Quit: Reconnecting) |
| 05:13:42 | → | arahael joins (~arahael@user/arahael) |
| 05:14:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:23:40 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 05:27:53 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 05:30:23 | × | alioguzhan quits (~Thunderbi@78.173.69.170) (Ping timeout: 245 seconds) |
| 05:30:29 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 248 seconds) |
| 05:31:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:35:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:38:53 | <kqr> | Leary, Thanks. That is too complicated. I'm working on a library that will be interfacing with a main project backed by Persistent. However, I want the library to be relatively agnostic of where it is plugged in, i.e. it should not depend on the main project. I was imagining a newtype wrapper around something generic like a ByteString to contain references to entities in the main project, to avoid |
| 05:38:55 | <kqr> | what I fear would become complicated generics if I just keep that type unconstrained. I want relatively new Haskell programmers to be able to work on the library in a pinch. |
| 05:46:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:48:35 | → | arahael joins (~arahael@user/arahael) |
| 05:53:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:58:43 | → | poscat joins (~poscat@user/poscat) |
| 06:00:48 | → | rosco joins (~rosco@60.53.7.10) |
| 06:06:59 | → | rvalue joins (~rvalue@user/rvalue) |
| 06:09:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:12:26 | → | poscat0x04 joins (~poscat@user/poscat) |
| 06:13:09 | × | nitrix quits (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:13:19 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 264 seconds) |
| 06:13:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:15:21 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 06:15:38 | → | alioguzhan joins (~Thunderbi@78.173.95.204) |
| 06:17:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:21:24 | → | harveypwca joins (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 06:21:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 06:30:46 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:32:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:37:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:47:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:52:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:55:56 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 255 seconds) |
| 06:57:27 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 07:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:14 | × | JamesMowery4 quits (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 07:00:31 | → | JamesMowery43 joins (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 07:00:37 | → | caconym joins (~caconym@user/caconym) |
| 07:02:13 | → | Square joins (~Square@user/square) |
| 07:03:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:07:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:13:14 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb93b5372362da7684c9.dip0.t-ipconnect.de) |
| 07:18:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:21:22 | × | AlexNoo quits (~AlexNoo@178.34.162.25) (Read error: Connection reset by peer) |
| 07:22:05 | → | AlexNoo joins (~AlexNoo@178.34.162.25) |
| 07:22:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:25:36 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 07:26:32 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 07:28:01 | × | harveypwca quits (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 07:33:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:35:48 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:36:01 | × | euphores quits (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 07:37:00 | → | euphores joins (~SASL_euph@user/euphores) |
| 07:40:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:40:24 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 07:43:34 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 07:44:45 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 07:53:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:54:01 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 07:58:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:02:37 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 08:02:37 | Pixi` | is now known as Pixi |
| 08:13:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:17:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:19:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:25:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 08:35:00 | × | ubert quits (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 08:36:09 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 08:37:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:40:20 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:41:20 | → | billchenchina- joins (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) |
| 08:41:24 | × | billchenchina- quits (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) (Remote host closed the connection) |
| 08:41:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 08:44:08 | × | rosco quits (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 08:52:02 | → | Guest38 joins (~Guest38@58.182.144.85) |
| 08:52:03 | × | sawilagar quits (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 08:52:18 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 08:52:27 | → | billchenchina- joins (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) |
| 08:52:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:56:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 09:04:15 | <haskellbridge> | <tux314159> lambdabot> 1+2 |
| 09:04:29 | <Rembane> | > 1 + 2 |
| 09:04:30 | <lambdabot> | 3 |
| 09:04:36 | <Rembane> | See if that works better |
| 09:04:36 | <haskellbridge> | <tux314159> ahh |
| 09:04:54 | <haskellbridge> | <tux314159> > Just "hi" |
| 09:04:56 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:05:08 | <haskellbridge> | <tux314159> > Just 2 |
| 09:05:30 | <haskellbridge> | <tux314159> > 1 + 2 |
| 09:06:05 | <haskellbridge> | <tux314159> hmm maybe it doesn't work through matrix |
| 09:06:54 | <Rembane> | That might be the case, because the bridge adds your nick before > and that makes everything confusing for the bot |
| 09:07:05 | → | ash3en1 joins (~Thunderbi@146.70.124.222) |
| 09:07:17 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 09:07:18 | ash3en1 | is now known as ash3en |
| 09:07:21 | <haskellbridge> | <tux314159> makes sense ha |
| 09:07:33 | <haskellbridge> | <tux314159> btw is this more active than the matrix? |
| 09:07:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:08:09 | × | Guest38 quits (~Guest38@58.182.144.85) (Quit: Client closed) |
| 09:08:46 | <tomsmeding> | tux314159: try putting the lambdabot command on the second line of your message |
| 09:08:56 | <Rembane> | I don't know since I'm not in the matrix, but this is a reasonably active IRC channel. |
| 09:08:58 | <haskellbridge> | <tux314159> > 1 + 2 |
| 09:09:04 | <tomsmeding> | the first line needs to be non-empty :) |
| 09:09:21 | <haskellbridge> | <tux314159> x |
| 09:09:21 | <haskellbridge> | > 1 + 2 |
| 09:09:23 | <lambdabot> | 3 |
| 09:09:37 | <haskellbridge> | <tux314159> oh wow thanks xD |
| 09:10:26 | <tomsmeding> | tux314159: for an idea of activity, there are logs https://ircbrowse.tomsmeding.com/browse/lchaskell |
| 09:10:41 | <haskellbridge> | <tux314159> think I'll ask here instead then - |
| 09:10:41 | <haskellbridge> | Hmm is there any reason the MonadFail instance for ExceptT has `fail = ExceptT . fail`? Seems a bit odd, since the whole point of exceptT is to handle these, not bubble them up to the next monad |
| 09:11:04 | <tomsmeding> | ExceptT doesn't necessarily have String as the first component |
| 09:11:16 | <tomsmeding> | similarly Either doesn't have the MonadFail instance you might expect |
| 09:11:31 | <tomsmeding> | (indeed, it has none) |
| 09:12:24 | <tomsmeding> | I think for Either the motivation is "there are arguments for an against a MonadFail instance for `Either String a`, so in dispute, let's do nothing" |
| 09:12:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 09:12:56 | <Rembane> | \o/ Orphan instances ftw! \o/ |
| 09:12:57 | <tomsmeding> | for ExceptT, perhaps the reasoning is "ExceptT is for explicit exceptions, and the fail from MonadFail is called also in perhaps unintended situations like partial pattern matches" |
| 09:13:26 | <haskellbridge> | <tux314159> actually that's precisely my usecase xD |
| 09:13:27 | <Rembane> | MonadFail is very good for making do-notation more succinct when only the happy flow is cared about |
| 09:13:29 | <tomsmeding> | % :t \m -> do { Nothing <- m; return "ok" } |
| 09:13:29 | <yahb2> | \m -> do { Nothing <- m; return "ok" } ; :: MonadFail m => m (Maybe a) -> m String |
| 09:13:51 | <haskellbridge> | <tux314159> instance Monad m => MonadFail (ExceptT String m) where |
| 09:13:51 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/gwoFNkeSYhMaeyAOqJyRqQGR/gklQIOtpBMU (3 lines) |
| 09:14:08 | <haskellbridge> | <tux314159> but it's more specific so... can I just enable OverlappingInstances xD |
| 09:14:11 | <tomsmeding> | make your own newtype around ExceptT? |
| 09:14:14 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:14:29 | <tomsmeding> | making newtypes around the monads from transformers/mtl is what people generally recommend anyway |
| 09:14:48 | <haskellbridge> | <tux314159> oh I tried that but it wants me to go ahead and define functor/appl/monad for my wrapper and it seems super high-effort for something os simple |
| 09:14:50 | <tomsmeding> | i.e. write your own newtype that internally uses the convenience of mtl stuff, and then write your app in terms of that newtype |
| 09:14:55 | <tomsmeding> | separate implementation from interface |
| 09:15:06 | <tomsmeding> | that's what you have -XGeneralizedNewtypeDeriving for |
| 09:15:12 | <tomsmeding> | deriving (Functor, Applicative, Monad) |
| 09:15:25 | <haskellbridge> | <tux314159> "couldn't eta reduce enough" or something |
| 09:15:34 | <tomsmeding> | what is your newtype precisely? |
| 09:15:46 | <tomsmeding> | it indeed needs to be in the appropriate form |
| 09:16:55 | <tomsmeding> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/newtype_deriving.html#generalising-the-deriving-clause , for reference |
| 09:17:41 | <haskellbridge> | <tux314159> oh I was trying `newtype ExceptT' e m a = ExceptT' { runExceptT' :: m (Either e a) } deriving (Functor, Applicative, Monad)` but I guess that's not the correct form? |
| 09:18:00 | <tomsmeding> | ah, the idea is that you put the existing transformers _inside_ your newtype |
| 09:18:17 | <tomsmeding> | `newtype App e a = App (ExceptT e IO a)` or something |
| 09:18:29 | <tomsmeding> | write your full stack, then put _that_ inside the newtype |
| 09:18:44 | <tomsmeding> | the 'a' that is the last type variable of 'App' must also be the last type variable in the type of the field |
| 09:18:53 | <Leary> | Or refer to the transformers with DerivingVia. Which gives you better type roles too. |
| 09:18:54 | <tomsmeding> | (in yours, it is not because it's inside an application to 'm') |
| 09:19:12 | <tomsmeding> | hm, right |
| 09:19:36 | <tomsmeding> | deriving (Functor, Applicative, Monad) via (ExceptT e m a) |
| 09:20:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:20:09 | <Leary> | via ExceptT e m |
| 09:20:09 | <haskellbridge> | <tux314159> I see, this thing works when the instances are equivalent when you peel back the newtype cosntructor? |
| 09:20:34 | <tomsmeding> | it works when your newtype is _coercible_ (as in `Data.Coerce`) to the thing you put after `via` |
| 09:20:44 | <tomsmeding> | so yes, the same after peeling off newtype constructors |
| 09:20:58 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:21:44 | tomsmeding | is afk for a while |
| 09:24:31 | <haskellbridge> | <tux314159> okay, thanks. but then this kind of runs into the dreaded n^2 instances issue with mtl doesn't it, I have to add every constraint I want to into the deriving |
| 09:24:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 09:24:34 | × | ash3en quits (~Thunderbi@146.70.124.222) (Ping timeout: 248 seconds) |
| 09:24:42 | → | ash3en1 joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 09:25:40 | <Leary> | Not really. Just pull through whatever ExceptT has that you need. |
| 09:27:08 | ash3en1 | is now known as ash3en |
| 09:27:54 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:30:42 | <haskellbridge> | <tux314159> hooray it works :D question though, would overlappinginstances have been acceptable in that case? since ExceptT String m a is more specific that ExceptT e m a |
| 09:30:52 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 09:34:41 | <Leary> | More specific than what? I thought the issue was that there /was/ no `instance MonadFail (ExceptT _ _)`. You should only have gotten an orphan instance warning. |
| 09:35:08 | <Leary> | Oh, wait, no. |
| 09:35:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:35:30 | <Leary> | Well, I guess you could get away with that. |
| 09:36:09 | <Leary> | But it's better not to tangle with overlapping instances without a good reason. |
| 09:40:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 09:50:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:54:41 | × | acidjnk_new quits (~acidjnk@p200300d6e72cfb93b5372362da7684c9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 09:55:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 10:02:02 | <haskellbridge> | <tux314159> alright then I will hold my temptation :p |
| 10:06:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:09:09 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 10:13:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:15:56 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 10:21:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:21:39 | × | mantraofpie quits (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 10:22:00 | → | mantraofpie joins (~mantraofp@user/mantraofpie) |
| 10:25:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 10:27:06 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 10:36:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:38:33 | <tomsmeding> | writing orphan instances and overlapping instances like that is fine if you're writing an application, and you are the one to deal with the consequences if things turn out to be awkward |
| 10:39:09 | <tomsmeding> | if you're writing a library, then orphan instances are a bad idea in general; overlapping instances can be fine if you carefully ensure that consumers won't get inconvenienced by them |
| 10:39:20 | <tomsmeding> | e.g. overlapping instances for your own classes are probably fine |
| 10:40:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 10:53:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:57:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 11:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 11:01:48 | → | scaniatrucker joins (~user@78.56.98.5) |
| 11:02:15 | → | caconym joins (~caconym@user/caconym) |
| 11:08:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:13:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:18:56 | × | scaniatrucker quits (~user@78.56.98.5) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 11:22:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:23:10 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 11:23:49 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 11:26:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:28:15 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 246 seconds) |
| 11:37:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:42:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 11:44:49 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 11:46:14 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:49:16 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 11:52:24 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 11:52:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:54:10 | → | st_aldini1 joins (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) |
| 11:54:19 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:55:41 | × | st_aldini quits (~Thunderbi@136.48.22.91) (Ping timeout: 252 seconds) |
| 11:55:41 | st_aldini1 | is now known as st_aldini |
| 11:57:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 11:59:33 | → | alexherbo2 joins (~alexherbo@2a02-8440-320a-3eb1-60b1-b841-ee5c-86b3.rev.sfr.net) |
| 12:08:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:12:04 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 12:13:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 12:13:51 | → | Square joins (~Square@user/square) |
| 12:18:47 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 252 seconds) |
| 12:22:40 | → | Everything joins (~Everythin@178-133-157-238.mobile.vf-ua.net) |
| 12:23:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:25:49 | → | srazkvt joins (~sarah@user/srazkvt) |
| 12:27:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 12:38:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:41:57 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 12:44:21 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 12:45:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 12:48:00 | → | scaniatrucker joins (~user@78.56.98.5) |
| 12:56:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:00:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:03:00 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 13:09:07 | → | gentauro joins (~gentauro@user/gentauro) |
| 13:11:16 | × | synchrom1 quits (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Read error: Connection reset by peer) |
| 13:12:07 | → | synchromesh joins (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) |
| 13:12:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:15:03 | × | scaniatrucker quits (~user@78.56.98.5) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 13:15:04 | → | synchrom1 joins (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) |
| 13:16:45 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:17:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 13:17:41 | × | synchromesh quits (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 248 seconds) |
| 13:19:05 | → | synchromesh joins (~john@139.180.95.1) |
| 13:20:17 | × | synchrom1 quits (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 244 seconds) |
| 13:23:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:24:09 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 13:26:54 | × | Everything quits (~Everythin@178-133-157-238.mobile.vf-ua.net) (Ping timeout: 246 seconds) |
| 13:27:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:28:55 | → | Everything joins (~Everythin@195.138.86.118) |
| 13:29:32 | → | __monty__ joins (~toonn@user/toonn) |
| 13:29:50 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 13:30:17 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 13:32:28 | → | gmg joins (~user@user/gehmehgeh) |
| 13:38:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:44:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:44:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 13:55:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:59:09 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 13:59:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 14:01:52 | → | fireking04 joins (~user@114-24-21-223.dynamic-ip.hinet.net) |
| 14:02:36 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 14:09:43 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 14:10:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:12:43 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 14:15:38 | × | fireking04 quits (~user@114-24-21-223.dynamic-ip.hinet.net) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 14:15:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 14:24:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:31:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:39:11 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:42:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:45:27 | × | Everything quits (~Everythin@195.138.86.118) (Ping timeout: 252 seconds) |
| 14:47:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 14:53:30 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 14:57:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:58:11 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 15:02:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 15:11:47 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 15:13:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:18:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:25:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:29:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 15:30:48 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 15:31:17 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 15:34:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:41:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:44:49 | → | druchan joins (uid567859@id-567859.lymington.irccloud.com) |
| 15:47:23 | × | alexherbo2 quits (~alexherbo@2a02-8440-320a-3eb1-60b1-b841-ee5c-86b3.rev.sfr.net) (Remote host closed the connection) |
| 15:48:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 15:50:56 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 15:51:23 | → | rvalue joins (~rvalue@user/rvalue) |
| 15:53:17 | × | srazkvt quits (~sarah@user/srazkvt) (Ping timeout: 265 seconds) |
| 15:54:12 | → | EvanR joins (~EvanR@user/evanr) |
| 15:59:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:03:12 | × | mantraofpie quits (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 16:04:13 | → | mantraofpie joins (~mantraofp@user/mantraofpie) |
| 16:06:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 16:07:38 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:10:31 | → | weary-traveler joins (~user@user/user363627) |
| 16:16:49 | → | hgolden_ joins (~hgolden@169.150.203.10) |
| 16:17:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:19:20 | × | hgolden__ quits (~hgolden@146.70.173.165) (Ping timeout: 252 seconds) |
| 16:20:57 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:21:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:22:08 | → | Everything joins (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 16:22:51 | <druchan> | is there no equivalent of goreleaser for haskell? |
| 16:32:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:37:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 16:39:08 | <kaol> | I'm sure I'm not the only one who had no idea what that is (you wan't to lease what?). Description from their web site: "GoReleaser is an open-source tool that simplifies the process of releasing your Go projects to multiple platforms"- |
| 16:39:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:39:47 | <kaol> | I'm not familiar with what it does so I'm not going to try to answer. |
| 16:40:16 | <yushyin> | still don't know what it is from that description |
| 16:40:27 | → | AlexNoo_ joins (~AlexNoo@178.34.163.171) |
| 16:40:35 | <kaol> | Indeed, and I'm not going to try to figure out more. |
| 16:41:51 | <EvanR> | gore leaser |
| 16:41:55 | <EvanR> | go releaser xD |
| 16:42:17 | <EvanR> | who let the go-s out |
| 16:42:48 | × | AlexZenon quits (~alzenon@178.34.162.25) (Ping timeout: 252 seconds) |
| 16:43:09 | <EvanR> | sounds like part of the build system |
| 16:44:05 | × | AlexNoo quits (~AlexNoo@178.34.162.25) (Ping timeout: 248 seconds) |
| 16:46:54 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 16:47:06 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 16:47:47 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb938d9bba7e49be47ab.dip0.t-ipconnect.de) |
| 16:47:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:48:12 | <druchan> | haha sorry |
| 16:48:24 | <druchan> | goreleaser makes it easy to build binaries for multiple platforms |
| 16:48:37 | <druchan> | from your golang project that is |
| 16:48:54 | <druchan> | cabal builds the binary for the platform you are on, not for others |
| 16:51:58 | <Athas> | Only comparable thing I know of is the haskell.nix infrastructure, but I have not tried it. |
| 16:52:08 | <Athas> | But nothing else even tries to pretend that cross compiling is simple. |
| 16:52:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 16:56:22 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:58:22 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:58:45 | × | tinwood quits (~tinwood@user/tinwood) (Remote host closed the connection) |
| 17:03:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:04:34 | → | Blunt2531322 joins (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 17:06:07 | × | Blunt2531322 quits (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Quit: Client closed) |
| 17:06:30 | → | Blunt2531322 joins (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 17:07:02 | × | Blunt2531322 quits (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 17:07:06 | → | Blunt9 joins (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 17:07:26 | → | Blunt2531322 joins (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 17:07:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:08:13 | × | Blunt2531322 quits (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 17:10:47 | × | Blunt9 quits (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 17:11:10 | → | Blunt2531322 joins (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 17:11:51 | → | Blunt84 joins (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 17:12:22 | × | Blunt84 quits (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 17:13:08 | AlexNoo_ | is now known as AlexNoo |
| 17:15:07 | <druchan> | thanks folks |
| 17:18:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:23:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:25:22 | → | AlexZenon joins (~alzenon@178.34.163.171) |
| 17:28:49 | × | billchenchina- quits (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) (Remote host closed the connection) |
| 17:28:59 | <monochrom> | Oh haha gore leaser, great for Halloween! |
| 17:29:05 | → | billchenchina- joins (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) |
| 17:29:48 | <monochrom> | Actually that's how I parse "goreleaser" too, I do maximummunchuntilcompleteword |
| 17:31:45 | <monochrom> | But the Haskell community tradition is everyone does their own builds because my build can be pretty unusable for you because of a technical reason. |
| 17:32:10 | → | Blunt76 joins (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 17:32:48 | <c_wraith> | yeah. C lexing rules told me to take as many characters as I could before declaring the token complete. |
| 17:33:06 | <Clint> | then maybe you should go "gorel easer" |
| 17:33:13 | <monochrom> | The technical reason being GHC does insane cross-module, even cross-package, inlining so ABI is not just type sig but actually in the worst case the complete dependency resolution. |
| 17:34:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:34:42 | × | Blunt2531322 quits (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Quit: Client closed) |
| 17:35:36 | × | Blunt76 quits (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 17:37:19 | → | AlexNoo_ joins (~AlexNoo@178.34.161.119) |
| 17:39:03 | <monochrom> | shorter programmer time, shorter compile time, shorter run time --- pick two :) |
| 17:40:22 | × | AlexZenon quits (~alzenon@178.34.163.171) (Ping timeout: 252 seconds) |
| 17:41:06 | × | AlexNoo quits (~AlexNoo@178.34.163.171) (Ping timeout: 272 seconds) |
| 17:41:37 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 17:41:56 | → | briandaed joins (~root@185.234.210.211) |
| 17:41:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 17:42:48 | <c_wraith> | oh, that reminds me. Does cabal give you a way to specify the local location for the index file to use? I looked, but couldn't find one. |
| 17:43:54 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:44:09 | AlexNoo_ | is now known as AlexNoo |
| 17:44:28 | <c_wraith> | (trying to reduce compile time in CI. cabal update is currently a surprisingly large portion of it. Skipping that would be nice.) |
| 17:45:07 | <haskellbridge> | <sm> yes that is an expensive operation isn't it |
| 17:45:51 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 17:46:17 | <monochrom> | I think the closest is remote-repo-cache, which defaults to $HOME/.cabal/packages. It contains both the index file and downloaded tarballs. |
| 17:47:12 | → | Blunt31 joins (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 17:47:27 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 17:48:03 | → | AlexZenon joins (~alzenon@178.34.161.119) |
| 17:48:26 | × | Blunt31 quits (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 17:49:49 | <monochrom> | $HOME/.cabal or the XDG equivalent. |
| 17:50:48 | × | billchenchina- quits (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) (Remote host closed the connection) |
| 17:51:06 | → | billchenchina- joins (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) |
| 17:52:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:57:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:58:20 | <c_wraith> | I guess that's more than I found. not exactly satisfying, but maybe I can live with it. |
| 18:00:14 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Ping timeout: 260 seconds) |
| 18:03:03 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:04:43 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:09:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:10:04 | × | billchenchina- quits (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) (Quit: Leaving) |
| 18:14:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 18:25:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:26:24 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 18:26:35 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 18:28:37 | <tomsmeding> | druchan: to summarise: the cross-compilation story with GHC is not as good as with Go |
| 18:29:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:33:53 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 18:35:30 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:37:10 | <tomsmeding> | I have a somewhat peculiar issue. I have two pattern synonyms in a module that are together in a COMPLETE pragma; they are only for internal use in the module. But I end up using only one of them, so I get a warning that the other is unused. But I cannot remove it, because then I would also have to remove the COMPLETE pragma, and I was using it to prove to GHC that some functions are exhaustive! |
| 18:37:47 | <tomsmeding> | (this is possible because the pattern synonyms both have some _provided_ constraints, and the unused one provides a constraint that is contradictory with the other info in the function in question, so it is impossible.) |
| 18:38:20 | <tomsmeding> | I'd rather not add -Wno-unused-top-binds to the entire module, but I also cannot remove this unused top-level binding! What do? |
| 18:40:50 | <tomsmeding> | (as I've thought many times before: GHC should have vastly many more diagnostics/extensions/etc. that can be regulated on the binding level instead of on the module level) |
| 18:42:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:43:54 | <tomsmeding> | ah, I worked around it |
| 18:44:11 | <tomsmeding> | turns out the pattern synonyms were not really pulling their weight and I could just remove them altogether :) |
| 18:45:48 | <monochrom> | haha |
| 18:46:31 | <monochrom> | So now you are just looking for a way to turn off another warning, namely that of inexhaustiveness? |
| 18:46:58 | <tomsmeding> | no, the pattern synonyms were simple enough that I could just inline their definitions at their usage sites |
| 18:47:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:47:17 | <tomsmeding> | so ghc is happy now, and I have code that is almost as readable |
| 18:48:16 | <tomsmeding> | (they just renamed actual data constructors with more specific types; now I'm just using the more general constructors in place of the renamed aliases) |
| 18:58:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:59:38 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 19:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:39 | → | caconym joins (~caconym@user/caconym) |
| 19:02:00 | × | briandaed quits (~root@185.234.210.211) (Remote host closed the connection) |
| 19:02:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:06:57 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 19:11:07 | <geekosaur> | looks like the just released `text-2.1.2` breaks `parsers`. I just filed a bug because minor updates shouldn't do that. how do I request an emergency revision on `parsers` in the meantime? |
| 19:11:23 | → | Katarushisu joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 19:13:24 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 19:13:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:13:45 | <geekosaur> | (so much for my plans to work on bignum=bsdnt this weekend; this just broke cabal's CI) |
| 19:14:43 | <tomsmeding> | geekosaur: I'd expect that you should ask hackage admins; is that not #hackage-infrastructure or something? |
| 19:15:05 | <geekosaur> | that's ops issues |
| 19:15:14 | × | xal quits (~xal@mx1.xal.systems) (Quit: bye) |
| 19:15:26 | <geekosaur> | I already raised it in #hackage but nobody seems to be around and I think Hackage trustees don't hang out in either place |
| 19:15:36 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:15:42 | → | xal joins (~xal@mx1.xal.systems) |
| 19:16:19 | <tomsmeding> | ask the haskell-cafe mailing list? |
| 19:16:54 | <tomsmeding> | don't know whether haskell-cafe or ghc-devs would have more success |
| 19:18:27 | <geekosaur> | hm, at least some of the current list of trustees do hang out in #hackage so I'm doing some pings |
| 19:20:08 | <tomsmeding> | oof, an unqualified import of Data.Text is indeed unwise |
| 19:20:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:20:57 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 19:30:02 | × | acidjnk_new quits (~acidjnk@p200300d6e72cfb938d9bba7e49be47ab.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 19:30:20 | → | hgolden__ joins (~hgolden@169.150.203.23) |
| 19:32:55 | × | hgolden_ quits (~hgolden@169.150.203.10) (Ping timeout: 252 seconds) |
| 19:36:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:36:29 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb93adcc55b40ab8063a.dip0.t-ipconnect.de) |
| 19:41:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 19:43:47 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 19:44:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 19:45:22 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:48:11 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 19:54:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:59:09 | × | Everything quits (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
| 19:59:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 20:01:06 | → | sadmax joins (~user@64.130.91.66) |
| 20:03:21 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 20:09:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:09:54 | → | euphores joins (~SASL_euph@user/euphores) |
| 20:13:06 | × | druchan quits (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:14:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 20:20:28 | → | alp joins (~alp@2001:861:e3d6:8f80:f680:7e0c:c173:50ab) |
| 20:25:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:27:33 | × | Square quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 20:29:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 20:34:00 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 20:35:40 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:39:02 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 20:40:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:42:54 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:45:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:52:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:54:39 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 20:56:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:59:28 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 21:02:04 | → | Everything joins (~Everythin@178.133.12.70) |
| 21:02:15 | × | AlexZenon quits (~alzenon@178.34.161.119) (Ping timeout: 246 seconds) |
| 21:04:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 21:04:46 | → | AlexZenon joins (~alzenon@178.34.161.119) |
| 21:06:26 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 21:08:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:09:52 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 21:09:52 | ljdarj1 | is now known as ljdarj |
| 21:11:22 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 21:15:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:15:36 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 21:22:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:27:36 | <ash3en> | is this for OSC use with websockets? https://github.com/rd--/hosc/blob/master/Sound/Osc/Transport/Fd/Socket.hs |
| 21:30:59 | × | petrichor quits (~znc-user@user/petrichor) (Ping timeout: 252 seconds) |
| 21:31:35 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:32:11 | <geekosaur> | no, it's system sockets, not websockets |
| 21:33:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:35:57 | <ash3en> | thanks |
| 21:37:33 | <geekosaur> | yeh, just traced through the implementation, it's system sockets |
| 21:37:45 | <geekosaur> | I see no websoket support in there |
| 21:40:15 | → | pavonia joins (~user@user/siracusa) |
| 21:40:27 | <ash3en> | I wonder if it's a thing even.. maybe I misunderstood my colleague |
| 21:41:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 21:42:00 | <ash3en> | it was something about how just an initial acknowledge is used vs one for every msg |
| 21:42:22 | <ash3en> | sounded like websockets to me |
| 21:42:54 | <geekosaur> | it's a protocol thing, not a socket implementation thing |
| 21:43:56 | <geekosaur> | even websockets uses one-per-message (sort of), but you need a raw system socket to observe it |
| 21:44:50 | <geekosaur> | (TCP ACKs are more complicated than "one per message" except on theoretically perfect one-to-one networks, and sometimes even then) |
| 21:47:10 | <ash3en> | so after all it would be as fast as "usual" OSC over TCP? |
| 21:47:44 | <geekosaur> | slightly slower, since you would have OSC protocol overhead and browser websocket protocol over HTTPS overhead |
| 21:48:11 | <geekosaur> | networking is complex 🙂 |
| 21:48:54 | <ash3en> | The info I got was, that Websockets pass the responsibility of ack to lower levels and there is only a -- maybe it was a handshake, would that change something? -- on start instead of all the time |
| 21:49:03 | <ash3en> | geekosaur: it is! |
| 21:49:09 | <ash3en> | complex |
| 21:50:07 | <geekosaur> | right, but TCP only requires one at the beginning as well. that, however, is still protocol aside from the TCP 3-way handshake, which will still be there in some sense |
| 21:50:29 | <geekosaur> | (it may be a multiplexer handshake instead, I'm a little weak on websockets, I mostly work with system sockets) |
| 21:51:13 | <geekosaur> | the whole point of websockets being that you don't have permission to use system sockets and often don't have permission to do anything more than different endpoints on port 443 |
| 21:51:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:52:03 | <ash3en> | I see, thank you very much! will think on this. got to go now but it won't be long until my next questions :D |
| 21:52:13 | <ash3en> | good night, at least where I am |
| 21:52:16 | <geekosaur> | most likely your coworker was talking about the OSC protocol doing an initial handshake and then streaming, which would be the same regardless of TCP/UDP/websockets |
| 21:52:27 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:52:59 | <geekosaur> | which is typical for streaming audio protocols |
| 21:54:46 | <ash3en> | ok, will read more about this : ) |
| 21:54:52 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 21:55:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 21:56:49 | → | hgolden_ joins (~hgolden@23.162.40.69) |
| 21:59:13 | × | hgolden__ quits (~hgolden@169.150.203.23) (Ping timeout: 248 seconds) |
| 22:12:05 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 22:15:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:19:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:26:20 | × | Everything quits (~Everythin@178.133.12.70) (Quit: leaving) |
| 22:30:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:35:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:38:31 | × | famubu quits (~julinuser@user/famubu) (Ping timeout: 264 seconds) |
| 22:38:41 | → | famubu joins (~julinuser@14.139.174.50) |
| 22:39:40 | → | alexherbo2 joins (~alexherbo@2a02-8440-3203-12fd-b4b9-ff77-69f2-fdd7.rev.sfr.net) |
| 22:44:03 | × | alp quits (~alp@2001:861:e3d6:8f80:f680:7e0c:c173:50ab) (Quit: Leaving) |
| 22:44:29 | → | alp_ joins (~Srain@static-176-175-89-30.ftth.abo.bbox.fr) |
| 22:46:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:48:37 | → | morb joins (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 22:50:32 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 22:50:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:53:16 | × | morb quits (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 23:00:17 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 23:01:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:08:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 23:13:18 | × | acidjnk_new quits (~acidjnk@p200300d6e72cfb93adcc55b40ab8063a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 23:22:18 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 23:24:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:29:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:32:27 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 23:32:58 | × | alexherbo2 quits (~alexherbo@2a02-8440-3203-12fd-b4b9-ff77-69f2-fdd7.rev.sfr.net) (Remote host closed the connection) |
| 23:34:10 | × | hiredman quits (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 23:39:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:44:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 23:46:10 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 23:53:44 | × | sadmax quits (~user@64.130.91.66) (Remote host closed the connection) |
| 23:55:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:56:38 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:58:08 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
All times are in UTC on 2024-10-26.