2024-10-14 00:04:39 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-10-14 00:05:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 00:12:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 00:23:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 00:28:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-14 00:39:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 00:44:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-14 00:49:42 +0200 | Pixi` | (~Pixi@user/pixi) Pixi |
2024-10-14 00:52:14 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 252 seconds) |
2024-10-14 00:54:34 +0200 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
2024-10-14 00:54:43 +0200 | user363627 | (~user@user/user363627) user363627 |
2024-10-14 00:54:43 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
2024-10-14 00:55:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 01:00:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-14 01:07:38 +0200 | Pixi` | (~Pixi@user/pixi) (Quit: Leaving) |
2024-10-14 01:11:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 01:11:38 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb115c8ca2f660dd1d29.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2024-10-14 01:16:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-14 01:26:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 01:33:31 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Read error: Connection reset by peer) |
2024-10-14 01:33:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 01:34:53 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
2024-10-14 01:36:31 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
2024-10-14 01:39:53 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Ping timeout: 252 seconds) |
2024-10-14 01:42:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-10-14 01:44:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 01:47:06 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:c1b4:8e00:e3a8:2bf7) (Ping timeout: 272 seconds) |
2024-10-14 01:49:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-14 02:00:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 02:03:39 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
2024-10-14 02:03:55 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2024-10-14 02:05:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 02:10:57 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
2024-10-14 02:16:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 02:17:07 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2024-10-14 02:19:17 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
2024-10-14 02:21:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-14 02:21:36 +0200 | <Square> | How do you deal with multimodule project (cabal.project) when using nix? Separate callCabal2Nix for each module? |
2024-10-14 02:31:08 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:14d2:2457:bd7:5741) (Remote host closed the connection) |
2024-10-14 02:32:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 02:32:40 +0200 | Guest66 | (~Guest66@2601:152:4a80:2300:c948:b43e:8f75:aa7b) |
2024-10-14 02:33:11 +0200 | <jackdk> | The two approaches I use are: "have nix provide GHC+cabal, let cabal do packages", or "use haskell.nix". This avoids lots of fiddly package set overlay splicing, and regenerating the shell when a dependency changes. |
2024-10-14 02:34:09 +0200 | <Inst> | incoherence can be handled at the compilation stage, i.e, if you're trying to use an instance for which there is no imported typeclass, you throw an error |
2024-10-14 02:34:21 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:14d2:2457:bd7:5741) |
2024-10-14 02:35:23 +0200 | <geekosaur> | that's not incoherence |
2024-10-14 02:35:48 +0200 | <geekosaur> | incoherence is "two modules use different instances for the same type" |
2024-10-14 02:35:56 +0200 | <Inst> | is it reasonable to wish to control the exporting of instances / typeclasses? |
2024-10-14 02:37:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 02:37:19 +0200 | <geekosaur> | not when it leads to incoherence, no |
2024-10-14 02:37:38 +0200 | <geekosaur> | and the only way to prevent incoherence is to force instances to be global |
2024-10-14 02:37:47 +0200 | <jackdk> | IMHO no. That way lies madness, like the producer and consumer of a `Ord k => Map k v` disagreeing on which `Ord` to use for `k`. And then you just can't find entries which you are 100% certain that you put into your map. |
2024-10-14 02:38:24 +0200 | <geekosaur> | well, for that one it's actually something of a hack. IMO SML/NJ does it the right way |
2024-10-14 02:39:31 +0200 | <geekosaur> | (the Ord instance equivalent is owned by the Map, not by what Ord instance is in scope at use sites) |
2024-10-14 02:40:49 +0200 | <geekosaur> | *not determined by |
2024-10-14 02:45:03 +0200 | Guest66 | (~Guest66@2601:152:4a80:2300:c948:b43e:8f75:aa7b) (Quit: Client closed) |
2024-10-14 02:47:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 02:48:45 +0200 | <Square> | jackdk, thanks |
2024-10-14 02:52:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 02:55:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-14 02:58:15 +0200 | <monochrom> | Perhaps the misguided want of localized unexported instances comes from mistaking type classes for OO interfaces. |
2024-10-14 03:03:15 +0200 | <probie> | geekosaur: without the one true Ord instance for a type, how do you efficiently union two maps? SML/NJ sidesteps this because two maps instantiated with different ORD_KEYs will be different types. |
2024-10-14 03:03:41 +0200 | <geekosaur> | isn't that kinda the point, though? |
2024-10-14 03:03:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 03:04:16 +0200 | <monochrom> | You can union two maps created from the same instantiated module. |
2024-10-14 03:04:48 +0200 | <monochrom> | Recall that an instantiated module gives you a suite of map functions, not a map. |
2024-10-14 03:04:57 +0200 | <geekosaur> | right |
2024-10-14 03:05:25 +0200 | <monochrom> | So use the same suite to create two maps and use the same suite to union the two maps. |
2024-10-14 03:05:38 +0200 | <probie> | But how do you do that in Haskell? |
2024-10-14 03:06:05 +0200 | <monochrom> | Haskell doesn't have SML's parameterized module system. OK OK I will emulate it. |
2024-10-14 03:06:09 +0200 | <geekosaur> | that was my point: you don't. we use a typeclass hack instead |
2024-10-14 03:06:40 +0200 | <geekosaur> | and I don't think Backpack can quite pull off emulating this, for all its pretensions toward providing MLish "functors" |
2024-10-14 03:07:13 +0200 | <monochrom> | I will also need existential type. |
2024-10-14 03:08:14 +0200 | zmt00 | (~zmt00@user/zmt00) zmt00 |
2024-10-14 03:08:48 +0200 | <monochrom> | data M a = forall t. M{empty :: t, insert :: a -> t -> t, union :: t -> t -> a, etc etc} |
2024-10-14 03:10:02 +0200 | <monochrom> | instantiate :: (a -> a -> Ordering) -> M a; instantiate cmp = M{empty = ... ; insert = ... use cmp ..., union = ... use cmp ..., etc} |
2024-10-14 03:10:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 03:11:18 +0200 | <geekosaur> | Inst did earlier hint that he thought we were trying to find ways to emulate OOP in Haskell. (No, we aren't. OOP is something else. If I want OOP, I'll use an OO language, not Haskell; I have and use multiple tools.) |
2024-10-14 03:11:53 +0200 | <probie> | I think we're probably all in agreement about every fact here. I just misinterpreted intent and mistook the comment as "Haskell should do what SML/NJ" does, not "SML/NJ does this in a nice a way, unlike Haskell" |
2024-10-14 03:12:10 +0200 | tonyday567 | (~tonyday56@125-63-10-162.ip4.superloop.au) |
2024-10-14 03:12:15 +0200 | <geekosaur> | right, I meant the latter |
2024-10-14 03:12:34 +0200 | <monochrom> | A user will have to do everything under the same instantiate call. user = let m{empty, insert, union} = instantiate myCompare in union (insert 2 (insert 3 empty)) (insert 1 (insert 2 empty))) |
2024-10-14 03:13:07 +0200 | <probie> | s/" does/does"/ |
2024-10-14 03:13:32 +0200 | <monochrom> | Eh, I think Haskell has a nice way and SML has a nice way. |
2024-10-14 03:13:56 +0200 | <geekosaur> | (I like SML/NJ's approach, but not so much that I'm abandoning Haskell for it…) |
2024-10-14 03:14:47 +0200 | <c_wraith> | And if you *really* need bad hacks, just remember there's always the reflection package! |
2024-10-14 03:14:58 +0200 | <monochrom> | :( :) |
2024-10-14 03:14:58 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-10-14 03:15:03 +0200 | <probie> | Haskell's way means I can't safely use a `Double` as a key in a `Map` without needing to wrap it in a newtype |
2024-10-14 03:15:07 +0200 | <geekosaur> | I did for a moment wonder if that could be abused to do this… |
2024-10-14 03:15:21 +0200 | <monochrom> | Yes it totally can. |
2024-10-14 03:15:57 +0200 | <monochrom> | I think it is the whole point. When some abuses have just causes and don't count as abuses. |
2024-10-14 03:17:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3108-bfa0-f1d8-4d0f-e5fc-d7b0.rev.sfr.net) (Remote host closed the connection) |
2024-10-14 03:17:35 +0200 | <monochrom> | But here is a clean hack someone and I thought up: https://mail.haskell.org/pipermail/haskell-cafe/2017-May/127147.html |
2024-10-14 03:18:04 +0200 | <dolio> | What part can't backpack do? Not that it's nice to do this. |
2024-10-14 03:18:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3108-bfa0-ddfb-d52c-f0fd-2cc2.rev.sfr.net) alexherbo2 |
2024-10-14 03:18:39 +0200 | <geekosaur> | local open, I think, so you can parameteerize different maps differently? |
2024-10-14 03:18:46 +0200 | <geekosaur> | within the same module |
2024-10-14 03:19:37 +0200 | <dolio> | Oh. Well, you can parameterize the map functor multiple ways, I think. But it's not going to happen very locally. |
2024-10-14 03:20:13 +0200 | <dolio> | Like, not within a definition in a module, certainly. |
2024-10-14 03:20:48 +0200 | <geekosaur> | I thought that was what `open` was for? |
2024-10-14 03:21:33 +0200 | <dolio> | Only like, 'this module uses multiple map implementations, which happen to be two different instantiations of the same functor.' |
2024-10-14 03:21:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 03:22:02 +0200 | tonyday567 | (~tonyday56@125-63-10-162.ip4.superloop.au) (Changing host) |
2024-10-14 03:22:02 +0200 | tonyday567 | (~tonyday56@user/tonyday567) tonyday567 |
2024-10-14 03:22:07 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3108-bfa0-ddfb-d52c-f0fd-2cc2.rev.sfr.net) (Remote host closed the connection) |
2024-10-14 03:22:34 +0200 | <monochrom> | Haskell doesn't have local open, not even for unparametrized 0th-order modules. Let's not talk about local open. |
2024-10-14 03:23:03 +0200 | <dolio> | Yeah. |
2024-10-14 03:23:40 +0200 | <monochrom> | So with backpack you have to split code into more files than SML requires, but you can still import multiple instantiations into the same user file. |
2024-10-14 03:24:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-10-14 03:24:06 +0200 | <geekosaur> | that was my point. backpack claims to add parameterized modules, but it doesn't and can't provide this so it's not anywhere near as useful as it should be |
2024-10-14 03:24:27 +0200 | <monochrom> | If you instantiate Map two ways, you write two files, one per instantiation. In a third file---the user file---you import both. |
2024-10-14 03:24:33 +0200 | <dolio> | I don't understand what you mean by "it doesn't." |
2024-10-14 03:24:52 +0200 | <dolio> | It does, but you still can't only import a module in a where clause or something. |
2024-10-14 03:25:07 +0200 | <geekosaur> | exactly |
2024-10-14 03:25:24 +0200 | <geekosaur> | let's put it this way: they're not first class if you cant' do that |
2024-10-14 03:25:52 +0200 | <dolio> | But they are parameterized. |
2024-10-14 03:26:12 +0200 | <monochrom> | I don't know, here is what I think, maybe too extreme: Nevermind paramtrizing. Would this make sense: "Haskell claims to have modules, but there is no open so it doesn't count". |
2024-10-14 03:27:05 +0200 | <geekosaur> | I didn't say either of those. I said it does not emulate ML functors. The MLish concept of functor includes first-class-ness, including local instantiation. |
2024-10-14 03:27:31 +0200 | <geekosaur> | I specifically did not limit it to parameterization |
2024-10-14 03:28:39 +0200 | <geekosaur> | (I will grant that Backpack was always on the losing side of that one: it requires an actual language change, it can't be simulated the way simply parameterizing modules sort-of can be) |
2024-10-14 03:35:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-14 03:38:43 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
2024-10-14 03:46:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 03:51:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-14 04:04:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 04:05:50 +0200 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 252 seconds) |
2024-10-14 04:07:49 +0200 | td_ | (~td@83.135.9.1) td_ |
2024-10-14 04:09:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-14 04:19:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 04:24:21 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-14 04:24:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 04:28:14 +0200 | Sciencentistguy3 | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
2024-10-14 04:30:20 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 265 seconds) |
2024-10-14 04:30:21 +0200 | Sciencentistguy3 | Sciencentistguy |
2024-10-14 04:35:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 04:40:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 04:52:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 04:58:48 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
2024-10-14 04:58:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-14 05:01:46 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-10-14 05:03:45 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-10-14 05:12:43 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
2024-10-14 05:15:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 05:20:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 05:22:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 05:27:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 05:31:11 +0200 | aforemny | (~aforemny@2001:9e8:6cdf:9f00:9304:f095:b881:d5be) aforemny |
2024-10-14 05:32:03 +0200 | aforemny_ | (~aforemny@i577BEEEB.versanet.de) (Ping timeout: 245 seconds) |
2024-10-14 05:33:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
2024-10-14 05:35:28 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-14 05:38:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 05:42:08 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) fun-safe-math |
2024-10-14 05:43:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-14 05:50:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
2024-10-14 05:50:45 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-14 05:52:06 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-10-14 05:54:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 05:59:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 06:02:48 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-10-14 06:08:27 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
2024-10-14 06:10:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 06:10:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-14 06:15:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-14 06:23:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 06:28:25 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
2024-10-14 06:30:08 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2024-10-14 06:30:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 06:32:36 +0200 | tonyday567 | (~tonyday56@user/tonyday567) (Ping timeout: 252 seconds) |
2024-10-14 06:38:39 +0200 | bh34e5_ | (~bh34e5@user/bh34e5) (Ping timeout: 260 seconds) |
2024-10-14 06:41:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 06:47:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-14 06:51:03 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
2024-10-14 06:52:34 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
2024-10-14 06:52:36 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2024-10-14 06:53:02 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2024-10-14 06:57:57 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 276 seconds) |
2024-10-14 06:59:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 07:03:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-10-14 07:03:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-14 07:04:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 07:09:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-14 07:09:10 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2024-10-14 07:10:09 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
2024-10-14 07:17:53 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-14 07:18:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-10-14 07:19:30 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
2024-10-14 07:20:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 07:20:53 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-10-14 07:21:50 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-10-14 07:28:11 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
2024-10-14 07:28:35 +0200 | michalz | (~michalz@185.246.207.203) |
2024-10-14 07:29:00 +0200 | rosco | (~rosco@175.136.22.30) rosco |
2024-10-14 07:29:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-14 07:30:05 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-14 07:35:53 +0200 | arahael | (~arahael@user/arahael) arahael |
2024-10-14 07:39:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-14 07:40:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 07:45:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-14 07:48:28 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-10-14 07:56:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 07:56:34 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2024-10-14 08:01:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-14 08:02:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-14 08:12:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 08:16:05 +0200 | CiaoSen | (~Jura@2a05:5800:2ca:cd00:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-14 08:17:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-14 08:25:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 08:29:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-14 08:30:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 08:33:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-14 08:41:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 08:46:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-14 08:46:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-14 08:47:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
2024-10-14 08:51:37 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) acidjnk |
2024-10-14 08:56:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-10-14 08:57:18 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:2d2d:a36f:43f3:6f49) |
2024-10-14 08:59:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 09:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-14 09:00:46 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-14 09:03:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-14 09:08:11 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
2024-10-14 09:10:45 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
2024-10-14 09:22:05 +0200 | tonyday567 | (~tonyday56@125-63-10-162.ip4.superloop.au) |
2024-10-14 09:25:14 +0200 | ridcully | (~ridcully@p57b52b67.dip0.t-ipconnect.de) (Quit: WeeChat 4.4.2) |
2024-10-14 09:34:18 +0200 | mrtz | (~mrtz@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) |
2024-10-14 09:36:14 +0200 | briandaed | (~root@185.234.210.211) |
2024-10-14 09:36:52 +0200 | ridcully | (~ridcully@p57b52138.dip0.t-ipconnect.de) ridcully |
2024-10-14 09:37:18 +0200 | mrtz | (~mrtz@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) (Remote host closed the connection) |
2024-10-14 09:46:30 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
2024-10-14 09:49:20 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 265 seconds) |
2024-10-14 09:50:19 +0200 | euleritian | (~euleritia@dynamic-176-006-129-042.176.6.pool.telefonica.de) |
2024-10-14 09:52:54 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Read error: Connection reset by peer) |
2024-10-14 09:54:04 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
2024-10-14 09:54:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
2024-10-14 09:56:12 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
2024-10-14 09:56:32 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-14 09:56:33 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2024-10-14 09:57:39 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) synchromesh |
2024-10-14 09:57:59 +0200 | fr33domlover | (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
2024-10-14 09:57:59 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-14 09:57:59 +0200 | merijn | (~merijn@77.242.116.146) (Client Quit) |
2024-10-14 10:00:14 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-10-14 10:00:33 +0200 | synchromesh | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Ping timeout: 244 seconds) |
2024-10-14 10:03:20 +0200 | fr33domlover | (~fr33domlo@towards.vision) fr33domlover |
2024-10-14 10:05:29 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
2024-10-14 10:06:08 +0200 | euleritian | (~euleritia@dynamic-176-006-129-042.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
2024-10-14 10:07:15 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) |
2024-10-14 10:08:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-10-14 10:08:44 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-10-14 10:18:34 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) (Ping timeout: 260 seconds) |
2024-10-14 10:19:06 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-10-14 10:30:19 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Remote host closed the connection) |
2024-10-14 10:31:39 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
2024-10-14 10:31:58 +0200 | tonyday567 | (~tonyday56@125-63-10-162.ip4.superloop.au) (Remote host closed the connection) |
2024-10-14 10:33:49 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
2024-10-14 10:34:06 +0200 | CiaoSen | (~Jura@2a05:5800:2ca:cd00:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
2024-10-14 10:35:56 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 272 seconds) |
2024-10-14 10:36:03 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) |
2024-10-14 10:41:09 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-10-14 10:42:08 +0200 | kenran | (~user@user/kenran) kenran |
2024-10-14 10:53:42 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
2024-10-14 10:54:24 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
2024-10-14 10:56:30 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-14 11:03:06 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds) |
2024-10-14 11:03:06 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-10-14 11:03:33 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) |
2024-10-14 11:04:26 +0200 | wanted | (~wanted@2.219.56.221) (Ping timeout: 272 seconds) |
2024-10-14 11:16:01 +0200 | mari-estel | (~mari-este@user/danza) danza |
2024-10-14 11:18:04 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-14 11:26:53 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
2024-10-14 11:29:25 +0200 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
2024-10-14 11:30:50 +0200 | turlando | (~turlando@user/turlando) turlando |
2024-10-14 11:34:00 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-10-14 11:34:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-14 11:34:05 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) |
2024-10-14 11:35:28 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) |
2024-10-14 11:42:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
2024-10-14 11:44:51 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
2024-10-14 11:49:45 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:c859:568e:44d5:6cfd) (Read error: Connection reset by peer) |
2024-10-14 11:59:56 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds) |
2024-10-14 12:02:02 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-10-14 12:02:12 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
2024-10-14 12:05:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
2024-10-14 12:09:26 +0200 | euleritian | (~euleritia@dynamic-176-007-155-010.176.7.pool.telefonica.de) (Ping timeout: 255 seconds) |
2024-10-14 12:11:00 +0200 | euleritian | (~euleritia@dynamic-176-000-159-238.176.0.pool.telefonica.de) |
2024-10-14 12:11:52 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-10-14 12:19:44 +0200 | euleritian | (~euleritia@dynamic-176-000-159-238.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-10-14 12:21:40 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
2024-10-14 12:21:53 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
2024-10-14 12:25:36 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2024-10-14 12:26:54 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9d11-44be-f9da-6c83-482e.rev.sfr.net) alexherbo2 |
2024-10-14 12:28:45 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
2024-10-14 12:30:21 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 252 seconds) |
2024-10-14 12:35:08 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-10-14 12:39:58 +0200 | AlexNoo | (~AlexNoo@178.34.163.62) (Read error: Connection reset by peer) |
2024-10-14 12:40:20 +0200 | AlexNoo | (~AlexNoo@178.34.163.62) |
2024-10-14 12:49:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
2024-10-14 12:49:57 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
2024-10-14 12:58:49 +0200 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
2024-10-14 12:59:00 +0200 | rmca | (~rob@user/rmca) rmca |
2024-10-14 13:00:26 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds) |
2024-10-14 13:00:26 +0200 | ash3en1 | ash3en |
2024-10-14 13:02:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-10-14 13:02:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-10-14 13:09:21 +0200 | blase | (~wanted@2.219.56.221) |
2024-10-14 13:09:30 +0200 | fr33domlover | (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
2024-10-14 13:13:10 +0200 | fr33domlover | (~fr33domlo@towards.vision) fr33domlover |
2024-10-14 13:15:35 +0200 | CiaoSen | (~Jura@2a05:5800:2ca:cd00:ca4b:d6ff:fec1:99da) CiaoSen |
2024-10-14 13:20:42 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-10-14 13:29:02 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
2024-10-14 13:32:00 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) acidjnk |
2024-10-14 13:33:41 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
2024-10-14 13:40:38 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-14 13:52:03 +0200 | mari-estel | (~mari-este@user/danza) (Ping timeout: 245 seconds) |
2024-10-14 13:52:08 +0200 | sayola | (~sayola@2a00:20:d308:54cb:f901:4267:f16e:dff0) sayola1 |
2024-10-14 13:54:32 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-14 13:55:42 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
2024-10-14 13:57:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2024-10-14 13:57:33 +0200 | ljdarj1 | ljdarj |
2024-10-14 13:59:44 +0200 | mari-estel | (~mari-este@user/danza) danza |
2024-10-14 14:07:03 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Remote host closed the connection) |
2024-10-14 14:07:12 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
2024-10-14 14:07:28 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Remote host closed the connection) |
2024-10-14 14:08:00 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
2024-10-14 14:09:05 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-14 14:11:34 +0200 | mari-estel | (~mari-este@user/danza) (Ping timeout: 252 seconds) |
2024-10-14 14:12:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-10-14 14:12:46 +0200 | ljdarj1 | ljdarj |
2024-10-14 14:12:54 +0200 | mari-estel | (~mari-este@user/danza) danza |
2024-10-14 14:17:14 +0200 | sayola | (~sayola@2a00:20:d308:54cb:f901:4267:f16e:dff0) (Read error: Connection reset by peer) |
2024-10-14 14:18:16 +0200 | sayola | (~sayola@2a00:20:d308:54cb:f901:4267:f16e:dff0) sayola1 |
2024-10-14 14:21:02 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-14 14:21:22 +0200 | euleritian | (~euleritia@84.19.220.82) |
2024-10-14 14:28:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2024-10-14 14:34:23 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-14 14:38:42 +0200 | mari-estel | (~mari-este@user/danza) (Ping timeout: 252 seconds) |
2024-10-14 14:40:04 +0200 | mari-estel | (~mari-este@user/danza) danza |
2024-10-14 14:43:18 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 246 seconds) |
2024-10-14 14:45:37 +0200 | euleritian | (~euleritia@84.19.220.82) (Ping timeout: 265 seconds) |
2024-10-14 14:45:55 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
2024-10-14 14:49:19 +0200 | CiaoSen | (~Jura@2a05:5800:2ca:cd00:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds) |
2024-10-14 14:50:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-14 14:53:24 +0200 | rosco | (~rosco@175.136.22.30) rosco |
2024-10-14 14:59:58 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
2024-10-14 15:14:16 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-10-14 15:17:01 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
2024-10-14 15:27:16 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9d11-44be-f9da-6c83-482e.rev.sfr.net) (Remote host closed the connection) |
2024-10-14 15:27:17 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb26e8fbd6c0b96dfe0a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2024-10-14 15:30:21 +0200 | bh34e5 | (~bh34e5@user/bh34e5) bh34e5 |
2024-10-14 15:32:11 +0200 | Achylles | (~Achylles@45.182.57.52) Achylles |
2024-10-14 15:32:51 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
2024-10-14 15:34:46 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9d11-14e2-d135-c40b-29b1.rev.sfr.net) alexherbo2 |
2024-10-14 15:44:18 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:2d2d:a36f:43f3:6f49) (Ping timeout: 248 seconds) |
2024-10-14 15:44:41 +0200 | <haskellbridge> | <oak> Isn't callCabal2Nix a bit bad solution anyway because it causes import-from-derivation? |
2024-10-14 15:44:41 +0200 | <haskellbridge> | <oak> but basically yes I think |
2024-10-14 15:44:42 +0200 | <haskellbridge> | <oak> It is somewhat confusing many examples and documentation show the usage of the callCabal2Nix although I wouldn't recommend to use it because it causes import-from-derivation. Instead you should have something like git pre-commit check to make sure your generated default.nix file stays up-to-date with the .cabal file. (IFD means Nix has to build a derivation first as part of the evaluation in order to be able to... |
2024-10-14 15:44:47 +0200 | <haskellbridge> | ... completely evaluate your Nix expression. Usually you want to evaluate first and after that start to build.) |
2024-10-14 15:44:48 +0200 | <haskellbridge> | <thirdofmay18081814goya> what's the proper way to write an AST using the freer monad on containers? |
2024-10-14 15:44:48 +0200 | <haskellbridge> | <thirdofmay18081814goya> datatypes a la carte uses the free monad and no containers |
2024-10-14 15:45:33 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb260d771c799cc2fd22.dip0.t-ipconnect.de) acidjnk |
2024-10-14 15:46:30 +0200 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
2024-10-14 15:50:51 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 246 seconds) |
2024-10-14 15:52:53 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection) |
2024-10-14 15:56:10 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9d11-14e2-d135-c40b-29b1.rev.sfr.net) (Remote host closed the connection) |
2024-10-14 15:57:19 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-14 15:57:38 +0200 | euleritian | (~euleritia@84.19.220.82) |
2024-10-14 16:00:31 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
2024-10-14 16:08:50 +0200 | Square | (~Square4@user/square) Square |
2024-10-14 16:08:52 +0200 | Square2 | (~Square@user/square) Square |
2024-10-14 16:10:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-14 16:10:46 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e385:c91:c412:4538) |
2024-10-14 16:11:29 +0200 | euleritian | (~euleritia@84.19.220.82) (Ping timeout: 260 seconds) |
2024-10-14 16:12:09 +0200 | euleritian | (~euleritia@dynamic-176-000-144-052.176.0.pool.telefonica.de) |
2024-10-14 16:16:58 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-10-14 16:20:15 +0200 | sayola1 | (~sayola@2a00:20:d302:f7e6:a954:455b:b33d:c7d4) sayola1 |
2024-10-14 16:22:46 +0200 | sayola | (~sayola@2a00:20:d308:54cb:f901:4267:f16e:dff0) (Ping timeout: 265 seconds) |
2024-10-14 16:26:09 +0200 | sayola1 | (~sayola@2a00:20:d302:f7e6:a954:455b:b33d:c7d4) (Quit: Leaving.) |
2024-10-14 16:38:57 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e385:c91:c412:4538) (Ping timeout: 252 seconds) |
2024-10-14 16:48:07 +0200 | identity | (~identity@user/ZharMeny) (Ping timeout: 264 seconds) |
2024-10-14 17:03:22 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-14 17:03:48 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-14 17:04:33 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2024-10-14 17:07:47 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 255 seconds) |
2024-10-14 17:07:47 +0200 | identity | (~identity@user/ZharMeny) (Read error: Connection reset by peer) |
2024-10-14 17:08:39 +0200 | mari-estel | (~mari-este@user/danza) (Remote host closed the connection) |
2024-10-14 17:08:53 +0200 | mari-estel | (~mari-este@user/danza) danza |
2024-10-14 17:10:34 +0200 | identity | (~identity@user/ZharMeny) identity |
2024-10-14 17:13:53 +0200 | mari-estel | (~mari-este@user/danza) () |
2024-10-14 17:21:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-10-14 17:23:44 +0200 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
2024-10-14 17:24:42 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) () |
2024-10-14 17:26:03 +0200 | rmca | (~rob@user/rmca) (Ping timeout: 246 seconds) |
2024-10-14 17:26:51 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
2024-10-14 17:28:08 +0200 | Achylles | (~Achylles@45.182.57.52) (Quit: Leaving) |
2024-10-14 17:34:04 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-14 17:36:06 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
2024-10-14 17:38:42 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb260d771c799cc2fd22.dip0.t-ipconnect.de) (Remote host closed the connection) |
2024-10-14 17:39:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb260d771c799cc2fd22.dip0.t-ipconnect.de) acidjnk |
2024-10-14 17:48:27 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 246 seconds) |
2024-10-14 17:57:29 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
2024-10-14 17:57:30 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
2024-10-14 17:58:32 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
2024-10-14 18:00:25 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
2024-10-14 18:01:21 +0200 | aforemny | (~aforemny@2001:9e8:6cdf:9f00:9304:f095:b881:d5be) (Ping timeout: 248 seconds) |
2024-10-14 18:02:59 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-14 18:04:45 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
2024-10-14 18:08:17 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 244 seconds) |
2024-10-14 18:11:16 +0200 | KicksonButt | (~quassel@187.21.174.221) |
2024-10-14 18:18:46 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
2024-10-14 18:23:16 +0200 | AlexZenon | (~alzenon@178.34.163.62) |
2024-10-14 18:23:34 +0200 | mehlon | (~mehlon@user/mehlon) mehlon |