| 2025-02-23 00:04:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 00:07:36 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 00:09:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 00:11:27 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 00:12:03 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-23 00:15:48 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-23 00:16:29 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 2025-02-23 00:20:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 00:30:57 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 276 seconds) |
| 2025-02-23 00:31:55 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-23 00:36:16 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
| 2025-02-23 00:46:24 +0000 | sprotte24 | (~sprotte24@p200300d16f1eea00f586bed61b7ec9b1.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-23 00:53:57 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 00:58:28 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-23 01:01:37 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 01:05:03 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-02-23 01:05:43 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-02-23 01:06:26 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 01:13:09 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-23 01:24:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 01:24:45 +0000 | acidjnk | (~acidjnk@p200300d6e7283f484d733f5a370ae1a6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-23 01:25:19 +0000 | krei-se | (~krei-se@p50829791.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-23 01:25:28 +0000 | cici | (~user@140.177.185.33) |
| 2025-02-23 01:26:42 +0000 | comonad | (~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-23 01:30:27 +0000 | krei-se | (~krei-se@p200300f1cf07fb002411defffe902013.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 01:30:53 +0000 | ft | (~ft@i59F4F04E.versanet.de) (Ping timeout: 244 seconds) |
| 2025-02-23 01:32:13 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-02-23 01:32:34 +0000 | Square2 | (~Square@user/square) Square |
| 2025-02-23 01:32:48 +0000 | ft | (~ft@mue-88-130-105-251.dsl.tropolys.de) ft |
| 2025-02-23 01:33:17 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-23 01:33:28 +0000 | califax | (~califax@user/califx) califx |
| 2025-02-23 01:33:37 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 01:33:41 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-23 01:35:04 +0000 | <cici> | hello, I am having an issue getting my basic hello world program to compile. I made a file with a .hs extension exactly as its described in this webpage: https://piembsystech.com/installing-haskell-on-different-platforms/ |
| 2025-02-23 01:35:38 +0000 | <cici> | When I compile the code, It doesn't print the "hello, haskell!" string. It just goes onto a new blank prompt. For more info, I'm using Fedora 41 |
| 2025-02-23 01:36:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 01:37:38 +0000 | <EvanR> | sorry |
| 2025-02-23 01:37:46 +0000 | <EvanR> | what does your code look like again |
| 2025-02-23 01:38:47 +0000 | <cici> | just this single line: main = putStrLn "Hello, Haskell!" |
| 2025-02-23 01:39:09 +0000 | <cici> | and this is the command I'm putting in my terminal: ghc haskell-hello.hs |
| 2025-02-23 01:39:10 +0000 | <EvanR> | also, when you compile a program, you are returned to the shell. It doesn't just run your program |
| 2025-02-23 01:39:21 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 01:39:25 +0000 | <EvanR> | it only creates a new program file |
| 2025-02-23 01:39:47 +0000 | <cici> | How do I get it to print the string in the command line? The website makes it seem like that's the expected result. Sorry if I misinterpreted it, though |
| 2025-02-23 01:39:48 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 01:39:58 +0000 | <EvanR> | ghc is the compiler |
| 2025-02-23 01:40:05 +0000 | <EvanR> | doesn't run your program |
| 2025-02-23 01:40:40 +0000 | <EvanR> | ghc haskell-hello.hs should produce an executable file somewhere |
| 2025-02-23 01:40:49 +0000 | xearty | (~xearty@151.251.255.19) |
| 2025-02-23 01:40:50 +0000 | <cici> | Oh, I just figuring it out with a little more searching: a better webpage explained you have to put runghc to see the output |
| 2025-02-23 01:40:50 +0000 | <EvanR> | run that |
| 2025-02-23 01:41:03 +0000 | <EvanR> | you don't have to |
| 2025-02-23 01:41:12 +0000 | <EvanR> | but that will work |
| 2025-02-23 01:41:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 01:41:49 +0000 | <cici> | I think it did: it produced two files, one with a .hi extension and another with an .o extension. And there is an executable, but it doesn't nothing when I click on it |
| 2025-02-23 01:42:11 +0000 | <EvanR> | because it's not a graphical program clicking probably doesn't show anything |
| 2025-02-23 01:42:19 +0000 | <EvanR> | instead you have to run it from command line |
| 2025-02-23 01:42:44 +0000 | <cici> | I see. When I use it from the command line, it says "command not found: |
| 2025-02-23 01:42:44 +0000 | <EvanR> | e.g. if the file is called myprogram |
| 2025-02-23 01:42:54 +0000 | <EvanR> | > ./myprogram |
| 2025-02-23 01:42:56 +0000 | <lambdabot> | <hint>:1:1: error: parse error on input ‘./’ |
| 2025-02-23 01:42:57 +0000 | <cici> | that ending colon should be a quotation mark |
| 2025-02-23 01:43:06 +0000 | <cici> | I'll try that, one sec |
| 2025-02-23 01:43:22 +0000 | <cici> | oh, yeah, I forgot my ./ |
| 2025-02-23 01:43:28 +0000 | <cici> | I get it now. |
| 2025-02-23 01:43:43 +0000 | <cici> | So, today I learned: ghc just compiles. |
| 2025-02-23 01:43:53 +0000 | <cici> | need to run "runghc" to see output |
| 2025-02-23 01:44:02 +0000 | <EvanR> | glasgow haskell compiler |
| 2025-02-23 01:44:04 +0000 | <cici> | and, as always, you have to specify path for executable |
| 2025-02-23 01:44:13 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Exeunt DS Producers) |
| 2025-02-23 01:44:21 +0000 | <cici> | Thank you all! Now I just need to get haskell to interop with emacs, haha |
| 2025-02-23 01:44:24 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-23 01:44:26 +0000 | <EvanR> | also check out ghci |
| 2025-02-23 01:44:31 +0000 | <EvanR> | interactive haskell interpreted |
| 2025-02-23 01:44:34 +0000 | <EvanR> | interpreter |
| 2025-02-23 01:44:40 +0000 | <cici> | is ghci the repl? |
| 2025-02-23 01:44:43 +0000 | <EvanR> | yes |
| 2025-02-23 01:45:09 +0000 | <cici> | Ah, got. I am coming from a little bit of a lisp background, so that makes sense. sbcl = ghci |
| 2025-02-23 01:49:03 +0000 | <geekosaur> | ghc compiles but doesn't run, like gcc/clang and javac. runghc runs but doesn't compile, like python and js. once you compile a program, you can run it multiple times without compiling again unless you want to change the source code |
| 2025-02-23 01:49:31 +0000 | <cici> | That makes sense, thanks! |
| 2025-02-23 01:51:46 +0000 | krei-se | (~krei-se@p200300f1cf07fb002411defffe902013.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-02-23 01:52:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 01:54:28 +0000 | cici | (~user@140.177.185.33) (Ping timeout: 252 seconds) |
| 2025-02-23 01:59:15 +0000 | krei-se | (~krei-se@p50829791.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 01:59:15 +0000 | xearty | (~xearty@151.251.255.19) (Read error: Connection reset by peer) |
| 2025-02-23 02:02:40 +0000 | yegorc | (~yegorc@user/yegorc) (Quit: Leaving) |
| 2025-02-23 02:04:11 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 02:09:12 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 246 seconds) |
| 2025-02-23 02:13:03 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 02:18:29 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-02-23 02:18:49 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-02-23 02:23:12 +0000 | krei-se | (~krei-se@p50829791.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-02-23 02:23:49 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-23 02:24:37 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-02-23 02:25:05 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 02:27:25 +0000 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-02-23 02:28:16 +0000 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2025-02-23 02:29:18 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 02:30:50 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-23 02:31:40 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-23 02:34:14 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-23 02:38:35 +0000 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-23 02:39:36 +0000 | tavare | (~tavare@user/tavare) (Ping timeout: 244 seconds) |
| 2025-02-23 02:39:40 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 02:40:33 +0000 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-23 02:41:24 +0000 | jle` | (~jle`@2603:8001:3b00:11:f3b3:3706:1267:4536) (Ping timeout: 246 seconds) |
| 2025-02-23 02:42:06 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 02:43:25 +0000 | jle` | (~jle`@2603:8001:3b00:11:dd38:7882:e75c:4a19) jle` |
| 2025-02-23 02:47:52 +0000 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-02-23 02:50:15 +0000 | messewix | (~jmc@user/messewix) messewix |
| 2025-02-23 02:53:10 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-23 02:53:41 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-23 02:55:09 +0000 | alp | (~alp@2001:861:8ca0:4940:320:163e:d6e9:8f36) (Ping timeout: 260 seconds) |
| 2025-02-23 02:59:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 03:05:01 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-02-23 03:05:32 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-02-23 03:10:48 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 03:12:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 03:12:40 +0000 | off^ | (~off@108.192.66.114) (Ping timeout: 244 seconds) |
| 2025-02-23 03:15:08 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 03:15:45 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 2025-02-23 03:16:49 +0000 | cici | (~user@140.177.185.33) |
| 2025-02-23 03:17:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-23 03:18:26 +0000 | off^ | (~off@108.192.66.114) |
| 2025-02-23 03:20:10 +0000 | ringbuffer | (~dalton@50-25-60-242.krmtcmta02.res.dyn.suddenlink.net) (Quit: WeeChat 4.5.2) |
| 2025-02-23 03:27:52 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 03:28:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 03:30:58 +0000 | cici | (~user@140.177.185.33) (Remote host closed the connection) |
| 2025-02-23 03:31:58 +0000 | slack1256 | (~slack1256@179.60.70.224) slack1256 |
| 2025-02-23 03:32:41 +0000 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-23 03:32:57 +0000 | <slack1256> | On https://www.stackage.org/haddock/nightly-2025-02-20/effectful-core-2.5.1.0/Effectful-State-Static-… , am I wrong in thinking this is storing thunks on the MVars by design? |
| 2025-02-23 03:33:01 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 2025-02-23 03:33:36 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 03:37:36 +0000 | <slack1256> | NVM, reading the code is using MVar.Strict >.> |
| 2025-02-23 03:49:26 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-02-23 03:52:12 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-23 03:54:15 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-23 03:57:32 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 04:01:58 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-23 04:06:25 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 04:07:02 +0000 | messewix | (~jmc@user/messewix) (Remote host closed the connection) |
| 2025-02-23 04:11:15 +0000 | dtman34 | (~dtman34@2601:447:d000:1f5e:ca14:d507:141c:5e6f) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2025-02-23 04:11:35 +0000 | dtman34 | (~dtman34@2601:447:d000:1f5e:f0c1:a096:f8a:d3d5) dtman34 |
| 2025-02-23 04:11:36 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 04:14:36 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds) |
| 2025-02-23 04:18:06 +0000 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-02-23 04:22:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-23 04:33:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 04:35:01 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 04:39:54 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 04:41:35 +0000 | aforemny_ | (~aforemny@2001:9e8:6ce6:6d00:6847:ce2d:8528:abd1) aforemny |
| 2025-02-23 04:42:58 +0000 | aforemny | (~aforemny@i577B127D.versanet.de) (Ping timeout: 248 seconds) |
| 2025-02-23 04:43:16 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 04:44:44 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-02-23 04:44:45 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-02-23 04:45:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 04:46:10 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 2025-02-23 04:47:49 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-23 04:49:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 04:57:12 +0000 | <energizer> | is there a common name for "(??) :: Functor f => f (a -> b) -> a -> f b" |
| 2025-02-23 04:58:46 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 05:00:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 05:05:08 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 05:08:00 +0000 | <ski> | @type (??) |
| 2025-02-23 05:08:02 +0000 | <lambdabot> | Functor f => f (a -> b) -> a -> f b |
| 2025-02-23 05:08:23 +0000 | <ski> | hm, not sure how it would be pronounced |
| 2025-02-23 05:10:28 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-02-23 05:10:36 +0000 | <ski> | maybe one could say "apply all", or somesuch |
| 2025-02-23 05:12:50 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-02-23 05:13:36 +0000 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-02-23 05:17:11 +0000 | slack1256 | (~slack1256@179.60.70.224) (Remote host closed the connection) |
| 2025-02-23 05:18:07 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 05:21:26 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 05:21:57 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-23 05:21:57 +0000 | tnt2 | tnt1 |
| 2025-02-23 05:27:31 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 05:28:36 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 05:28:36 +0000 | tnt2 | tnt1 |
| 2025-02-23 05:28:40 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 05:31:43 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-23 05:32:23 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 05:32:57 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-23 05:33:00 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 05:33:03 +0000 | img | (~img@user/img) img |
| 2025-02-23 05:33:16 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-23 05:35:53 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 05:36:39 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 05:39:43 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 05:40:19 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 05:40:19 +0000 | tnt2 | tnt1 |
| 2025-02-23 05:43:57 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-23 05:44:19 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-02-23 05:44:43 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 05:50:36 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 05:50:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-02-23 05:51:04 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-23 05:54:10 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 05:55:28 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-23 05:57:42 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 05:58:31 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 06:01:48 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:02:08 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 06:02:08 +0000 | tnt2 | tnt1 |
| 2025-02-23 06:02:27 +0000 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-23 06:02:39 +0000 | foul_owl | (~kerry@193.42.0.122) (Ping timeout: 244 seconds) |
| 2025-02-23 06:03:09 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 06:04:49 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-02-23 06:05:12 +0000 | <jle`> | :t (<**>) |
| 2025-02-23 06:05:13 +0000 | <lambdabot> | Applicative f => f a -> f (a -> b) -> f b |
| 2025-02-23 06:05:20 +0000 | <jle`> | hm |
| 2025-02-23 06:06:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 06:14:24 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 06:18:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 06:18:42 +0000 | foul_owl | (~kerry@94.156.149.93) foul_owl |
| 2025-02-23 06:18:56 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-23 06:19:35 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:20:33 +0000 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-02-23 06:20:44 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 06:20:44 +0000 | tnt2 | tnt1 |
| 2025-02-23 06:21:13 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 06:23:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 06:23:46 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:24:27 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 2025-02-23 06:25:04 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 06:26:36 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:28:40 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-23 06:28:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-23 06:32:07 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:33:30 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-23 06:33:30 +0000 | tnt2 | tnt1 |
| 2025-02-23 06:33:37 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-02-23 06:34:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 06:37:01 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:37:51 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 06:37:54 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 06:37:54 +0000 | tnt2 | tnt1 |
| 2025-02-23 06:41:57 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-23 06:46:03 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 2025-02-23 06:46:42 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 06:47:07 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:50:38 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:51:28 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 06:51:28 +0000 | tnt2 | tnt1 |
| 2025-02-23 06:53:12 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-02-23 06:53:40 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-02-23 06:54:20 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 06:55:52 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 06:55:52 +0000 | tnt2 | tnt1 |
| 2025-02-23 06:57:49 +0000 | rvalue- | rvalue |
| 2025-02-23 06:59:05 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 06:59:48 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 07:01:58 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:02:28 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 07:02:28 +0000 | tnt2 | tnt1 |
| 2025-02-23 07:03:45 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 2025-02-23 07:03:55 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 07:20:34 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 07:27:19 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:28:52 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 07:30:57 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:32:09 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 07:35:11 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:35:28 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 07:35:28 +0000 | tnt2 | tnt1 |
| 2025-02-23 07:35:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-23 07:42:03 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-23 07:42:31 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:45:32 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 07:48:37 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 07:50:21 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-23 07:50:21 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 07:50:21 +0000 | tnt2 | tnt1 |
| 2025-02-23 07:54:44 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-23 08:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-23 08:00:07 +0000 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2025-02-23 08:01:03 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-23 08:04:37 +0000 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-02-23 08:05:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 08:12:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 08:21:36 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-23 08:23:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 08:28:49 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 2025-02-23 08:30:56 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 08:31:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 08:32:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-02-23 08:35:14 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 08:42:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 08:47:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 08:51:04 +0000 | Guest59 | (~Guest59@198.176.56.23) |
| 2025-02-23 08:53:28 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:f149:9d53:5672:9d16) (Ping timeout: 272 seconds) |
| 2025-02-23 08:53:30 +0000 | alp | (~alp@2001:861:8ca0:4940:47f8:d3fa:42c6:d7cb) |
| 2025-02-23 08:54:38 +0000 | jcarpenter2 | (~lol@96.78.87.197) |
| 2025-02-23 08:55:24 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 08:57:13 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-23 08:57:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 08:59:06 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 09:00:51 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 09:02:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 09:03:45 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 09:04:19 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 09:05:44 +0000 | Boarders_____ | (sid425905@id-425905.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-02-23 09:06:06 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 09:07:03 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-23 09:07:11 +0000 | Guest59 | (~Guest59@198.176.56.23) (Quit: Client closed) |
| 2025-02-23 09:07:45 +0000 | Boarders_____ | (sid425905@id-425905.lymington.irccloud.com) |
| 2025-02-23 09:09:08 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 245 seconds) |
| 2025-02-23 09:09:09 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 09:10:23 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-23 09:10:42 +0000 | acidjnk | (~acidjnk@p200300d6e7283f5685ba46ab94b10c3c.dip0.t-ipconnect.de) acidjnk |
| 2025-02-23 09:10:59 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-02-23 09:11:10 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-02-23 09:13:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 09:15:48 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 09:17:00 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 09:18:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-23 09:21:48 +0000 | alp | (~alp@2001:861:8ca0:4940:47f8:d3fa:42c6:d7cb) (Ping timeout: 246 seconds) |
| 2025-02-23 09:21:58 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-23 09:23:24 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-23 09:24:01 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-23 09:28:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 09:32:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 09:42:26 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-23 09:43:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 09:47:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 09:56:22 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 09:57:44 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 09:57:52 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-23 09:59:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 09:59:20 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:00:39 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 10:01:10 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2025-02-23 10:02:24 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 10:03:50 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-23 10:04:30 +0000 | <jackdk> | energizer: relude calls it "flap", which seems as good a name as any: https://hackage.haskell.org/package/relude-1.2.1.0/docs/Relude-Functor-Fmap.html#v:flap |
| 2025-02-23 10:04:53 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:05:26 +0000 | <energizer> | jackdk: ty |
| 2025-02-23 10:05:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 10:05:54 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 10:05:54 +0000 | tnt2 | tnt1 |
| 2025-02-23 10:05:56 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-23 10:07:27 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-23 10:07:30 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-23 10:13:06 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 248 seconds) |
| 2025-02-23 10:14:29 +0000 | <Noinia> | I'm trying to use a 'Prism s t a b' as a function 'b -> t'. If I understand the docs correctly that should simply be using 'review', but somehow that gives me a type error: https://play.haskell.org/saved/XKsuF05Q am I missing something obvious? |
| 2025-02-23 10:16:24 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 10:17:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 10:17:35 +0000 | <Noinia> | (in particular, somehow in my examples the type of 're p' (where p is some prism) seems to disagree with what the haddocks are promissing |
| 2025-02-23 10:20:24 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:21:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 10:24:14 +0000 | <c_wraith> | the lens haddocks often include sections with multiple types that something *acts* like it has |
| 2025-02-23 10:24:31 +0000 | <c_wraith> | because the true type is significant more polymorphic, in a way that's hard to read |
| 2025-02-23 10:25:13 +0000 | <c_wraith> | So there will be a bunch of examples of types that it can be instantiated to |
| 2025-02-23 10:25:37 +0000 | <Noinia> | indeed, but the haddockss suggest that I should be able to use 're p' as if it is a Getter b t. The little code snippet I gave seems to disagree |
| 2025-02-23 10:27:03 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 10:27:11 +0000 | <c_wraith> | I'm not seeing where it disagrees. |
| 2025-02-23 10:27:21 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:27:30 +0000 | frontin | (~newyear@2.219.56.221) |
| 2025-02-23 10:28:25 +0000 | <Noinia> | Main.hs:7:14: error: [GHC-25897] |
| 2025-02-23 10:28:25 +0000 | <Noinia> | • Couldn't match type ‘a’ with ‘b’ |
| 2025-02-23 10:28:25 +0000 | <Noinia> | Expected: AReview t b |
| 2025-02-23 10:28:25 +0000 | <Noinia> | Actual: Data.Tagged.Tagged a (Identity b) |
| 2025-02-23 10:28:26 +0000 | <Noinia> | -> Data.Tagged.Tagged s (Identity t) |
| 2025-02-23 10:28:26 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-23 10:29:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 10:30:25 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:31:38 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-23 10:31:39 +0000 | tnt2 | tnt1 |
| 2025-02-23 10:32:16 +0000 | <haskellbridge> | <ozkutuk> "re" is accepting "AReview", which is an alias of "Optic' ...". |
| 2025-02-23 10:32:16 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds) |
| 2025-02-23 10:32:23 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-02-23 10:32:23 +0000 | <haskellbridge> | <ozkutuk> "Optic'" is defined as a "simple" optic, that is it would only work with prisms of type "Prism s s a a" |
| 2025-02-23 10:32:46 +0000 | <haskellbridge> | <ozkutuk> that's what I understood from the types anyway |
| 2025-02-23 10:33:08 +0000 | <Noinia> | Ah thanks, well spotted. |
| 2025-02-23 10:33:24 +0000 | <Noinia> | that at least explains the type error. |
| 2025-02-23 10:33:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 10:35:03 +0000 | <Noinia> | I would still expect to be able to write a function with the type signature I gave. (i.e. 'Prism s t a b -> b -> t'). But then I indeed have to dig a bit deeper in the internals |
| 2025-02-23 10:35:45 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:36:43 +0000 | <haskellbridge> | <Liamzee> are there any optic libraries that optionally run on deriving? |
| 2025-02-23 10:36:45 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 10:38:46 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:39:01 +0000 | <c_wraith> | :t \p -> withPrism p (\f _ -> f) |
| 2025-02-23 10:39:02 +0000 | <lambdabot> | APrism s t a b -> b -> t |
| 2025-02-23 10:39:11 +0000 | <c_wraith> | is that cheating too much? |
| 2025-02-23 10:40:17 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-23 10:42:25 +0000 | <haskellbridge> | <ozkutuk> Liamzee: what do you mean by "optionally run on deriving"? |
| 2025-02-23 10:42:33 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:42:33 +0000 | sprotte24 | (~sprotte24@p200300d16f2727003925c1dc90f00c62.dip0.t-ipconnect.de) |
| 2025-02-23 10:43:12 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 10:43:12 +0000 | tnt2 | tnt1 |
| 2025-02-23 10:44:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 10:45:22 +0000 | <Noinia> | c_wraith: Thanks! That'll do |
| 2025-02-23 10:46:08 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-23 10:47:05 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:47:33 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 10:47:33 +0000 | tnt2 | tnt1 |
| 2025-02-23 10:48:19 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 10:48:24 +0000 | <haskellbridge> | <ozkutuk> :t \p -> re (reviewing p) |
| 2025-02-23 10:48:27 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 10:48:54 +0000 | <haskellbridge> | <ozkutuk> I think this will also work, instead of the 'foo' you have in your code |
| 2025-02-23 10:49:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 10:51:35 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 10:51:59 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 10:51:59 +0000 | tnt2 | tnt1 |
| 2025-02-23 10:52:09 +0000 | <haskellbridge> | <ozkutuk> Noinia: prismToGetterF p b = view (re (reviewing p)) b |
| 2025-02-23 10:53:04 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-23 10:55:19 +0000 | alp | (~alp@2001:861:8ca0:4940:a50b:c9c1:1c7b:629c) |
| 2025-02-23 10:59:29 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 2025-02-23 11:00:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 11:01:29 +0000 | <Noinia> | ah also thanks! :) |
| 2025-02-23 11:02:31 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:02:59 +0000 | <ski> | @type (`withPrism` const) |
| 2025-02-23 11:03:00 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 11:03:00 +0000 | <lambdabot> | APrism s t a b -> b -> t |
| 2025-02-23 11:03:00 +0000 | tnt2 | tnt1 |
| 2025-02-23 11:04:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 11:07:11 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 11:07:23 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:08:45 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 11:09:40 +0000 | tnt2 | tnt1 |
| 2025-02-23 11:13:25 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 2025-02-23 11:15:18 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:15:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 11:15:58 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 11:15:58 +0000 | tnt2 | tnt1 |
| 2025-02-23 11:19:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 11:20:14 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 11:20:17 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:22:34 +0000 | tnt2 | tnt1 |
| 2025-02-23 11:26:45 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-23 11:28:02 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:29:09 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-02-23 11:30:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 11:32:43 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 11:34:01 +0000 | acidjnk | (~acidjnk@p200300d6e7283f5685ba46ab94b10c3c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-23 11:34:12 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 11:36:05 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:36:44 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 11:36:44 +0000 | tnt2 | tnt1 |
| 2025-02-23 11:36:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 11:37:49 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 2025-02-23 11:38:25 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-23 11:40:53 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-23 11:42:51 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-23 11:48:13 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 11:48:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 11:49:37 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-23 11:49:38 +0000 | tnt2 | tnt1 |
| 2025-02-23 11:53:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 11:53:18 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 245 seconds) |
| 2025-02-23 12:01:23 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-23 12:03:18 +0000 | mrmr | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2025-02-23 12:03:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 12:06:23 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 12:08:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 12:12:40 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 12:19:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 12:19:36 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 12:23:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 12:24:02 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 12:27:41 +0000 | mrmr | (~mrmr@user/mrmr) mrmr |
| 2025-02-23 12:29:00 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-02-23 12:30:04 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-23 12:31:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 12:33:44 +0000 | random-jellyfish | (~developer@bl11-91-28.dsl.telepac.pt) |
| 2025-02-23 12:33:44 +0000 | random-jellyfish | (~developer@bl11-91-28.dsl.telepac.pt) (Changing host) |
| 2025-02-23 12:33:44 +0000 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
| 2025-02-23 12:36:05 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-02-23 12:36:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 12:37:55 +0000 | krei-se | (~krei-se@p200300f1cf07fb002411defffe902013.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 12:43:40 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 12:45:25 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-23 12:46:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 12:48:18 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 2025-02-23 12:50:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 12:51:49 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-23 12:54:41 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 12:54:51 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2025-02-23 13:00:28 +0000 | alp | (~alp@2001:861:8ca0:4940:a50b:c9c1:1c7b:629c) (Ping timeout: 272 seconds) |
| 2025-02-23 13:00:42 +0000 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 252 seconds) |
| 2025-02-23 13:01:02 +0000 | Xe_ | (~Xe@perl/impostor/xe) Xe |
| 2025-02-23 13:01:26 +0000 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 252 seconds) |
| 2025-02-23 13:01:59 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 2025-02-23 13:02:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 13:05:40 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 13:06:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-23 13:08:38 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 13:08:48 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Client Quit) |
| 2025-02-23 13:09:58 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-23 13:15:09 +0000 | fp | (~Thunderbi@87-94-153-62.rev.dnainternet.fi) fp |
| 2025-02-23 13:17:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 13:20:31 +0000 | tromp | (~textual@2a02:a210:cba:8500:e8ac:89f5:f63a:62db) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-23 13:24:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 13:32:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 13:34:04 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-02-23 13:36:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 13:37:29 +0000 | euleritian | (~euleritia@dynamic-176-006-138-162.176.6.pool.telefonica.de) |
| 2025-02-23 13:43:16 +0000 | tromp | (~textual@2a02:a210:cba:8500:e9b1:7587:9c27:25c9) |
| 2025-02-23 13:44:20 +0000 | fp | (~Thunderbi@87-94-153-62.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
| 2025-02-23 13:45:21 +0000 | aforemny_ | (~aforemny@2001:9e8:6ce6:6d00:6847:ce2d:8528:abd1) (Ping timeout: 252 seconds) |
| 2025-02-23 13:46:34 +0000 | aforemny | (~aforemny@2001:9e8:6ce6:6d00:8593:bee7:8a90:9ac8) aforemny |
| 2025-02-23 13:47:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 13:51:24 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 13:52:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 13:56:14 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-23 13:58:18 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2025-02-23 14:00:47 +0000 | euleritian | (~euleritia@dynamic-176-006-138-162.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-02-23 14:01:13 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-23 14:03:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 14:07:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 14:11:10 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 14:12:27 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 14:13:54 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 14:15:30 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 14:17:33 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 14:18:06 +0000 | ensyde | (~ensyde@2601:5c6:c200:6dc0::2d29) ensyde |
| 2025-02-23 14:18:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 14:19:03 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 14:20:56 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 14:22:18 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 14:23:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 14:26:03 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 14:26:12 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 14:26:12 +0000 | tnt2 | tnt1 |
| 2025-02-23 14:33:13 +0000 | acidjnk | (~acidjnk@p200300d6e7283f56802bf7d29a6c8764.dip0.t-ipconnect.de) acidjnk |
| 2025-02-23 14:33:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 14:35:58 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-02-23 14:36:21 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-23 14:37:08 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 14:37:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 14:39:15 +0000 | jrm | (~jrm@user/jrm) (Ping timeout: 265 seconds) |
| 2025-02-23 14:39:48 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2025-02-23 14:41:32 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 14:48:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 14:51:23 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-23 14:52:46 +0000 | Square2 | (~Square@user/square) Square |
| 2025-02-23 14:52:51 +0000 | Square | (~Square@user/square) Square |
| 2025-02-23 14:53:34 +0000 | Square2 | (~Square@user/square) (Client Quit) |
| 2025-02-23 14:55:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 14:59:01 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 15:00:00 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 15:02:11 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 15:03:32 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 15:06:24 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 15:06:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 15:08:02 +0000 | euleritian | (~euleritia@dynamic-176-000-014-183.176.0.pool.telefonica.de) |
| 2025-02-23 15:11:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-23 15:13:43 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 15:16:37 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 15:18:29 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-23 15:18:30 +0000 | tnt2 | tnt1 |
| 2025-02-23 15:22:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 15:23:12 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 15:24:14 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 15:24:14 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-23 15:26:08 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-02-23 15:26:08 +0000 | tnt2 | tnt1 |
| 2025-02-23 15:26:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 15:27:17 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-23 15:29:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 15:30:29 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-23 15:30:44 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 15:31:21 +0000 | euleritian | (~euleritia@dynamic-176-000-014-183.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-23 15:31:41 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-23 15:33:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 15:40:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 15:40:55 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 15:41:41 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-23 15:43:50 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 15:44:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 15:45:20 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 15:48:11 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 15:48:39 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-23 15:48:39 +0000 | tnt2 | tnt1 |
| 2025-02-23 15:53:19 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-23 15:53:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 15:59:07 +0000 | krei-se- | (~krei-se@p200300f1cf4a4c002411defffe902013.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 15:59:44 +0000 | krei-se | (~krei-se@p200300f1cf07fb002411defffe902013.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-23 15:59:45 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-02-23 16:00:29 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 16:00:33 +0000 | krei-se- | (~krei-se@p200300f1cf4a4c002411defffe902013.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-02-23 16:00:59 +0000 | krei-se | (~krei-se@p200300f1cf4a4c002411defffe902013.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 16:01:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 16:01:24 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-23 16:02:34 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-02-23 16:03:10 +0000 | euleritian | (~euleritia@dynamic-176-000-014-183.176.0.pool.telefonica.de) |
| 2025-02-23 16:04:38 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 16:04:46 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 16:04:46 +0000 | tnt2 | tnt1 |
| 2025-02-23 16:08:50 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 16:09:10 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 16:09:10 +0000 | tnt2 | tnt1 |
| 2025-02-23 16:09:16 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 16:13:24 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-23 16:13:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-23 16:13:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 16:20:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-23 16:22:00 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-02-23 16:23:00 +0000 | krei-se | (~krei-se@p200300f1cf4a4c002411defffe902013.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-02-23 16:23:26 +0000 | krei-se | (~krei-se@p3ee0fb6e.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 16:24:04 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-23 16:24:41 +0000 | krei-se | (~krei-se@p3ee0fb6e.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-02-23 16:25:28 +0000 | krei-se | (~krei-se@p200300f1cf4a4c002411defffe902013.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 16:26:39 +0000 | krei-se | (~krei-se@p200300f1cf4a4c002411defffe902013.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-02-23 16:27:05 +0000 | krei-se | (~krei-se@p3ee0fb6e.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 16:27:34 +0000 | krei-se | (~krei-se@p3ee0fb6e.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-02-23 16:28:00 +0000 | krei-se | (~krei-se@p3ee0fb6e.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 16:31:07 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-23 16:31:27 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-02-23 16:31:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 16:33:00 +0000 | rwerewrwerewr | (~rwerewrwe@117.222.85.168) |
| 2025-02-23 16:33:04 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-23 16:33:40 +0000 | Googulator57 | (~Googulato@2a01-036d-0106-0c81-8032-422f-4c4d-33bd.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-02-23 16:36:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 16:37:14 +0000 | sprotte24 | (~sprotte24@p200300d16f2727003925c1dc90f00c62.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-23 16:41:47 +0000 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 2025-02-23 16:42:54 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-02-23 16:46:53 +0000 | rwerewrwerewr | (~rwerewrwe@117.222.85.168) () |
| 2025-02-23 16:46:57 +0000 | alp | (~alp@2001:861:8ca0:4940:57bc:b7e3:f204:2e6b) |
| 2025-02-23 16:47:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 16:51:33 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-23 16:51:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 16:56:58 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 16:57:03 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 16:57:40 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 16:59:20 +0000 | tnt2 | tnt1 |
| 2025-02-23 17:02:12 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-23 17:02:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 17:02:36 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 17:03:41 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 17:03:41 +0000 | tnt2 | tnt1 |
| 2025-02-23 17:07:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 17:13:22 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 17:14:48 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 17:14:48 +0000 | tnt2 | tnt1 |
| 2025-02-23 17:15:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-23 17:17:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 17:22:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 17:24:44 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-02-23 17:33:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 17:34:16 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-23 17:34:35 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-02-23 17:35:40 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-02-23 17:37:03 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 2025-02-23 17:37:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 17:41:06 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-02-23 17:42:17 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-02-23 17:44:04 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 17:48:25 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-23 17:48:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 17:49:08 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 17:50:00 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 17:50:00 +0000 | tnt2 | tnt1 |
| 2025-02-23 17:52:11 +0000 | michalz | (~michalz@185.246.207.203) |
| 2025-02-23 17:55:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 17:56:17 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 17:56:36 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 17:56:36 +0000 | tnt2 | tnt1 |
| 2025-02-23 17:58:24 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-02-23 17:58:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 18:00:53 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-23 18:03:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-23 18:04:18 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 18:04:56 +0000 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2025-02-23 18:05:14 +0000 | michalz | (~michalz@185.246.207.203) |
| 2025-02-23 18:05:24 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 18:07:12 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 18:08:42 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 18:12:02 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 18:13:27 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 18:13:27 +0000 | tnt2 | tnt1 |
| 2025-02-23 18:13:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 18:16:27 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 18:17:39 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-23 18:17:39 +0000 | tnt2 | tnt1 |
| 2025-02-23 18:18:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 18:22:09 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-23 18:22:22 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 18:26:40 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 18:26:54 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 18:29:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 18:29:21 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-02-23 18:30:08 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 18:32:00 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-23 18:33:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 18:34:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-23 18:35:09 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-23 18:35:45 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-23 18:37:27 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 18:38:02 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 18:38:02 +0000 | tnt2 | tnt1 |
| 2025-02-23 18:44:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 18:46:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-02-23 18:49:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 18:52:03 +0000 | ensyde | (~ensyde@2601:5c6:c200:6dc0::2d29) (Ping timeout: 276 seconds) |
| 2025-02-23 18:53:51 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-23 18:57:12 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds) |
| 2025-02-23 18:59:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 19:01:54 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 19:02:13 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 19:02:13 +0000 | tnt2 | tnt1 |
| 2025-02-23 19:04:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-23 19:08:08 +0000 | sprotte24 | (~sprotte24@p200300d16f2727004d7c36967180880f.dip0.t-ipconnect.de) |
| 2025-02-23 19:10:47 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-23 19:11:33 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2025-02-23 19:11:56 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 19:12:12 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-23 19:14:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 19:14:47 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 19:16:10 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 19:16:30 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-23 19:16:52 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 19:18:50 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Read error: Connection reset by peer) |
| 2025-02-23 19:19:01 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 19:19:21 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-02-23 19:19:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 19:21:18 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 19:21:18 +0000 | tnt2 | tnt1 |
| 2025-02-23 19:21:33 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-02-23 19:26:35 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 19:27:54 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 19:27:54 +0000 | tnt2 | tnt1 |
| 2025-02-23 19:30:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 19:31:10 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 19:32:29 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 19:32:29 +0000 | tnt2 | tnt1 |
| 2025-02-23 19:36:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 19:39:38 +0000 | <f-a> | EvanR: I found that invalid magic number error https://github.com/portnov/haskell-gettext/blob/master/lib/Data/Gettext/GmoFile.hs#L41 |
| 2025-02-23 19:41:00 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds) |
| 2025-02-23 19:41:51 +0000 | <mauke> | this error message would be massively improved by changing the code to _ -> fail ("Invalid magic number " <> show magic) |
| 2025-02-23 19:42:14 +0000 | <f-a> | indeed, or just parseGmo: Invalid magic numer |
| 2025-02-23 19:43:18 +0000 | <f-a> | Maintainer seems a bit busy at the time, I have a PR with tests etc. https://github.com/portnov/haskell-gettext/pull/3 |
| 2025-02-23 19:48:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 19:52:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 19:55:13 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-23 19:55:22 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 19:57:40 +0000 | tnt2 | tnt1 |
| 2025-02-23 19:57:58 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-23 20:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-23 20:00:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 20:00:46 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-23 20:02:36 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 20:04:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 20:05:28 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 20:06:24 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 20:06:24 +0000 | tnt2 | tnt1 |
| 2025-02-23 20:06:53 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-23 20:10:15 +0000 | Xe_ | Xe |
| 2025-02-23 20:15:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 20:18:41 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-23 20:20:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 20:22:54 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-23 20:24:00 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 20:24:02 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 20:24:57 +0000 | fp | (~Thunderbi@82-181-229-211.bb.dnainternet.fi) fp |
| 2025-02-23 20:25:42 +0000 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-23 20:26:20 +0000 | tnt2 | tnt1 |
| 2025-02-23 20:30:36 +0000 | jrm | (~jrm@user/jrm) (Ping timeout: 252 seconds) |
| 2025-02-23 20:31:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 20:32:33 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 20:32:48 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 20:32:48 +0000 | tnt2 | tnt1 |
| 2025-02-23 20:35:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 20:35:58 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3506-8fe9-64af-3769-8b6f-2aa7.rev.sfr.net) alexherbo2 |
| 2025-02-23 20:37:06 +0000 | jrm | (~jrm@user/jrm) jrm |
| 2025-02-23 20:39:26 +0000 | swistak | (~swistak@185.21.216.141) (Ping timeout: 244 seconds) |
| 2025-02-23 20:40:26 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 20:41:36 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 20:41:36 +0000 | tnt2 | tnt1 |
| 2025-02-23 20:41:44 +0000 | swistak | (~swistak@185.21.216.141) |
| 2025-02-23 20:44:08 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-23 20:46:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 20:47:41 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 20:48:20 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 20:49:01 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-23 20:49:02 +0000 | tnt2 | tnt1 |
| 2025-02-23 20:51:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-23 20:52:38 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 20:52:57 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-23 20:53:20 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 20:53:20 +0000 | tnt2 | tnt1 |
| 2025-02-23 20:56:02 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3506-8fe9-64af-3769-8b6f-2aa7.rev.sfr.net) (Remote host closed the connection) |
| 2025-02-23 20:56:21 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3506-8fe9-64af-3769-8b6f-2aa7.rev.sfr.net) alexherbo2 |
| 2025-02-23 20:56:46 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-23 20:58:28 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2025-02-23 20:59:56 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 21:00:01 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 21:01:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 21:04:18 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 21:04:20 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 21:07:25 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 21:08:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 21:09:24 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-02-23 21:09:25 +0000 | tnt2 | tnt1 |
| 2025-02-23 21:11:24 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-02-23 21:11:47 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Quit: leaving) |
| 2025-02-23 21:12:04 +0000 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-02-23 21:16:04 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 21:16:15 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 21:17:12 +0000 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
| 2025-02-23 21:18:33 +0000 | tnt2 | tnt1 |
| 2025-02-23 21:19:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 21:20:11 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-23 21:22:32 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-02-23 21:23:56 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-02-23 21:24:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 21:26:08 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 21:27:21 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 21:27:56 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-23 21:28:58 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 21:30:23 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-02-23 21:32:58 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 21:33:24 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-23 21:33:24 +0000 | tnt2 | tnt1 |
| 2025-02-23 21:34:23 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 21:34:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 21:37:42 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 21:38:49 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-23 21:38:50 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 21:39:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 21:43:49 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-02-23 21:44:40 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-23 21:45:21 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-02-23 21:45:43 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 21:47:32 +0000 | wroathe_ | (~wroathe@69-92-29-211.cpe.sparklight.net) |
| 2025-02-23 21:47:47 +0000 | wroathe_ | (~wroathe@69-92-29-211.cpe.sparklight.net) () |
| 2025-02-23 21:48:33 +0000 | fp | (~Thunderbi@82-181-229-211.bb.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-02-23 21:50:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 21:55:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-23 22:02:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 22:04:37 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-23 22:06:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 22:12:05 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-02-23 22:12:31 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-23 22:14:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-23 22:14:43 +0000 | ljdarj1 | ljdarj |
| 2025-02-23 22:14:57 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-23 22:15:58 +0000 | alp | (~alp@2001:861:8ca0:4940:57bc:b7e3:f204:2e6b) (Remote host closed the connection) |
| 2025-02-23 22:17:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 22:20:28 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 22:20:49 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 22:22:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 22:22:45 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-23 22:22:53 +0000 | fp | (~Thunderbi@82-181-229-211.bb.dnainternet.fi) fp |
| 2025-02-23 22:23:53 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 22:24:38 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 22:25:50 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-23 22:29:46 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-23 22:33:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 22:37:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-23 22:38:09 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-23 22:41:38 +0000 | sroso | (~sroso@user/SrOso) SrOso |
| 2025-02-23 22:42:59 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-23 22:45:52 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 22:48:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 22:49:04 +0000 | k0zy | (~user@user/k0zy) k0zy |
| 2025-02-23 22:52:45 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 22:53:12 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-02-23 22:53:12 +0000 | tnt2 | tnt1 |
| 2025-02-23 22:55:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 22:56:18 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 22:57:38 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 22:57:38 +0000 | tnt2 | tnt1 |
| 2025-02-23 23:05:52 +0000 | euleritian | (~euleritia@dynamic-176-000-014-183.176.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-02-23 23:06:26 +0000 | euleritian | (~euleritia@dynamic-176-000-004-036.176.0.pool.telefonica.de) |
| 2025-02-23 23:06:31 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 23:06:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 23:10:45 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 23:10:50 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 23:10:50 +0000 | tnt2 | tnt1 |
| 2025-02-23 23:10:59 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-23 23:11:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 23:12:49 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-23 23:16:00 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-23 23:20:50 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 23:21:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 23:22:42 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-23 23:22:42 +0000 | tnt2 | tnt1 |
| 2025-02-23 23:26:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-23 23:27:32 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-23 23:27:42 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 23:29:09 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-23 23:30:36 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 23:31:34 +0000 | SOURCERER | (~SOURCERER@2a02:26f7:ec48:6609:0:e4f6:edc1:4c96) |
| 2025-02-23 23:32:06 +0000 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 23:36:32 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 23:37:14 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 23:37:15 +0000 | tnt2 | tnt1 |
| 2025-02-23 23:37:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 23:40:08 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 23:41:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 23:41:38 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-23 23:41:38 +0000 | tnt2 | tnt1 |
| 2025-02-23 23:49:04 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-23 23:51:55 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 23:52:48 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-02-23 23:52:48 +0000 | ljdarj1 | ljdarj |
| 2025-02-23 23:53:44 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-02-23 23:54:15 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2025-02-23 23:54:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 23:56:29 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-23 23:57:38 +0000 | SOURCERER | (~SOURCERER@2a02:26f7:ec48:6609:0:e4f6:edc1:4c96) (Quit: Client closed) |
| 2025-02-23 23:58:28 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-23 23:58:30 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 23:59:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |