Home liberachat/#haskell: Logs Calendar

Logs on 2025-02-23 (liberachat/#haskell)

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

All times are in UTC on 2025-02-23.