Home liberachat/#haskell: Logs Calendar

Logs on 2023-04-09 (liberachat/#haskell)

00:00:11 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
00:00:19 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds)
00:01:24 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
00:04:13 × lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 276 seconds)
00:13:27 → lbseale joins (~quassel@user/ep1ctetus)
00:23:38 → dipper_ joins (~dipper@203.168.11.78)
00:25:50 × tremon quits (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
00:31:30 × Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 260 seconds)
00:33:09 → Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com)
00:36:45 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
00:38:17 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
00:40:51 → freeside joins (~mengwong@103.252.202.85)
00:46:28 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds)
00:50:44 × jumper149 quits (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.8)
00:55:51 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
01:01:58 → ddellacosta joins (~ddellacos@143.244.47.67)
01:10:20 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:10:31 → czy joins (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net)
01:14:25 × npmania quits (~Thunderbi@121.128.226.31) (Ping timeout: 276 seconds)
01:16:27 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:30:03 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
01:31:43 × vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.8)
01:35:57 → razetime joins (~Thunderbi@49.207.214.243)
01:37:39 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
01:42:11 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
01:43:51 × zaquest quits (~notzaques@5.130.79.72) (Ping timeout: 250 seconds)
01:44:18 → freeside joins (~mengwong@103.252.202.85)
01:47:27 × razetime quits (~Thunderbi@49.207.214.243) (Quit: See You Space Cowboy)
01:47:45 → razetime joins (~Thunderbi@49.207.214.243)
01:51:10 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
01:55:10 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 265 seconds)
02:03:00 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:03:00 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:03:00 finn_elija is now known as FinnElija
02:03:25 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds)
02:11:36 × razetime quits (~Thunderbi@49.207.214.243) (Ping timeout: 265 seconds)
02:18:15 × td_ quits (~td@i5387093E.versanet.de) (Ping timeout: 268 seconds)
02:18:53 × dsrt^ quits (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
02:19:29 → dsrt^ joins (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net)
02:19:54 → td_ joins (~td@i5387091C.versanet.de)
02:26:09 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
02:26:19 → emmanuelux_ joins (~emmanuelu@user/emmanuelux)
02:29:00 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds)
02:38:07 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19)
02:38:54 → nunggu joins (~q@user/nunggu)
02:42:51 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) (Ping timeout: 260 seconds)
02:44:49 → eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
02:45:26 → nate1 joins (~nate@98.45.169.16)
02:57:58 → freeside joins (~mengwong@103.252.202.85)
03:01:01 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds)
03:04:43 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 248 seconds)
03:13:44 × wroathe quits (~wroathe@user/wroathe) (Quit: leaving)
03:14:01 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
03:14:01 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
03:14:01 → wroathe joins (~wroathe@user/wroathe)
03:14:31 → brettgilio joins (~brettgili@147.182.241.1)
03:22:14 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
03:23:25 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
03:28:12 → freeside joins (~mengwong@103.252.202.85)
03:30:03 → razetime joins (~Thunderbi@49.207.214.243)
03:30:19 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
03:31:36 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
03:32:54 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
03:36:11 × sudden quits (~cat@user/sudden) (Ping timeout: 248 seconds)
03:37:10 → sudden joins (~cat@user/sudden)
03:37:46 → zaquest joins (~notzaques@5.130.79.72)
03:38:04 × rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 276 seconds)
03:38:45 × mei quits (~mei@user/mei) (Ping timeout: 260 seconds)
03:39:36 × czy quits (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection)
03:46:13 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
03:46:27 → vlad joins (~vlad@2a00:23c6:9822:4c01:6907:a1b3:c864:bab5)
03:48:59 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds)
03:49:43 → czy joins (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net)
03:57:30 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
03:57:57 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
03:58:49 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
04:00:06 <vlad> Hi, I've created a ShowColored class to help display colored text
04:00:08 <vlad> data TxtChunk = TxtChunk Color String
04:00:10 <vlad> class ShowColor m where
04:00:12 <vlad> showColor :: m -> [TxtChunk]
04:00:14 <vlad> printLn :: [TxtChunk] -> IO()
04:00:18 <vlad> Obviously, if a type is an instance of ShowColor, we can easily get the string from the colored strings to implement Show
04:00:21 <vlad> So I wrote:
04:00:24 <vlad> instance ShowColor m => Show m where
04:00:25 <vlad> show m = showColor m >>= getStr
04:00:27 <vlad> where getStr (TxtChunk _ str) = str
04:00:29 <vlad> It works but:
04:00:31 <vlad> - I'm getting "no orphaned instances warning"
04:00:33 <vlad> -> this one makes sense
04:00:35 <vlad> - I had to enable 2 extensions (FlexibleInstances, UndecidableInstances)
04:00:37 <vlad> - The normal "show" method doesn't work anymore for anything that's not a ShowColor
04:00:39 <vlad> ie:
04:00:41 <vlad>
04:00:43 <vlad> show "abc"
04:00:45 <vlad>
04:00:49 <vlad> ->
04:00:51 <vlad> Overlapping instances for Show String
04:00:53 <vlad> arising from a use of ‘show’
04:00:55 <vlad> Matching instances:
04:00:57 <vlad> instance ShowColor m => Show m
04:00:59 <vlad> am I doing this wrong / is there a way to accomplish this properly ?
04:02:35 × razetime quits (~Thunderbi@49.207.214.243) (Quit: See You Space Cowboy)
04:02:47 → razetime joins (~Thunderbi@49.207.214.243)
04:05:01 <jackdk> please use pastebin in future instead of pasting mass code into the channel. And yeah, you're misunderstanding instance resolution. Your `instance ShowColor m => Show m` instance matches every type, because GHC checks the shape of the type in the instance declaration and only then goes looking to see what other instances it requires. The common solution to this is to create a `newtype ViaShowColor a = ViaShowColor a`...
04:05:33 <jackdk> ... with `instance ShowColor a => Show (ViaShowColor a)`, which you can use with the `DerivingVia` extension
04:07:06 × razetime quits (~Thunderbi@49.207.214.243) (Ping timeout: 255 seconds)
04:10:05 <vlad> (noted for pastebin).
04:10:05 <vlad> Ah yes, that makes sense (and consistent with the error). I'll lookup that extension.
04:10:05 <vlad> Thanks for the help!
04:10:20 × masterbuilder quits (~masterbui@user/masterbuilder) (Quit: leaving)
04:12:31 × smallville7123_ quits (~JScript@144.48.39.29) (Ping timeout: 240 seconds)
04:13:52 <jackdk> no worried, glad I could help
04:14:43 <jackdk> specifically, when you have a type with a ShowColor instance, you can say `data YourType = blabla deriving Show via ViaShowColor YourType`
04:14:56 <jackdk> There's also a form for standalone deriving which I can never remember
04:17:08 × jinsun quits (~jinsun@user/jinsun) (Ping timeout: 260 seconds)
04:17:45 → jinsun joins (~jinsun@user/jinsun)
04:21:55 × msavoritias quits (cb716af6b3@irc.cheogram.com) (Ping timeout: 260 seconds)
04:23:27 × mikess quits (~sam@user/mikess) (Ping timeout: 256 seconds)
04:24:22 → masterbuilder joins (~masterbui@user/masterbuilder)
04:31:27 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
04:32:40 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 276 seconds)
04:38:12 → freeside joins (~mengwong@103.252.202.85)
04:42:39 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
04:56:58 <vlad> oh gosh, it took me a while, but I got it working now. When writing the types & classes with the constraints as arrows, I can see what the VIA means
04:57:14 <vlad> (I mean when writing these on paper)
04:59:26 <vlad> Thanks
05:05:48 × wroathe quits (~wroathe@user/wroathe) (Quit: leaving)
05:11:15 <vlad> also, more interestingly while learning, I was trying to implement the bind operation for the continuation monad.
05:11:15 <vlad> I got stuck, then looked at how it's done in the Prelude
05:11:15 <vlad> From there, I wrote down an algorithm that could have written the function itself.
05:11:15 <vlad> https://rentry.co/hbpqh
05:11:15 <vlad> (this is pastebin but with markdown)
05:11:18 <vlad> Obviously that's possible because the types are polymorphic so there's very few operations we can do on them (the search tree is quite small)
05:11:21 <vlad> I thought that's pretty cool, I'm implementing that as my first haskell project
05:11:23 <vlad> It'd be pretty cool if hsl in vscode could complete functions in such a way
05:12:31 × vglfr quits (~vglfr@46.96.169.53) (Ping timeout: 240 seconds)
05:13:19 → vglfr joins (~vglfr@46.96.169.53)
05:16:51 × heraldo quits (~heraldo@user/heraldo) (Quit: heraldo)
05:17:50 × dipper_ quits (~dipper@203.168.11.78) (Remote host closed the connection)
05:27:12 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
05:42:10 → razetime joins (~Thunderbi@49.207.214.243)
05:51:28 <jackdk> I think there was a project called "djinn" that did that, which might be interesting to look up
05:51:30 → freeside joins (~mengwong@103.252.202.85)
05:52:12 → msavoritias joins (cb716af6b3@irc.cheogram.com)
05:53:24 × razetime quits (~Thunderbi@49.207.214.243) (Quit: See You Space Cowboy)
05:56:33 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds)
06:01:39 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
06:14:39 → michalz joins (~michalz@185.246.204.121)
06:24:21 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
06:25:27 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
06:26:26 → mei joins (~mei@user/mei)
06:36:56 → cheater_ joins (~Username@user/cheater)
06:39:02 × cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds)
06:39:12 cheater_ is now known as cheater
06:41:26 <geekosaur> two: djinn can handle only a small set of types (and in particular not recursive types like lists) and exference (whyich handles lists and such but may not terminate as a result)
06:47:17 → JScript joins (~JScript@203-221-220-146.static.tpgi.com.au)
06:47:25 × perrierjouet quits (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8)
06:48:55 → perrierjouet joins (~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
06:48:56 <vlad> oh this is very cool, thanks - running it now and trying to workout how it works
06:48:56 <vlad> obviously, my ambitions were much less. But it'll be very interesting to try and understand what's involved in it
06:48:57 <vlad> My idea was simpler/less ambitious for sure
06:48:57 <vlad> I did not plan to describe types or rather:
06:48:57 <vlad> - if the type is a function ->
06:48:58 <vlad> represent it as (TypeFun Type Type)
06:49:01 <vlad> - if the type is not a function ->
06:49:03 <vlad> represent it as a symbol (TypeSym String)
06:49:05 <vlad>
06:49:07 <vlad> basically just using the rules of lambda calculus to resolve terms
06:50:50 → tr_ev joins (~trev@user/trev)
06:51:15 tr_ev is now known as trev
06:51:19 <geekosaur> the paper "Theorems for free" gives some details
06:51:44 <geekosaur> iirc
06:56:44 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
06:57:50 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
06:58:31 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
07:00:23 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
07:00:48 × JScript quits (~JScript@203-221-220-146.static.tpgi.com.au) (Ping timeout: 255 seconds)
07:06:00 × zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection)
07:06:19 <vlad> it'd take me a while to read that (if I can manage). I imagine it's related to Yoneda's lemma (but I've only managed to go half as far in category theory for programmers)
07:06:37 <vlad> the Djinn :help also points to another paper
07:06:38 <vlad> Djinn interprets a Haskell type as a logic formula using the
07:06:38 <vlad> Curry-Howard isomorphism and then uses a decision procedure for
07:06:38 <vlad> Intuitionistic Propositional Calculus. This decision procedure is
07:06:38 <vlad> based on Gentzen's LJ sequent calculus, but in a modified form, LJT,
07:06:38 <vlad> that ensures termination. This variation on LJ has a long history,
07:06:40 <vlad> but the particular formulation used in Djinn is due to Roy Dyckhoff.
07:06:42 <vlad> The decision procedure has been extended to generate a proof object
07:06:44 <vlad> (i.e., a lambda term). It is this lambda term (in normal form) that
07:06:46 <vlad> constitutes the Haskell code.
07:06:49 <vlad> See http://www.dcs.st-and.ac.uk/~rd/publications/jsl57.pdf for more
07:06:52 <vlad> on the exact method used by Djinn.
07:07:07 <vlad> the links down, but I wonder if it's this one https://www.cs.cmu.edu/~fp/courses/atp/cmuonly/D92.pdf
07:13:35 <jackdk> you could also give wayback machine (web.archive.org) a try
07:15:58 <vlad> good idea, got it now (https://web.archive.org/web/20121203031932/http://www.cs.st-andrews.ac.uk/~rd/publications/jsl57.pdf)
07:17:53 × nunggu quits (~q@user/nunggu) (Ping timeout: 255 seconds)
07:19:57 → nunggu joins (~q@user/nunggu)
07:24:43 → JScript joins (~JScript@144.48.39.38)
07:25:13 <vlad> actually theorems for free looks kind of approachable, this blog too looks good: http://blog.sigfpe.com/2006/11/yoneda-lemma.html
07:30:50 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
07:32:09 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds)
07:33:09 → acidjnk joins (~acidjnk@p200300d6e715c47569fa6b647c85025b.dip0.t-ipconnect.de)
07:42:24 → freeside joins (~mengwong@103.252.202.85)
07:44:25 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds)
07:45:35 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
07:46:40 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 248 seconds)
07:53:07 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
07:54:28 → highcloud joins (~yyd@65.20.68.187)
07:56:50 → freeside joins (~mengwong@103.252.202.85)
07:58:46 → vysn joins (~vysn@user/vysn)
07:59:39 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
08:00:17 × highcloud quits (~yyd@65.20.68.187) (Quit: Leaving)
08:01:41 → highcloud joins (~yyd@65.20.68.187)
08:02:19 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 248 seconds)
08:03:06 × vysn quits (~vysn@user/vysn) (Client Quit)
08:05:34 → razetime joins (~Thunderbi@49.207.214.243)
08:09:22 × razetime quits (~Thunderbi@49.207.214.243) (Remote host closed the connection)
08:21:22 → freeside joins (~mengwong@103.252.202.85)
08:21:23 → zeenk joins (~zeenk@2a02:2f04:a307:2300::fba)
08:25:52 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds)
08:26:22 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
08:29:56 → gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
08:31:04 → mechap joins (~mechap@user/mechap)
08:31:20 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19)
08:35:51 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) (Ping timeout: 265 seconds)
08:37:43 × Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 276 seconds)
08:37:50 × mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8)
08:38:57 → Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com)
08:43:52 → freeside joins (~mengwong@103.252.202.85)
08:51:16 → andrewboltachev joins (~andrey@178.141.217.5)
08:51:26 → Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
08:51:55 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 248 seconds)
08:53:00 → coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
09:00:13 × DavidDenoncin[m] quits (~jankoj1ma@2001:470:69fc:105::238) (Quit: You have been kicked for being idle)
09:00:13 × tsmc[m] quits (~tsmcmatri@2001:470:69fc:105::1:7e1) (Quit: You have been kicked for being idle)
09:01:06 → gurkenglas joins (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de)
09:01:24 → vysn joins (~vysn@user/vysn)
09:02:27 → NiceBird joins (~NiceBird@185.133.111.196)
09:03:07 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
09:03:56 → Feuermagier joins (~Feuermagi@user/feuermagier)
09:04:23 × Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection)
09:07:18 × vlad quits (~vlad@2a00:23c6:9822:4c01:6907:a1b3:c864:bab5) (Quit: Leaving)
09:07:21 → Jozef joins (~Jozef@91.90.180.21)
09:07:33 × vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.8)
09:10:09 → vysn joins (~vysn@user/vysn)
09:25:23 → mmhat joins (~mmh@p200300f1c7106e6dee086bfffe095315.dip0.t-ipconnect.de)
09:25:55 × mmhat quits (~mmh@p200300f1c7106e6dee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
09:27:34 × jinsun quits (~jinsun@user/jinsun) (Ping timeout: 265 seconds)
09:37:57 → npmania joins (~Thunderbi@121.128.226.31)
09:38:21 → mechap joins (~mechap@user/mechap)
09:38:33 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
09:44:14 × Jozef quits (~Jozef@91.90.180.21) (Quit: Client closed)
09:45:41 → adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d)
09:46:13 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
09:48:28 × nunggu quits (~q@user/nunggu) (Remote host closed the connection)
09:48:57 → nunggu joins (~q@user/nunggu)
09:51:04 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
09:55:02 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
09:56:07 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
09:59:35 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
10:02:28 × vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.8)
10:04:21 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 250 seconds)
10:04:26 × zeenk quits (~zeenk@2a02:2f04:a307:2300::fba) (Remote host closed the connection)
10:04:48 → zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe)
10:05:18 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
10:05:29 → vysn joins (~vysn@user/vysn)
10:05:45 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
10:10:46 × vysn quits (~vysn@user/vysn) (Remote host closed the connection)
10:10:59 → vysn joins (~vysn@user/vysn)
10:12:52 → heraldo joins (~heraldo@user/heraldo)
10:20:50 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
10:22:45 → kenran joins (~user@user/kenran)
10:22:51 adziahel[m] is now known as adziahel
10:24:13 × vysn quits (~vysn@user/vysn) (Remote host closed the connection)
10:24:21 → Feuermagier joins (~Feuermagi@user/feuermagier)
10:24:27 → vysn joins (~vysn@user/vysn)
10:30:52 × haskl quits (~haskl@user/haskl) (Read error: Connection reset by peer)
10:31:13 × npmania quits (~Thunderbi@121.128.226.31) (Quit: npmania)
10:31:21 → npmania1 joins (~Thunderbi@121.128.226.31)
10:33:13 → haskl joins (~haskl@user/haskl)
10:33:39 npmania1 is now known as npmania
10:42:43 × heraldo quits (~heraldo@user/heraldo) (Quit: heraldo)
10:46:42 → freeside joins (~mengwong@103.252.202.85)
10:58:24 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
10:59:12 × mexpr quits (~mexpr@user/mexpr) (Ping timeout: 248 seconds)
11:00:12 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
11:01:03 → mexpr joins (~mexpr@user/mexpr)
11:13:05 × michalz quits (~michalz@185.246.204.121) (Remote host closed the connection)
11:13:42 × vglfr quits (~vglfr@46.96.169.53) (Remote host closed the connection)
11:14:27 → vglfr joins (~vglfr@46.96.169.53)
11:14:33 × vglfr quits (~vglfr@46.96.169.53) (Remote host closed the connection)
11:15:28 → dextaa2 joins (~DV@user/dextaa)
11:16:50 → vglfr joins (~vglfr@46.96.169.53)
11:16:51 × dextaa quits (~DV@user/dextaa) (Ping timeout: 255 seconds)
11:16:51 dextaa2 is now known as dextaa
11:22:42 × npmania quits (~Thunderbi@121.128.226.31) (Ping timeout: 255 seconds)
11:39:20 → anikdhabal joins (~anikdhaba@2405:201:8014:804f:55d7:ec98:e427:c2ff)
11:39:54 × anikdhabal quits (~anikdhaba@2405:201:8014:804f:55d7:ec98:e427:c2ff) (Client Quit)
11:43:26 × kenran quits (~user@user/kenran) (Remote host closed the connection)
11:45:14 → beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt)
11:46:28 × beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Client Quit)
11:47:53 → kenran joins (~user@user/kenran)
11:48:44 → Markus2 joins (~markus@2a02:8071:684:9860:ee33:6939:67ee:4517)
11:51:05 <Markus2> Hi
11:51:15 <Markus2> How to talk to lamdabot?
11:52:09 <ncf> /query lambdabot
11:52:14 × zeenk quits (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!)
11:56:21 ← Markus2 parts (~markus@2a02:8071:684:9860:ee33:6939:67ee:4517) ()
12:08:55 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
12:14:30 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
12:19:25 × nunggu quits (~q@user/nunggu) (Remote host closed the connection)
12:21:17 × mexpr quits (~mexpr@user/mexpr) (Remote host closed the connection)
12:23:16 → nunggu joins (~q@user/nunggu)
12:23:41 → shailangsa joins (~shailangs@host165-120-169-78.range165-120.btcentralplus.com)
12:35:59 → mikess joins (~sam@user/mikess)
12:44:07 × vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.8)
12:44:39 → vysn joins (~vysn@user/vysn)
12:56:47 × Benzi-Junior quits (~BenziJuni@88-149-67-225.du.xdsl.is) (Quit: ZNC 1.8.2 - https://znc.in)
13:15:24 × vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.8)
13:16:51 → harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
13:18:45 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
13:19:42 → vysn joins (~vysn@user/vysn)
13:21:33 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
13:22:25 → freeside joins (~mengwong@103.252.202.85)
13:26:51 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds)
13:27:04 → jinsun joins (~jinsun@user/jinsun)
13:29:18 × vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.8)
13:34:45 × pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer)
13:36:01 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19)
13:36:39 → pavonia joins (~user@user/siracusa)
13:40:07 → a_coll joins (~acoll@45.92.120.189)
13:40:18 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) (Ping timeout: 252 seconds)
13:42:17 × shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 265 seconds)
13:42:45 → vysn joins (~vysn@user/vysn)
13:48:24 × vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.8)
13:52:25 → vysn joins (~vysn@user/vysn)
13:54:28 × vysn quits (~vysn@user/vysn) (Client Quit)
13:57:54 → azimut joins (~azimut@gateway/tor-sasl/azimut)
14:09:44 → freeside joins (~mengwong@103.252.202.85)
14:12:51 → __monty__ joins (~toonn@user/toonn)
14:13:42 × myme quits (~myme@2a01:799:d60:e400:53f1:6d0a:f3a2:798b) (Ping timeout: 265 seconds)
14:14:36 → myme joins (~myme@2a01:799:d60:e400:7be0:70c6:61f8:dad)
14:15:03 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
14:25:28 → coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
14:26:34 → freeside joins (~mengwong@103.252.202.85)
14:31:15 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds)
14:32:57 → vysn joins (~vysn@user/vysn)
14:36:16 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
14:43:33 → retropikzel joins (9d1a4f9f46@2604:bf00:561:2000::ce)
14:45:50 × pyook quits (~puke@user/puke) (Ping timeout: 246 seconds)
14:52:12 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
14:54:40 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
14:54:40 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
14:54:40 → wroathe joins (~wroathe@user/wroathe)
14:55:13 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
15:01:18 → freeside joins (~mengwong@103.252.202.85)
15:05:31 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds)
15:08:36 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds)
15:09:30 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19)
15:18:46 × ddellacosta quits (~ddellacos@143.244.47.67) (Ping timeout: 276 seconds)
15:22:06 × vglfr quits (~vglfr@46.96.169.53) (Ping timeout: 255 seconds)
15:22:33 × shapr quits (~user@c-68-35-51-250.hsd1.al.comcast.net) (Ping timeout: 255 seconds)
15:22:55 → freeside joins (~mengwong@103.252.202.85)
15:23:32 → chiselfuse joins (~chiselfus@user/chiselfuse)
15:27:02 → pyook joins (~puke@user/puke)
15:27:28 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 248 seconds)
15:35:32 × mjrosenb quits (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Remote host closed the connection)
15:38:19 × pyook quits (~puke@user/puke) (Ping timeout: 248 seconds)
15:39:18 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
15:39:44 → freeside joins (~mengwong@103.252.202.85)
15:41:20 → _leo___ joins (~emmanuelu@user/emmanuelux)
15:44:05 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 250 seconds)
15:44:16 → Benzi-Junior joins (~BenziJuni@dsl-149-67-225.hive.is)
15:44:46 × emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds)
15:53:42 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:55:14 → vglfr joins (~vglfr@46.96.169.53)
15:59:41 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
16:00:13 × Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Quit: You have been kicked for being idle)
16:02:46 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:07:06 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
16:08:39 × highcloud quits (~yyd@65.20.68.187) (Remote host closed the connection)
16:14:53 → econo joins (uid147250@user/econo)
16:18:29 → Guest40 joins (~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f)
16:30:09 → freeside joins (~mengwong@103.252.202.85)
16:34:12 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
16:39:25 → pyook joins (~puke@user/puke)
16:44:51 → ddellacosta joins (~ddellacos@146.70.171.100)
16:45:47 × nunggu quits (~q@user/nunggu) (Ping timeout: 255 seconds)
16:49:23 × vysn quits (~vysn@user/vysn) (Ping timeout: 260 seconds)
16:50:04 × Angelz quits (Angelz@Angelz.oddprotocol.org) (Changing host)
16:50:04 → Angelz joins (Angelz@user/angelz)
16:51:16 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
16:51:34 × Sauvin quits (~sauvin@user/Sauvin) (Read error: Connection reset by peer)
16:52:19 → Sauvin joins (~sauvin@user/Sauvin)
16:52:43 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
16:56:26 × Midjak quits (~Midjak@82.66.147.146) (Quit: Leaving)
16:56:43 → dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net)
16:59:47 × dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Remote host closed the connection)
17:03:31 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
17:05:11 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
17:08:40 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
17:14:17 → wootehfoot joins (~wootehfoo@user/wootehfoot)
17:19:28 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds)
17:20:22 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
17:24:52 × gurkenglas quits (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) (Ping timeout: 276 seconds)
17:25:22 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
17:31:24 → gurkenglas joins (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de)
17:38:43 <hololeap> I'm curious, when is does it _not_ make sense to use foldMap' ?
17:40:03 <monochrom> When I don't have a monoid operation, e.g., start with $100000 but keep subtracting.
17:40:29 <monochrom> Oh nevermind, you mean foldMap' vs foldMap.
17:40:43 <hololeap> yeah, sorry I didn't make that clear
17:41:09 <monochrom> Perhaps if the output is a lazy tree.
17:42:09 <hololeap> when I use something like foldMap, I'm usually trying to condense a bunch of stuff into a single thing, which generally makes sense to do strictly
17:42:42 <int-e> Or || (hmm, I exprected Data.Monoid to have this)
17:43:19 <hololeap> but laziness in haskell is confusing. I'm tempted to deepseq the 'a' in (a -> m)
17:43:24 <int-e> So basically the usual answer... when you actually want laziness, and short-cutting for boolean operations is one such case.
17:44:52 <hololeap> yeah, that makes sense. First is another case
17:46:32 <hololeap> Data.Monoid.First
17:47:09 <hololeap> aka 'Alt Maybe'
17:47:46 <int-e> :t (`appEndo` False) . foldMap (Endo . (||))
17:47:47 <lambdabot> Foldable t => t Bool -> Bool
17:48:13 <int-e> I guess there's always this (it's basically how you get `foldr` from `foldMap`)
17:48:24 <hololeap> :t Data.Maybe.Any
17:48:25 <lambdabot> error:
17:48:25 <lambdabot> Not in scope: data constructor ‘Data.Maybe.Any’
17:48:25 <lambdabot> Perhaps you meant one of these:
17:48:46 <hololeap> Any is what you're looking for int-e
17:49:26 <hololeap> instance Semigroup Any where (<>) = coerce (||)
17:49:31 <int-e> Oh. In Data.Monoid. Thanks.
17:50:18 <int-e> :t (any, all, or, and)
17:50:19 <lambdabot> error:
17:50:19 <lambdabot> Ambiguous occurrence ‘or’
17:50:19 <lambdabot> It could refer to
17:50:24 <int-e> meh
17:51:21 <hololeap> @undef or
17:51:21 <lambdabot> There's currently no way to undefine just one thing. Say @undefine (with no extra words) to undefine everything.
17:51:30 <hololeap> @undefine
17:51:30 <lambdabot> Undefined.
17:51:35 <int-e> well, the type would've been awful anyway because it would have 4 different Foldables in its context.
17:52:21 <hololeap> yeah I meant Data.Monoid, not Data.Maybe XD
17:52:22 <int-e> The point was, that there are those 4 related functions and I only checked the last two as potential names in Data.Monoid :-/
17:52:41 int-e should've used :browse. Or Hoogle.
17:53:23 <hololeap> I can never remember the difference between e.g. 'any' and 'or'
17:53:59 <int-e> Hmm, I can. `any` and `all` take predicates; `and` and `or` work on booleans.
17:54:20 <int-e> Which is of course *not* helpful for identifying the right name in Data.Monoid.
17:54:31 <hololeap> `and` and `or` work on [Bool]
17:54:57 <int-e> And if you know the right name in Data.Monoid then you'll get confused more easily by those functions.
17:55:00 <int-e> :/
17:55:15 <int-e> I want a different colored bikeshed.
17:55:50 <hololeap> it's best just to memorize Data.Monoid haha. it's incredibly useful
17:56:13 <hololeap> and similarly, Data.Semigroup and Data.Foldable
17:56:21 <hololeap> just memorize base
17:56:23 <hololeap> haha
17:59:21 <hololeap> oh, wow. there's a lot of lovely explanations in Data.Foldable. was that a recend addition?
17:59:26 <hololeap> *recent
18:00:52 <hololeap> https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-Foldable.html#g:7
18:02:34 <hololeap> looks like it's since base-4.15.0.0
18:03:04 <hololeap> I must have just overlooked it
18:03:14 <c_wraith> huh. Looks like *some* form of my feedback on the initial proposal made an impact
18:03:31 <hololeap> wdym c_wraith
18:04:02 <c_wraith> Initially it was going to claim that foldl and foldr always behave like they do on a list. But now there's a big section saying that it depends on the data structure.
18:04:09 <c_wraith> which is a massive improvement
18:04:46 <hololeap> nice
18:05:51 <monochrom> :)
18:06:20 <c_wraith> (though it still makes a weird claim that it's wrong to provide Foldable instances if the behavior is too different than it is on lists)
18:14:44 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
18:21:37 → vysn joins (~vysn@user/vysn)
18:23:16 → Guest|35 joins (~Guest|35@i59F7A61F.versanet.de)
18:24:43 × Guest|35 quits (~Guest|35@i59F7A61F.versanet.de) (Client Quit)
18:28:54 × vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.8)
18:29:18 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
18:29:51 → vysn joins (~vysn@user/vysn)
18:31:05 × vysn quits (~vysn@user/vysn) (Client Quit)
18:32:54 × gurkenglas quits (~gurkengla@dynamic-046-114-183-239.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
18:34:30 → vysn joins (~vysn@user/vysn)
18:35:12 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
18:35:34 × a_coll quits (~acoll@45.92.120.189) (Remote host closed the connection)
18:43:13 × mikess quits (~sam@user/mikess) (Ping timeout: 252 seconds)
18:43:26 ← kuribas parts (~user@ptr-17d51enbvbynpjq97pe.18120a2.ip6.access.telenet.be) (ERC (IRC client for Emacs 27.1))
18:45:55 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
18:46:42 → coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
18:49:57 → coot_ joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
18:52:48 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 248 seconds)
18:52:48 coot_ is now known as coot
19:03:48 → michalz joins (~michalz@185.246.204.125)
19:08:03 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds)
19:19:27 → hugo joins (znc@verdigris.lysator.liu.se)
19:20:15 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
19:23:04 → mikess joins (~sam@user/mikess)
19:26:25 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 265 seconds)
19:31:38 × kenran quits (~user@user/kenran) (Remote host closed the connection)
19:32:22 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
19:32:22 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
19:32:22 → wroathe joins (~wroathe@user/wroathe)
19:33:16 × Guest40 quits (~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f) (Quit: Client closed)
19:34:44 × trev quits (~trev@user/trev) (Quit: trev)
19:34:59 × markasoftware_ quits (~quassel@107.161.26.124) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
19:36:04 → markasoftware joins (~quassel@107.161.26.124)
19:36:53 → Sgeo joins (~Sgeo@user/sgeo)
19:38:43 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
19:39:09 → zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe)
19:39:50 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
19:47:51 → kenran joins (~user@user/kenran)
19:48:40 → Kuttenbrunzer joins (~Kuttenbru@2a02:8108:8b80:1d48::8fbc)
19:51:35 → mmhat joins (~mmh@p200300f1c7106e6dee086bfffe095315.dip0.t-ipconnect.de)
19:55:44 × _xor quits (~xor@50.216.161.66.ded-dsl.fuse.net) (Quit: brb)
19:56:09 × mmhat quits (~mmh@p200300f1c7106e6dee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
19:56:42 → elevenkb joins (~elevenkb@105.186.233.148)
19:59:47 × mechap quits (~mechap@user/mechap) (Ping timeout: 260 seconds)
20:10:20 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
20:11:26 × kenran quits (~user@user/kenran) (Remote host closed the connection)
20:12:58 → drdo joins (~drdo@bl7-76-103.dsl.telepac.pt)
20:16:27 → Null_A[m] joins (~jasonjckn@2001:470:69fc:105::bb85)
20:16:49 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
20:18:38 × vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.8)
20:21:22 → vysn joins (~vysn@user/vysn)
20:23:48 → mastarija joins (~mastarija@2a05:4f46:e03:6000:b3e4:8625:799:d70d)
20:29:17 → gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
20:32:59 × michalz quits (~michalz@185.246.204.125) (Remote host closed the connection)
20:51:03 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
20:59:25 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
20:59:26 × cheater quits (~Username@user/cheater) (Read error: Connection reset by peer)
21:01:44 → jmdaemon joins (~jmdaemon@user/jmdaemon)
21:04:23 → cheater joins (~Username@user/cheater)
21:09:32 → cheater_ joins (~Username@user/cheater)
21:09:40 → hammond joins (proscan@gateway02.insomnia247.nl)
21:11:43 × cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds)
21:11:48 cheater_ is now known as cheater
21:13:17 → kspalaiologos joins (~kspalaiol@user/kspalaiologos)
21:26:17 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds)
21:32:51 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
21:39:05 × Kuttenbrunzer quits (~Kuttenbru@2a02:8108:8b80:1d48::8fbc) (Quit: Where is it)
21:47:17 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
21:49:37 × mastarija quits (~mastarija@2a05:4f46:e03:6000:b3e4:8625:799:d70d) (Quit: WeeChat 3.7.1)
21:52:11 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
21:55:53 × elevenkb quits (~elevenkb@105.186.233.148) (Ping timeout: 260 seconds)
21:56:17 → cmtay^ joins (~cmtay@c-76-105-96-13.hsd1.ga.comcast.net)
21:57:10 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1970:6923:33e7:bb19) (Remote host closed the connection)
22:05:31 → shriekingnoise joins (~shrieking@186.137.175.87)
22:05:51 → bratwurst joins (~dfadsva@2604:3d09:207f:f650::708a)
22:17:15 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:19:09 → eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
22:19:41 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:20:43 × acidjnk quits (~acidjnk@p200300d6e715c47569fa6b647c85025b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
22:21:16 × NiceBird quits (~NiceBird@185.133.111.196) (Ping timeout: 276 seconds)
22:25:13 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 256 seconds)
22:40:03 → madjestic joins (~madjestic@77-63-111-32.mobile.kpn.net)
22:48:37 → merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
22:49:38 ← madjestic parts (~madjestic@77-63-111-32.mobile.kpn.net) ()
22:50:12 × vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.8)
22:55:21 → freeside joins (~mengwong@103.252.202.85)
22:57:13 → vysn joins (~vysn@user/vysn)
22:59:44 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 248 seconds)
23:00:21 → freeside joins (~mengwong@103.252.202.85)
23:03:46 → mauke_ joins (~mauke@user/mauke)
23:05:51 × mauke quits (~mauke@user/mauke) (Ping timeout: 265 seconds)
23:05:51 mauke_ is now known as mauke
23:09:43 × freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds)
23:13:17 → madjestic joins (~madjestic@77-63-111-32.mobile.kpn.net)
23:14:56 × euandreh quits (~Thunderbi@189.6.18.7) (Quit: euandreh)
23:17:46 × andrewboltachev quits (~andrey@178.141.217.5) (Quit: Leaving.)
23:18:24 × qy quits (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
23:18:32 → euandreh joins (~Thunderbi@189.6.18.7)
23:21:10 × euandreh quits (~Thunderbi@189.6.18.7) (Remote host closed the connection)
23:22:21 → euandreh joins (~Thunderbi@189.6.18.7)
23:23:15 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
23:23:58 × zeenk quits (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!)
23:24:13 × euandreh quits (~Thunderbi@189.6.18.7) (Client Quit)
23:24:50 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
23:27:48 → euandreh joins (~Thunderbi@189.6.18.7)
23:31:20 × madjestic quits (~madjestic@77-63-111-32.mobile.kpn.net) (Read error: Connection reset by peer)
23:33:05 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
23:33:36 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
23:43:40 → jero98772 joins (~jero98772@2800:484:1d84:9000::2)
23:44:09 × jero98772 quits (~jero98772@2800:484:1d84:9000::2) (Remote host closed the connection)
23:44:50 → jero98772 joins (~jero98772@190.158.28.80)
23:49:04 → Feuermagier_ joins (~Feuermagi@user/feuermagier)
23:51:30 × Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 255 seconds)
23:58:30 → Feuermagier joins (~Feuermagi@user/feuermagier)
23:59:05 × Feuermagier quits (~Feuermagi@user/feuermagier) (Client Quit)

All times are in UTC on 2023-04-09.