| 2026-05-10 00:07:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 00:12:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-10 00:13:48 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2026-05-10 00:14:45 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-05-10 00:23:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 00:28:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-10 00:28:38 +0000 | tjoppie | (~tjoppie@user/tjoppie) (Quit: leaving) |
| 2026-05-10 00:30:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 00:39:26 +0000 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2026-05-10 00:39:42 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-05-10 00:41:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 00:46:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-10 00:57:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 01:02:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 01:05:38 +0000 | misterfish | (~misterfis@84-82-125-212.fixed.kpn.net) misterfish |
| 2026-05-10 01:12:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 01:18:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-10 01:28:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 01:31:45 +0000 | hatds | (~hatds@c-24-118-41-188.hsd1.mn.comcast.net) |
| 2026-05-10 01:33:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-10 01:34:42 +0000 | <hatds> | Am I just forgetting something simple or is my ghci just not accepting one-line monad notation? https://paste.tomsmeding.com/jbfsDI63 |
| 2026-05-10 01:35:22 +0000 | <hatds> | same eror with IO monad too |
| 2026-05-10 01:37:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 01:42:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-10 01:43:04 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2026-05-10 01:46:04 +0000 | <EvanR> | > let yy = do 9 in yy |
| 2026-05-10 01:46:05 +0000 | <lambdabot> | 9 |
| 2026-05-10 01:46:48 +0000 | <EvanR> | if you want to update the ghci "local variables" don't put let |
| 2026-05-10 01:51:11 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2026-05-10 01:53:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 02:00:02 +0000 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.7.2) |
| 2026-05-10 02:00:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-10 02:01:19 +0000 | Flow | (~none@gentoo/developer/flow) flow |
| 2026-05-10 02:04:47 +0000 | <hatds> | let yy = do { x <- [1,2]; let y=x+1; return y} in yy |
| 2026-05-10 02:04:50 +0000 | <hatds> | > let yy = do { x <- [1,2]; let y=x+1; return y} in yy |
| 2026-05-10 02:04:51 +0000 | <lambdabot> | <hint>:1:46: error: parse error on input `}' |
| 2026-05-10 02:04:54 +0000 | <hatds> | ? |
| 2026-05-10 02:05:01 +0000 | <hatds> | It's a parse error though? |
| 2026-05-10 02:05:02 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-05-10 02:05:39 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-05-10 02:07:44 +0000 | <EvanR> | that's bad do notation |
| 2026-05-10 02:10:20 +0000 | td_ | (~td@i53870919.versanet.de) (Ping timeout: 244 seconds) |
| 2026-05-10 02:10:27 +0000 | <EvanR> | do {x <- [1,2]; let y=x+1 in return y } |
| 2026-05-10 02:11:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 02:11:46 +0000 | <EvanR> | do {x <- [1,2]; let {y=x+1}; return y } |
| 2026-05-10 02:12:29 +0000 | td_ | (~td@i53870913.versanet.de) td_ |
| 2026-05-10 02:16:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-10 02:23:00 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-10 02:26:22 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Write error: error:80000020:system library::Broken pipe) |
| 2026-05-10 02:26:35 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-10 02:27:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 02:32:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 02:32:22 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:5477:4949:85f7:ba94) |
| 2026-05-10 02:37:44 +0000 | ryou | (~haze@user/ryou) (Quit: byee- ZNC 1.10.2 - https://znc.in) |
| 2026-05-10 02:39:07 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-05-10 02:42:37 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-05-10 02:42:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 02:47:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-10 02:51:26 +0000 | ryou | (~haze@user/ryou) ryou |
| 2026-05-10 02:52:21 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2026-05-10 02:53:16 +0000 | <Inst> | sort of weird, it turns out that if you actually care about what you're doing, crud's non-trivial |
| 2026-05-10 02:57:35 +0000 | <haskellbridge> | <Liamzee> test |
| 2026-05-10 02:57:38 +0000 | <Inst> | hello |
| 2026-05-10 02:58:00 +0000 | Inst | Blue_ |
| 2026-05-10 02:58:04 +0000 | <Blue_> | beep |
| 2026-05-10 02:58:14 +0000 | Blue_ | Inst |
| 2026-05-10 02:58:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 03:03:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-10 03:06:59 +0000 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-05-10 03:07:20 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-05-10 03:07:20 +0000 | ChanServ | +v haskellbridge |
| 2026-05-10 03:08:01 +0000 | <geekosaur> | test |
| 2026-05-10 03:10:00 +0000 | <geekosaur> | hm. I hope this wasn't beroken by the ghc folks |
| 2026-05-10 03:10:16 +0000 | hololeap | (~quassel@user/hololeap) hololeap |
| 2026-05-10 03:14:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 03:19:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-10 03:19:40 +0000 | <Inst> | Sorry geekosaur, take care! |
| 2026-05-10 03:20:13 +0000 | srajan0149 | (~srajan014@user/sd-0x5D) srajan0149 |
| 2026-05-10 03:22:44 +0000 | <srajan0149> | hi there, I am just starting haskell and just curious about the performance in the language. It gets compiled to binary so can I assume if the code is written correctly it is as performant as C or C++? |
| 2026-05-10 03:23:24 +0000 | <EvanR> | you could compile anything to a binary, that's not the whole story |
| 2026-05-10 03:24:08 +0000 | <EvanR> | haskell's compiler has to do a lot of advanced stuff to get the code to run faster, though functional semantics helps a lot with that |
| 2026-05-10 03:24:12 +0000 | lossless | (~haze@user/ryou) ryou |
| 2026-05-10 03:24:38 +0000 | ryou | (~haze@user/ryou) (Ping timeout: 244 seconds) |
| 2026-05-10 03:24:52 +0000 | <EvanR> | on performance I heard you can compare it to java's performance to a first approximation |
| 2026-05-10 03:26:24 +0000 | <EvanR> | when trying to hand optimize your code you have a lot of options, for situations where it matters |
| 2026-05-10 03:27:04 +0000 | <srajan0149> | EvanR: actually I was thinking of some systems programming, so that I can make it verifiable |
| 2026-05-10 03:27:21 +0000 | <srajan0149> | thats why I asked about the performance |
| 2026-05-10 03:28:11 +0000 | <EvanR> | haskell makes it easier to identify correct code but it's not really verifiable |
| 2026-05-10 03:28:16 +0000 | <haskellbridge> | <geekosaur> test |
| 2026-05-10 03:28:46 +0000 | <haskellbridge> | <geekosaur> mm, maybe not, not getting errors any more but irc side still doesn't seem to be making it across |
| 2026-05-10 03:28:52 +0000 | <geekosaur> | test |
| 2026-05-10 03:28:57 +0000 | <EvanR> | I can hear you |
| 2026-05-10 03:29:11 +0000 | <geekosaur> | yes, but #haskell-irc:matrix.org can't |
| 2026-05-10 03:29:37 +0000 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-05-10 03:29:58 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-05-10 03:29:58 +0000 | ChanServ | +v haskellbridge |
| 2026-05-10 03:30:13 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-10 03:30:44 +0000 | <geekosaur> | test |
| 2026-05-10 03:31:32 +0000 | <geekosaur> | mf, he's still banned somewhere else |
| 2026-05-10 03:34:19 +0000 | <srajan0149> | EvanR: ok, thanks |
| 2026-05-10 03:34:50 +0000 | <geekosaur> | mf |
| 2026-05-10 03:34:52 +0000 | <EvanR> | naughty naughty bridge |
| 2026-05-10 03:35:17 +0000 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-05-10 03:35:38 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-05-10 03:35:38 +0000 | ChanServ | +v haskellbridge |
| 2026-05-10 03:35:57 +0000 | <geekosaur> | test |
| 2026-05-10 03:36:28 +0000 | <geekosaur> | nope, still not making it across even though it's in here and no longer throwing errors |
| 2026-05-10 03:36:59 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-05-10 03:37:30 +0000 | srajan0149 | (~srajan014@user/sd-0x5D) (Quit: leaving) |
| 2026-05-10 03:41:34 +0000 | <EvanR> | so the bridge consists of two bots? one on each end |
| 2026-05-10 03:41:56 +0000 | <geekosaur> | no, it's a bot user on this end and puppets on the other |
| 2026-05-10 03:42:22 +0000 | <geekosaur> | well, I think there's a bot on the other end but it only exists to manage the puppets |
| 2026-05-10 03:45:44 +0000 | lossless | (~haze@user/ryou) (Ping timeout: 245 seconds) |
| 2026-05-10 03:47:18 +0000 | <haskellbridge> | <geekosaur> I don't see anything wrong here, only thing I can think of is matrix.org is discarding stuff from kf8nh.com for some reason. need to check that log |
| 2026-05-10 03:47:30 +0000 | <haskellbridge> | <geekosaur> but it's getting late here and much more will have to wait until tomorrow |
| 2026-05-10 03:48:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 03:48:31 +0000 | <geekosaur> | test |
| 2026-05-10 03:49:34 +0000 | <geekosaur> | still not going across. causes a bunch of events in synapse but none of them seem to be failing |
| 2026-05-10 03:53:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 03:55:40 +0000 | rabbull | (~rabbull@user/rabbull) (Quit: Ping timeout (120 seconds)) |
| 2026-05-10 03:55:55 +0000 | rabbull | (~rabbull@user/rabbull) rabbull |
| 2026-05-10 04:02:06 +0000 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2026-05-10 04:03:35 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:5477:4949:85f7:ba94) (Quit: ricardomaps) |
| 2026-05-10 04:04:02 +0000 | <hatds> | thanks @EvansR. I wonder if it has always been like that, I guess I never ran into it. |
| 2026-05-10 04:04:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 04:09:05 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2026-05-10 04:09:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-10 04:10:49 +0000 | <EvanR> | because nobody uses { ; } ? xD |
| 2026-05-10 04:16:00 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 256 seconds) |
| 2026-05-10 04:19:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 04:20:42 +0000 | <monochrom> | The Hunger Games: The Ballad of Bots & Puppets >:) |
| 2026-05-10 04:24:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 04:26:38 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-05-10 04:35:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 04:40:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 04:41:08 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-10 04:51:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 04:56:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 05:02:07 +0000 | kimiamania40 | (~67ff9c51@user/kimiamania) (Quit: PegeLinux) |
| 2026-05-10 05:03:18 +0000 | kimiamania40 | (~67ff9c51@user/kimiamania) kimiamania |
| 2026-05-10 05:07:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 05:07:57 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 246 seconds) |
| 2026-05-10 05:09:36 +0000 | layline-away | layline_ |
| 2026-05-10 05:13:35 +0000 | emergence1 | (~emergence@vm0.max-p.me) (Quit: emergence1) |
| 2026-05-10 05:14:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 05:24:50 +0000 | emergence1 | (emergence@vm0.max-p.me) emergence |
| 2026-05-10 05:25:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 05:30:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-10 05:30:49 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-10 05:50:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 05:54:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-10 06:18:02 +0000 | Luna77 | (~Luna@net-93-150-202-138.cust.vodafonedsl.it) |
| 2026-05-10 06:21:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 06:22:41 +0000 | Luna77 | (~Luna@net-93-150-202-138.cust.vodafonedsl.it) (Quit: Client closed) |
| 2026-05-10 06:24:35 +0000 | Luna44 | (~Luna@net-93-150-202-138.cust.vodafonedsl.it) |
| 2026-05-10 06:26:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 06:29:12 +0000 | Luna44 | (~Luna@net-93-150-202-138.cust.vodafonedsl.it) (Quit: Client closed) |
| 2026-05-10 06:37:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 06:39:31 +0000 | <[exa]> | so ByteString has a way to build raw integral values into strings via stuff like in32BE (produces a Builder, https://hackage.haskell.org/package/bytestring/docs/Data-ByteString-Builder.html#v:int32BE). Is there the obvious reverse functionality in any of the packages or am I supposed to hack this one myself? |
| 2026-05-10 06:39:51 +0000 | layline_ | layline-away |
| 2026-05-10 06:41:38 +0000 | <[exa]> | the only functions that go the other way see to read decimal ints (as with actual `read`); not even `int64HexFixed` has the read-ish counterpart |
| 2026-05-10 06:42:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-10 06:43:26 +0000 | <[exa]> | re "in any of the packages" I meant more like "in the bytestring vicinity", normally I could just go for `binary` or so but trying to avoid a dependency |
| 2026-05-10 06:43:58 +0000 | raym | (~ray@user/raym) (Quit: leaving) |
| 2026-05-10 06:45:32 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-10 06:46:31 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2026-05-10 06:46:31 +0000 | tnt2 | tnt1 |
| 2026-05-10 06:47:56 +0000 | <EvanR> | just for posterity because I was confused about what exactly you needed: you want to convert a short ByteString into a number (e.g. Int, Word32, or something) |
| 2026-05-10 06:48:05 +0000 | <EvanR> | ? |
| 2026-05-10 06:52:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 06:54:14 +0000 | <[exa]> | EvanR: there's the int32BE which takes a number and makes a nice 4byte string out of that, I'd love to have the reverse in some form such that I don't need to go through peeking a pointer myself |
| 2026-05-10 06:54:56 +0000 | <[exa]> | in particular I somehow expected that the `readInt32` would do that but it actually decodes a decimal number instead |
| 2026-05-10 06:55:30 +0000 | <EvanR> | when I've done this I did not go through peek poke but a formula involving OR and shifting from Data.Bits |
| 2026-05-10 06:56:21 +0000 | <EvanR> | obviously a C compiler could have a chance at recognizing that and yielding a no op |
| 2026-05-10 06:56:39 +0000 | <[exa]> | yeah that's the possibility too |
| 2026-05-10 06:56:56 +0000 | <[exa]> | there's network on the other side and this is still almost certainly faster |
| 2026-05-10 06:57:14 +0000 | <[exa]> | yet I somehow expected that they'd have the reading counterparts for int32BE etc |
| 2026-05-10 06:57:42 +0000 | <EvanR> | a function that does what I'm saying is definitely in something like binary |
| 2026-05-10 06:58:26 +0000 | <[exa]> | yeah, I'm not having an issue with the function, more like with bytestring API ("there's the writer here, where's the reader? am I blind again?" :D ) |
| 2026-05-10 06:58:47 +0000 | <mauke> | https://hackage.haskell.org/package/binary-0.8.9.3/docs/src/Data.Binary.Get.html#getWord32be is all bit ops |
| 2026-05-10 06:59:02 +0000 | <EvanR> | when doing low level conversions with ByteString I haven't seen any API |
| 2026-05-10 06:59:17 +0000 | <EvanR> | there are internal modules but that's by definition not the API |
| 2026-05-10 06:59:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 06:59:44 +0000 | <[exa]> | yeah that's surprising too, the int32BE et al seem to be public api |
| 2026-05-10 07:00:02 +0000 | <[exa]> | well nvm I guess we go with binary |
| 2026-05-10 07:00:48 +0000 | <EvanR> | if you want internal-like operations you could opt to create a sort of "no op", reinterpret cast or whatever |
| 2026-05-10 07:01:07 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-10 07:01:26 +0000 | <EvanR> | definitely copy then unsafecoerce |
| 2026-05-10 07:02:14 +0000 | <[exa]> | turns out balancing the amount of code to reimplement and amount of libraries to import is quite an art |
| 2026-05-10 07:02:36 +0000 | <EvanR> | you don't like 90 libraries to do some simple thing? xD |
| 2026-05-10 07:03:10 +0000 | <EvanR> | (the bitshifting formula on one line is by far better than either situation) |
| 2026-05-10 07:03:35 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-05-10 07:03:47 +0000 | <EvanR> | (if you're luxurious split it onto more than 1 line) |
| 2026-05-10 07:05:50 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-10 07:06:37 +0000 | <[exa]> | [bilbo ring meme template:] why should't I run a miniature State on `uncons` |
| 2026-05-10 07:08:43 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-10 07:10:17 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-05-10 07:10:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 07:15:03 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-05-10 07:15:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-10 07:19:43 +0000 | Vajb | (~Vajb@n4fwi4tlxv6mwzdia9u-1.v6.elisa-mobile.fi) (Ping timeout: 272 seconds) |
| 2026-05-10 07:26:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 07:31:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 07:32:47 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Read error: Connection reset by peer) |
| 2026-05-10 07:34:11 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-10 07:35:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 07:35:52 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) |
| 2026-05-10 07:37:29 +0000 | hatds | (~hatds@c-24-118-41-188.hsd1.mn.comcast.net) (Quit: Leaving) |
| 2026-05-10 07:40:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-10 07:48:20 +0000 | Vajb | (~Vajb@n5zc49tdvhlkf2ih3kh-1.v6.elisa-mobile.fi) |
| 2026-05-10 07:49:30 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-10 07:51:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 07:56:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 08:00:37 +0000 | Beowulf | (florian@sleipnir.bandrate.org) (Changing host) |
| 2026-05-10 08:00:37 +0000 | Beowulf | (florian@sourcemage/mage/beowulf) |beowulf| |
| 2026-05-10 08:02:24 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-10 08:02:43 +0000 | ajrdck | (e0a4b72d53@user/ajrdck) (Remote host closed the connection) |
| 2026-05-10 08:02:48 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-10 08:03:54 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-05-10 08:06:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 08:11:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-10 08:17:03 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-05-10 08:17:35 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-10 08:18:02 +0000 | scula | (~scula@user/scula) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-10 08:22:09 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) |
| 2026-05-10 08:22:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 08:26:45 +0000 | malte | (~malte@mal.tc) malte |
| 2026-05-10 08:27:08 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-05-10 08:27:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 08:36:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 08:42:26 +0000 | scula | (~scula@user/scula) scula |
| 2026-05-10 08:43:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-10 08:54:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 08:59:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 09:10:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 09:14:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 09:15:21 +0000 | <tomsmeding> | mauke: that's unsurprising, on an LE platform you can't do much better; what's surprising is that getWord32le is also all bit ops |
| 2026-05-10 09:17:30 +0000 | <int-e> | well it is an unaligned memory read, so even at a rather low level (something like C) that'll limit your options |
| 2026-05-10 09:19:09 +0000 | <int-e> | There's a decent chance that LLVM turns it into a single memory read. I'm less optimistic about the NCG. |
| 2026-05-10 09:19:35 +0000 | <int-e> | (on platforms like x86 that can do it as a single memory read) |
| 2026-05-10 09:20:01 +0000 | <tomsmeding> | right, I'm spoiled by x86 I guess |
| 2026-05-10 09:20:08 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-10 09:25:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 09:28:41 +0000 | Vajb | (~Vajb@n5zc49tdvhlkf2ih3kh-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 2026-05-10 09:31:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-10 09:33:01 +0000 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-05-10 09:37:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 09:41:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 09:45:58 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-10 09:53:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 09:58:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 10:08:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 10:11:42 +0000 | rscastilho2024 | (rscastilho@user/rscastilho2024) rscastilho2024 |
| 2026-05-10 10:11:50 +0000 | rscastilho2024 | (rscastilho@user/rscastilho2024) (Remote host closed the connection) |
| 2026-05-10 10:11:54 +0000 | supersecant | (~superseca@2a02:6b6f:e715:4f00:34d4:1987:8d0b:c51d) supersecant |
| 2026-05-10 10:13:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-10 10:17:21 +0000 | tromp | (~textual@2001:1c00:340e:2700:30c9:2d2:af4d:9cfa) (Read error: Connection reset by peer) |
| 2026-05-10 10:23:34 +0000 | biberu | (~biberu@user/biberu) biberu |
| 2026-05-10 10:24:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 10:31:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 10:38:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 10:38:51 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2026-05-10 10:42:39 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-10 10:43:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-10 10:48:33 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-10 10:48:54 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-05-10 10:54:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 10:59:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-10 11:09:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 11:14:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-10 11:25:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 11:30:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 11:30:38 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Disconnected: closed) |
| 2026-05-10 11:33:55 +0000 | internatetional | (~nate@2404:c0:202f:9182:1:0:ba81:6976) internatetional |
| 2026-05-10 11:35:30 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-05-10 11:36:31 +0000 | bggd | (~bgg@user/bggd) (Quit: std::move) |
| 2026-05-10 11:39:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 11:44:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-10 11:55:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 12:02:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 12:05:32 +0000 | divya | (divya@140.238.251.170) (Ping timeout: 268 seconds) |
| 2026-05-10 12:05:51 +0000 | <[exa]> | q: what happens to a green thread that is provably waiting forever? e.g., it's waiting on empty MVar, it is the only thing that refers to that MVar, and no other thread is referring to it (e.g. by holding a ThreadId or so) |
| 2026-05-10 12:06:22 +0000 | Vajb | (~Vajb@n7mspee1yrk47myo1ae-1.v6.elisa-mobile.fi) |
| 2026-05-10 12:07:35 +0000 | <Leary> | [exa]: Should get hit by `BlockedIndefinitelyOnMVar` next GC. |
| 2026-05-10 12:13:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 12:18:13 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2026-05-10 12:21:02 +0000 | T_S______ | (sid501726@2a03:5180:f:5::7:a7de) (Ping timeout: 244 seconds) |
| 2026-05-10 12:21:57 +0000 | divya | (divya@140.238.251.170) divya |
| 2026-05-10 12:21:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-10 12:24:07 +0000 | JSharp | (sid4580@user/JSharp) (Ping timeout: 276 seconds) |
| 2026-05-10 12:24:33 +0000 | <[exa]> | Leary: oh so it's gonna get killed? perfect |
| 2026-05-10 12:24:57 +0000 | T_S______ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2026-05-10 12:26:04 +0000 | <[exa]> | actually this way of looking at it simplifies a lot of stuff |
| 2026-05-10 12:26:05 +0000 | JSharp | (sid4580@user/JSharp) JSharp |
| 2026-05-10 12:26:06 +0000 | <[exa]> | thanks |
| 2026-05-10 12:29:54 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3997:6416:b204:9bae) (Ping timeout: 245 seconds) |
| 2026-05-10 12:30:54 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f608:e693:b58b:8c86) |
| 2026-05-10 12:32:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 12:37:34 +0000 | jakesyl______ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 244 seconds) |
| 2026-05-10 12:38:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-10 12:40:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 12:41:23 +0000 | jakesyl______ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2026-05-10 12:44:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 12:47:43 +0000 | fed-kaczynski | (~fed-kaczy@user/fed-kaczynski) (Remote host closed the connection) |
| 2026-05-10 12:47:53 +0000 | fed-kaczynski | (~fed-kaczy@user/fed-kaczynski) fed-kaczynski |
| 2026-05-10 12:56:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 12:57:26 +0000 | fed-kaczynski | (~fed-kaczy@user/fed-kaczynski) (Remote host closed the connection) |
| 2026-05-10 12:57:55 +0000 | fed-kaczynski | (~fed-kaczy@user/fed-kaczynski) fed-kaczynski |
| 2026-05-10 13:00:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 13:03:10 +0000 | biberu | (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2026-05-10 13:11:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 13:16:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-10 13:26:24 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-10 13:27:35 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-10 13:31:49 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-10 13:34:45 +0000 | Vajb | (~Vajb@n7mspee1yrk47myo1ae-1.v6.elisa-mobile.fi) (Ping timeout: 245 seconds) |
| 2026-05-10 13:34:56 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-05-10 13:36:29 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-05-10 13:41:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 13:44:57 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-10 13:46:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 14:12:23 +0000 | Inline | (~noOne@92.208.182.236) Inline |
| 2026-05-10 14:12:40 +0000 | shawwwn | (uid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 276 seconds) |
| 2026-05-10 14:12:48 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-10 14:13:21 +0000 | leppard | (~noOne@92.208.182.236) Inline |
| 2026-05-10 14:14:32 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2026-05-10 14:17:17 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-10 14:28:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 14:32:59 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-10 14:33:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 14:40:06 +0000 | Vajb | (~Vajb@83.245.229.161) |
| 2026-05-10 14:42:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 14:43:26 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-05-10 14:49:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 14:52:53 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-10 15:00:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 15:04:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-10 15:15:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 15:15:45 +0000 | internatetional | (~nate@2404:c0:202f:9182:1:0:ba81:6976) (Read error: Connection reset by peer) |
| 2026-05-10 15:20:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 15:23:27 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-10 15:28:39 +0000 | werneta_ | (~werneta@71.83.160.242) (Ping timeout: 268 seconds) |
| 2026-05-10 15:33:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 15:38:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 15:46:05 +0000 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-05-10 15:52:24 +0000 | rscastilho2024 | (rscastilho@user/rscastilho2024) rscastilho2024 |
| 2026-05-10 15:58:29 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-10 15:59:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 16:03:41 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2026-05-10 16:03:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-10 16:14:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 16:19:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-10 16:25:52 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-05-10 16:26:01 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-10 16:30:19 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 245 seconds) |
| 2026-05-10 16:30:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 16:32:09 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0) |
| 2026-05-10 16:33:30 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-05-10 16:37:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 16:39:20 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-05-10 16:39:20 +0000 | ChanServ | +v haskellbridge |
| 2026-05-10 16:42:47 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-10 16:43:03 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2026-05-10 16:44:08 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-05-10 16:48:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 16:48:55 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2026-05-10 16:51:56 +0000 | <geekosaur> | test |
| 2026-05-10 16:52:42 +0000 | <geekosaur> | getting 2-00s back from matrix.org but stuff still doesn't show in channels |
| 2026-05-10 16:53:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-10 17:04:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 17:09:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 17:14:19 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-10 17:17:44 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:6f69:880f:6931:da) |
| 2026-05-10 17:20:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 17:22:28 +0000 | haskellbridge | (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 2026-05-10 17:24:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 17:27:34 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-05-10 17:27:34 +0000 | ChanServ | +v haskellbridge |
| 2026-05-10 17:30:00 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-05-10 17:35:25 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-10 17:35:41 +0000 | acidjnk | (~acidjnk@p200300d6e700e553606a62deccbd2c0c.dip0.t-ipconnect.de) acidjnk |
| 2026-05-10 17:35:52 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-10 17:35:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 17:41:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 17:45:00 +0000 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-05-10 17:52:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 17:57:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 18:00:59 +0000 | carbolymer | (carbolymer@delirium.systems) () |
| 2026-05-10 18:01:16 +0000 | carbolymer | (carbolymer@delirium.systems) carbolymer |
| 2026-05-10 18:02:19 +0000 | APic | (apic@chiptune.apic.name) (Quit: fffffffffffffffffffffffffffffffffuuuuuuuuuuuuuuu-) |
| 2026-05-10 18:02:28 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-05-10 18:03:25 +0000 | carbolymer | (carbolymer@delirium.systems) (Client Quit) |
| 2026-05-10 18:03:58 +0000 | carbolymer | (carbolymer@delirium.systems) carbolymer |
| 2026-05-10 18:06:07 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-05-10 18:06:22 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-10 18:07:33 +0000 | APic | (apic@chiptune.apic.name) APic |
| 2026-05-10 18:07:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 18:08:48 +0000 | itaipu | (~itaipu@168.121.98.126) (Ping timeout: 246 seconds) |
| 2026-05-10 18:10:24 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-10 18:10:33 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-10 18:14:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-10 18:21:28 +0000 | haskellbridge | (~hackager@96.28.224.214) (Ping timeout: 256 seconds) |
| 2026-05-10 18:22:01 +0000 | michalz | (~michalz@185.246.207.215) |
| 2026-05-10 18:23:46 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.9.0) |
| 2026-05-10 18:25:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 18:30:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 18:32:38 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-05-10 18:39:53 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-05-10 18:39:53 +0000 | ChanServ | +v haskellbridge |
| 2026-05-10 18:41:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 18:46:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-10 18:48:14 +0000 | hsw | (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2026-05-10 18:49:05 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-10 18:49:29 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-10 18:49:54 +0000 | malte | (~malte@mal.tc) (Ping timeout: 248 seconds) |
| 2026-05-10 19:00:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 19:04:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 19:15:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 19:15:26 +0000 | haskellbridge | (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 2026-05-10 19:20:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-10 19:31:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 19:35:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 19:36:37 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-10 19:47:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 19:48:43 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2026-05-10 19:52:47 +0000 | tv | (~tv@user/tv) tv |
| 2026-05-10 19:54:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-10 19:59:19 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Read error: Connection reset by peer) |
| 2026-05-10 20:00:29 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-10 20:05:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 20:06:06 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 276 seconds) |
| 2026-05-10 20:06:35 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-10 20:09:07 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-10 20:09:36 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 255 seconds) |
| 2026-05-10 20:10:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 20:13:41 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2026-05-10 20:20:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 20:25:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 20:25:32 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-05-10 20:30:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 20:35:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-10 20:36:16 +0000 | Square | (~Square@user/square) Square |
| 2026-05-10 20:38:34 +0000 | jle` | (~jle`@2603:8001:3b00:11::1fae) (Quit: WeeChat 4.8.1) |
| 2026-05-10 20:42:01 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-10 20:42:23 +0000 | supersecant | (~superseca@2a02:6b6f:e715:4f00:34d4:1987:8d0b:c51d) (Quit: WeeChat 4.9.0) |
| 2026-05-10 20:45:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 20:49:50 +0000 | jle` | (~jle`@2603:8001:3b00:11::1fae) jle` |
| 2026-05-10 20:50:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-10 20:52:37 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: kernel update) |
| 2026-05-10 20:54:28 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-10 21:00:32 +0000 | <yin> | does hls properly handle source-repository-package in cabal.project? it seems to be indexing the Hackage version of a library instead of my fork |
| 2026-05-10 21:00:42 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 276 seconds) |
| 2026-05-10 21:01:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 21:02:11 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-10 21:06:00 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-05-10 21:06:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 21:12:14 +0000 | Beowulf | (florian@sourcemage/mage/beowulf) (Quit: = "") |
| 2026-05-10 21:17:22 +0000 | Beowulf | (florian@sleipnir.bandrate.org) |
| 2026-05-10 21:17:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 21:18:09 +0000 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2026-05-10 21:18:15 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-10 21:22:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 21:27:39 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-10 21:33:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 21:39:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 21:44:49 +0000 | natto- | (~natto@129.154.243.159) natto |
| 2026-05-10 21:47:33 +0000 | natto17 | (~natto@129.154.243.159) (Read error: Connection reset by peer) |
| 2026-05-10 21:49:50 +0000 | robertm | (robertm@lattice.rojoma.com) (Quit: ...) |
| 2026-05-10 21:51:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 21:52:22 +0000 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2026-05-10 21:55:43 +0000 | rscastilho2024 | (rscastilho@user/rscastilho2024) (Remote host closed the connection) |
| 2026-05-10 21:56:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-10 22:00:10 +0000 | <tomsmeding> | yin: has worked for me in the past; have you tried `cabal clean; cabal build`, or perhaps even clearing ~/.cache/ghcide? |
| 2026-05-10 22:01:32 +0000 | <tomsmeding> | and ~/.cache/hie-bios while you're at it |
| 2026-05-10 22:01:56 +0000 | <tomsmeding> | oh it seems hie-bios might actually be the most relevant one |
| 2026-05-10 22:04:46 +0000 | misterfish | (~misterfis@84-82-125-212.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2026-05-10 22:04:54 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 245 seconds) |
| 2026-05-10 22:07:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 22:07:37 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 265 seconds) |
| 2026-05-10 22:09:27 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-05-10 22:12:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-10 22:17:59 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2026-05-10 22:19:13 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-05-10 22:22:16 +0000 | layline-away | layline_ |
| 2026-05-10 22:22:22 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-10 22:22:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 22:25:27 +0000 | skulk | (~sid@eusebia.skulk.org) skulk |
| 2026-05-10 22:26:27 +0000 | <skulk> | what's the currently favored way of running haskell in the browser? |
| 2026-05-10 22:27:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-10 22:38:10 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-05-10 22:38:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 22:39:07 +0000 | pyook | (~puke@user/puke) puke |
| 2026-05-10 22:39:08 +0000 | puke | Guest1010 |
| 2026-05-10 22:39:08 +0000 | pyook | puke |
| 2026-05-10 22:40:26 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-10 22:41:38 +0000 | Guest1010 | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-10 22:41:58 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:6f69:880f:6931:da) (Ping timeout: 244 seconds) |
| 2026-05-10 22:43:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-10 22:49:39 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-05-10 22:51:53 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-05-10 22:53:43 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 264 seconds) |
| 2026-05-10 22:57:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 23:01:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-10 23:03:33 +0000 | <EvanR> | is there any other option other than ghcjs? |
| 2026-05-10 23:04:12 +0000 | <geekosaur> | modern ghc has js (much better supported than the old ghcjs) and wasm backends |
| 2026-05-10 23:11:28 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-05-10 23:12:42 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-10 23:19:16 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-10 23:29:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 23:32:42 +0000 | <skulk> | I'm currently trying to use the wasm backend and it feels like nothing compiles (though, I just got https://github.com/haskell-wasm/ghc-wasm-reflex-examples to build so I will be using that as a reference) |
| 2026-05-10 23:34:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-10 23:44:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-10 23:48:52 +0000 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-05-10 23:49:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-10 23:51:49 +0000 | CloneOfNone_ | (~CloneOfNo@user/CloneOfNone) (Ping timeout: 276 seconds) |