Home liberachat/#haskell: Logs Calendar

Logs on 2026-01-13 (liberachat/#haskell)

00:02:37 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds)
00:09:26 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:13:55 × marlino quits (~marlino@96-8-193-71.block0.gvtc.com) (Ping timeout: 240 seconds)
00:14:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
00:15:23 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
00:25:13 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:25:22 × vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer)
00:26:29 marlino joins (~marlino@96-8-193-71.block0.gvtc.com)
00:31:50 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
00:38:26 polykernel joins (~polykerne@user/polykernel)
00:40:49 jmcantrell_ is now known as jmcantrell
00:43:18 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:45:49 × Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 255 seconds)
00:45:58 peterbecich joins (~Thunderbi@71.84.33.135)
00:48:31 × xff0x quits (~xff0x@ai083101.d.east.v6connect.net) (Ping timeout: 240 seconds)
00:48:37 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
00:59:02 Ranhir joins (~Ranhir@157.97.53.139)
00:59:04 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:02:43 × Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.)
01:03:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
01:14:34 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:17:37 × acidjnk quits (~acidjnk@p200300d6e717193058c1de10ab6941e8.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
01:19:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
01:22:51 × jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1)
01:24:44 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
01:25:07 divlamir joins (~divlamir@user/divlamir)
01:25:56 jmcantrell_ joins (~weechat@user/jmcantrell)
01:26:00 jmcantrell_ is now known as jmcantrell
01:30:21 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:34:56 Plane62 joins (~Plane9@2a02:3037:608:ad96:bf2:5d7:81f6:16a1)
01:35:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
01:39:25 × Plane9 quits (~Plane9@2a02:3037:608:ad96:bf2:5d7:81f6:16a1) (Ping timeout: 272 seconds)
01:39:37 Plane62 is now known as Plane9
01:43:00 wickedjargon joins (~user@64.114.24.74)
01:46:08 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:49:14 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
01:50:53 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
01:54:38 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
01:55:34 omidmash1 joins (~omidmash@user/omidmash)
01:57:05 × omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds)
01:57:05 omidmash1 is now known as omidmash
02:01:54 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:04:45 newmind joins (~newmind@91-133-90-252.dyn.cablelink.at)
02:08:37 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
02:13:59 × synchromesh quits (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) (Read error: Connection reset by peer)
02:15:15 × wickedjargon quits (~user@64.114.24.74) (Ping timeout: 240 seconds)
02:15:25 synchromesh joins (~john@2406:5a00:2412:2c00::144)
02:19:57 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:22:17 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
02:22:58 gmg joins (~user@user/gehmehgeh)
02:24:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
02:26:33 × hsw quits (~hsw@106.104.102.45) (Remote host closed the connection)
02:26:58 hsw joins (~hsw@106.104.102.45)
02:35:30 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:40:04 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
02:51:17 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:56:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
03:02:20 califax_ joins (~califax@user/califx)
03:02:57 × califax quits (~califax@user/califx) (Ping timeout: 252 seconds)
03:03:31 califax_ is now known as califax
03:07:05 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:07:13 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
03:11:58 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
03:22:05 × emergence quits (~emergence@vm0.max-p.me) (Quit: emergence)
03:24:30 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:29:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
03:34:49 × trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
03:34:50 trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au)
03:35:11 trickard_ is now known as trickard
03:36:37 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
03:39:38 × Plane9 quits (~Plane9@2a02:3037:608:ad96:bf2:5d7:81f6:16a1) (Quit: Plane9)
03:39:58 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:44:45 jmcantrell_ joins (~weechat@user/jmcantrell)
03:45:01 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
03:47:52 × hakutaku quits (~textual@chen.yukari.eu.org) (Remote host closed the connection)
03:52:00 jmcantrell_ is now known as jmcantrell
03:55:45 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:57:20 × omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
04:00:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
04:01:55 omidmash joins (~omidmash@user/omidmash)
04:11:32 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:19:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
04:29:35 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:34:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
04:35:16 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds)
04:36:30 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
04:44:58 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:52:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
05:01:30 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:06:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
05:16:58 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:17:10 sp1ff joins (~user@2601:1c2:4701:900::327f)
05:21:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
05:30:23 × marlino quits (~marlino@96-8-193-71.block0.gvtc.com) (Quit: WeeChat 4.8.1)
05:32:45 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:37:19 × Square quits (~Square@user/square) (Ping timeout: 240 seconds)
05:37:42 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
05:39:32 × mange quits (~mange@user/mange) (Quit: Quittin' time!)
05:48:30 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:48:59 michalz joins (~michalz@185.246.207.205)
05:53:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
06:00:01 × trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
06:00:16 trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au)
06:02:17 × nisstyre quits (wes@user/nisstyre) (Ping timeout: 250 seconds)
06:04:19 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:07:23 trickard_ is now known as trickard
06:08:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
06:15:19 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
06:17:03 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
06:19:45 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:24:18 × synchromesh quits (~john@2406:5a00:2412:2c00::144) (Read error: Connection reset by peer)
06:24:46 synchromesh joins (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07)
06:26:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
06:26:32 Square joins (~Square@user/square)
06:37:48 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:42:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
06:53:21 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:56:37 peterbecich joins (~Thunderbi@71.84.33.135)
06:58:49 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
07:02:29 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:04:49 × annamalai quits (~annamalai@157.33.236.194) (Remote host closed the connection)
07:07:49 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
07:08:34 × Square quits (~Square@user/square) (Ping timeout: 246 seconds)
07:11:05 Square2 joins (~Square4@user/square)
07:18:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:18:32 tromp joins (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080)
07:20:32 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
07:23:04 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
07:23:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
07:23:27 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
07:30:10 Enrico63 joins (~Enrico63@host-87-7-181-238.retail.telecomitalia.it)
07:34:02 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:38:49 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
07:41:13 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
07:41:39 fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi)
07:43:34 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds)
07:44:48 chromoblob joins (~chromoblo@user/chromob1ot1c)
07:49:04 sord937 joins (~sord937@gateway/tor-sasl/sord937)
07:49:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:51:33 × fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp)
07:52:01 fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi)
07:52:35 × Enrico63 quits (~Enrico63@host-87-7-181-238.retail.telecomitalia.it) (Quit: Client closed)
07:54:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
07:57:37 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
07:58:11 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
07:58:31 chromoblob joins (~chromoblo@user/chromob1ot1c)
08:00:57 × tromp quits (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:03:31 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:03:32 emergence joins (emergence@vm0.max-p.me)
08:03:45 bggd joins (~bgg@2a01:e0a:fd5:f510:3049:adb6:e6d9:37cd)
08:03:46 × bggd quits (~bgg@2a01:e0a:fd5:f510:3049:adb6:e6d9:37cd) (Changing host)
08:03:46 bggd joins (~bgg@user/bggd)
08:08:46 × fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 246 seconds)
08:10:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
08:17:15 × emergence quits (emergence@vm0.max-p.me) (Ping timeout: 240 seconds)
08:17:30 emergence joins (emergence@vm0.max-p.me)
08:31:58 Square joins (~Square@user/square)
08:32:41 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:37:32 tromp joins (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080)
08:39:38 chele joins (~chele@user/chele)
08:40:49 danza joins (~danza@user/danza)
08:42:43 × bggd quits (~bgg@user/bggd) (Remote host closed the connection)
08:44:50 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection)
08:45:16 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
08:45:42 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
08:55:43 × Square quits (~Square@user/square) (Ping timeout: 240 seconds)
09:05:12 merijn joins (~merijn@77.242.116.146)
09:15:43 × m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 240 seconds)
09:18:06 × Googulator quits (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu) (Quit: Client closed)
09:18:20 Googulator joins (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu)
09:23:28 acidjnk joins (~acidjnk@p200300d6e7171919b50e1fc99ea1927d.dip0.t-ipconnect.de)
09:25:55 Googulator43 joins (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu)
09:27:37 × Googulator quits (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu) (Quit: Client closed)
09:30:43 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
09:43:13 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds)
09:45:34 merijn joins (~merijn@77.242.116.146)
09:50:26 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds)
09:55:06 merijn joins (~merijn@77.242.116.146)
10:17:40 × trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:17:54 trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au)
10:22:31 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds)
10:25:02 m1dnight joins (~m1dnight@d8D861A17.access.telenet.be)
10:25:34 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds)
10:27:05 × Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Read error: Connection reset by peer)
10:27:34 Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen)
10:29:09 merijn joins (~merijn@77.242.116.146)
10:31:55 fp joins (~Thunderbi@wireless-86-50-140-77.open.aalto.fi)
10:36:25 akegalj joins (~akegalj@78-2-214-80.adsl.net.t-com.hr)
10:53:35 × fp quits (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) (Ping timeout: 240 seconds)
10:54:27 Enrico63 joins (~Enrico63@host-79-47-14-232.retail.telecomitalia.it)
10:57:49 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds)
10:57:55 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds)
11:00:01 karenw joins (~karenw@user/karenw)
11:03:36 merijn joins (~merijn@77.242.116.146)
11:04:53 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
11:06:53 × carbolymer quits (~carbolyme@delirium.systems) ()
11:07:19 carbolymer joins (~carbolyme@delirium.systems)
11:08:06 × carbolymer quits (~carbolyme@delirium.systems) (Client Quit)
11:08:37 carbolymer joins (carbolymer@delirium.systems)
11:09:01 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds)
11:13:27 __monty__ joins (~toonn@user/toonn)
11:17:25 xff0x joins (~xff0x@ai083101.d.east.v6connect.net)
11:21:50 merijn joins (~merijn@77.242.116.146)
11:22:15 fp joins (~Thunderbi@wireless-86-50-140-77.open.aalto.fi)
11:28:49 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds)
11:31:31 danz78649 joins (~danza@user/danza)
11:33:41 × danza quits (~danza@user/danza) (Ping timeout: 244 seconds)
11:40:21 merijn joins (~merijn@77.242.116.146)
11:46:15 × itaipu quits (~itaipu@168.121.99.54) (Ping timeout: 240 seconds)
11:52:00 ttybitnik joins (~ttybitnik@user/wolper)
11:57:19 × fp quits (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) (Ping timeout: 240 seconds)
11:57:32 trickard_ is now known as trickard
11:59:35 itaipu joins (~itaipu@168.121.99.54)
12:05:22 × itaipu quits (~itaipu@168.121.99.54) (Ping timeout: 246 seconds)
12:09:29 × danz78649 quits (~danza@user/danza) (Remote host closed the connection)
12:10:13 ljdarj joins (~Thunderbi@user/ljdarj)
12:20:13 itaipu joins (~itaipu@168.121.99.54)
12:21:36 × Enrico63 quits (~Enrico63@host-79-47-14-232.retail.telecomitalia.it) (Quit: Client closed)
12:32:43 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
12:49:03 fp joins (~Thunderbi@wireless-86-50-140-77.open.aalto.fi)
12:51:06 × img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
12:52:20 img joins (~img@user/img)
13:14:00 × newmind quits (~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed)
13:26:27 weary-traveler joins (~user@user/user363627)
13:28:01 PKDrinker joins (~PKDrinker@user/PKDrinker)
13:29:27 danza joins (~danza@user/danza)
13:36:22 × PKDrinker quits (~PKDrinker@user/PKDrinker) (Ping timeout: 246 seconds)
13:37:31 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
13:40:13 × fp quits (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) (Ping timeout: 264 seconds)
13:51:05 rekahsoft joins (~rekahsoft@70.51.99.245)
13:52:25 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
14:03:46 ljdarj joins (~Thunderbi@user/ljdarj)
14:04:22 × karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds)
14:09:04 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds)
14:15:01 × Miroboru quits (~myrvoll@188.113.115.67) (Ping timeout: 264 seconds)
14:16:29 Miroboru joins (~myrvoll@188.113.115.67)
14:17:00 fp joins (~Thunderbi@wireless-86-50-140-77.open.aalto.fi)
14:17:36 merijn joins (~merijn@77.242.116.146)
14:20:34 × Square2 quits (~Square4@user/square) (Ping timeout: 244 seconds)
14:33:44 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
14:38:15 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds)
14:52:14 merijn joins (~merijn@77.242.116.146)
14:53:42 karenw joins (~karenw@user/karenw)
14:54:37 × trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
14:54:49 trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au)
15:00:27 × akegalj quits (~akegalj@78-2-214-80.adsl.net.t-com.hr) (Quit: leaving)
15:07:55 × Googulator43 quits (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu) (Quit: Client closed)
15:08:17 Googulator43 joins (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu)
15:08:32 Googulator43 is now known as Googulator
15:09:17 newmind joins (~newmind@91-133-90-252.dyn.cablelink.at)
15:11:03 <haskellbridge> <thirdofmay18081814goya> what's an implementation of lazy trees? google doesn't come up with much
15:12:53 × fp quits (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) (Quit: fp)
15:17:13 <[exa]> there are many
15:17:34 <[exa]> it's more like there are several techniques that you can apply, depending on the usecase
15:19:31 <haskellbridge> <thirdofmay18081814goya> am just looking to read up on any of them for inspiration, no particular goal in mind at the moment
15:20:06 <[exa]> some libraries use 2-3 finger trees (I think Data.Map,Set and Sequence all have some variant of finger trees inside), and the usual construction you want to read about is called "zipper"
15:20:41 <haskellbridge> <thirdofmay18081814goya> neat, thanks a lot!!
15:21:42 <[exa]> "zipper" is essentially a technique where you grab the tree by an inner node instead of by the root, you need to add some complexity for inverting the pointers along the "spine" (path back to root), but you gain pretty good locality-based speedups (if there are many changes at one certain place in the tree, you don't need to rewrite as much data as if holding the tree by root)
15:22:50 <[exa]> I can't google any good image so lemme screenshot the slides
15:23:45 <danza> i vaguely recall a story about theseus and ariadne
15:25:16 <[exa]> thirdofmay18081814goya: https://imgur.com/a/nj2d5kl (the tree root is above, but actual data structure root is pointed by the finger, and you need some different "reversed" representation for the pink nodes)
15:27:09 <[exa]> in other news, doesn't even look like Set would use any of these things... https://hackage-content.haskell.org/package/containers-0.8/docs/src/Data.Set.Internal.html#Set
15:28:01 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds)
15:28:22 <[exa]> okay there's a cooler one for Data.Sequence: https://hackage-content.haskell.org/package/containers-0.8/docs/src/Data.Sequence.Internal.html#FingerTree
15:32:07 danz62243 joins (~danza@user/danza)
15:32:50 × danza quits (~danza@user/danza) (Read error: Connection reset by peer)
15:34:34 <haskellbridge> <thirdofmay18081814goya> [exa]: I see! I'll be diving deeper, tyvm!!
15:37:50 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
15:41:29 × ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection)
15:46:05 haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
15:46:05 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
15:46:05 haritz joins (~hrtz@user/haritz)
15:47:17 spew joins (~spew@user/spew)
15:49:57 × danz62243 quits (~danza@user/danza) (Remote host closed the connection)
15:51:49 × trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
15:52:26 trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au)
15:57:46 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds)
16:03:42 hakutaku joins (~textual@chen.yukari.eu.org)
16:04:30 merijn joins (~merijn@77.242.116.146)
16:06:05 <[exa]> ah yw
16:14:50 × newmind quits (~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed)
16:17:01 × karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds)
16:27:16 × tired quits (~tired@user/tired) (Quit: /)
16:30:06 tired joins (~tired@user/tired)
16:58:55 × Inline quits (~User@cgn-195-14-218-118.nc.de) (Ping timeout: 240 seconds)
17:00:15 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds)
17:03:27 Inline joins (~User@cgn-195-14-218-118.nc.de)
17:05:37 × trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
17:05:50 trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au)
17:10:02 poscat0x04 joins (~poscat@user/poscat)
17:12:19 × poscat quits (~poscat@user/poscat) (Ping timeout: 264 seconds)
17:14:25 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
17:15:42 × picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.8.1)
17:17:12 picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
17:17:56 trickard_ is now known as trickard
17:18:38 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
17:20:26 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
17:24:57 × sp1ff quits (~user@2601:1c2:4701:900::327f) (Read error: Connection reset by peer)
17:26:52 × chele quits (~chele@user/chele) (Remote host closed the connection)
17:34:26 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
17:35:38 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
17:40:33 euphores joins (~SASL_euph@user/euphores)
17:42:46 × foul_owl quits (~kerry@94.156.149.96) (Ping timeout: 246 seconds)
17:49:56 merijn joins (~merijn@77.242.116.146)
17:51:58 peterbecich joins (~Thunderbi@71.84.33.135)
17:55:58 danza joins (~danza@user/danza)
18:23:32 × tromp quits (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:34:07 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds)
18:35:00 tromp joins (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080)
18:36:33 annamalai joins (~annamalai@2409:4072:631f:1708::5da:60a0)
18:43:02 Milan_Vanca joins (~milan@user/Milan-Vanca:32634)
18:43:12 ttybitnik joins (~ttybitnik@user/wolper)
18:52:12 × spew quits (~spew@user/spew) (Quit: nyaa~)
18:58:35 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds)
19:05:23 × danza quits (~danza@user/danza) (Remote host closed the connection)
19:05:48 danza joins (~danza@user/danza)
19:07:05 foul_owl joins (~kerry@94.156.149.96)
19:11:29 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection)
19:11:38 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:11:46 chromoblob joins (~chromoblo@user/chromob1ot1c)
19:13:18 × danza quits (~danza@user/danza) (Read error: Connection reset by peer)
19:15:36 × jreicher quits (~joelr@user/jreicher) (Quit: In transit)
19:17:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
19:19:46 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:20:06 peterbecich joins (~Thunderbi@71.84.33.135)
19:22:30 × AlexZenon quits (~alzenon@178.34.150.203) (Read error: Connection reset by peer)
19:22:45 AlexZenon joins (~alzenon@178.34.150.203)
19:25:13 target_i joins (~target_i@user/target-i/x-6023099)
19:27:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
19:28:47 <Milan_Vanca> Hello guyz, am I dumb or is something wrong with Miso package? In hackage miso latest version is 1.8.7.0. Yet examples use Miso.CSS which is based on quick google search here https://haddocks.haskell-miso.org/index.html in version 1.9.0.0. This implies different source of package? Yet in cabal.project as seen here https://github.com/haskell-miso/miso-counter/blob/main/cabal.project they use git
19:28:49 <Milan_Vanca> repo with tag? But in this repo latest version is 1.8.7.0. So either this tag points to something unreleased or I don't understand :D
19:29:04 × Googulator quits (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu) (Quit: Client closed)
19:29:19 × AlexZenon quits (~alzenon@178.34.150.203) (Ping timeout: 240 seconds)
19:31:42 <Milan_Vanca> Eh must be tag of some commit. I found CSS module in git, so it is unreleased version probably. Weird last release was february 2025.
19:32:36 Googulator joins (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu)
19:33:39 AlexZenon joins (~alzenon@178.34.150.203)
19:35:25 <ncf> that is an unreleased commit yes (why else would they override the source?)
19:36:15 sp1ff joins (~user@2601:1c2:4701:900::327f)
19:36:34 <ncf> the haddocks on the miso website are probably generated from master
19:38:05 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
19:38:25 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
19:39:27 Lord_of_Life_ is now known as Lord_of_Life
19:40:01 <Milan_Vanca> I don't know it just feels dangerous, to use master instead of released version.
19:40:16 <Milan_Vanca> Ty ncf :)
19:41:55 <monochrom> You can stick to what's on hackage. It also has docs.
20:14:30 × m0lok quits (~m0lok@user/m0lok) (Quit: WeeChat 4.8.0)
20:23:26 jreicher joins (~joelr@user/jreicher)
20:30:29 × Milan_Vanca quits (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2)
20:33:29 <haskellbridge> <sm> you can also ask in #haskell-miso:matrix.org (https://matrix.to/#/#haskell-miso:matrix.org)
20:39:09 durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de)
20:54:34 × synchromesh quits (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) (Read error: Connection reset by peer)
20:55:28 synchromesh joins (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07)
20:55:46 Googulator59 joins (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu)
20:56:32 × Googulator quits (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu) (Quit: Client closed)
20:58:58 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
21:00:05 newmind joins (~newmind@91-133-90-252.dyn.cablelink.at)
21:09:33 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:14:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
21:16:13 × itaipu quits (~itaipu@168.121.99.54) (Ping timeout: 264 seconds)
21:17:12 itaipu joins (~itaipu@168.121.99.54)
21:19:48 pavonia joins (~user@user/siracusa)
21:20:21 × durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…)
21:24:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:29:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
21:35:35 × tromp quits (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:38:11 Googulator59 is now known as Googulator
21:40:30 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:40:39 tromp joins (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080)
21:40:50 × tomsmeding quits (~tomsmedin@user/tomsmeding) (Quit: ZNC 1.10.1 - https://znc.in)
21:43:09 tomsmeding joins (~tomsmedin@user/tomsmeding)
21:45:45 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
21:46:33 × tomsmeding quits (~tomsmedin@user/tomsmeding) (Client Quit)
21:51:22 tomsmeding joins (~tomsmedin@user/tomsmeding)
21:56:14 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:57:07 <geekosaur> I think miso `master` is still being migrated to the new backend instead of ghcjs?
21:57:21 <geekosaur> including driving addition of features they need
22:00:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
22:01:03 × tomsmeding quits (~tomsmedin@user/tomsmeding) (Quit: ZNC 1.10.1 - https://znc.in)
22:02:35 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds)
22:08:25 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:08:59 tomsmeding joins (~tomsmedin@user/tomsmeding)
22:10:03 × tomsmeding quits (~tomsmedin@user/tomsmeding) (Client Quit)
22:10:40 tomsmeding joins (~tomsmedin@user/tomsmeding)
22:11:44 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:16:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
22:24:05 × michalz quits (~michalz@185.246.207.205) (Remote host closed the connection)
22:27:32 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:34:13 × Inline quits (~User@cgn-195-14-218-118.nc.de) (Ping timeout: 264 seconds)
22:34:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
22:45:35 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:50:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
22:52:29 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
22:59:55 Inline joins (~User@cgn-195-14-218-118.nc.de)
23:01:13 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:01:49 × tromp quits (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:04:31 Sgeo joins (~Sgeo@user/sgeo)
23:05:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
23:06:31 × trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
23:06:51 trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au)
23:07:17 × Inline quits (~User@cgn-195-14-218-118.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/)
23:10:08 × xff0x quits (~xff0x@ai083101.d.east.v6connect.net) (Quit: xff0x)
23:12:00 xff0x joins (~xff0x@ai083101.d.east.v6connect.net)
23:14:05 × xff0x quits (~xff0x@ai083101.d.east.v6connect.net) (Client Quit)
23:15:50 xff0x joins (~xff0x@2405:6580:b080:900:a6eb:e6e2:1ba3:d6c3)
23:17:00 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:21:37 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
23:23:54 k0zy joins (~user@75-164-179-179.ptld.qwest.net)
23:24:36 × k0zy quits (~user@75-164-179-179.ptld.qwest.net) (Changing host)
23:24:36 k0zy joins (~user@user/k0zy)
23:25:49 k0zy` joins (~user@75-164-179-179.ptld.qwest.net)
23:26:53 × k0zy` quits (~user@75-164-179-179.ptld.qwest.net) (Client Quit)
23:27:14 k0zy` joins (~user@75-164-179-179.ptld.qwest.net)
23:29:04 × trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
23:29:17 trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au)
23:32:23 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:36:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
23:40:19 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
23:41:05 rainbyte joins (~rainbyte@186.22.19.214)
23:42:35 zlqrvx joins (~zlqrvx@user/zlqrvx)
23:47:07 × ystael quits (~ystael@user/ystael) (Ping timeout: 246 seconds)
23:48:11 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:50:17 × remexre quits (~remexre@user/remexre) (Remote host closed the connection)
23:52:15 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds)
23:53:18 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
23:53:55 Inline joins (~User@cgn-195-14-218-118.nc.de)
23:54:52 remexre joins (~remexre@user/remexre)
23:59:57 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)

All times are in UTC on 2026-01-13.