| 2025-02-02 00:01:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 00:05:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-02-02 00:12:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 00:13:39 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 276 seconds) |
| 2025-02-02 00:17:33 +0100 | harveypwca | (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) (Quit: Leaving) |
| 2025-02-02 00:19:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 00:22:10 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-02-02 00:22:55 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-02-02 00:24:00 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 246 seconds) |
| 2025-02-02 00:24:00 +0100 | monochrm | monochrom |
| 2025-02-02 00:27:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 00:30:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 00:31:38 +0100 | dispater | (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-02 00:31:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-02 00:32:23 +0100 | dispater | (~dispater@mail.brprice.uk) |
| 2025-02-02 00:35:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-02 00:41:03 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-02-02 00:41:18 +0100 | <sim590> | geekosaur: it doesn't seem like it's possible to block access to a TVar while doing an IO action. All I can do is STM action and STM is not MonadIO. Am I correct? |
| 2025-02-02 00:42:05 +0100 | <geekosaur> | correct and deliberately so. how do you retry an IO action? |
| 2025-02-02 00:48:33 +0100 | yushyin | (CinQEuz8mT@mail.karif.server-speed.net) (Ping timeout: 248 seconds) |
| 2025-02-02 00:48:34 +0100 | s4msung | (wBrkYH9KHh@user/s4msung) (Ping timeout: 248 seconds) |
| 2025-02-02 00:50:06 +0100 | <sim590> | geekosaur: Yeah, I understand. But, then, if I'm not mistaken, that is something I could be doing with MVars though? |
| 2025-02-02 00:50:52 +0100 | s4msung | (DQyKc40dMf@user/s4msung) s4msung |
| 2025-02-02 00:51:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 00:51:07 +0100 | tabemann | (~tabemann@8.9.45.41) tabemann |
| 2025-02-02 00:52:28 +0100 | <EvanR> | anything you can do with an MVar you can do with a TVar (Maybe a) |
| 2025-02-02 00:52:34 +0100 | <geekosaur> | oh yes, it'll happily let you make a mess |
| 2025-02-02 00:52:35 +0100 | <Leary> | sim590: You can't ever block access to a `TVar`. You instead hide inconsistent states within atomic transactions, so you don't need to. |
| 2025-02-02 00:52:49 +0100 | alp | (~alp@2001:861:8ca0:4940:e7c0:2b3f:562a:38cb) (Ping timeout: 248 seconds) |
| 2025-02-02 00:53:01 +0100 | <geekosaur> | but if that's really what you want to do, just use an IORef |
| 2025-02-02 00:53:46 +0100 | <EvanR> | it's just that you generally can't do IO in the middle of a transaction |
| 2025-02-02 00:54:20 +0100 | <EvanR> | but there's a "trust me" trap door for that in which all bets are off if your I/O matters |
| 2025-02-02 00:55:24 +0100 | <sim590> | OK. I'll try to inflate my brain so I can do what I need only using TVars. Up to now, I think I can do it. |
| 2025-02-02 00:55:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 00:55:41 +0100 | <geekosaur> | that, or you have a very wrong model of concurrent access which you will need to figure out before this will work with either |
| 2025-02-02 01:00:31 +0100 | <sim590> | Yeah. Well. I can't say for now. I guess, I'll see! :D |
| 2025-02-02 01:01:37 +0100 | yushyin | (qjh7DQNxXf@mail.karif.server-speed.net) yushyin |
| 2025-02-02 01:02:40 +0100 | <Leary> | sim590: For pretend-interleaved STM and IO I like to use `newtype Atom a = Atom (WriterT (IO ()) STM a); io :: IO () -> Atom (); stm :: STM a -> Atom a; atom :: Atom a -> IO a`---might at least help you structure things. |
| 2025-02-02 01:06:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 01:08:09 +0100 | alist | (~alist@108-224-153-186.lightspeed.cicril.sbcglobal.net) |
| 2025-02-02 01:12:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 01:15:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 01:17:43 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2025-02-02 01:19:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-02 01:23:30 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-02-02 01:23:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 01:24:19 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Client Quit) |
| 2025-02-02 01:24:39 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-02-02 01:28:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 01:29:17 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Client Quit) |
| 2025-02-02 01:31:14 +0100 | <monochrom> | I suspect that "block access" means something that has nothing to do with "block" or "access" because supposedly everyone already knows that if you don't want a certain function to use a certain argument then just don't have that argument in the first place, so why the question. |
| 2025-02-02 01:32:16 +0100 | <monochrom> | Like even in C if I don't want sin() to mess with my array then just don't give it [the address of] my array, done. |
| 2025-02-02 01:39:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 01:43:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 01:45:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-02 01:48:08 +0100 | alist | (~alist@108-224-153-186.lightspeed.cicril.sbcglobal.net) (Remote host closed the connection) |
| 2025-02-02 01:52:40 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-02-02 01:53:11 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 244 seconds) |
| 2025-02-02 01:53:15 +0100 | monochrm | monochrom |
| 2025-02-02 01:54:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 01:58:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-02 02:00:29 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-02-02 02:01:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-02 02:03:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 02:06:16 +0100 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2025-02-02 02:07:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-02 02:07:46 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-02-02 02:09:33 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f12b860008857e92372.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-02 02:09:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 02:12:08 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b2 - https://znc.in) |
| 2025-02-02 02:15:46 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-02-02 02:16:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 02:17:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-02-02 02:18:19 +0100 | otto_s | (~user@p5b0448ee.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-02 02:19:55 +0100 | otto_s | (~user@p5b0441a3.dip0.t-ipconnect.de) |
| 2025-02-02 02:20:42 +0100 | olivial_ | (~benjaminl@2601:1c0:847f:9c70:223:24ff:fe66:4370) |
| 2025-02-02 02:22:24 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-02-02 02:27:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 02:32:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-02 02:33:18 +0100 | <Leary> | Mmmm. Getting to write meaningful rewrite RULES is a rare and special joy, isn't it? Even better, to give a typeclass laws and declare /these laws are **enforced** by rewrite @RULES@/ in the haddocks! |
| 2025-02-02 02:33:34 +0100 | <Leary> | Break the law and GHC will punish you. >:) |
| 2025-02-02 02:33:41 +0100 | <Leary> | `Functor` should have gotten this treatment. |
| 2025-02-02 02:33:54 +0100 | sprotte24 | (~sprotte24@p200300d16f174a005425e35c82ecf678.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-02 02:36:21 +0100 | <int-e> | hmm but assuming properties doesn't enforce them, you're just shifting blame away from the compiler ;-) |
| 2025-02-02 02:37:25 +0100 | <int-e> | You're introducing undefined behavior. |
| 2025-02-02 02:39:41 +0100 | <int-e> | I'm not really opposed btw, except that it's hard to do this kind of thing after the fact. |
| 2025-02-02 02:39:46 +0100 | <Leary> | I'm placing the blame solidly on the unlawful instances, and claiming only /they/ introduce undefined behaviour. :) |
| 2025-02-02 02:40:27 +0100 | <Leary> | But yeah, sadly too late for `Functor`. |
| 2025-02-02 02:40:45 +0100 | <int-e> | Yeah C also blames the programmers for introducing undefined behavior into their code. |
| 2025-02-02 02:42:00 +0100 | <int-e> | I still remember when GCC broke Linux with agressive exploitation of signed overflows. |
| 2025-02-02 02:42:14 +0100 | <monochrom> | :) |
| 2025-02-02 02:43:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 02:48:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 02:50:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 02:55:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-02 02:58:57 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-02 02:59:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 03:04:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-02 03:14:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 03:19:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 03:22:56 +0100 | <haskellbridge> | <Bowuigi> Cedille has a nice way to handle rewrite rules. It uses equality proofs that erase to an identity function. Extra safety and speed at the cost of extra theorem proving (after all, if you are using a theorem prover it's because you want to prove theorems). Cedille doesn't seem to insert those automatically tho, you need explicit casts |
| 2025-02-02 03:28:05 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::2163) (Ping timeout: 252 seconds) |
| 2025-02-02 03:30:14 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::9939) |
| 2025-02-02 03:30:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 03:34:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 03:38:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 03:42:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-02 03:43:20 +0100 | <sim590> | I'm exposing a bunch of lenses generated by haskell templates and GHC complains about lack of documentation for those. What's a common way to fix that? I can't document them if they're not in my file. Can I? |
| 2025-02-02 03:45:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 03:52:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 04:01:36 +0100 | <haskellbridge> | <Bowuigi> Does adding a Haddock comment above the TH invocation to generate lenses work? |
| 2025-02-02 04:02:36 +0100 | <sim590> | it "does", but it only documents the lens corresponding to the last field of the data type. |
| 2025-02-02 04:05:04 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-02-02 04:05:34 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-02-02 04:07:11 +0100 | <Leary> | sim590: Haddock (not GHC) warns about a lot of things, and many of them can't or shouldn't be fixed. Pick your battles and ignore the rest. |
| 2025-02-02 04:07:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 04:09:51 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-02 04:10:34 +0100 | <sim590> | I see. I guess I'll ignore it for now. |
| 2025-02-02 04:12:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 04:16:33 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2025-02-02 04:23:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 04:26:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 04:27:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 04:29:02 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-02 04:30:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-02 04:38:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 04:42:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 04:49:37 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-02-02 04:53:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 04:58:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 05:05:36 +0100 | erdem | (~erdem@user/erdem) (WeeChat 3.8) |
| 2025-02-02 05:09:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-02 05:09:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 05:09:47 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-02 05:13:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 05:14:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 05:19:05 +0100 | erdem | (~erdem@user/erdem) erdem |
| 2025-02-02 05:19:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-02 05:24:17 +0100 | aforemny | (~aforemny@2001:9e8:6cc0:e00:915f:b0b2:9520:8911) aforemny |
| 2025-02-02 05:24:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 05:24:42 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce1:bc00:8ce8:3eef:6047:48a7) (Ping timeout: 265 seconds) |
| 2025-02-02 05:28:51 +0100 | falafel | (~falafel@syn-076-093-010-089.res.spectrum.com) falafel |
| 2025-02-02 05:29:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 05:30:11 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-02-02 05:40:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 05:46:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-02 05:51:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-02-02 05:58:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 06:02:34 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 06:02:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 06:07:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-02 06:13:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 06:17:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 06:28:34 +0100 | michalz | (~michalz@185.246.207.200) |
| 2025-02-02 06:28:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 06:33:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-02 06:35:06 +0100 | AlexNoo | (~AlexNoo@5.139.233.186) (Read error: Connection reset by peer) |
| 2025-02-02 06:35:30 +0100 | AlexNoo | (~AlexNoo@5.139.233.186) |
| 2025-02-02 06:37:23 +0100 | byte | (~mu@user/byte) (Quit: Leaving) |
| 2025-02-02 06:37:23 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-02-02 06:37:30 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-02 06:37:31 +0100 | lockywolf | (~lockywolf@coconut.lockywolf.net) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-02-02 06:37:32 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Quit: m5zs7k) |
| 2025-02-02 06:37:43 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:8f51:9cf5:7d14:1330) youngfrog |
| 2025-02-02 06:37:51 +0100 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2025-02-02 06:38:05 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-02 06:38:45 +0100 | mhatta_ | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-02-02 06:39:04 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 260 seconds) |
| 2025-02-02 06:39:24 +0100 | Moyst | (~moyst@user/moyst) (Remote host closed the connection) |
| 2025-02-02 06:39:39 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Ping timeout: 260 seconds) |
| 2025-02-02 06:39:39 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 260 seconds) |
| 2025-02-02 06:39:39 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 260 seconds) |
| 2025-02-02 06:39:40 +0100 | Moyst | (~moyst@user/moyst) Moyst |
| 2025-02-02 06:40:12 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2025-02-02 06:40:31 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-02-02 06:41:10 +0100 | byte | (~mu@user/byte) byte |
| 2025-02-02 06:41:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-02 06:41:24 +0100 | tnt2 | tnt1 |
| 2025-02-02 06:44:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 06:45:29 +0100 | falafel | (~falafel@syn-076-093-010-089.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-02-02 06:47:34 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-02-02 06:48:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 06:49:23 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-02 06:50:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 06:52:00 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-02-02 06:55:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-02 07:03:44 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::9939) (Ping timeout: 260 seconds) |
| 2025-02-02 07:10:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 07:14:07 +0100 | falafel | (~falafel@syn-076-093-010-089.res.spectrum.com) falafel |
| 2025-02-02 07:14:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 07:25:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 07:25:50 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-02 07:27:07 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-02-02 07:30:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-02-02 07:32:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 07:39:04 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 07:41:05 +0100 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2025-02-02 07:41:34 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-02 07:43:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 07:43:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-02 07:44:39 +0100 | falafel | (~falafel@syn-076-093-010-089.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-02-02 07:45:10 +0100 | staneko | (~ondrej@nat-249.starnet.cz) |
| 2025-02-02 07:46:11 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) lisbeths |
| 2025-02-02 07:46:22 +0100 | <staneko> | ?src ($) |
| 2025-02-02 07:46:22 +0100 | <lambdabot> | f $ x = f x |
| 2025-02-02 07:47:40 +0100 | staneko | (~ondrej@nat-249.starnet.cz) (Quit: leaving) |
| 2025-02-02 07:48:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 07:49:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-02 07:51:10 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-02 07:51:14 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-02-02 07:52:44 +0100 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2025-02-02 07:53:13 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-02 07:55:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 08:02:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 08:03:30 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-02-02 08:05:43 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::9939) ensyde |
| 2025-02-02 08:09:46 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-02 08:12:08 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-02 08:13:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 08:15:51 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-02 08:18:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 08:26:07 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-02 08:26:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 08:28:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 08:31:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-02 08:34:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-02 08:36:23 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-02 08:45:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 08:49:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 08:56:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 09:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-02 09:01:46 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-02 09:01:48 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:afa8:886d:af2c:473f) jle` |
| 2025-02-02 09:04:10 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-02-02 09:05:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 09:13:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-02 09:14:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 09:16:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 09:18:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-02 09:20:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 09:30:18 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-02-02 09:31:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 09:32:12 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-02-02 09:32:12 +0100 | monochrm | monochrom |
| 2025-02-02 09:34:29 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-02 09:36:30 +0100 | alp | (~alp@2001:861:8ca0:4940:c60e:45da:3de3:e1ee) |
| 2025-02-02 09:36:38 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-02-02 09:36:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 09:40:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-02-02 09:47:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 09:48:40 +0100 | AlexZenon | (~alzenon@5.139.233.186) (Quit: ;-) |
| 2025-02-02 09:49:08 +0100 | AlexNoo | (~AlexNoo@5.139.233.186) (Quit: Leaving) |
| 2025-02-02 09:52:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 09:55:05 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-02-02 09:56:59 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2025-02-02 09:57:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 09:58:57 +0100 | alp | (~alp@2001:861:8ca0:4940:c60e:45da:3de3:e1ee) (Ping timeout: 252 seconds) |
| 2025-02-02 10:02:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 10:03:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 10:08:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-02 10:16:25 +0100 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2025-02-02 10:16:26 +0100 | lisbeths | (~user@2603:3023:4be:4000:216:3eff:fe17:d69d) lisbeths |
| 2025-02-02 10:18:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 10:23:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 10:30:24 +0100 | <probie> | Re: inability to document exported TH generated functions; I wonder if haddock could support documenting functions in the module export list, instead of just at their definition |
| 2025-02-02 10:33:16 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-02-02 10:34:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 10:39:33 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-02 10:40:02 +0100 | saimazoon | (~hrtz@user/haritz) (Ping timeout: 252 seconds) |
| 2025-02-02 10:41:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 10:41:53 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-02 10:42:31 +0100 | AlexNoo | (~AlexNoo@5.139.233.186) |
| 2025-02-02 10:44:32 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::9939) (Quit: WeeChat 4.5.1) |
| 2025-02-02 10:45:17 +0100 | AlexZenon | (~alzenon@5.139.233.186) |
| 2025-02-02 10:50:07 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-02 10:51:40 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-02 10:52:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 10:52:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 10:52:27 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-02 10:56:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-02 10:56:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 10:57:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-02 10:59:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 11:03:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 11:12:24 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2025-02-02 11:12:26 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2025-02-02 11:12:26 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-02-02 11:13:49 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2025-02-02 11:14:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 11:15:32 +0100 | <jackdk> | probie: https://hackage.haskell.org/package/template-haskell-2.23.0.0/changelog#21800 |
| 2025-02-02 11:16:22 +0100 | <jackdk> | Looks like GHC 9.2 maybe? |
| 2025-02-02 11:18:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 11:20:38 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f65c4b195c3583eb276.dip0.t-ipconnect.de) acidjnk |
| 2025-02-02 11:20:39 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-02 11:26:50 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-02 11:29:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 11:30:31 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-02 11:31:44 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-02-02 11:34:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 11:40:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 11:43:41 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-02 11:44:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-02 11:45:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 11:49:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-02 11:50:15 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-02-02 11:53:02 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-02 11:56:43 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-02 11:57:38 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-02-02 11:59:11 +0100 | connrs | (~connrs@user/connrs) (Client Quit) |
| 2025-02-02 11:59:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 12:04:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 12:05:59 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-02-02 12:07:59 +0100 | <geekosaur> | I think the problem there is that makeLenses doesn't use them |
| 2025-02-02 12:13:14 +0100 | alp | (~alp@2001:861:8ca0:4940:8c48:9a75:b748:bc3f) |
| 2025-02-02 12:22:04 +0100 | sprotte24 | (~sprotte24@p200300d16f1f590058a60236c8af074f.dip0.t-ipconnect.de) |
| 2025-02-02 12:23:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 12:23:24 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-02 12:29:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 12:29:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 12:34:23 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-02 12:41:12 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-02-02 12:41:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 12:43:18 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-02 12:46:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-02 12:56:00 +0100 | <lxsameer> | hey folks, do you know how ghc implements functions? internally, does it implement single arguments functions and break down a function into a composition of single arg functions? |
| 2025-02-02 12:56:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 12:57:49 +0100 | <geekosaur> | actually it does multi-arg internally and uses "partial application objects" when calling them unsaturated |
| 2025-02-02 12:58:07 +0100 | <lxsameer> | geekosaur: cool, thank you |
| 2025-02-02 12:58:39 +0100 | <geekosaur> | one of the errors you're never supposed to see is "PAP object entered" which means it tried to call a partial application as a function |
| 2025-02-02 12:59:40 +0100 | <lxsameer> | geekosaur: and is there any special behaviour if the number of provided arguments are more than what the function expects? |
| 2025-02-02 12:59:53 +0100 | <geekosaur> | no |
| 2025-02-02 13:00:06 +0100 | <geekosaur> | that just means the result of it should be a function |
| 2025-02-02 13:00:24 +0100 | <lxsameer> | geekosaur: cool thank you |
| 2025-02-02 13:00:26 +0100 | <geekosaur> | the typechecker will flag it if it isn't |
| 2025-02-02 13:01:08 +0100 | <lxsameer> | geekosaur: awesome |
| 2025-02-02 13:01:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-02-02 13:01:29 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-02 13:02:57 +0100 | <geekosaur> | breaking things down to actual single parameter functions is certainly doable, but has lousy performance. so in terms of Haskell semantics it makes sense to think that way, but ghc goes for the more performant version |
| 2025-02-02 13:03:36 +0100 | <geekosaur> | similarly, conceptually IO is best thought of as an impure program passed back to the RTS as the result of `main :: IO ()`, but ghc actually does something more performant |
| 2025-02-02 13:05:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 13:06:17 +0100 | <lxsameer> | geekosaur: interesting, is there any resource to get familiar with GHC internals? not in code level but an overview |
| 2025-02-02 13:08:30 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-02 13:08:59 +0100 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary |
| 2025-02-02 13:09:17 +0100 | <lxsameer> | perfect, thank you |
| 2025-02-02 13:09:30 +0100 | <lxsameer> | wow this is amazing |
| 2025-02-02 13:11:28 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-02-02 13:14:42 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-02 13:16:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 13:17:48 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-02-02 13:19:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 13:20:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 13:23:19 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-02-02 13:23:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-02 13:31:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 13:36:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 13:39:50 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-02 13:40:48 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-02 13:40:49 +0100 | tnt2 | tnt1 |
| 2025-02-02 13:41:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-02-02 13:43:18 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-02-02 13:44:02 +0100 | euleritian | (~euleritia@dynamic-176-006-139-244.176.6.pool.telefonica.de) |
| 2025-02-02 13:46:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 13:47:17 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-02 13:47:31 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-02 13:48:03 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2025-02-02 13:49:21 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-02-02 13:51:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 14:00:11 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-02 14:01:14 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-02 14:01:14 +0100 | tnt2 | tnt1 |
| 2025-02-02 14:01:36 +0100 | euleritian | (~euleritia@dynamic-176-006-139-244.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-02 14:01:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 14:02:16 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-02 14:07:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 14:08:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 14:11:49 +0100 | RaedAddala | (~RaedAddal@41.229.252.60) |
| 2025-02-02 14:12:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-02 14:16:59 +0100 | lisbeths | (~user@2603:3023:4be:4000:216:3eff:fe17:d69d) (Ping timeout: 260 seconds) |
| 2025-02-02 14:20:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 14:20:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-02 14:25:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-02 14:31:17 +0100 | lisbeths | (~user@2603:3023:4be:4000:216:3eff:fe17:d69d) lisbeths |
| 2025-02-02 14:32:54 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-02-02 14:33:45 +0100 | euleritian | (~euleritia@dynamic-176-006-139-244.176.6.pool.telefonica.de) |
| 2025-02-02 14:35:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 14:39:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 14:50:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 14:52:45 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:d8a:11d8:7a8b:29a2) (Quit: WeeChat 4.5.0) |
| 2025-02-02 14:55:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 14:55:06 +0100 | haritz | saimazoon |
| 2025-02-02 14:55:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 14:56:14 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-02 14:56:29 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-02 14:56:29 +0100 | tnt2 | tnt1 |
| 2025-02-02 14:59:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 14:59:36 +0100 | euleritian | (~euleritia@dynamic-176-006-139-244.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2025-02-02 14:59:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-02 15:02:49 +0100 | tabemann | (~tabemann@8.9.45.41) (Quit: Leaving) |
| 2025-02-02 15:04:17 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-02 15:04:51 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-02 15:06:09 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-02 15:06:09 +0100 | tnt2 | tnt1 |
| 2025-02-02 15:06:36 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-02-02 15:09:17 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-02 15:16:29 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2025-02-02 15:16:40 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-02-02 15:16:40 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection) |
| 2025-02-02 15:17:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-02 15:23:19 +0100 | misterfish | (~misterfis@22.1-12-147.kabelnoord.net) misterfish |
| 2025-02-02 15:28:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 15:35:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 15:43:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 15:44:19 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-02 15:45:10 +0100 | RaedAddala | (~RaedAddal@41.229.252.60) (Ping timeout: 240 seconds) |
| 2025-02-02 15:45:22 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-02 15:46:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 15:48:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-02 15:50:13 +0100 | tabemann | (~tabemann@8.9.45.41) tabemann |
| 2025-02-02 15:51:36 +0100 | dtman34 | (~dtman34@c-75-72-179-251.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 2025-02-02 15:54:41 +0100 | RaedAddala | (~RaedAddal@41.229.252.60) |
| 2025-02-02 15:55:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 15:59:39 +0100 | lisbeths | (~user@2603:3023:4be:4000:216:3eff:fe17:d69d) (Ping timeout: 260 seconds) |
| 2025-02-02 16:05:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 16:06:33 +0100 | dsrt^ | (~dsrt@108.192.66.114) (Ping timeout: 276 seconds) |
| 2025-02-02 16:08:55 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-02 16:10:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-02 16:14:06 +0100 | euleritian | (~euleritia@dynamic-176-006-139-244.176.6.pool.telefonica.de) |
| 2025-02-02 16:21:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 16:21:10 +0100 | RaedAddala | (~RaedAddal@41.229.252.60) (Ping timeout: 240 seconds) |
| 2025-02-02 16:21:57 +0100 | alp | (~alp@2001:861:8ca0:4940:8c48:9a75:b748:bc3f) (Remote host closed the connection) |
| 2025-02-02 16:22:15 +0100 | alp | (~alp@2001:861:8ca0:4940:4932:ede2:9c95:5852) |
| 2025-02-02 16:23:35 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-02 16:25:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 16:28:14 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 260 seconds) |
| 2025-02-02 16:29:48 +0100 | cawfee | (~root@2001:19f0:4400:79a1::babe) |
| 2025-02-02 16:30:16 +0100 | cawfee | (~root@2001:19f0:4400:79a1::babe) (Client Quit) |
| 2025-02-02 16:30:24 +0100 | cawfee | (~root@2001:19f0:4400:79a1::babe) qjqqyy |
| 2025-02-02 16:31:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 16:34:32 +0100 | cawfee | (~root@2001:19f0:4400:79a1::babe) (Client Quit) |
| 2025-02-02 16:34:40 +0100 | cawfee | (~root@2001:19f0:4400:79a1::babe) qjqqyy |
| 2025-02-02 16:35:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-02 16:36:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 16:38:28 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-02 16:39:41 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-02 16:40:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 16:43:37 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-02 16:43:53 +0100 | agent314 | (~quassel@146.70.172.177) agent314 |
| 2025-02-02 16:51:04 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-02 16:51:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 16:52:56 +0100 | Square | (~Square@user/square) Square |
| 2025-02-02 16:55:03 +0100 | hellwolf | (~user@6089-cf2c-df57-f396-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds) |
| 2025-02-02 16:55:21 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-02 16:56:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-02 17:01:19 +0100 | hellwolf | (~user@274b-85a5-2831-cb8b-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-02-02 17:06:51 +0100 | cawfee | (~root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.5.1) |
| 2025-02-02 17:07:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 17:09:18 +0100 | cawfee | (~root@2001:19f0:4400:79a1::babe) qjqqyy |
| 2025-02-02 17:11:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 17:18:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 17:19:51 +0100 | cawfee | (~root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.5.1) |
| 2025-02-02 17:23:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-02 17:26:24 +0100 | tabemann | (~tabemann@8.9.45.41) (Quit: Leaving) |
| 2025-02-02 17:26:44 +0100 | cawfee | (~root@2001:19f0:4400:79a1::babe) qjqqyy |
| 2025-02-02 17:32:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 17:39:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 17:43:09 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-02-02 17:43:10 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-02-02 17:43:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-02-02 17:44:28 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-02 17:50:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 17:51:52 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-02-02 17:52:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-02 17:53:07 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) lisbeths |
| 2025-02-02 17:55:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-02 18:06:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 18:06:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 18:10:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 18:11:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-02 18:13:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 18:15:34 +0100 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2025-02-02 18:16:33 +0100 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-02-02 18:16:33 +0100 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-02-02 18:16:34 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-02-02 18:16:42 +0100 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2025-02-02 18:17:06 +0100 | Techcable | (sid534393@user/Techcable) (Ping timeout: 248 seconds) |
| 2025-02-02 18:17:06 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-02-02 18:17:06 +0100 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-02-02 18:17:33 +0100 | bionade24 | (~quassel@2a03:4000:33:45b::1) (Ping timeout: 265 seconds) |
| 2025-02-02 18:17:38 +0100 | haasn | (uid579015@id-579015.hampstead.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-02-02 18:17:38 +0100 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-02-02 18:18:09 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-02-02 18:18:09 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 248 seconds) |
| 2025-02-02 18:18:10 +0100 | xal | (~xal@mx1.xal.systems) (Ping timeout: 248 seconds) |
| 2025-02-02 18:18:10 +0100 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-02-02 18:18:10 +0100 | sclv | (sid39734@haskell/developer/sclv) (Ping timeout: 248 seconds) |
| 2025-02-02 18:18:10 +0100 | geekosaur | (sid609282@xmonad/geekosaur) (Ping timeout: 248 seconds) |
| 2025-02-02 18:18:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 18:18:41 +0100 | xal | (~xal@mx1.xal.systems) xal |
| 2025-02-02 18:18:48 +0100 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) SanchayanMaity |
| 2025-02-02 18:19:39 +0100 | bionade24 | (~quassel@2a03:4000:33:45b::1) bionade24 |
| 2025-02-02 18:20:16 +0100 | Techcable | (sid534393@user/Techcable) Techcable |
| 2025-02-02 18:20:16 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-02-02 18:21:18 +0100 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
| 2025-02-02 18:21:19 +0100 | geekosaur | (sid609282@xmonad/geekosaur) geekosaur |
| 2025-02-02 18:21:21 +0100 | sclv | (sid39734@haskell/developer/sclv) sclv |
| 2025-02-02 18:24:19 +0100 | bionade24 | (~quassel@2a03:4000:33:45b::1) (Ping timeout: 265 seconds) |
| 2025-02-02 18:28:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 18:31:15 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) alanz |
| 2025-02-02 18:31:44 +0100 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2025-02-02 18:31:47 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2025-02-02 18:32:16 +0100 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2025-02-02 18:32:33 +0100 | haasn | (uid579015@hampstead.irccloud.com) haasn |
| 2025-02-02 18:33:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 18:44:10 +0100 | mniip | (mniip@libera/staff/mniip) (Quit: This page is intentionally left blank) |
| 2025-02-02 18:44:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 18:46:15 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-02 18:46:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-02 18:47:57 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-02 18:48:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-02 18:48:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 18:55:02 +0100 | mniip | (mniip@libera/staff/mniip) mniip |
| 2025-02-02 18:56:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 18:57:17 +0100 | bionade24 | (~quassel@2a03:4000:33:45b::1) bionade24 |
| 2025-02-02 18:59:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 19:00:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-02 19:00:30 +0100 | bionade24 | (~quassel@2a03:4000:33:45b::1) (Client Quit) |
| 2025-02-02 19:01:13 +0100 | bionade24 | (~quassel@2a03:4000:33:45b::1) bionade24 |
| 2025-02-02 19:03:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 19:14:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 19:19:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-02 19:21:04 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-02-02 19:21:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 19:21:23 +0100 | euleritian | (~euleritia@dynamic-176-006-139-244.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-02 19:21:42 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-02 19:21:55 +0100 | ncf | (~n@monade.li) (Quit: Fairfarren.) |
| 2025-02-02 19:22:50 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-02 19:24:05 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-02 19:24:38 +0100 | ncf | (~n@monade.li) ncf |
| 2025-02-02 19:24:44 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-02-02 19:25:27 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-02-02 19:27:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-02 19:28:46 +0100 | Typedfern | (~Typedfern@184.red-83-37-42.dynamicip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2025-02-02 19:32:32 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-02 19:38:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 19:42:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 19:43:34 +0100 | Typedfern | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) |
| 2025-02-02 19:44:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 19:48:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-02 19:49:14 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-02-02 19:51:21 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-02-02 19:53:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 19:58:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-02 20:01:02 +0100 | Guest98 | (~Guest75@2a01:cb14:1e0e:1400:5857:dd0a:c07b:d1a9) |
| 2025-02-02 20:01:48 +0100 | michalz | (~michalz@185.246.207.193) |
| 2025-02-02 20:09:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 20:13:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 20:15:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 20:16:25 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.36) Jeanne-Kamikaze |
| 2025-02-02 20:16:26 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-02 20:19:27 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-02-02 20:23:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 20:32:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 20:33:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 20:35:53 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-02 20:36:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-02 20:37:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 20:39:29 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-02 20:40:12 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 276 seconds) |
| 2025-02-02 20:41:34 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-02 20:42:40 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-02-02 20:42:40 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-02-02 20:43:52 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-02 20:45:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-02-02 20:46:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-02 20:49:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 20:53:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 21:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-02 21:00:45 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-02 21:04:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 21:10:26 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 248 seconds) |
| 2025-02-02 21:10:48 +0100 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 245 seconds) |
| 2025-02-02 21:10:59 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-02-02 21:11:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 21:11:15 +0100 | AkechiShiro | (~licht@user/akechishiro) AkechiShiro |
| 2025-02-02 21:16:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 21:17:31 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-02-02 21:18:00 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-02 21:18:13 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-02 21:20:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-02-02 21:20:30 +0100 | ljdarj1 | ljdarj |
| 2025-02-02 21:20:38 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 21:20:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 21:24:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-02 21:31:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 21:33:39 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.36) (Quit: Leaving) |
| 2025-02-02 21:36:10 +0100 | Guest98 | (~Guest75@2a01:cb14:1e0e:1400:5857:dd0a:c07b:d1a9) (Ping timeout: 240 seconds) |
| 2025-02-02 21:36:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 21:41:23 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-02 21:45:26 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2025-02-02 21:47:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 21:49:28 +0100 | <dminuoso> | probie: Also, you could have a staged build process, where you replace TH with its splices (e.g. -ddump-splices) - perhaps controllable via CPP. |
| 2025-02-02 21:49:33 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2025-02-02 21:50:08 +0100 | <dminuoso> | It's an idea I've played with before to address some of TH shortcomings (every build needlessly recomputing the same splices, cross platform issues) |
| 2025-02-02 21:50:35 +0100 | <geekosaur> | sadly zeroth is long bitrotted. I don't know if anything's salvageable |
| 2025-02-02 21:51:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-02-02 21:51:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-02 21:51:48 +0100 | <dminuoso> | That way the cabal package would default to pre-generated splices, the code would be visible on haddock via [Sources], and haddock works guaranteed. :) |
| 2025-02-02 21:52:37 +0100 | <dminuoso> | Ah yes, I forgot about zeroth. |
| 2025-02-02 21:54:24 +0100 | <dminuoso> | If this work was revisited, it should really be implemented in GHC instead. |
| 2025-02-02 21:55:32 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-02-02 21:56:29 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-02 22:00:36 +0100 | _ht | (~huub@62.250.52.179) (Remote host closed the connection) |
| 2025-02-02 22:00:52 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-02 22:02:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 22:04:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-02 22:05:21 +0100 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-02-02 22:07:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 22:09:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 22:13:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-02 22:17:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 22:18:43 +0100 | halloy6117 | (~halloy611@123.63.203.210) |
| 2025-02-02 22:21:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 22:23:52 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-02-02 22:24:30 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-02-02 22:31:29 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-02-02 22:32:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 22:40:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-02 22:45:17 +0100 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2025-02-02 22:48:38 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-02-02 22:51:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 22:53:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 22:53:49 +0100 | halloy6117 | (~halloy611@123.63.203.210) (Remote host closed the connection) |
| 2025-02-02 22:55:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 22:55:52 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-02-02 22:57:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-02 22:59:09 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-02-02 23:00:10 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-02-02 23:04:10 +0100 | haskellstudent | (~haskellst@2a02:586:8921:ec00:e4f4:e522:fb9a:494b) |
| 2025-02-02 23:06:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 23:14:28 +0100 | <haskellstudent> | Hello, everyone! I'm trying to create a set of functions whose signature is as : State->(State, Item). There are some cases where a call to such function might return a "StateFail". In such case, the whole procedure should short-circuit and return that StateFail, otherwise the procedure should continue until a terminal state is reached. I know |
| 2025-02-02 23:14:28 +0100 | <haskellstudent> | about the State monad but I don't see how it synergizes with the short-circuit idea. Any ideas on how I should implement my idea? |
| 2025-02-02 23:15:20 +0100 | <Rembane> | haskellstudent: Is a monad transformer stack an allowed solution? |
| 2025-02-02 23:15:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 23:16:40 +0100 | <haskellstudent> | The solution is only limited by my mental capacity and my ability to understand new concepts :) |
| 2025-02-02 23:17:18 +0100 | <haskellstudent> | I'm not familiar with monad transformers but I'm willing to learn |
| 2025-02-02 23:18:49 +0100 | <Rembane> | haskellstudent: Sweet! Then you can combine ExceptT with a StateT to make up the functionality. OTOH, it might be more straightforward to do it in a custom way. |
| 2025-02-02 23:20:07 +0100 | <haskellstudent> | Alright, thank you for your suggestion, I'll check them out |
| 2025-02-02 23:20:30 +0100 | <Rembane> | haskellstudent: No worries. Good luck! |
| 2025-02-02 23:26:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 23:31:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-02 23:41:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 23:42:03 +0100 | <ski> | haskellstudent : `MyState -> Maybe (MyState,Item)' |
| 2025-02-02 23:42:23 +0100 | <ski> | @unmtl StateT MyState Maybe Item |
| 2025-02-02 23:42:23 +0100 | <lambdabot> | MyState -> Maybe (Item, MyState) |
| 2025-02-02 23:42:33 +0100 | <ski> | or |
| 2025-02-02 23:42:50 +0100 | <ski> | @unmtl StateT MyState (Either MyFailure) Item |
| 2025-02-02 23:42:50 +0100 | <lambdabot> | MyState -> Either MyFailure (Item, MyState) |
| 2025-02-02 23:42:59 +0100 | <ski> | if you want to have more than one way to fail |
| 2025-02-02 23:43:26 +0100 | <ski> | @unmtl StateT MyState (ExceptT MyFailure m) Item |
| 2025-02-02 23:43:26 +0100 | <lambdabot> | MyState -> m (Either MyFailure (Item, MyState)) |
| 2025-02-02 23:43:33 +0100 | <ski> | @unmtl StateT MyState (MaybeT m) Item |
| 2025-02-02 23:43:33 +0100 | <lambdabot> | MyState -> m (Maybe (Item, MyState)) |
| 2025-02-02 23:43:59 +0100 | <ski> | in case you'd like to mix in any other `m' (maybe `IO' or `ST s'), as well |
| 2025-02-02 23:44:55 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-02 23:45:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-02 23:46:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 23:51:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |