2024-11-29 00:00:31 +0100 | <jackdk> | And if it compiles, it probably works, so transitively... |
2024-11-29 00:01:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 00:06:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 00:08:19 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Ping timeout: 245 seconds) |
2024-11-29 00:14:13 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-11-29 00:15:06 +0100 | hueso | (~root@user/hueso) (Ping timeout: 246 seconds) |
2024-11-29 00:17:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 00:17:28 +0100 | hueso | (~root@user/hueso) hueso |
2024-11-29 00:18:03 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
2024-11-29 00:18:56 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
2024-11-29 00:22:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-29 00:23:54 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-11-29 00:30:05 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f2308e7690b90e194d6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-11-29 00:33:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 00:37:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 00:48:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 00:53:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-29 01:04:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 01:09:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 01:10:37 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-29 01:15:34 +0100 | <haskellbridge> | <hellwolf> ™ |
2024-11-29 01:16:42 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
2024-11-29 01:17:57 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
2024-11-29 01:20:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 01:24:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 01:24:55 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2024-11-29 01:25:20 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-11-29 01:26:29 +0100 | xff0x | (~xff0x@2405:6580:b080:900:bdac:b2dc:9696:7d21) (Ping timeout: 248 seconds) |
2024-11-29 01:27:30 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
2024-11-29 01:27:46 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
2024-11-29 01:35:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 01:40:05 +0100 | alp__ | (~alp@2001:861:8ca0:4940:c5af:950e:283c:7445) (Ping timeout: 260 seconds) |
2024-11-29 01:43:21 +0100 | alp | (~alp@2001:861:8ca0:4940:c5af:950e:283c:7445) |
2024-11-29 01:45:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-11-29 01:48:03 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-29 01:54:17 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-11-29 01:54:31 +0100 | sprotte24 | (~sprotte24@p200300d16f138300907ffdfdcf85daeb.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-11-29 02:00:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 02:08:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 02:10:25 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-11-29 02:19:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 02:19:22 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-11-29 02:23:34 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-29 02:24:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-29 02:32:30 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
2024-11-29 02:33:15 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
2024-11-29 02:33:15 +0100 | ChanServ | +v haskellbridge |
2024-11-29 02:35:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 02:38:54 +0100 | alp | (~alp@2001:861:8ca0:4940:c5af:950e:283c:7445) (Ping timeout: 272 seconds) |
2024-11-29 02:40:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-11-29 02:50:34 +0100 | mange | (~user@user/mange) mange |
2024-11-29 02:50:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 02:54:31 +0100 | billchenchina | (~billchenc@103.152.35.21) billchenchina |
2024-11-29 02:55:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 02:57:06 +0100 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
2024-11-29 02:57:57 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
2024-11-29 03:03:25 +0100 | <zero> | i feel like "if it compiles, it probably works" used to be more true |
2024-11-29 03:03:59 +0100 | <zero> | but maybe that's a side effect of "the more you know" |
2024-11-29 03:06:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 03:09:36 +0100 | <zero> | https://paste.jrvieira.com/1732846145089 |
2024-11-29 03:09:55 +0100 | zero | is having fun |
2024-11-29 03:10:29 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
2024-11-29 03:11:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-29 03:21:06 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
2024-11-29 03:22:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 03:24:17 +0100 | banner | (~banner@202.137.173.5) |
2024-11-29 03:27:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 03:34:43 +0100 | <banner> | Hi, I have a beginners question about how to parse x-www-url-encoded form data into nested types. I'm using `http-api-data` and the compiler is indicating I should be implementing `FromHttpApiData a` for my types, but I feel like I want to be working with the Form type instead. How should I be going about the task of parsing forms into nested types? |
2024-11-29 03:39:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 03:41:33 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
2024-11-29 03:42:52 +0100 | banner | (~banner@202.137.173.5) (Changing host) |
2024-11-29 03:42:52 +0100 | banner | (~banner@user/banner) banner |
2024-11-29 03:44:35 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-29 03:44:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-29 03:52:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-29 03:55:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 03:55:31 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-11-29 03:56:34 +0100 | Alleria | (~Alleria@user/alleria) (Read error: Connection reset by peer) |
2024-11-29 03:59:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 04:00:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2024-11-29 04:02:16 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-29 04:02:40 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
2024-11-29 04:09:15 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-11-29 04:10:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 04:14:51 +0100 | <jackdk> | banner: to understand you correctly, you're parsing the body of e.g. a POST request? |
2024-11-29 04:15:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 04:16:01 +0100 | <jackdk> | Do you have some code to show where your head's at? Sending it to a pastebin would be handy |
2024-11-29 04:16:03 +0100 | <jackdk> | @where paste |
2024-11-29 04:16:03 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
2024-11-29 04:18:03 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-29 04:24:28 +0100 | <banner> | jackdk: https://paste.tomsmeding.com/vuvFPomk . I've tried to simplify the example to show what I'm trying to do, but if left anything out I can add it back in. |
2024-11-29 04:24:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 04:26:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-11-29 04:29:25 +0100 | <jackdk> | Thanks banner. It looks like the use of `parseUnique` is what's causing GHC to ask for a `FromHttpApiData` instance; I don't think this library is designed to handle forms using nested data structures. Let me sketch something, stand by |
2024-11-29 04:30:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-29 04:33:31 +0100 | <jackdk> | banner: What I think you want to do is do all of your parsing in the top-level `instance FromForm Scenario`, rather than trying to delegate it to instances on other types: https://www.irccloud.com/pastebin/v3bo6QbJ/Form.hs |
2024-11-29 04:37:48 +0100 | <banner> | Okay, thanks jackdk. That does look better. I'm worried about when this form gets even more complex this might make this top level parsing difficult to reason about. What do you think? I might give it ago and maybe it'll turn out better than I imagine. |
2024-11-29 04:38:58 +0100 | <banner> | Maybe I start simple and if it does get to complicated I'll try to write a parser myself that fits my needs a bit better. |
2024-11-29 04:39:28 +0100 | <jackdk> | banner: on a call, one sec. I have thoughts that might help |
2024-11-29 04:40:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 04:47:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-11-29 04:48:49 +0100 | <Axman6> | isn't parseUrlPiece the wrong function to use there? Don;t you want something like urlDecodeForm example >>= fromForm? |
2024-11-29 04:49:25 +0100 | <jackdk> | I don't see a use of parseUrlPiece though |
2024-11-29 04:50:05 +0100 | <Axman6> | from my understanding of FromHttpApiData is that it specified how to parse the things to the right of = |
2024-11-29 04:50:22 +0100 | <Axman6> | in banner's original paste |
2024-11-29 04:51:32 +0100 | <Axman6> | I'm assuming the code that was failing was `dec example` |
2024-11-29 04:51:41 +0100 | <banner> | Axman6, that's what I was thinking as well, the issue I'm having is going reading a form into a nested type though (maybe I shouldn't be using the word parsing that might be the wrong thing). |
2024-11-29 04:52:57 +0100 | <Axman6> | right, yes you'd also need an implementation for FromForm for Applicant to allow you to use parseUnique the way you are. |
2024-11-29 04:53:34 +0100 | notzmv | (~umar@user/notzmv) notzmv |
2024-11-29 04:53:37 +0100 | <banner> | Axman6, yes that's what I thought, but I couldn't figure out a way to call FromForm for Applicant in the Scenario FromForm. |
2024-11-29 04:54:12 +0100 | <Axman6> | you need to define instance FromForm applicant |
2024-11-29 04:54:16 +0100 | <Axman6> | Applicant* |
2024-11-29 04:54:50 +0100 | <banner> | Let me try that and I'll make another paste. |
2024-11-29 04:55:27 +0100 | <Axman6> | and then you'd use fromForm f = Scenario <$> fromForm "applicants" f |
2024-11-29 04:56:06 +0100 | <Axman6> | (which might be a bit of a weird way to do things, not sure if nesting is something that makes much sense in forms? |
2024-11-29 04:56:31 +0100 | Square2 | (~Square4@user/square) Square |
2024-11-29 04:58:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 04:58:43 +0100 | <jackdk> | Axman6: this is why I was suggesting parse the entire nested structure |
2024-11-29 04:58:48 +0100 | <jackdk> | see my earlier paste |
2024-11-29 05:00:02 +0100 | <Axman6> | yeah I did, it feels weird to do that, but I guess if you don't need a reusable way to parse Applicant then that'd fine. |
2024-11-29 05:00:09 +0100 | <jackdk> | You can then break this up by writing additional functions of type `Form -> Either Text a`, or by putting a `FromForm`instance on `Applicant` and parsing it out of the same form with something like: |
2024-11-29 05:00:30 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-11-29 05:00:45 +0100 | <jackdk> | `fromForm f = Scenario <$> fromForm f` -- passing the form down to the parser for `Applicant` and combining the (one) result |
2024-11-29 05:01:48 +0100 | <jackdk> | Axman6: Yeah, it does feel weird because it goes against standard instincts for serialisation classes. This is why my stance on serialisation classes is "they're bad but we have to use them because they're entrenched". I need to write this up sometime when we're not helping newbies |
2024-11-29 05:02:00 +0100 | <Axman6> | I was hoping to see something like formUnPrefixed :: Text -> Form -> Form which would take "applicant" and "applicant.1=1&applicant.2=foo" and turn it it into the equivalent of "1=1&2=foo" |
2024-11-29 05:03:22 +0100 | <jackdk> | I don't think enough people deal with urlencoded forms these days to make a robust library for these sort of things. I think everyone probably slings json in the body of a POST instead |
2024-11-29 05:03:33 +0100 | <banner> | What do you mean by serialisation classes jackdk |
2024-11-29 05:03:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 05:04:35 +0100 | <jackdk> | `FromFoo`/`ToFoo` class for various `Foo`: (`aeson`'s `FromJSON`/ `ToJSON`, your `FromForm` etc) |
2024-11-29 05:04:37 +0100 | <banner> | Using json seems like a good alternative. It's a little bit more work on the client side I guess. |
2024-11-29 05:04:55 +0100 | <banner> | I see. |
2024-11-29 05:05:22 +0100 | <jackdk> | For now, just ignore my opinions and get something working |
2024-11-29 05:05:34 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2024-11-29 05:06:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2024-11-29 05:06:13 +0100 | <banner> | Haha, I was hoping to support both forms and json because it looks like Servant can do it super easily, but I guess there's a hidden cost here. Json might be good enough for me. |
2024-11-29 05:06:33 +0100 | <banner> | Thanks for your help! |
2024-11-29 05:07:02 +0100 | <Axman6> | it shouldn't be too hard to do both |
2024-11-29 05:08:33 +0100 | <Axman6> | as long as you have FromForm Scenario and FromJSON Scenario it will work if you specify ReqBody '[JSON, FormUrlEncoded] Scenario |
2024-11-29 05:08:41 +0100 | <Axman6> | god I miss using Servant |
2024-11-29 05:09:09 +0100 | <banner> | Why don't you use Servant? |
2024-11-29 05:09:20 +0100 | <Axman6> | I don't do web apps any more |
2024-11-29 05:09:35 +0100 | <banner> | Oh, well that sounds like a good reason not to :p |
2024-11-29 05:14:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-29 05:14:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 05:15:05 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
2024-11-29 05:15:48 +0100 | troojg | (~troojg@user/troojg) troojg |
2024-11-29 05:16:17 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
2024-11-29 05:19:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 05:20:58 +0100 | rvalue- | rvalue |
2024-11-29 05:30:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 05:31:54 +0100 | zenmov | (~zenmov@user/zenmov) zenmov |
2024-11-29 05:32:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-11-29 05:34:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 05:37:30 +0100 | aforemny | (~aforemny@2001:9e8:6cdc:2b00:6753:61f2:45c1:85e) aforemny |
2024-11-29 05:37:56 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-29 05:38:39 +0100 | aforemny_ | (~aforemny@2001:9e8:6cfc:4900:21e:33c9:bfd:626b) (Ping timeout: 276 seconds) |
2024-11-29 05:43:50 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
2024-11-29 05:45:07 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2024-11-29 05:45:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 05:50:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 05:54:14 +0100 | RedNifre | (~RedNifre@dslb-002-206-109-199.002.206.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
2024-11-29 05:55:08 +0100 | alp | (~alp@2001:861:8ca0:4940:c4a2:dad0:8587:ee9d) |
2024-11-29 06:01:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 06:06:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 06:07:28 +0100 | RedNifre | (~RedNifre@dslb-002-203-026-114.002.203.pools.vodafone-ip.de) RedNifre |
2024-11-29 06:09:10 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-11-29 06:10:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 06:13:18 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2024-11-29 06:14:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-29 06:15:36 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 246 seconds) |
2024-11-29 06:26:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 06:27:05 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2024-11-29 06:30:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-11-29 06:32:55 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 252 seconds) |
2024-11-29 06:34:33 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
2024-11-29 06:41:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 06:46:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 06:51:16 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
2024-11-29 06:54:29 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-29 06:57:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 07:01:46 +0100 | mulk | (~mulk@p5b112ff6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-11-29 07:04:00 +0100 | ftzm | (~ftzm@085080252164.dynamic.telenor.dk) ftzm |
2024-11-29 07:05:11 +0100 | mulk | (~mulk@p5b11254a.dip0.t-ipconnect.de) mulk |
2024-11-29 07:07:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-11-29 07:13:01 +0100 | michalz | (~michalz@185.246.207.203) |
2024-11-29 07:17:05 +0100 | mange | (~user@user/mange) (Quit: Quittin' time!) |
2024-11-29 07:18:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 07:23:10 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-11-29 07:23:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 07:24:08 +0100 | banner | (~banner@user/banner) (Ping timeout: 252 seconds) |
2024-11-29 07:31:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 07:32:53 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2024-11-29 07:33:24 +0100 | euleritian | (~euleritia@dynamic-176-006-138-060.176.6.pool.telefonica.de) |
2024-11-29 07:36:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 07:39:00 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Remote host closed the connection) |
2024-11-29 07:44:59 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f88e8eb844323059c45.dip0.t-ipconnect.de) acidjnk |
2024-11-29 07:45:53 +0100 | Square | (~Square@user/square) Square |
2024-11-29 07:47:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 07:49:54 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
2024-11-29 07:52:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 07:53:11 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-11-29 08:02:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 08:07:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-11-29 08:11:30 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2024-11-29 08:13:16 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2024-11-29 08:13:17 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
2024-11-29 08:14:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 08:15:57 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2024-11-29 08:17:27 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Client Quit) |
2024-11-29 08:19:26 +0100 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) (Quit: leaving) |
2024-11-29 08:19:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 08:22:22 +0100 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
2024-11-29 08:26:06 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-11-29 08:30:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 08:39:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-11-29 08:41:18 +0100 | banner | (~banner@202.137.173.5) |
2024-11-29 08:43:09 +0100 | <haskellbridge> | <hellwolf> Is there some general rule a exhaustive list documented somewhere what operators are reserved/shall not be redefined? |
2024-11-29 08:43:11 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/rbyhqeKEmohivvFCLrAQPkNo/UsZHs5F5SLA (5 lines) |
2024-11-29 08:47:08 +0100 | <mauke> | the haskell report plus ghc extensions |
2024-11-29 08:48:07 +0100 | <mauke> | https://www.haskell.org/onlinereport/haskell2010/haskellch2.html#x7-180002.4 |
2024-11-29 08:48:43 +0100 | <mauke> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/unicode_syntax.html |
2024-11-29 08:48:55 +0100 | <mauke> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/magic_hash.html |
2024-11-29 08:49:06 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-11-29 08:49:56 +0100 | <haskellbridge> | <hellwolf> reservedop → .. | : | :: | = | \ | | | <- | -> | @ | ~ | => |
2024-11-29 08:51:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 08:56:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 09:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-11-29 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
2024-11-29 09:04:46 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-11-29 09:05:09 +0100 | califax | (~califax@user/califx) califx |
2024-11-29 09:07:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 09:12:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-11-29 09:22:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 09:27:09 +0100 | kuribas | (~user@2a02:1808:87:5496:d16a:e365:3672:ed9b) kuribas |
2024-11-29 09:27:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 09:28:22 +0100 | kuribas | (~user@2a02:1808:87:5496:d16a:e365:3672:ed9b) (Client Quit) |
2024-11-29 09:28:36 +0100 | kuribas | (~user@2a02:1808:87:5496:d16a:e365:3672:ed9b) kuribas |
2024-11-29 09:33:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 09:34:11 +0100 | euleritian | (~euleritia@dynamic-176-006-138-060.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-11-29 09:34:28 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
2024-11-29 09:34:36 +0100 | kuribas` | (~user@188.189.228.45) kuribas |
2024-11-29 09:36:29 +0100 | kuribas | (~user@2a02:1808:87:5496:d16a:e365:3672:ed9b) (Ping timeout: 244 seconds) |
2024-11-29 09:37:09 +0100 | banner | (~banner@202.137.173.5) (Ping timeout: 248 seconds) |
2024-11-29 09:38:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-29 09:41:35 +0100 | kuribas` | (~user@188.189.228.45) (Remote host closed the connection) |
2024-11-29 09:41:49 +0100 | kuribas` | (~user@2a02:1808:87:5496:948:c595:cf5f:3cc3) kuribas |
2024-11-29 09:49:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 09:50:36 +0100 | chele | (~chele@user/chele) chele |
2024-11-29 09:52:57 +0100 | __monty__ | (~toonn@user/toonn) toonn |
2024-11-29 09:54:59 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f88e8eb844323059c45.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2024-11-29 09:55:32 +0100 | vpan | (~vpan@212.117.1.172) |
2024-11-29 09:58:29 +0100 | CiaoSen | (~Jura@2a05:5800:2dd:1800:ca4b:d6ff:fec1:99da) CiaoSen |
2024-11-29 09:59:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-29 10:09:43 +0100 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
2024-11-29 10:10:29 +0100 | billchenchina | (~billchenc@103.152.35.21) (Read error: Connection reset by peer) |
2024-11-29 10:11:15 +0100 | kuribas` | (~user@2a02:1808:87:5496:948:c595:cf5f:3cc3) (Ping timeout: 252 seconds) |
2024-11-29 10:13:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 10:14:57 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-29 10:23:30 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) (Ping timeout: 244 seconds) |
2024-11-29 10:23:55 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) |
2024-11-29 10:29:57 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
2024-11-29 10:31:11 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f88e8eb844323059c45.dip0.t-ipconnect.de) acidjnk |
2024-11-29 10:40:04 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-11-29 10:47:54 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) tdammers |
2024-11-29 10:48:00 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2024-11-29 10:50:47 +0100 | kuribas` | (~user@2a02:1808:84:6b0f:c23e:3915:143f:19c9) kuribas |
2024-11-29 10:52:13 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-11-29 10:56:04 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
2024-11-29 10:57:00 +0100 | avdb13 | (~avdb13@2001-14ba-a0a9-f200--198.rev.dnainternet.fi) |
2024-11-29 11:00:05 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-11-29 11:00:18 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-11-29 11:01:08 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2024-11-29 11:13:39 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-11-29 11:15:17 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-11-29 11:15:51 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
2024-11-29 11:26:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-29 11:28:24 +0100 | billchenchina- | (~billchenc@103.152.35.21) (Quit: Leaving) |
2024-11-29 11:28:41 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f88e8eb844323059c45.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-11-29 11:32:05 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) tdammers |
2024-11-29 11:32:23 +0100 | ubert | (~Thunderbi@91.141.67.185.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
2024-11-29 11:33:58 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
2024-11-29 11:35:40 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-11-29 11:39:46 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) (Ping timeout: 272 seconds) |
2024-11-29 11:42:00 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-29 11:45:56 +0100 | grc | (~user@212-132-42-22.customer.gigaclear.net) (Remote host closed the connection) |
2024-11-29 11:48:08 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-11-29 11:48:35 +0100 | euleritian | (~euleritia@dynamic-176-006-142-048.176.6.pool.telefonica.de) |
2024-11-29 12:01:09 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-29 12:05:20 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) |
2024-11-29 12:10:08 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
2024-11-29 12:10:51 +0100 | CiaoSen | (~Jura@2a05:5800:2dd:1800:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
2024-11-29 12:11:15 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f88e8eb844323059c45.dip0.t-ipconnect.de) acidjnk |
2024-11-29 12:28:18 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-11-29 12:29:01 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-11-29 12:29:28 +0100 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2024-11-29 12:29:31 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) tdammers |
2024-11-29 12:31:32 +0100 | kuribas` | (~user@2a02:1808:84:6b0f:c23e:3915:143f:19c9) (Ping timeout: 265 seconds) |
2024-11-29 12:34:42 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
2024-11-29 12:39:39 +0100 | euleritian | (~euleritia@dynamic-176-006-142-048.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
2024-11-29 12:40:03 +0100 | euleritian | (~euleritia@dynamic-176-006-141-254.176.6.pool.telefonica.de) |
2024-11-29 12:47:00 +0100 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) |
2024-11-29 12:48:06 +0100 | briandaed | (~root@user/briandaed) briandaed |
2024-11-29 12:51:27 +0100 | euleritian | (~euleritia@dynamic-176-006-141-254.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
2024-11-29 12:52:57 +0100 | kuribas`` | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-11-29 12:53:15 +0100 | pavonia | (~user@user/siracusa) siracusa |
2024-11-29 12:53:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-29 13:04:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-29 13:18:19 +0100 | CiaoSen | (~Jura@2a05:5800:2dd:1800:ca4b:d6ff:fec1:99da) CiaoSen |
2024-11-29 13:24:48 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
2024-11-29 13:25:44 +0100 | euleritian | (~euleritia@dynamic-176-001-197-066.176.1.pool.telefonica.de) |
2024-11-29 13:26:02 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
2024-11-29 13:27:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
2024-11-29 13:28:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-29 13:37:25 +0100 | euleritian | (~euleritia@dynamic-176-001-197-066.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-11-29 13:37:42 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
2024-11-29 13:38:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-29 13:41:59 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-29 13:45:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-29 13:54:28 +0100 | euandreh | (~Thunderbi@2804:d59:8929:cc00:c70d:53a7:f44e:6c64) euandreh |
2024-11-29 13:55:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-29 14:02:23 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-11-29 14:12:00 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
2024-11-29 14:13:57 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-11-29 14:21:24 +0100 | euandreh | (~Thunderbi@2804:d59:8929:cc00:c70d:53a7:f44e:6c64) (Quit: euandreh) |
2024-11-29 14:27:15 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f88e8eb844323059c45.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-11-29 14:35:53 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-11-29 14:39:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-29 14:43:47 +0100 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) ft |
2024-11-29 14:47:07 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-29 14:51:08 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b90f:ed1c:a9d8:6a75) |
2024-11-29 14:53:12 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-11-29 14:53:26 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) |
2024-11-29 15:00:49 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
2024-11-29 15:11:02 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 15:11:34 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 15:19:41 +0100 | CiaoSen | (~Jura@2a05:5800:2dd:1800:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
2024-11-29 15:21:14 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 15:21:45 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 15:21:52 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-29 15:23:46 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) tdammers |
2024-11-29 15:29:41 +0100 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) (Ping timeout: 272 seconds) |
2024-11-29 15:31:25 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 15:31:56 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 15:35:05 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
2024-11-29 15:41:24 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 240 seconds) |
2024-11-29 15:41:36 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 15:42:07 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 15:47:29 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
2024-11-29 15:50:09 +0100 | simendsjo | (~user@telia-2e0f7e-77.connect.netcom.no) simendsjo |
2024-11-29 15:51:47 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 15:52:17 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 16:10:22 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 16:10:54 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 16:18:04 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-11-29 16:20:34 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 16:21:06 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 16:30:45 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 16:31:17 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 16:34:54 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
2024-11-29 16:35:51 +0100 | simendsjo | (~user@telia-2e0f7e-77.connect.netcom.no) (Read error: Connection reset by peer) |
2024-11-29 16:39:11 +0100 | td_ | (~td@i5387093D.versanet.de) |
2024-11-29 16:40:14 +0100 | ystael | (~ystael@user/ystael) ystael |
2024-11-29 16:40:55 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 16:41:25 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 16:41:59 +0100 | Jackneill | (~Jackneill@178-164-253-185.pool.digikabel.hu) (Remote host closed the connection) |
2024-11-29 16:43:39 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f88e8eb844323059c45.dip0.t-ipconnect.de) |
2024-11-29 16:45:28 +0100 | __monty__ | (~toonn@user/toonn) toonn |
2024-11-29 16:50:21 +0100 | Square | (~Square@user/square) Square |
2024-11-29 16:50:54 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
2024-11-29 16:51:06 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 16:51:36 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 16:57:12 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
2024-11-29 16:58:51 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2024-11-29 16:59:51 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-29 17:01:17 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 17:01:48 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 17:02:24 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
2024-11-29 17:02:43 +0100 | tdammers | (~tdammers@240-117-146-85.ftth.glasoperator.nl) |
2024-11-29 17:04:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 17:05:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 17:11:14 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-11-29 17:11:28 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 17:11:59 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 17:12:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 17:13:14 +0100 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 260 seconds) |
2024-11-29 17:20:26 +0100 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
2024-11-29 17:21:39 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 17:22:12 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 17:22:29 +0100 | tjbc | (~tjbc@user/fliife) fliife |
2024-11-29 17:23:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 17:26:55 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-11-29 17:29:01 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-29 17:30:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 17:31:50 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 17:32:22 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 17:42:01 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 17:42:32 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 17:44:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 17:44:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
2024-11-29 17:46:38 +0100 | ubert | (~Thunderbi@178.165.179.0.wireless.dyn.drei.com) ubert |
2024-11-29 17:48:45 +0100 | kimiamania | (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
2024-11-29 17:49:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-11-29 17:51:07 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-11-29 17:52:12 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 17:52:36 +0100 | billchenchina- | (~billchenc@2408:824e:d29:f831:779f:906f:7c34:6705) billchenchina |
2024-11-29 17:52:44 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 17:55:24 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Ping timeout: 245 seconds) |
2024-11-29 17:55:58 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 272 seconds) |
2024-11-29 17:56:00 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-29 17:59:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 18:00:16 +0100 | kimiamania | (~924ba01d@user/kimiamania) kimiamania |
2024-11-29 18:02:23 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-29 18:03:02 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 18:04:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 18:06:29 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
2024-11-29 18:11:29 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-29 18:11:41 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
2024-11-29 18:14:29 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
2024-11-29 18:15:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 18:15:41 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f88e8eb844323059c45.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-11-29 18:16:19 +0100 | billchenchina- | (~billchenc@2408:824e:d29:f831:779f:906f:7c34:6705) (Ping timeout: 264 seconds) |
2024-11-29 18:20:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-29 18:27:19 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-11-29 18:28:04 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-11-29 18:30:03 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
2024-11-29 18:30:44 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
2024-11-29 18:30:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 18:32:37 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f88d901269a61474092.dip0.t-ipconnect.de) |
2024-11-29 18:32:54 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
2024-11-29 18:33:36 +0100 | troojg | (~troojg@user/troojg) troojg |
2024-11-29 18:35:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 18:36:34 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
2024-11-29 18:46:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 18:51:20 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-29 18:52:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-29 18:56:16 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-11-29 18:56:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2024-11-29 18:57:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-29 19:01:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 19:07:40 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-29 19:08:06 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-29 19:08:25 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
2024-11-29 19:08:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 19:09:23 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
2024-11-29 19:10:18 +0100 | troydm | (~troydm@user/troydm) troydm |
2024-11-29 19:11:41 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
2024-11-29 19:12:22 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-11-29 19:12:37 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
2024-11-29 19:13:19 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-11-29 19:15:05 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-11-29 19:19:38 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-11-29 19:19:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 19:24:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 19:31:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-29 19:35:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 19:40:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-11-29 19:40:53 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2024-11-29 19:48:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
2024-11-29 19:51:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 19:52:29 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
2024-11-29 19:54:18 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-11-29 19:56:17 +0100 | euleritian | (~euleritia@77.22.252.159) |
2024-11-29 19:56:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-29 19:59:51 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-11-29 20:02:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 20:03:26 +0100 | mantraofpie_ | (~mantraofp@user/mantraofpie) mantraofpie |
2024-11-29 20:04:06 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds) |
2024-11-29 20:04:34 +0100 | mantraofpie_ | mantraofpie |
2024-11-29 20:05:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-29 20:07:25 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-11-29 20:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-29 20:11:19 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-11-29 20:13:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-29 20:18:15 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2024-11-29 20:18:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 20:21:57 +0100 | briandaed | (~root@user/briandaed) (Remote host closed the connection) |
2024-11-29 20:22:35 +0100 | simendsjo | (~user@84.211.91.108) simendsjo |
2024-11-29 20:23:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-11-29 20:27:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-29 20:34:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 20:39:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 20:39:13 +0100 | sprotte24 | (~sprotte24@p200300d16f1c6f00b8bd5c1e150d1569.dip0.t-ipconnect.de) |
2024-11-29 20:42:57 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
2024-11-29 20:43:08 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
2024-11-29 20:44:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-29 20:45:20 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
2024-11-29 20:48:58 +0100 | <haskellbridge> | <magic_rb> im looking for a way to read int32s in BE from a strict bytestring, i found https://paste.tomsmeding.com/es5Uiu1v in the guts of the "tar" library, couldn't find any way to do it with just the bytestring library |
2024-11-29 20:49:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 20:50:24 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 245 seconds) |
2024-11-29 20:50:37 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) |
2024-11-29 20:52:46 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:5174:5a46:699:13f) (Quit: Leaving) |
2024-11-29 20:52:52 +0100 | banner | (~banner@202.137.173.5) |
2024-11-29 20:54:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 20:55:28 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-11-29 20:56:56 +0100 | <geekosaur> | I think the usual way is to use `binary` or `cereal` |
2024-11-29 20:57:35 +0100 | <geekosaur> | `bytestring` doesn't do it, it expects you to use a serialization library |
2024-11-29 20:58:25 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-11-29 20:59:26 +0100 | <[exa]> | magic_rb: tbh if you only aim to read the BE int32s and that's it, might be best to just do `peek` with raw pointers and convert the endianity yourself. |
2024-11-29 21:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-11-29 21:00:07 +0100 | <haskellbridge> | <magic_rb> i for now copied the thing from tar, im trying to read out a ZFS filesystem image |
2024-11-29 21:00:16 +0100 | <[exa]> | (on a side note, why from bytestring? is this mixed with text?) |
2024-11-29 21:00:24 +0100 | <haskellbridge> | <magic_rb> nope |
2024-11-29 21:00:30 +0100 | <haskellbridge> | <magic_rb> just was the thing i could get quickest |
2024-11-29 21:00:40 +0100 | caconym | (~caconym@user/caconym) caconym |
2024-11-29 21:00:58 +0100 | <[exa]> | ah, you might like System.IO.Mmap or so, esp if the images get yuge |
2024-11-29 21:01:07 +0100 | <haskellbridge> | <magic_rb> i have a 64MB disk image that i want to be able to read currently, i may end up mmaping it later |
2024-11-29 21:01:14 +0100 | <geekosaur> | tbh that sounds like you want to use hsc2hs to generate `Storable` instances for what are probably C `struct`s |
2024-11-29 21:01:17 +0100 | <haskellbridge> | <magic_rb> oh nice, thanks for the pointer |
2024-11-29 21:01:30 +0100 | <[exa]> | +1 for storable if ZFS has applicable headers |
2024-11-29 21:01:34 +0100 | <haskellbridge> | <magic_rb> nah, there are no c structs :) im doing this manually |
2024-11-29 21:02:05 +0100 | <haskellbridge> | <magic_rb> because i want to parse out the original on disk format from almost 20 years ago, so the current structs are no longer applicable |
2024-11-29 21:02:12 +0100 | <haskellbridge> | <magic_rb> and i dont feel like digging up ancient solaris code |
2024-11-29 21:02:53 +0100 | <[exa]> | oh wow cool |
2024-11-29 21:04:06 +0100 | <tomsmeding> | magic_rb: godspeed, rather you than me |
2024-11-29 21:04:30 +0100 | <haskellbridge> | <magic_rb> this is me preparing for my thesis, which is gonna be a filesystem in haskell |
2024-11-29 21:04:34 +0100 | <haskellbridge> | <magic_rb> so im experimenting :) |
2024-11-29 21:05:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 21:06:31 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
2024-11-29 21:06:55 +0100 | <[exa]> | magic_rb: how are you gonna mount that, with fuse? |
2024-11-29 21:07:00 +0100 | <haskellbridge> | <magic_rb> yep |
2024-11-29 21:07:13 +0100 | <[exa]> | any cool features planned? |
2024-11-29 21:07:14 +0100 | <haskellbridge> | <magic_rb> for the thesis i also gotta figure out iouring, since its supposed to be fast |
2024-11-29 21:07:46 +0100 | <haskellbridge> | <magic_rb> well, the idea was to evaluate whether i can write a performant filesystem implementation without it devolving into a C like mess with pointers and stuff |
2024-11-29 21:07:57 +0100 | <haskellbridge> | <magic_rb> so i have to reimplement something that exists, so no, not really |
2024-11-29 21:09:04 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-11-29 21:09:14 +0100 | <[exa]> | yeah like, the issue with the current filesystems is that they _are_ a mess of pointers and stuff |
2024-11-29 21:09:29 +0100 | <haskellbridge> | <magic_rb> indeed |
2024-11-29 21:09:51 +0100 | <haskellbridge> | <magic_rb> if i can get something reasonably quick in userspace and in haskell, that would be a great step towards safer filesystems |
2024-11-29 21:10:15 +0100 | <haskellbridge> | <magic_rb> i love zfs, its a great piece of software and they do a lot of tricks to make C writing sane, but still |
2024-11-29 21:10:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 21:11:07 +0100 | <[exa]> | btw I'd aim for something vastly simpler than zfs, ext4 is IMO doable. You'll have to do some pointers but you might get a pretty good abstraction layer there. |
2024-11-29 21:12:02 +0100 | <haskellbridge> | <magic_rb> oh of course, this is just me having fun |
2024-11-29 21:12:03 +0100 | <[exa]> | on another note, fuse itself is comparably slow, so you should probably make an "identity" fuse filesystem in C that you run over the "real" benchmarked filesystem and compare to that instead of the in-kernel fs impl |
2024-11-29 21:12:22 +0100 | <[exa]> | (this in itself could be valuable benchmark of fuse :D ) |
2024-11-29 21:12:37 +0100 | <haskellbridge> | <magic_rb> im hoping that with iouring i could get at least somewhat close to something in the kernel |
2024-11-29 21:12:44 +0100 | <haskellbridge> | <magic_rb> and specifically ill pick something shitty no one cares about |
2024-11-29 21:12:47 +0100 | <haskellbridge> | <magic_rb> like fat16 :) |
2024-11-29 21:12:59 +0100 | <haskellbridge> | <magic_rb> hoping that no one cared enough to optimize it |
2024-11-29 21:13:31 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-11-29 21:14:32 +0100 | <[exa]> | there's likely nothing much to optimize there |
2024-11-29 21:14:41 +0100 | <[exa]> | it just shovels data |
2024-11-29 21:15:32 +0100 | <haskellbridge> | <magic_rb> your C fuse vs Haskell fuse isnt a bad idea |
2024-11-29 21:15:35 +0100 | <haskellbridge> | <magic_rb> except i suck at C |
2024-11-29 21:16:15 +0100 | <tomsmeding> | there's likely fuse hello world examples online that you can easily modify to an identity filesystem |
2024-11-29 21:16:24 +0100 | <[exa]> | btw why not go for some kindof a DSL instead that can generate the "sane" C for you? Haskell runtime isn't bad at concurrency etc., but whenever you'll want it to just shovel data, it's likely going to kill your benchmark. |
2024-11-29 21:17:18 +0100 | <haskellbridge> | <magic_rb> that is a valid point |
2024-11-29 21:17:33 +0100 | <haskellbridge> | <magic_rb> and i dont really have an answer to that, except i want write it in haskell |
2024-11-29 21:17:59 +0100 | <haskellbridge> | <magic_rb> also, if i manage to get it somewhat fast, ill finally have something to show when someone says "haskell is really slow tho" |
2024-11-29 21:18:15 +0100 | <[exa]> | ah wait |
2024-11-29 21:19:05 +0100 | <haskellbridge> | <magic_rb> and ill probably end up shuffling pointers around anyway, with zfs at least, the metadata is very much separate from the data, so if i can work with the metadata in nice haskell land and shuffle pointers only when getting to the data itself, i think it could work |
2024-11-29 21:19:11 +0100 | <haskellbridge> | <magic_rb> malloc is always an option |
2024-11-29 21:19:34 +0100 | <geekosaur> | nonmoving gc would be preferred for this, I think |
2024-11-29 21:20:56 +0100 | <[exa]> | magic_rb: work of a friend https://arxiv.org/pdf/1908.10926 |
2024-11-29 21:20:56 +0100 | <haskellbridge> | <magic_rb> still, if i have to juggle around megabytes of data while reading it out and then throwing over a iouring, idk how well ghc could keep up |
2024-11-29 21:21:17 +0100 | <[exa]> | yeah this exact data you want to keep out of the reach of gc |
2024-11-29 21:21:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 21:21:32 +0100 | <haskellbridge> | <magic_rb> are you czech? im slovak myself and i know a few people studying in prague |
2024-11-29 21:22:10 +0100 | <tomsmeding> | GC doesn't do very much with byte buffers, it "just" copies them if they're not pinned and if you're using the copying GC |
2024-11-29 21:22:41 +0100 | <tomsmeding> | so either use ByteStrings (which are pinned) or use the nonmoving GC, or both, and GC shouldn't care very much how many GB of byte buffers you have around |
2024-11-29 21:22:57 +0100 | <tomsmeding> | it does care about how _many_ objects you have around |
2024-11-29 21:23:01 +0100 | <[exa]> | magic_rb: yes (currently not in CZ tho) |
2024-11-29 21:23:08 +0100 | <haskellbridge> | <magic_rb> ah nice |
2024-11-29 21:23:11 +0100 | <haskellbridge> | <magic_rb> small world |
2024-11-29 21:23:24 +0100 | <haskellbridge> | <magic_rb> the zipper stuff looks very fascinating |
2024-11-29 21:23:32 +0100 | <haskellbridge> | <magic_rb> will keep in mind when constructing the zfs object tree |
2024-11-29 21:24:07 +0100 | <haskellbridge> | <magic_rb> i could in a first implementation load the whole metadata tree into memory and flush it out to disk occasionally (assuming i get to read write) |
2024-11-29 21:24:27 +0100 | <haskellbridge> | <magic_rb> im currently trying to decode an nvlist |
2024-11-29 21:24:39 +0100 | <[exa]> | like, he beat the c++ trees by exploiting the fact that allocation in haskell is mostly free. Which can soak up a lot of inefficiency from elsewhere. |
2024-11-29 21:24:43 +0100 | <haskellbridge> | <magic_rb> uboot is carrying https://github.com/ARM-software/u-boot/blob/master/fs/zfs/zfs.c#L1505 |
2024-11-29 21:25:43 +0100 | <haskellbridge> | <magic_rb> i was talking to a JVM dev, who's now teaching in amsterdam and he was quite surprised we had a mini heap per thread, the bump allocator thing |
2024-11-29 21:26:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-11-29 21:26:20 +0100 | <[exa]> | you mean the nurseries right? |
2024-11-29 21:26:31 +0100 | <[exa]> | or what's it called nowadays |
2024-11-29 21:26:55 +0100 | <haskellbridge> | <magic_rb> yeah i guess |
2024-11-29 21:27:11 +0100 | <haskellbridge> | <magic_rb> i feel like for us it works better since everything is immutable |
2024-11-29 21:27:31 +0100 | <tomsmeding> | definitely nursery |
2024-11-29 21:27:31 +0100 | <haskellbridge> | <magic_rb> like in java a object on the main heap could refer to one on the nursery, but not in haskell |
2024-11-29 21:27:41 +0100 | <tomsmeding> | until it does |
2024-11-29 21:27:43 +0100 | <tomsmeding> | IORefs exist |
2024-11-29 21:27:54 +0100 | <[exa]> | yeah that situation is normal even without iorefs |
2024-11-29 21:28:13 +0100 | <tomsmeding> | how does that happen without IORefs? |
2024-11-29 21:28:23 +0100 | <[exa]> | whenever a thunk evaluates to something newer than itself (which is common) it's gotta point back to the newer memory |
2024-11-29 21:28:23 +0100 | <haskellbridge> | <magic_rb> huh? |
2024-11-29 21:28:34 +0100 | <haskellbridge> | <magic_rb> oooh |
2024-11-29 21:28:46 +0100 | <tomsmeding> | oh right |
2024-11-29 21:28:47 +0100 | <haskellbridge> | <magic_rb> right the thunk can get evicted before the thing it points to ig |
2024-11-29 21:28:52 +0100 | <tomsmeding> | yes |
2024-11-29 21:28:53 +0100 | simendsjo | (~user@84.211.91.108) (Remote host closed the connection) |
2024-11-29 21:29:00 +0100 | <haskellbridge> | <magic_rb> welp never mind, doesnt work as nicely as i thought |
2024-11-29 21:29:10 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-11-29 21:29:11 +0100 | <tomsmeding> | well actually, if a thunk gets promoted at all, you have this situation |
2024-11-29 21:29:17 +0100 | <tomsmeding> | promoted before it's evaluated, that is |
2024-11-29 21:29:28 +0100 | <[exa]> | "can get evicted" complex, depends, the value might have other values, ... |
2024-11-29 21:29:30 +0100 | <tomsmeding> | because the evaluation of said thunk will probably allocate, and those allocations will be new |
2024-11-29 21:35:55 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
2024-11-29 21:37:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 21:39:49 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
2024-11-29 21:41:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-11-29 21:43:50 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
2024-11-29 21:43:50 +0100 | ChanServ | +v haskellbridge |
2024-11-29 21:48:09 +0100 | avdb13 | (~avdb13@2001-14ba-a0a9-f200--198.rev.dnainternet.fi) (Remote host closed the connection) |
2024-11-29 21:48:40 +0100 | avdb13 | (~avdb13@2001-14ba-a0a9-f200--198.rev.dnainternet.fi) |
2024-11-29 21:52:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 21:55:20 +0100 | euleritian | (~euleritia@77.22.252.159) (Ping timeout: 252 seconds) |
2024-11-29 21:55:40 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
2024-11-29 21:56:08 +0100 | euleritian | (~euleritia@176.2.13.189) |
2024-11-29 21:59:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 22:01:02 +0100 | troojg | (~troojg@user/troojg) troojg |
2024-11-29 22:05:31 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:b476:3399:7ccb:c1f7) tabemann |
2024-11-29 22:07:04 +0100 | ubert | (~Thunderbi@178.165.179.0.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2024-11-29 22:07:30 +0100 | <haskellbridge> | <magic_rb> [exa]: i added the mmap package as your recommended, now im wondering how i can do easy enough deserialization from it, i came up with "type PtrT e m a = ExceptT e (StateT (Ptr (), Int, Int) m) a -- ptr, size, offset" |
2024-11-29 22:07:39 +0100 | <haskellbridge> | <magic_rb> for now |
2024-11-29 22:10:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 22:15:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 22:26:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 22:30:36 +0100 | <tomsmeding> | is it possible to have dependencies of a Setup.hs be conditional on the platform? |
2024-11-29 22:31:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 22:32:02 +0100 | <tomsmeding> | ah I might not need it after all |
2024-11-29 22:33:21 +0100 | <geekosaur> | https://paste.tomsmeding.com/M9GGy80s or similar, I think |
2024-11-29 22:34:06 +0100 | <tomsmeding> | geekosaur: `invalid subsection "if"` |
2024-11-29 22:34:38 +0100 | <tomsmeding> | the cabal documentation is completely silent on what exactly can appear in a custom-setup clause |
2024-11-29 22:35:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-29 22:37:01 +0100 | <geekosaur> | mm, I guess it needs to be in build-tool-depends or something, but #hackage would know |
2024-11-29 22:37:23 +0100 | <tomsmeding> | well it's not a build tool, it's a library to be used in Setup.hs |
2024-11-29 22:37:34 +0100 | <tomsmeding> | but it turns out a platform-independent library already gives me enough functionality :) |
2024-11-29 22:37:35 +0100 | <geekosaur> | right, but that can be used for setup depends as well |
2024-11-29 22:37:42 +0100 | <tomsmeding> | I see |
2024-11-29 22:37:42 +0100 | <geekosaur> | it's kinda weird |
2024-11-29 22:38:20 +0100 | <tomsmeding> | (I thought I needed `unix` for getting the modification time of a file, but `directory` happens to have `getModificationTime` already) |
2024-11-29 22:42:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 22:42:16 +0100 | euleritian | (~euleritia@176.2.13.189) (Read error: Connection reset by peer) |
2024-11-29 22:42:27 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-11-29 22:42:34 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
2024-11-29 22:44:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-29 22:47:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-11-29 22:53:58 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
2024-11-29 22:58:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 22:58:07 +0100 | Everything | (~Everythin@46-133-37-211.mobile.vf-ua.net) Everything |
2024-11-29 23:02:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 23:04:33 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 248 seconds) |
2024-11-29 23:07:34 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-29 23:08:29 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
2024-11-29 23:11:22 +0100 | avdb13 | (~avdb13@2001-14ba-a0a9-f200--198.rev.dnainternet.fi) (Ping timeout: 272 seconds) |
2024-11-29 23:12:26 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-11-29 23:13:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 23:18:17 +0100 | Alleria_ | (~Alleria@user/alleria) Alleria |
2024-11-29 23:18:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-29 23:18:50 +0100 | dyniec | (~dyniec@dybiec.info) dyniec |
2024-11-29 23:19:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-29 23:20:46 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 252 seconds) |
2024-11-29 23:29:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 23:36:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 23:39:36 +0100 | banner | (~banner@202.137.173.5) (Ping timeout: 276 seconds) |
2024-11-29 23:44:13 +0100 | <haskellbridge> | <magic_rb> success https://paste.tomsmeding.com/LIyy1Pab |
2024-11-29 23:45:02 +0100 | <haskellbridge> | <magic_rb> im only able to parse uint64s and strings, the next nvpair is of type 19, ie an nvlist |
2024-11-29 23:47:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-29 23:49:55 +0100 | banner | (~banner@202.137.173.5) |
2024-11-29 23:52:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-29 23:59:30 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |