| 2024-12-30 00:02:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 00:07:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-30 00:07:51 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-30 00:09:09 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-12-30 00:13:17 +0100 | orangeflu | (~flu@159.67.5.85.dynamic.cust.swisscom.net) orangeFlu |
| 2024-12-30 00:14:21 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Ping timeout: 244 seconds) |
| 2024-12-30 00:15:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 00:20:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-30 00:33:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 00:37:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 00:38:32 +0100 | <orangeflu> | Buiogio or something |
| 2024-12-30 00:38:37 +0100 | <orangeflu> | I don't remember your name |
| 2024-12-30 00:38:40 +0100 | <orangeflu> | Are you here? |
| 2024-12-30 00:40:34 +0100 | Tech_Junky | (~Tech_Junk@185.152.66.235) |
| 2024-12-30 00:43:56 +0100 | <haskellbridge> | <Bowuigi> Uhhhh are you talking about me? |
| 2024-12-30 00:43:57 +0100 | <geekosaur> | Bowuigi ^^ |
| 2024-12-30 00:45:09 +0100 | <orangeflu> | Yeesss |
| 2024-12-30 00:45:24 +0100 | cowboy8625 | (~cowboy@2605-4A80-7405-640-B51A-FA7D-9084-E360-dynamic.midco.net) (Ping timeout: 245 seconds) |
| 2024-12-30 00:45:43 +0100 | <orangeflu> | God damn it, i totally forgot your name and had no idea what it was, so i just wrote B and a bunch of letters in hopes someone will know |
| 2024-12-30 00:46:06 +0100 | <orangeflu> | Could have checked the logs but anyway |
| 2024-12-30 00:47:09 +0100 | <orangeflu> | So I finally got around to implementing the MVector under ST monad. After some checking, I realized that if I wanted Mvectors under IO, I would have to litter my library code full of IO (..) return types, which I don't want |
| 2024-12-30 00:48:06 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-12-30 00:48:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-12-30 00:48:36 +0100 | <orangeflu> | So made some getters and setters for my registers and memory, modified all the instructions to use those, then modified the setter to thaw the vectors to mvectors and then freeze them after they are done with modifying |
| 2024-12-30 00:48:57 +0100 | <orangeflu> | The result: my application is now slightly slower and consume maybe 4x times the RAM |
| 2024-12-30 00:49:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 00:49:28 +0100 | <orangeflu> | which i assume is overhead from thaw and freeze, cause i do that for every instruction |
| 2024-12-30 00:50:17 +0100 | <orangeflu> | and hackage says they are O(n), but i assumed it would be a very simple operation to turn them from mutable to immut or the other way around |
| 2024-12-30 00:51:10 +0100 | <orangeflu> | Anyway, i assume a reasonable course of action would now be to hold the vector muttable for the duration of the emulation, and then freeze it only when it comes back for user inspection? |
| 2024-12-30 00:51:41 +0100 | <haskellbridge> | <Bowuigi> That's actually reasonable, yeah |
| 2024-12-30 00:52:00 +0100 | <orangeflu> | Ok, just checking |
| 2024-12-30 00:52:55 +0100 | <orangeflu> | also, i was overcomplicating the whole ST monad, i think i just wasn't getting the types right, cause it it as easy as doing runST $ do ... {mutate some vecs here} and that's it, the rest of the code can remain pure |
| 2024-12-30 00:54:33 +0100 | <orangeflu> | https://paste.tomsmeding.com/oUOQx2Pm |
| 2024-12-30 00:55:00 +0100 | <orangeflu> | Like, this is the only part of the code meddling with the ST monad, and its types are pure |
| 2024-12-30 00:55:06 +0100 | <orangeflu> | How is that even possible..? |
| 2024-12-30 00:55:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 00:55:54 +0100 | <Rembane> | orangeflu: Because of the runST, if your remove it everything will happen in ST insteead. |
| 2024-12-30 00:55:56 +0100 | <haskellbridge> | <Bowuigi> Yeah that's gonna be very slow, it turns O(1) code into O(n) |
| 2024-12-30 00:56:41 +0100 | <haskellbridge> | <Bowuigi> ST encodes local mutability. Since it's thread safe and isolated enough, it can be run purely |
| 2024-12-30 00:58:30 +0100 | <haskellbridge> | <Bowuigi> Thread safe as an atomic unit, its steps are not safe |
| 2024-12-30 00:58:53 +0100 | <orangeflu> | Rembane: doesn't everything inside runST already happen inside ST? If i remove it, it won't work anymore, cause i never packaged my function into ST |
| 2024-12-30 00:59:22 +0100 | <orangeflu> | Bowuigi: what do you mean by "it turns O(1) code into O(n)". Who does? runST? |
| 2024-12-30 00:59:47 +0100 | <Rembane> | orangeflu: I think it will work, but something else will have to apply a runST to it |
| 2024-12-30 01:01:40 +0100 | <orangeflu> | Rembane: you mean, if i remove runST here, i need to apply runST to a function further up the chain? |
| 2024-12-30 01:01:49 +0100 | <orangeflu> | Cause if yes, that's what i am doing now |
| 2024-12-30 01:02:44 +0100 | <orangeflu> | If not, sorry, i don't know enough about monads, ST in particular, to know what is the "something" you are talking about |
| 2024-12-30 01:02:47 +0100 | <Rembane> | orangeflu: Yes, also there's some freezing and thawing that needs to be moved around and the types need to be adjusted. :) |
| 2024-12-30 01:06:36 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-12-30 01:07:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 01:07:50 +0100 | <orangeflu> | Ok, just to fill you in in case you weren't there last time we discussed this: this is about an emulator, and obviously instructions need to modify the memory/registers. What I do now, is, whenever an instruction needs to modify something, i runSt, thaw, modify, freeze. What I want to do instead: when execution of the program starts (i mean, the processor loop, where i fetch an instruction, decode and |
| 2024-12-30 01:07:57 +0100 | <orangeflu> | execute it), i do runST and thaw the vectors there, run the program, and when it is done, freeze the vector. This will happen inside the emulator totally, so all parts of the program that call the emulator will have no idea this is happening, they will send and receive back an immutable copy of the mem/regs they sent |
| 2024-12-30 01:08:22 +0100 | <monochrom> | Every thaw takes linear time. Every freeze takes linear time. |
| 2024-12-30 01:08:51 +0100 | <orangeflu> | That does mean my instructions will not be pure anymore, but hey, if that means I don't have to allocate 32GB whenever i try to emulate a program, i am fine with it |
| 2024-12-30 01:08:54 +0100 | <Rembane> | orangeflu: I like the second version where everything happens inside of ST or IO more. :) |
| 2024-12-30 01:09:03 +0100 | <Rembane> | orangeflu: I think you're on the right track. |
| 2024-12-30 01:09:08 +0100 | <monochrom> | But if your array is very small you can turn a blind eye because O(20) counts as O(1). |
| 2024-12-30 01:10:04 +0100 | <orangeflu> | monochrom: i most certainly cannot, one is 32 Word8s, the other can be anywhere between 32-5000 Word8s, maybe even more |
| 2024-12-30 01:10:18 +0100 | <Rembane> | A significant n! |
| 2024-12-30 01:10:20 +0100 | <monochrom> | But then you might as well stick to immutable arrays because thaw-then-freeze is twice as slow as just building a new array. |
| 2024-12-30 01:11:11 +0100 | <monochrom> | Then again O(2*20) counts as O(20) too so you can turn a blind eye and defend an XY problem. |
| 2024-12-30 01:11:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 01:13:21 +0100 | <orangeflu> | monochrom: did you read the last monologue i made? i will only do a thaw when i start executing, then execute, say, 50000 cycles, EACH of which will mutate the vectors in some ways, then freeze it when presenting the final state of the emulator to the user. If you do the math, if you execute 50000 instructions, each of which make copies of the, let's say, on average 2032 elements in those vectors, you |
| 2024-12-30 01:13:27 +0100 | <orangeflu> | might have a problem |
| 2024-12-30 01:13:29 +0100 | <orangeflu> | and indeed, i do |
| 2024-12-30 01:13:56 +0100 | <orangeflu> | So yes, i will thaw, execute a bunch of instructions, freeze and not rely on the "copying is fine" because it isn't |
| 2024-12-30 01:14:00 +0100 | Tech_Junky | (~Tech_Junk@185.152.66.235) (Ping timeout: 252 seconds) |
| 2024-12-30 01:14:32 +0100 | <monochrom> | I saw "whenever an instruction needs to modify something, i runSt, thaw, modify, freeze" |
| 2024-12-30 01:15:01 +0100 | <monochrom> | Did I read everything? Surely no. |
| 2024-12-30 01:15:22 +0100 | <orangeflu> | yes, this is the way i currently do it, before realizing thaw and freeze take linear time |
| 2024-12-30 01:15:34 +0100 | <orangeflu> | i thought they are constant time |
| 2024-12-30 01:15:47 +0100 | <monochrom> | Suppose I'm marking an exam. A student wrote both "yes" and "no". Do I have to read both? No, I just have to see the wrong answer and assign 0 marks. |
| 2024-12-30 01:15:49 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2024-12-30 01:15:59 +0100 | <orangeflu> | reading back what i wrote, i may have sounded a bit aggresive, my bad, didn't mean to |
| 2024-12-30 01:16:17 +0100 | <orangeflu> | just wanted to draw your attention to the fact that that is not the way it will be after i'm done\ |
| 2024-12-30 01:24:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 01:26:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-30 01:29:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-30 01:30:18 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-30 01:38:23 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Quit: leaving) |
| 2024-12-30 01:40:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 01:41:38 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-30 01:45:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 01:47:36 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Quit: leaving) |
| 2024-12-30 01:48:19 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2024-12-30 01:49:42 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-12-30 01:50:03 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-12-30 01:52:05 +0100 | orangeflu | (~flu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 248 seconds) |
| 2024-12-30 01:52:45 +0100 | rando25892 | (~mbjetta@user/rando25892) rando25892 |
| 2024-12-30 01:54:02 +0100 | orangeflu | (~flu@159.67.5.85.dynamic.cust.swisscom.net) |
| 2024-12-30 01:57:09 +0100 | Nixkernal | (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-12-30 01:57:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 01:58:31 +0100 | sprotte24 | (~sprotte24@p200300d16f115c0064019873c2fc968e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-30 02:02:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 02:05:32 +0100 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2024-12-30 02:07:01 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:439f:78fd:a524:27e2) (Ping timeout: 248 seconds) |
| 2024-12-30 02:07:30 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f89c5dccb51c3ab6697.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-12-30 02:11:16 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-30 02:13:05 +0100 | <kaol> | Another am I missing something question: Is there some more straightforward way to truncate a UTCTime to seconds' precision than doing this? t { utctDayTime = fromInteger $ floor $ realToFrac $ utctDayTime t } |
| 2024-12-30 02:14:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 02:18:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 02:19:32 +0100 | <statusbot> | Maintenance update: hackage redeploy starting -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/6771f513da771958082acb03 |
| 2024-12-30 02:27:11 +0100 | <statusbot> | Maintenance update: hackage redeploy complete. -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/6771f513da771958082acb03 |
| 2024-12-30 02:27:17 +0100 | <jle`> | thanks statusbot |
| 2024-12-30 02:30:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 02:31:35 +0100 | ft | (~ft@i59F4F012.versanet.de) (Ping timeout: 260 seconds) |
| 2024-12-30 02:32:59 +0100 | ft | (~ft@i59f4f15e.versanet.de) ft |
| 2024-12-30 02:35:46 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-30 02:38:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-30 02:45:31 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-12-30 02:46:44 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-30 02:49:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 02:50:44 +0100 | fp | (~Thunderbi@216-165-226-178.championbroadband.com) fp |
| 2024-12-30 02:54:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 02:55:21 +0100 | <fp> | Hey I'm having a hard time understanding how to deal with an error message. I have the parser =floatExactPrefix = string "#e" :: Parsec Void Char Char=, but I'm getting the error "Couldn't match type 'Tokens Char' with 'Char'". I'm not really sure why this is happening or what I can do about it |
| 2024-12-30 02:56:26 +0100 | <fp> | Also possibly relevant, I have OverloadedStrings enabled and Data.Text imported |
| 2024-12-30 03:01:57 +0100 | <jle`> | your Parsec type should have the type of your input stream, like String or Text |
| 2024-12-30 03:02:34 +0100 | <jle`> | and the last type is the the type of the value you want to return, which is probably going to be either String or Text |
| 2024-12-30 03:02:38 +0100 | <jle`> | not Char |
| 2024-12-30 03:03:14 +0100 | <jle`> | so your type should probably be `Parsec Void String String` or `Parsec Void Text Text`, depending on what your underlying stream you are parsing is |
| 2024-12-30 03:04:29 +0100 | <fp> | Mmm ok, I mistook stream type to mean token type |
| 2024-12-30 03:09:46 +0100 | elnegro | (elnegro@r167-60-200-187.dialup.adsl.anteldata.net.uy) elnegro |
| 2024-12-30 03:10:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 03:15:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 03:25:23 +0100 | elnegro | (elnegro@r167-60-200-187.dialup.adsl.anteldata.net.uy) () |
| 2024-12-30 03:27:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 03:32:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-30 03:45:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 03:50:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 04:01:11 +0100 | <orangeflu> | if i do take an MVector inside a function and modify it there, is there a need to return it? Or will the reference I have to it in the caller function alreayd reflect that changed made? |
| 2024-12-30 04:02:18 +0100 | <monochrom> | The latter. |
| 2024-12-30 04:02:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 04:02:43 +0100 | <orangeflu> | thank youu |
| 2024-12-30 04:04:03 +0100 | <orangeflu> | how long have you been programming in haskell?\ |
| 2024-12-30 04:07:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 04:08:28 +0100 | alp | (~alp@2001:861:8ca0:4940:3ecb:efbe:97a4:b42a) (Ping timeout: 252 seconds) |
| 2024-12-30 04:11:47 +0100 | <orangeflu> | monochrom: |
| 2024-12-30 04:12:00 +0100 | <orangeflu> | how long have you been coding in haskell? |
| 2024-12-30 04:16:00 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Ping timeout: 260 seconds) |
| 2024-12-30 04:18:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 04:22:06 +0100 | fp | (~Thunderbi@216-165-226-178.championbroadband.com) (Ping timeout: 252 seconds) |
| 2024-12-30 04:22:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 04:27:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 04:27:49 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2024-12-30 04:28:20 +0100 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-12-30 04:32:57 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2024-12-30 04:34:32 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-12-30 04:34:34 +0100 | td_ | (~td@i5387092B.versanet.de) (Ping timeout: 252 seconds) |
| 2024-12-30 04:34:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 04:36:26 +0100 | td_ | (~td@i5387092F.versanet.de) td_ |
| 2024-12-30 04:38:34 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-30 04:42:05 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-12-30 04:43:45 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2024-12-30 04:46:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 04:51:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 05:04:00 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) housemate |
| 2024-12-30 05:09:08 +0100 | fp | (~Thunderbi@216-165-226-178.championbroadband.com) fp |
| 2024-12-30 05:13:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 05:17:18 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-30 05:17:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 05:17:29 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-30 05:17:52 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-30 05:20:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-12-30 05:22:09 +0100 | raym | (~ray@user/raym) (Ping timeout: 248 seconds) |
| 2024-12-30 05:23:37 +0100 | raym | (~ray@user/raym) raym |
| 2024-12-30 05:24:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-30 05:30:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 05:32:55 +0100 | fp | (~Thunderbi@216-165-226-178.championbroadband.com) (Ping timeout: 244 seconds) |
| 2024-12-30 05:35:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 05:37:52 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-30 05:40:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-30 05:47:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 05:51:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 05:56:04 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) housemate |
| 2024-12-30 05:56:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 05:59:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-30 06:00:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 06:05:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-30 06:07:02 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) ionut_f |
| 2024-12-30 06:10:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-12-30 06:10:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-30 06:13:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 06:17:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 06:26:50 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) (Ping timeout: 265 seconds) |
| 2024-12-30 06:29:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 06:34:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 06:44:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-30 06:45:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 06:48:00 +0100 | alp | (~alp@2001:861:8ca0:4940:fdb5:a7f8:243:a425) |
| 2024-12-30 06:49:04 +0100 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-12-30 06:49:19 +0100 | raym | (~ray@user/raym) raym |
| 2024-12-30 06:50:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 06:55:59 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-30 06:56:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2024-12-30 06:56:06 +0100 | tnt2 | tnt1 |
| 2024-12-30 06:57:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 07:02:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-30 07:09:07 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) housemate |
| 2024-12-30 07:12:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 07:17:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 07:28:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 07:33:49 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 244 seconds) |
| 2024-12-30 07:35:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 07:45:22 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-12-30 07:46:09 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-30 07:48:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 07:52:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-30 07:56:38 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-12-30 07:59:14 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-12-30 07:59:38 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Ping timeout: 265 seconds) |
| 2024-12-30 08:11:07 +0100 | CiaoSen | (~Jura@2a05:5800:2d3:be00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-30 08:13:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 08:14:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-30 08:16:39 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-30 08:18:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 08:28:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-12-30 08:30:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 08:35:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 08:39:45 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) housemate |
| 2024-12-30 08:44:03 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) (Client Quit) |
| 2024-12-30 08:44:22 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) housemate |
| 2024-12-30 08:47:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 08:51:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 08:59:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 09:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-30 09:00:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-30 09:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-30 09:06:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 09:06:11 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-30 09:12:15 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) ionut_f |
| 2024-12-30 09:17:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 09:19:49 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-12-30 09:22:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 09:25:09 +0100 | euleritian | (~euleritia@dynamic-176-003-015-198.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 09:27:44 +0100 | euleritian | (~euleritia@dynamic-176-003-015-198.176.3.pool.telefonica.de) |
| 2024-12-30 09:29:12 +0100 | ephilalethes | (~noumenon@2001:f40:908:735:aa7e:eaff:fede:ff94) noumenon |
| 2024-12-30 09:31:28 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-12-30 09:34:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 09:35:23 +0100 | euleritian | (~euleritia@dynamic-176-003-015-198.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 09:39:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 09:41:24 +0100 | euleritian | (~euleritia@dynamic-176-003-015-198.176.3.pool.telefonica.de) |
| 2024-12-30 09:42:24 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f7858b14fc52b86f8f2.dip0.t-ipconnect.de) acidjnk |
| 2024-12-30 09:47:22 +0100 | ft | (~ft@i59f4f15e.versanet.de) (Quit: leaving) |
| 2024-12-30 09:48:48 +0100 | euleritian | (~euleritia@dynamic-176-003-015-198.176.3.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-12-30 09:52:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 09:52:54 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) housemate |
| 2024-12-30 09:56:20 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-12-30 09:57:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 09:57:11 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-12-30 10:00:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 10:03:12 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-12-30 10:05:25 +0100 | Rembane | thinks it's about seven thousand years |
| 2024-12-30 10:05:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-30 10:09:20 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-12-30 10:18:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 10:22:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 10:26:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-30 10:28:46 +0100 | hellwolf | thinks that is a long time. |
| 2024-12-30 10:30:54 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Remote host closed the connection) |
| 2024-12-30 10:31:14 +0100 | michalz | (~michalz@185.246.207.193) |
| 2024-12-30 10:34:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 10:38:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 10:38:44 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-30 10:39:01 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2024-12-30 10:39:15 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) housemate |
| 2024-12-30 10:40:33 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 10:44:34 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) (Ping timeout: 245 seconds) |
| 2024-12-30 10:46:12 +0100 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2024-12-30 10:49:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 10:49:56 +0100 | ubert | (~Thunderbi@p200300ecdf117c0296d3f3b076c1d10f.dip0.t-ipconnect.de) ubert |
| 2024-12-30 10:50:15 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 265 seconds) |
| 2024-12-30 10:56:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-30 10:57:29 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-12-30 11:01:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 11:03:30 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2024-12-30 11:06:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-30 11:18:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 11:23:13 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-30 11:23:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 11:30:20 +0100 | __monty__ | (~toonn@user/toonn) (Remote host closed the connection) |
| 2024-12-30 11:30:36 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-30 11:32:03 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
| 2024-12-30 11:33:14 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) housemate |
| 2024-12-30 11:35:06 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-30 11:35:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 11:35:55 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-30 11:39:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 11:40:55 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-12-30 11:49:59 +0100 | homo_ | (~homo@user/homo) homo |
| 2024-12-30 11:50:24 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) mreh |
| 2024-12-30 11:50:40 +0100 | homo | (~homo@user/homo) (Ping timeout: 265 seconds) |
| 2024-12-30 11:52:04 +0100 | homo_ | homo |
| 2024-12-30 11:52:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 11:57:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-30 11:57:45 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-30 11:57:49 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-30 12:02:38 +0100 | <mreh> | can I do better than loading a ByteString from a file then `copyBytes` to a Ptr with the ForeignPtr in the ByteString? I need to upload a load of images to VRAM quickly. |
| 2024-12-30 12:04:49 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-12-30 12:11:37 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-12-30 12:16:01 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-30 12:16:57 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2024-12-30 12:16:57 +0100 | tnt2 | tnt1 |
| 2024-12-30 12:18:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 12:20:10 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-30 12:22:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 12:23:50 +0100 | housemate | (~housemate@pa49-185-191-168.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-30 12:26:54 +0100 | CiaoSen | (~Jura@2a05:5800:2d3:be00:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2024-12-30 12:35:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 12:38:45 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 12:44:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-30 12:49:05 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 248 seconds) |
| 2024-12-30 12:56:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 13:00:00 +0100 | AlexNoo_ | (~AlexNoo@5.139.233.96) |
| 2024-12-30 13:00:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 13:00:51 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f7858b14fc52b86f8f2.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-12-30 13:02:24 +0100 | AlexZenon | (~alzenon@178.34.162.34) (Ping timeout: 252 seconds) |
| 2024-12-30 13:03:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 13:03:55 +0100 | AlexNoo | (~AlexNoo@178.34.162.34) (Ping timeout: 260 seconds) |
| 2024-12-30 13:07:38 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
| 2024-12-30 13:07:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 13:14:27 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-12-30 13:18:31 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-30 13:18:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 13:19:15 +0100 | sprotte24 | (~sprotte24@p200300d16f156b00c1e04a090f1ae1ab.dip0.t-ipconnect.de) |
| 2024-12-30 13:22:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-12-30 13:23:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 13:27:20 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-12-30 13:27:56 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-12-30 13:36:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 13:37:16 +0100 | jespada | (~jespada@186.191.224.125) jespada |
| 2024-12-30 13:37:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-30 13:41:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 13:43:04 +0100 | ephilalethes | (~noumenon@2001:f40:908:735:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2024-12-30 13:49:47 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2024-12-30 13:51:17 +0100 | <Rembane> | mreh: There's a mmap-package IIRC, but I don't know if it's actually faster than your method. |
| 2024-12-30 13:52:14 +0100 | alp | (~alp@2001:861:8ca0:4940:fdb5:a7f8:243:a425) (Remote host closed the connection) |
| 2024-12-30 13:53:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 13:55:20 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2024-12-30 13:57:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-30 14:02:02 +0100 | CiaoSen | (~Jura@2a05:5800:2d3:be00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-30 14:04:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 14:09:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-30 14:10:33 +0100 | <carbolymer> | is there a way to execute code snippets in haddocks, in CI for example? |
| 2024-12-30 14:11:54 +0100 | <carbolymer> | oh there's a doctest https://hackage.haskell.org/package/doctest |
| 2024-12-30 14:14:32 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-30 14:19:03 +0100 | jespada | (~jespada@186.191.224.125) (Ping timeout: 265 seconds) |
| 2024-12-30 14:19:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-30 14:21:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 14:21:23 +0100 | jespada | (~jespada@2800:a4:2293:2f00:ad92:2c6e:1bf8:557a) jespada |
| 2024-12-30 14:26:37 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 14:27:05 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) |
| 2024-12-30 14:27:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 14:30:46 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-12-30 14:35:10 +0100 | <hellwolf> | the closest I can think of is https://hackage.haskell.org/package/DocTest |
| 2024-12-30 14:35:18 +0100 | <hellwolf> | * https://hackage.haskell.org/package/doctest |
| 2024-12-30 14:39:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 14:43:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 14:52:36 +0100 | jespada | (~jespada@2800:a4:2293:2f00:ad92:2c6e:1bf8:557a) (Ping timeout: 246 seconds) |
| 2024-12-30 14:55:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-30 14:55:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 14:55:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-30 14:57:17 +0100 | jespada | (~jespada@2800:a4:22ad:2400:7d64:224:c127:63bb) jespada |
| 2024-12-30 14:59:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-30 14:59:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 15:00:55 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-12-30 15:04:43 +0100 | cowboy8625 | (~cowboy@2605-4A80-7405-640-C92D-AADA-60CA-A569-dynamic.midco.net) |
| 2024-12-30 15:05:30 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-12-30 15:05:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 15:05:58 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-30 15:06:16 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-30 15:06:58 +0100 | housemate | (~housemate@pa49-184-199-112.pa.vic.optusnet.com.au) housemate |
| 2024-12-30 15:08:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-30 15:09:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 15:21:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 15:23:03 +0100 | CiaoSen | (~Jura@2a05:5800:2d3:be00:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2024-12-30 15:26:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 15:29:21 +0100 | ubert | (~Thunderbi@p200300ecdf117c0296d3f3b076c1d10f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-12-30 15:29:31 +0100 | jero98772 | (~jero98772@31.130.32.65) |
| 2024-12-30 15:30:53 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 15:32:15 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
| 2024-12-30 15:35:17 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-12-30 15:35:53 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-30 15:36:13 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-30 15:36:29 +0100 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 4.3.3) |
| 2024-12-30 15:37:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-12-30 15:37:41 +0100 | ljdarj1 | ljdarj |
| 2024-12-30 15:39:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-12-30 15:40:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 15:40:38 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-30 15:44:37 +0100 | housemate | (~housemate@pa49-184-199-112.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-30 15:45:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-30 15:45:13 +0100 | <haskellbridge> | <maerwald> hoogle down? |
| 2024-12-30 15:46:03 +0100 | <hellwolf> | foldl' (\a _ -> g a) b [0 .. bytesnNBytes @n] |
| 2024-12-30 15:46:31 +0100 | <hellwolf> | whenever I do this, where the list value is not really used, I don't think I am doing the optimal thing |
| 2024-12-30 15:46:53 +0100 | <hellwolf> | (like a for loop, where the indices are not used) |
| 2024-12-30 15:48:32 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-30 15:48:53 +0100 | <enikar> | hum… it seems you are looping over indices, a is an indice, or am i wrong? |
| 2024-12-30 15:49:18 +0100 | <enikar> | yes i'm wrong |
| 2024-12-30 15:49:38 +0100 | <Rembane> | hellwolf: Could replicate help you there? |
| 2024-12-30 15:50:10 +0100 | <enikar> | the accumulator is at left, so indices are at right. Shame on me :D |
| 2024-12-30 15:50:55 +0100 | <Leary> | :t \n f x -> stimes n (Endo f) `appEndo` x |
| 2024-12-30 15:51:06 +0100 | <lambdabot> | Integral b => b -> (a -> a) -> a -> a |
| 2024-12-30 15:51:47 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-12-30 15:51:50 +0100 | <hellwolf> | No, I need to accumulate value, and there is no Monoid instance here |
| 2024-12-30 15:51:59 +0100 | <enikar> | there is also until, but it is more like imperative style of coding |
| 2024-12-30 15:52:04 +0100 | <enikar> | :t until |
| 2024-12-30 15:52:05 +0100 | <lambdabot> | (a -> Bool) -> (a -> a) -> a -> a |
| 2024-12-30 15:52:22 +0100 | akegalj | (~akegalj@129-75.dsl.iskon.hr) akegalj |
| 2024-12-30 15:52:41 +0100 | <enikar> | I often use until with a pair for the a |
| 2024-12-30 15:53:57 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
| 2024-12-30 15:56:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 16:00:32 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-12-30 16:03:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-30 16:06:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 16:06:57 +0100 | orangeflu | (~flu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 248 seconds) |
| 2024-12-30 16:08:53 +0100 | orangeflu | (~flu@159.67.5.85.dynamic.cust.swisscom.net) |
| 2024-12-30 16:11:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-30 16:19:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-30 16:21:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-30 16:22:01 +0100 | annamalai | (~yaaic@2409:4072:609c:96c7::1350:d8b1) (Remote host closed the connection) |
| 2024-12-30 16:23:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 16:25:54 +0100 | <hellwolf> | Monoid b => Monoid (a -> b) |
| 2024-12-30 16:26:02 +0100 | <hellwolf> | this can be an useful instance |
| 2024-12-30 16:27:57 +0100 | jero98772 | (~jero98772@31.130.32.65) (Quit: leaving) |
| 2024-12-30 16:28:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-30 16:28:53 +0100 | <hellwolf> | nah |
| 2024-12-30 16:31:31 +0100 | <hellwolf> | this does though: Monoid a => Applicative ((,) a) |
| 2024-12-30 16:31:52 +0100 | <hellwolf> | I read just recenlty (,) has an applicative that can do great things, now I think I can put it into practice |
| 2024-12-30 16:32:00 +0100 | <hellwolf> | not sure if it's more readable code |
| 2024-12-30 16:32:04 +0100 | ft | (~ft@p3e9bc988.dip0.t-ipconnect.de) ft |
| 2024-12-30 16:32:04 +0100 | <hellwolf> | let me try and put it side by side to you |
| 2024-12-30 16:32:24 +0100 | <Leary> | It's just raw `Writer`. |
| 2024-12-30 16:34:19 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 16:34:45 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 16:35:56 +0100 | <hellwolf> | how do you mean? quick fiddling turns out that Applicative ((,) a) not enough neither, since I need to bind the output. Anyways, raw lambda ftw for now. |
| 2024-12-30 16:41:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 16:42:03 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-30 16:44:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-30 16:45:25 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 16:45:54 +0100 | Square | (~Square@user/square) Square |
| 2024-12-30 16:46:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-30 16:46:18 +0100 | <Leary> | > swap . runWriter $ do { tell "hello"; tell "world" } |
| 2024-12-30 16:46:21 +0100 | <lambdabot> | ("helloworld",()) |
| 2024-12-30 16:46:26 +0100 | <Leary> | > do { ("hello", ()); ("world", ()) } |
| 2024-12-30 16:46:51 +0100 | <lambdabot> | ("helloworld",()) |
| 2024-12-30 16:49:37 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2024-12-30 16:51:06 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-12-30 16:53:06 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 16:56:46 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-12-30 16:56:49 +0100 | prsteele | (~prsteele@pool-173-48-172-223.bstnma.fios.verizon.net) |
| 2024-12-30 16:57:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 16:59:46 +0100 | <prsteele> | I've implemented a class that has an `Ord a` constraint. This is all well and good, but now I find myself wanting to use this class when I only have a `a -> a -> Ordering` at hand. Is there a common trick to lifting a value-level comparison to an `Ord` instance? The reverse is trivial --- it's `compare` --- but I can't see anything better than a |
| 2024-12-30 16:59:46 +0100 | <prsteele> | `newtype Comparing a = Comparing (a -> a -> Ordering, a)` instance. This seems _okay_, except that it would merely be convention that all values of that type have equivalent functions embedded. (You'd get no protection from passing `compare` versus `flip compare`, for example.) |
| 2024-12-30 17:01:49 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-30 17:02:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 17:03:03 +0100 | <Leary> | prsteele: The triviality of the reverse is why you should do it the other way around in the first place. Use the same convention as in base: call your class methods `oldNameBy` and have them take explicit `a -> a -> Ordering` arguments. At the top level, define `oldName = oldNameBy compare`. |
| 2024-12-30 17:03:28 +0100 | <prsteele> | Yup, that makes sense, thanks! And also thanks for your notes on ST annotations |
| 2024-12-30 17:06:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-30 17:07:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 17:11:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 17:13:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-30 17:13:34 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 2024-12-30 17:13:37 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2024-12-30 17:13:55 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2024-12-30 17:14:49 +0100 | tnt2 | tnt1 |
| 2024-12-30 17:20:18 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-30 17:24:43 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2024-12-30 17:25:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 17:29:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 17:31:00 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-12-30 17:42:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 17:48:51 +0100 | jespada_ | (~jespada@2800:a4:22ad:2400:70c7:6c7f:adbe:5e08) jespada |
| 2024-12-30 17:48:57 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-12-30 17:49:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 17:50:56 +0100 | jespada | (~jespada@2800:a4:22ad:2400:7d64:224:c127:63bb) (Ping timeout: 244 seconds) |
| 2024-12-30 17:54:09 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2024-12-30 18:01:52 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-12-30 18:02:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 18:05:08 +0100 | tomjagua1paw | (~tom@172-104-25-182.ip.linodeusercontent.com) (Quit: leaving) |
| 2024-12-30 18:07:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-30 18:08:23 +0100 | jero98772 | (~jero98772@31.130.32.65) |
| 2024-12-30 18:08:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 18:08:38 +0100 | jero98772 | (~jero98772@31.130.32.65) (Remote host closed the connection) |
| 2024-12-30 18:08:38 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-30 18:09:35 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 18:12:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-30 18:12:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-30 18:26:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 18:29:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-30 18:30:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 18:34:23 +0100 | <hellwolf> | Is there any performance difference between putting a type variable in a multi-parameter type classes, vs put into one of its functions? |
| 2024-12-30 18:34:35 +0100 | <hellwolf> | * performance implication |
| 2024-12-30 18:34:47 +0100 | akegalj | (~akegalj@129-75.dsl.iskon.hr) (Quit: leaving) |
| 2024-12-30 18:35:08 +0100 | <hellwolf> | ergonomic reason being, if putting into function signatures, you need to restate function signature to use those variables in the instances. |
| 2024-12-30 18:35:14 +0100 | <hellwolf> | if you need those. |
| 2024-12-30 18:35:20 +0100 | <monochrom> | That's a strange question. They don't even have the same semantics. |
| 2024-12-30 18:35:51 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2024-12-30 18:37:16 +0100 | annamalai | (~yaaic@2409:4072:609c:96c7::1350:d8b1) annamalai |
| 2024-12-30 18:41:01 +0100 | jespada_ | (~jespada@2800:a4:22ad:2400:70c7:6c7f:adbe:5e08) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-12-30 18:41:32 +0100 | <hellwolf> | hmm, I need to articulate it different then, I don't have a tiny example to show that |
| 2024-12-30 18:44:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 18:44:44 +0100 | <hellwolf> | in risk of too much details, let me try it anyways: https://paste.tomsmeding.com/KVeTD5Zk |
| 2024-12-30 18:48:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 18:52:44 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip1f13e96d.dynamic.kabel-deutschland.de) |
| 2024-12-30 18:52:52 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Ping timeout: 252 seconds) |
| 2024-12-30 18:55:16 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-30 18:55:31 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2024-12-30 18:56:04 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 18:56:11 +0100 | <Leary> | hellwolf: Just capture `v1` from the type of `x` and use `v1 + vd` for `vn`? |
| 2024-12-30 18:57:04 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 18:57:16 +0100 | michalz_ | (~michalz@185.246.207.201) |
| 2024-12-30 18:57:53 +0100 | michalz | (~michalz@185.246.207.221) (Ping timeout: 244 seconds) |
| 2024-12-30 19:01:21 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-12-30 19:01:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 19:02:43 +0100 | <hellwolf> | sorry to confuse you. a bit of cleanup I need to do first, it wasn't ready to share as such. |
| 2024-12-30 19:05:13 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-30 19:06:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-30 19:08:54 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-30 19:09:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 19:10:30 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 265 seconds) |
| 2024-12-30 19:10:30 +0100 | unlucy | (sid572875@user/unlucy) (Ping timeout: 265 seconds) |
| 2024-12-30 19:10:47 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2024-12-30 19:10:56 +0100 | haritzondo | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2024-12-30 19:10:59 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-30 19:10:59 +0100 | ljdarj1 | ljdarj |
| 2024-12-30 19:11:03 +0100 | rembo10_ | (~rembo10@main.remulis.com) |
| 2024-12-30 19:11:28 +0100 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 2024-12-30 19:11:57 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) (Ping timeout: 265 seconds) |
| 2024-12-30 19:11:57 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 265 seconds) |
| 2024-12-30 19:11:57 +0100 | rembo10 | (~rembo10@main.remulis.com) (Ping timeout: 265 seconds) |
| 2024-12-30 19:11:57 +0100 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 265 seconds) |
| 2024-12-30 19:11:57 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 265 seconds) |
| 2024-12-30 19:11:57 +0100 | jle` | (~jle`@2603:8001:3b02:84d4::1000) (Ping timeout: 265 seconds) |
| 2024-12-30 19:11:57 +0100 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 265 seconds) |
| 2024-12-30 19:12:06 +0100 | dequbed | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2024-12-30 19:12:16 +0100 | hellwolf | feel exhausted seeing types all day |
| 2024-12-30 19:12:25 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2024-12-30 19:12:26 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:a66e::) (Ping timeout: 265 seconds) |
| 2024-12-30 19:12:26 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Ping timeout: 265 seconds) |
| 2024-12-30 19:12:26 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 265 seconds) |
| 2024-12-30 19:12:26 +0100 | terrorjack45 | terrorjack4 |
| 2024-12-30 19:12:42 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-12-30 19:12:53 +0100 | unlucy | (sid572875@user/unlucy) unlucy |
| 2024-12-30 19:12:56 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2024-12-30 19:13:14 +0100 | Rembane | hands hellwolf some Clojure |
| 2024-12-30 19:13:36 +0100 | hellwolf | drinks until the bottom |
| 2024-12-30 19:13:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-30 19:13:56 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:fdea:e55b:b6b8:ea7c) jle` |
| 2024-12-30 19:14:05 +0100 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) |
| 2024-12-30 19:14:25 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2024-12-30 19:14:33 +0100 | krjst | (~krjst@2604:a880:800:c1::16b:8001) krjst |
| 2024-12-30 19:14:55 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip1f13e96d.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-30 19:15:09 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2024-12-30 19:15:22 +0100 | <Rembane> | ^^ |
| 2024-12-30 19:16:06 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 19:16:48 +0100 | <hellwolf> | https://discourse.haskell.org/t/i-wrote-a-novel/11094 at least there is always some entertainment out there on the internet |
| 2024-12-30 19:20:28 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.109) |
| 2024-12-30 19:20:43 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-12-30 19:22:03 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 19:22:18 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-12-30 19:25:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 19:26:09 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-12-30 19:26:33 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-12-30 19:27:03 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-12-30 19:27:21 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2024-12-30 19:27:54 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-12-30 19:28:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-30 19:28:52 +0100 | michalz_ | (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 2024-12-30 19:30:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-30 19:33:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-30 19:36:10 +0100 | prsteele | (~prsteele@pool-173-48-172-223.bstnma.fios.verizon.net) (Quit: Client closed) |
| 2024-12-30 19:39:42 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-12-30 19:40:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 19:41:41 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-30 19:46:23 +0100 | michalz_ | (~michalz@185.246.207.222) |
| 2024-12-30 19:46:23 +0100 | michalz | (~michalz@185.246.207.201) (Read error: Connection reset by peer) |
| 2024-12-30 19:47:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 19:55:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-30 19:57:52 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-30 19:59:19 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.109) (Ping timeout: 265 seconds) |
| 2024-12-30 19:59:20 +0100 | jespada | (~jespada@r167-63-17-65.dialup.adsl.anteldata.net.uy) jespada |
| 2024-12-30 19:59:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 20:04:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-30 20:09:54 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 20:13:40 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-30 20:13:47 +0100 | CrunchyFlakes | (~CrunchyFl@77.20.155.95) |
| 2024-12-30 20:14:47 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2024-12-30 20:16:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 20:18:40 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-12-30 20:21:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 20:24:54 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip4d14127c.dynamic.kabel-deutschland.de) |
| 2024-12-30 20:25:06 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: β reduced) |
| 2024-12-30 20:25:16 +0100 | CrunchyFlakes | (~CrunchyFl@77.20.155.95) (Ping timeout: 252 seconds) |
| 2024-12-30 20:26:01 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2024-12-30 20:30:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-30 20:32:26 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 20:33:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 20:33:59 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 20:34:10 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) (Quit: Lost terminal) |
| 2024-12-30 20:34:57 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 20:35:26 +0100 | smtt | (smt@user/smtt) smtt |
| 2024-12-30 20:37:48 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: β reduced) |
| 2024-12-30 20:37:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-30 20:38:46 +0100 | rachelambda8 | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2024-12-30 20:40:10 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 20:42:47 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 20:43:31 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 20:48:26 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 20:49:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 20:54:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-12-30 20:58:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 21:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-30 21:00:37 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-30 21:06:35 +0100 | <carbolymer> | how do I write a function `Proxy a -> Proxy b -> Maybe (a :~: b)` ? Basically, an instance `TestEquality Proxy` |
| 2024-12-30 21:07:39 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-30 21:08:26 +0100 | michalz_ | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2024-12-30 21:09:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 21:10:47 +0100 | <int-e> | With Data.Typeable you can write f :: (Typeable a, Typeable b) => p a -> p b -> Maybe (a :~: b); f _ _ = eqT |
| 2024-12-30 21:12:53 +0100 | <int-e> | huh isn't that exactly what testEquality is? |
| 2024-12-30 21:13:03 +0100 | <int-e> | (taking f = Proxy) |
| 2024-12-30 21:13:11 +0100 | <int-e> | testEquality :: forall (a :: k) (b :: k). f a -> f b -> Maybe (a :~: b) |
| 2024-12-30 21:14:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-30 21:15:57 +0100 | <carbolymer> | omg, I've read Data.Equality three times and I didn't notice eqT |
| 2024-12-30 21:16:05 +0100 | <carbolymer> | thanks! |
| 2024-12-30 21:16:16 +0100 | <carbolymer> | Data.Typeable I mean |
| 2024-12-30 21:16:18 +0100 | <carbolymer> | shit I |
| 2024-12-30 21:16:21 +0100 | <carbolymer> | I'm tired |
| 2024-12-30 21:17:50 +0100 | <carbolymer> | int-e: but there's no `TestEquality Proxy` |
| 2024-12-30 21:17:55 +0100 | <int-e> | ah |
| 2024-12-30 21:17:58 +0100 | <carbolymer> | for some reason |
| 2024-12-30 21:18:30 +0100 | <int-e> | Yeah I didn't read enough context. `f` is the argument of the TestEquality class. |
| 2024-12-30 21:19:17 +0100 | <int-e> | I guess `TestEquality` is meant for things that are compile time decidable |
| 2024-12-30 21:23:34 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) kayvank |
| 2024-12-30 21:23:37 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) son0p |
| 2024-12-30 21:23:58 +0100 | <int-e> | Eh, I don't know. I'm probably wrong. It is interesting that this doesn't tie into Data.Typeable out of the box. |
| 2024-12-30 21:26:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 21:31:05 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-30 21:32:24 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-30 21:33:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 21:34:37 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2024-12-30 21:34:51 +0100 | AlexNoo_ | AlexNoo |
| 2024-12-30 21:34:59 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 245 seconds) |
| 2024-12-30 21:35:36 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2024-12-30 21:36:27 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-30 21:36:41 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-30 21:42:11 +0100 | ft | (~ft@p3e9bc988.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2024-12-30 21:43:49 +0100 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft |
| 2024-12-30 21:44:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 21:46:50 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-12-30 21:49:24 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2024-12-30 21:49:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-30 21:50:09 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-30 22:00:05 +0100 | <hellwolf> | use typeclass |
| 2024-12-30 22:00:35 +0100 | <hellwolf> | statically decide the outout for you |
| 2024-12-30 22:00:57 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 22:00:58 +0100 | CrunchyFlakes | (~CrunchyFl@95.91.70.99) |
| 2024-12-30 22:01:42 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip4d14127c.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-12-30 22:02:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 22:02:46 +0100 | <hellwolf> | closed type family can work too, you get a Bool kind and then you can write type classes of it |
| 2024-12-30 22:03:10 +0100 | tmr | (~tamer@5.2.74.82) (Changing host) |
| 2024-12-30 22:03:10 +0100 | tmr | (~tamer@user/tamer) tamer |
| 2024-12-30 22:04:42 +0100 | tmr | tamer |
| 2024-12-30 22:06:18 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 22:07:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 22:12:10 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Read error: Connection reset by peer) |
| 2024-12-30 22:12:30 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-30 22:13:20 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 22:14:01 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 22:16:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-30 22:20:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 22:24:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-30 22:24:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 22:26:54 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |