2026/07/07

2026-07-07 00:00:10 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 243 seconds)
2026-07-07 00:01:00 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 00:05:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 00:06:20 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 248 seconds)
2026-07-07 00:06:45 +0000 <ski> tomsmeding : with a non-strict (for zero) multiplication, yes
2026-07-07 00:06:57 +0000k3ut0i(~keutoi@182.65.248.188)
2026-07-07 00:10:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 274 seconds)
2026-07-07 00:16:35 +0000_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
2026-07-07 00:18:03 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 00:20:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 00:23:34 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 253 seconds)
2026-07-07 00:23:48 +0000_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2026-07-07 00:25:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-07-07 00:31:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 00:35:05 +0000xff0x(~xff0x@2405:6580:b080:900:1f7d:b3d5:f184:19e7) (Ping timeout: 252 seconds)
2026-07-07 00:35:46 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 00:36:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-07-07 00:36:25 +0000schuelermine(~Thunderbi@user/schuelermine) schuelermine
2026-07-07 00:41:46 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 248 seconds)
2026-07-07 00:46:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 00:51:51 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-07-07 00:52:56 +0000sam113102(~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101
2026-07-07 00:53:34 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 00:53:43 +0000pavonia(~user@user/siracusa) siracusa
2026-07-07 00:53:58 +0000ftzm3(~ftzm@85.80.244.25) ftzm
2026-07-07 00:55:34 +0000zfnmxt(~m-gkkevi@209.209.10.107) (Ping timeout: 276 seconds)
2026-07-07 00:55:34 +0000sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) (Ping timeout: 276 seconds)
2026-07-07 00:55:36 +0000sam113102sam113101
2026-07-07 00:55:38 +0000ftzm(~ftzm@85.80.244.25) (Read error: Connection reset by peer)
2026-07-07 00:55:40 +0000ftzm3ftzm
2026-07-07 00:55:52 +0000zfnmxt(~m-gkkevi@209.209.10.107)
2026-07-07 00:56:13 +0000polykernel(~polykerne@user/polykernel) (Ping timeout: 276 seconds)
2026-07-07 01:00:53 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 240 seconds)
2026-07-07 01:01:44 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 01:02:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 01:06:33 +0000Chai-T-Rex(~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
2026-07-07 01:06:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-07-07 01:07:53 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 270 seconds)
2026-07-07 01:08:33 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-07-07 01:13:35 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2026-07-07 01:17:29 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 01:21:00 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 01:22:06 +0000k3ut0i(~keutoi@182.65.248.188) (Ping timeout: 258 seconds)
2026-07-07 01:24:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-07-07 01:26:02 +0000EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2026-07-07 01:26:13 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-07-07 01:26:28 +0000EvanR(~EvanR@user/evanr) EvanR
2026-07-07 01:26:35 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 244 seconds)
2026-07-07 01:30:07 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2026-07-07 01:30:44 +0000takuan(~takuan@d8D86B996.access.telenet.be)
2026-07-07 01:30:58 +0000acidjnk(~acidjnk@p200300d6e74def924e4062ab168ea553.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2026-07-07 01:35:20 +0000weary-traveler(~user@user/user363627) user363627
2026-07-07 01:36:35 +0000emilym(~Thunderbi@user/emilym) emilym
2026-07-07 01:37:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 01:38:14 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 01:39:47 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-07-07 01:40:11 +0000Googulator(~Googulato@84-236-126-66.pool.digikabel.hu) (Quit: Client closed)
2026-07-07 01:41:10 +0000weary-traveler(~user@user/user363627) user363627
2026-07-07 01:41:37 +0000Googulator(~Googulato@84-236-126-66.pool.digikabel.hu)
2026-07-07 01:41:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-07-07 01:41:43 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 272 seconds)
2026-07-07 01:41:48 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-07-07 01:43:58 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 254 seconds)
2026-07-07 01:44:55 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-07-07 01:51:34 +0000schuelermine(~Thunderbi@user/schuelermine) (Ping timeout: 245 seconds)
2026-07-07 01:52:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 01:56:47 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 01:56:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-07-07 02:00:15 +0000k3ut0i(~keutoi@182.65.248.188)
2026-07-07 02:00:44 +0000m(~travltux@user/travltux) (Ping timeout: 265 seconds)
2026-07-07 02:02:31 +0000m(~travltux@user/travltux) travltux
2026-07-07 02:02:38 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Remote host closed the connection)
2026-07-07 02:03:00 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 02:07:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 02:08:37 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 253 seconds)
2026-07-07 02:09:03 +0000bggd(~bgg@user/bggd) (Quit: std::move)
2026-07-07 02:12:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-07-07 02:20:49 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 02:22:15 +0000td_(~td@i53870907.versanet.de) (Ping timeout: 272 seconds)
2026-07-07 02:23:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 02:23:50 +0000td_(~td@i53870931.versanet.de)
2026-07-07 02:26:31 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 268 seconds)
2026-07-07 02:27:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-07-07 02:31:30 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 02:38:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 02:43:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-07-07 02:44:05 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds)
2026-07-07 02:44:27 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-07-07 02:53:51 +0000merijn(~merijn@62.45.136.136) merijn
2026-07-07 03:00:25 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 240 seconds)
2026-07-07 03:01:56 +0000rabbull721(~rabbull@xdsl-31-164-93-219.adslplus.ch) (Quit: And in case I don't see you, good afternoon, good evening and good night!)
2026-07-07 03:04:15 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds)
2026-07-07 03:08:08 +0000rabbull7217(~rabbull@xdsl-31-164-93-219.adslplus.ch)
2026-07-07 03:08:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 03:12:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-07-07 03:17:13 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-07-07 03:19:59 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-07-07 03:23:27 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-07-07 03:23:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 03:27:36 +0000traxex(traxex@user/traxex) traxex
2026-07-07 03:28:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-07-07 03:34:26 +0000emilym(~Thunderbi@user/emilym) emilym
2026-07-07 03:38:00 +0000emmanuelux(~em@user/emmanuelux) emmanuelux
2026-07-07 03:39:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 03:39:22 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 276 seconds)
2026-07-07 03:40:18 +0000notzmv(~umar@user/notzmv) (Ping timeout: 252 seconds)
2026-07-07 03:43:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-07-07 03:45:26 +0000dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2026-07-07 03:46:27 +0000dutchie(~dutchie@user/dutchie) dutchie
2026-07-07 03:54:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 03:56:17 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-07-07 03:56:58 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-07-07 03:58:15 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-07-07 03:59:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-07-07 04:04:23 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds)
2026-07-07 04:04:45 +0000ouilemur(~jgmerritt@user/ouilemur) (Ping timeout: 246 seconds)
2026-07-07 04:06:58 +0000ouilemur(~jgmerritt@user/ouilemur) ouilemur
2026-07-07 04:09:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 04:10:56 +0000emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-07-07 04:11:40 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-07-07 04:14:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-07-07 04:24:29 +0000machinedgod(~machinedg@d108-173-95-19.abhsia.telus.net) (Ping timeout: 272 seconds)
2026-07-07 04:25:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 04:29:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-07-07 04:40:23 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2026-07-07 04:40:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 04:44:53 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-07-07 04:47:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-07-07 04:58:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 04:59:47 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-07-07 05:02:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-07-07 05:09:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 05:13:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 243 seconds)
2026-07-07 05:16:46 +0000michalz(~michalz@185.246.207.200)
2026-07-07 05:19:01 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds)
2026-07-07 05:20:20 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-07-07 05:21:22 +0000poscat0x04(~poscat@user/poscat) poscat
2026-07-07 05:23:15 +0000poscat(~poscat@user/poscat) (Ping timeout: 265 seconds)
2026-07-07 05:24:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 05:25:52 +0000emilym(~Thunderbi@user/emilym) emilym
2026-07-07 05:29:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-07-07 05:30:40 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 256 seconds)
2026-07-07 05:43:41 +0000haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-07-07 05:44:19 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-07-07 05:44:34 +0000divlamir(~divlamir@user/divlamir) divlamir
2026-07-07 05:50:43 +0000notzmv(~umar@user/notzmv) notzmv
2026-07-07 05:51:19 +0000k3ut0i(~keutoi@182.65.248.188) (Ping timeout: 276 seconds)
2026-07-07 05:55:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 06:00:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-07-07 06:03:23 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2026-07-07 06:08:34 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-07-07 06:10:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 06:11:21 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-07-07 06:12:45 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-07-07 06:13:04 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-07-07 06:14:51 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-07-07 06:23:32 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-07-07 06:25:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 06:30:02 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 251 seconds)
2026-07-07 06:30:36 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-07-07 06:32:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-07-07 06:35:41 +0000nattkyrro(~serenity@user/nattkyrro) (Quit: WeeChat 4.6.3)
2026-07-07 06:39:45 +0000k3ut0i(~keutoi@182.65.248.188)
2026-07-07 06:42:19 +0000czan(~czan@user/mange) (Quit: Quittin' time!)
2026-07-07 06:42:24 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-07-07 06:43:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 06:44:08 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-07-07 06:45:39 +0000Googulator(~Googulato@84-236-126-66.pool.digikabel.hu) (Quit: Client closed)
2026-07-07 06:45:51 +0000Googulator(~Googulato@84-236-126-66.pool.digikabel.hu)
2026-07-07 06:48:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-07-07 06:49:36 +0000attlin(~user@user/attlin) (Quit: Leaving)
2026-07-07 06:50:09 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-07-07 06:52:45 +0000attlin(~user@user/attlin) attlin
2026-07-07 06:53:30 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) (Ping timeout: 245 seconds)
2026-07-07 06:59:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 07:03:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-07-07 07:11:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-07-07 07:16:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-07-07 07:17:16 +0000User_(~jabos_gra@user/jabos-grande:16073) jabos_grande
2026-07-07 07:34:36 +0000emilym(~Thunderbi@user/emilym) emilym
2026-07-07 07:36:15 +0000ft(~ft@p508dbe16.dip0.t-ipconnect.de) (Quit: leaving)
2026-07-07 07:36:51 +0000CiaoSen(~Jura@2a02:3100:5f02:1600:4e50:ddff:fe9b:8922) CiaoSen
2026-07-07 07:39:08 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 252 seconds)
2026-07-07 07:45:53 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 272 seconds)
2026-07-07 07:46:10 +0000arandombit(~arandombi@2603:7000:4600:ffbe:8d08:5acc:f108:254d)
2026-07-07 07:46:10 +0000arandombit(~arandombi@2603:7000:4600:ffbe:8d08:5acc:f108:254d) (Changing host)
2026-07-07 07:46:10 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-07-07 07:52:15 +0000fp(~Thunderbi@130.233.70.229) fp
2026-07-07 07:56:05 +0000leppard(~noOne@ipservice-092-209-218-237.092.209.pools.vodafone-ip.de) Inline
2026-07-07 07:56:33 +0000__monty__(~toonn@user/toonn) toonn
2026-07-07 07:59:28 +0000chele(~chele@user/chele) chele
2026-07-07 08:01:39 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 242 seconds)
2026-07-07 08:04:38 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds)
2026-07-07 08:05:40 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-07-07 08:09:55 +0000danza(~danza@user/danza) danza
2026-07-07 08:10:05 +0000merijn(~merijn@77.242.116.146) merijn
2026-07-07 08:12:58 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 08:18:26 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 248 seconds)
2026-07-07 08:30:19 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 08:35:35 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 245 seconds)
2026-07-07 08:36:32 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2026-07-07 08:37:43 +0000k3ut0i(~keutoi@182.65.248.188) (Ping timeout: 276 seconds)
2026-07-07 08:42:23 +0000merijn(~merijn@77.242.116.146) merijn
2026-07-07 08:46:16 +0000Macrobe(~Macrobe@2a02:3035:627:17fe:8446:12ed:de35:93b4)
2026-07-07 08:47:26 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 08:51:34 +0000 <Macrobe> Hi. I’m stuck trying to find a good solution for a 2d array of (Char,SomeMetadata). (Think terminal application offscreen buffer.) Array seems to not offer a function “get my all elements in the range (10,10) to (20,50)” for example. And folding is also useless because how to fold it to a string depends on the index. (To unline when using
2026-07-07 08:51:35 +0000 <Macrobe> putStr.)
2026-07-07 08:52:49 +0000fp(~Thunderbi@130.233.70.229) (Ping timeout: 245 seconds)
2026-07-07 08:53:07 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 259 seconds)
2026-07-07 08:53:22 +0000 <Macrobe> (I’d also ideally prefer it be an unboxed 2D array of characters and another unboxed 2D array for each element in SomeMetadata.
2026-07-07 08:53:24 +0000 <Macrobe> )
2026-07-07 08:57:20 +0000 <Macrobe> It is quite unfortunate that Haskell’s natural data type for this, [String], is basically a large amount of pointers with some data sprinkled in. ;) … (And Data.Text is throwing a hissy fit whenever it finds something Unicode doesn’t approve of, so no good for anything but actual Text. ;)
2026-07-07 08:59:21 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2026-07-07 08:59:27 +0000 <Macrobe> I wish I could just do OverloadedLists for some unboxed 2D array. But UArray basically doesn’t support *actually getting your data back* except by single-indexing or by folding/traversing (which keeps the actual index a closely guarded secret. ;)
2026-07-07 09:00:38 +0000 <bwe> How do I collect results of multiple threads into an MVar and return it as [a]? https://play.haskell.org/saved/voifchHD
2026-07-07 09:02:49 +0000 <bwe> `tryPutMVar` just puts in a value and doesn't append it. `withMVar` or `modifyMVar` modulate a non-empty MVar (afaik); which would not cover the case of an initially empty MVar.
2026-07-07 09:04:48 +0000 <dutchie> do you not want a Chan instead?
2026-07-07 09:05:08 +0000fp(~Thunderbi@130.233.70.229) fp
2026-07-07 09:05:57 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 09:11:19 +0000merijn(~merijn@77.242.116.146) merijn
2026-07-07 09:12:17 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 273 seconds)
2026-07-07 09:13:31 +0000 <bwe> dutchie: yup, didn't know about it. That works now, however, it blocks indefinitely: https://play.haskell.org/saved/lumf6Nbt
2026-07-07 09:16:25 +0000 <mauke> well, yes
2026-07-07 09:16:38 +0000 <tomsmeding> Macrobe: how is [String] more natural than Array (Int, Int)? :p
2026-07-07 09:17:07 +0000 <tomsmeding> Macrobe: String is also no less hissy than Text, it's just a different thing that does the hissing
2026-07-07 09:17:14 +0000 <mauke> you're trying to get an infinite list of channel contents, but you have no more writers AFAICS
2026-07-07 09:17:30 +0000 <tomsmeding> mauke: if you want bytes, use ByteString instead of Text, but a terminal cell can contain more than one byte in case of unicode codepoints
2026-07-07 09:17:34 +0000 <tomsmeding> Macrobe: ^
2026-07-07 09:17:36 +0000 <tomsmeding> sorry
2026-07-07 09:18:45 +0000acidjnk(~acidjnk@p200300d6e74def92b2d4b736fced65bf.dip0.t-ipconnect.de) acidjnk
2026-07-07 09:23:50 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 09:26:09 +0000leppard(~noOne@ipservice-092-209-218-237.092.209.pools.vodafone-ip.de) (Quit: KVIrc 5.2.10 Quasar http://www.kvirc.net/)
2026-07-07 09:26:18 +0000berberman(~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in)
2026-07-07 09:26:30 +0000leppard(~noOne@ipservice-092-209-218-237.092.209.pools.vodafone-ip.de) Inline
2026-07-07 09:26:56 +0000leppard(~noOne@ipservice-092-209-218-237.092.209.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2026-07-07 09:27:10 +0000 <Macrobe> tomsmeding: Well, I’ll just point to the existence of OverloadedStrings and OverloadedLists to answer that. :)
2026-07-07 09:27:29 +0000 <tomsmeding> sure. :P
2026-07-07 09:27:50 +0000 <tomsmeding> but you were complaining about getting 2D subarrays, which is natural with neither :p
2026-07-07 09:28:22 +0000 <Macrobe> tomsmeding: Okay, you are correct in that regard. :-)
2026-07-07 09:28:31 +0000berberman(~berberman@user/berberman) berberman
2026-07-07 09:28:45 +0000 <tomsmeding> Macrobe: by the way, IsList is a normal type class, you can write your own instances ;)
2026-07-07 09:28:47 +0000 <Macrobe> tomsmeding: [[a]] certainly feels “natural”
2026-07-07 09:29:14 +0000Macrobe92(~Macrobe@2a02:3035:627:17fe:8446:12ed:de35:93b4)
2026-07-07 09:29:14 +0000 <tomsmeding> newtype Buffer = Buffer (Array (Int, Int) Char); instance IsList Buffer where { type Item Buffer = String; ... }
2026-07-07 09:29:21 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 251 seconds)
2026-07-07 09:29:21 +0000 <Macrobe92> tomsmeding: UArray isn’t an instance, sadly
2026-07-07 09:30:25 +0000 <Macrobe92> Damn, the Libera web IRC client makes a new nickname each time I disconnect (I have a bad mobile connection). I’m sorry, it may become messy.
2026-07-07 09:30:42 +0000 <tomsmeding> it's because your previous connection is still around
2026-07-07 09:31:07 +0000 <tomsmeding> if the connection was lost because your side lost, well, connection, the server doesn't get a notification from that (it just gets nothing, after all)
2026-07-07 09:31:14 +0000 <Macrobe92> Yup. The client should be smarter and not even consider it disconnected so quickly. But whatevet. We’ll survive. :)
2026-07-07 09:31:16 +0000 <tomsmeding> so it only assumes the connection is dropped after the usual timeout of a couple minutes
2026-07-07 09:31:19 +0000nft_slut(~nft_slut@2001:1960:600b:1483:8484:af02:cfba:196b)
2026-07-07 09:31:39 +0000 <tomsmeding> if you have your nickname registered then you should be able to /nick Macrobe to get back
2026-07-07 09:31:48 +0000 <Macrobe92> tomsmeding: Array is boxed though. So is it right that that means a long block of pointers, one for each char? (cause that’s silly)
2026-07-07 09:32:04 +0000 <tomsmeding> that example was just an example, you can put whatever type you want in there :p
2026-07-07 09:32:19 +0000 <tomsmeding> the point is that IsList is user-definable, and if you make a newtype, you can do it on whatever type too
2026-07-07 09:32:40 +0000 <tomsmeding> so your point about "but OverloadedLists works for [String]" is invalid because it can work for an arbitrary newtype too. >:D
2026-07-07 09:33:07 +0000Macrobe(~Macrobe@2a02:3035:627:17fe:8446:12ed:de35:93b4) (Ping timeout: 245 seconds)
2026-07-07 09:33:13 +0000 <tomsmeding> there it went :)
2026-07-07 09:34:28 +0000 <Macrobe92> Yes, I thought about defining my own `instance Ix i => IsList (UArray (i,i) e where --- I pull out my hair`. I was just disappointed that it wasn’t available. Btw. UArray is deceptive, because it is only unboxed for basic types where it has an implementation. So not for tuples.
2026-07-07 09:35:23 +0000 <tomsmeding> well, not all types can be unboxed!
2026-07-07 09:35:34 +0000 <tomsmeding> so there's nothing deceptive about it, its implementation is just a bit incomplete
2026-07-07 09:35:45 +0000 <tomsmeding> fortunately, there's Data.Vector.Unboxed, which does support tuples :)
2026-07-07 09:37:38 +0000 <Macrobe92> All basic types of kind * can, certainly? There are unboxed tuples, and there is UArray as an unboxed list, and all types of kind * can be represented as a combination of base types (like Int, Char, …), tuples and lists. :D
2026-07-07 09:37:54 +0000 <tomsmeding> how do you unbox a function type?
2026-07-07 09:38:08 +0000 <tomsmeding> or a Set?
2026-07-07 09:38:30 +0000 <Macrobe92> tomsmeding: Data.Vector.Unboxed!! I should have looked!  Thanks! Let’s see what it can do.
2026-07-07 09:38:33 +0000 <tomsmeding> or, indeed, a ByteString, which has variable length?
2026-07-07 09:38:37 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2026-07-07 09:39:33 +0000 <Macrobe92> *looks* … Ooooh… data families… mother of god! XD
2026-07-07 09:39:49 +0000 <tomsmeding> it does a struct-of-arrays transform
2026-07-07 09:40:04 +0000 <tomsmeding> so that U.Vector (Int, Int) will be represented as (U.Vector Int, U.Vector Int)
2026-07-07 09:40:13 +0000 <Macrobe92> Bytestrings are chunked though. Found that out yesterday, again, when coding another project.
2026-07-07 09:40:14 +0000 <tomsmeding> if you want the less-clever encoding, use Data.Vector.Storable
2026-07-07 09:40:23 +0000 <tomsmeding> bytestrings are not chunked, lazy bytestrings are
2026-07-07 09:40:27 +0000 <Macrobe92> nice
2026-07-07 09:40:32 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-07-07 09:41:18 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-07-07 09:41:28 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 09:41:35 +0000 <Macrobe92> tomsmeding: Hmm, damn, I need to verify that. Because I thought I had used strict ones, and they always turned out to use more bytes than the actual data they contained. Which I didn’t want.
2026-07-07 09:42:07 +0000 <tomsmeding> strict bytestrings do have overhead, but it should be only a constant amount (the header on the heap)
2026-07-07 09:42:48 +0000notzmv(~umar@user/notzmv) (Ping timeout: 268 seconds)
2026-07-07 09:42:57 +0000Macrobe78(~Macrobe92@2a02:3035:627:17fe:8446:12ed:de35:93b4)
2026-07-07 09:45:09 +0000 <Macrobe78> In ye olde times, you could just allocate rows*columns*charWidth bytes on the heap, and render it out with a mere memcpy to the area of RAM where the graphics card’s text buffer was. Basically, that is what I want, except a second block on the heap for the metadata.
2026-07-07 09:45:34 +0000 <Macrobe78> I know, I know… Unicode and its crazy code point combinations…
2026-07-07 09:45:45 +0000tomsmedingwas going to shout "unicode!"
2026-07-07 09:46:12 +0000 <Macrobe78> Is Unicode at least Turing-complete already? XYD
2026-07-07 09:46:32 +0000 <tomsmeding> Macrobe78: https://play.haskell.org/saved/Zeh17bBJ
2026-07-07 09:46:52 +0000Macrobe92(~Macrobe@2a02:3035:627:17fe:8446:12ed:de35:93b4) (Ping timeout: 245 seconds)
2026-07-07 09:47:12 +0000 <tomsmeding> it assumes some things by necessity, like the input being rectangular and (in toList) the array having origin (0,0), but it "works"
2026-07-07 09:47:17 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 248 seconds)
2026-07-07 09:47:33 +0000 <tomsmeding> I guess the assumption in toList could be removed
2026-07-07 09:47:34 +0000 <Macrobe78> tomsmeding: Did you just write that for me??
2026-07-07 09:47:43 +0000 <tomsmeding> yes
2026-07-07 09:47:51 +0000 <tomsmeding> to show that it's not so difficult :)
2026-07-07 09:48:21 +0000 <Macrobe78> Wow. I would thank you a lot, if you didn’t also put me to shame with it. XD
2026-07-07 09:48:27 +0000 <tomsmeding> :D
2026-07-07 09:48:39 +0000 <tomsmeding> it wasn't meant to shame, it was meant to teach :)
2026-07-07 09:48:55 +0000 <tomsmeding> because now you can do it for Vector yourself ;)
2026-07-07 09:48:55 +0000 <Macrobe78> I know. I didn’t mean it that way.
2026-07-07 09:49:23 +0000merijn(~merijn@77.242.116.146) merijn
2026-07-07 09:49:41 +0000 <tomsmeding> I don't get to write much haskell these days, I won't pass up an opportunity to hack some haskell randomly :)
2026-07-07 09:50:15 +0000 <Macrobe78> IMHView, shame is not even a bad thing anyway. Its purpose is to tell you what to improve, and motivate you to do so. And improvement and motivation are definitely not bad things. I think the biological flaw is that it feels bad instead of hopeful.
2026-07-07 09:50:53 +0000 <tomsmeding> that's fair
2026-07-07 09:51:14 +0000 <merijn> Macrobe78: If you want detailed control over array layout you can always just use a Storable vector
2026-07-07 09:51:15 +0000 <tomsmeding> and all the power to you for realising that :)
2026-07-07 09:51:21 +0000 <tomsmeding> was suggested :p
2026-07-07 09:51:23 +0000 <Macrobe78> tomsmeding: Well, I maintain a little library for terminal applications that is written entirely in … bash… So you can still feel good. :)-
2026-07-07 09:51:29 +0000RSBach(~RMSBach@24.210.2.24) RMSBach
2026-07-07 09:51:29 +0000 <tomsmeding> :D
2026-07-07 09:51:33 +0000 <tomsmeding> nice
2026-07-07 09:52:28 +0000RMSBach(~RMSBach@24.210.2.24) (Ping timeout: 265 seconds)
2026-07-07 09:52:28 +0000RSBachRMSBach
2026-07-07 09:52:48 +0000Macrobe78dreams at night of implementing glibc entirely in Haskell, using inline-asm, even for the functionality the runtime needs. :D
2026-07-07 09:53:52 +0000tomsmedingsees some circularity problems
2026-07-07 09:54:07 +0000tomsmedingwaves them away with a metacircular interpreter
2026-07-07 09:55:53 +0000Macrobe78uses Tardis monad. It’s super-ineffective!
2026-07-07 09:57:19 +0000 <Macrobe78> Hey, maybe we can start out easy, by launching having a OS with running VM, that runs another OS, that runs a VM, that then is made to take over control of running the outside OS, and see what happens! O:-)
2026-07-07 09:58:07 +0000 <Macrobe78> Bonus points for one of the VMs being a browser and one of the OSes being HTML5
2026-07-07 09:58:26 +0000 <Macrobe78> sorry, I mean webHTML5!
2026-07-07 09:58:54 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 10:04:35 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 272 seconds)
2026-07-07 10:14:03 +0000tremon(~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) tremon
2026-07-07 10:16:18 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-07-07 10:16:44 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-07-07 10:17:00 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 10:24:19 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
2026-07-07 10:25:49 +0000traxex(traxex@user/traxex) (Ping timeout: 265 seconds)
2026-07-07 10:26:07 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2026-07-07 10:28:16 +0000terrorjack(~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat)
2026-07-07 10:32:27 +0000terrorjack(~terrorjac@2a01:4f8:271:2d98::2) terrorjack
2026-07-07 10:33:52 +0000leppard(~noOne@ipservice-092-209-218-223.092.209.pools.vodafone-ip.de) Inline
2026-07-07 10:37:18 +0000merijn(~merijn@77.242.116.146) merijn
2026-07-07 10:39:07 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 251 seconds)
2026-07-07 10:51:58 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 10:55:02 +0000erbium(~erbium@user/erbium) (Ping timeout: 261 seconds)
2026-07-07 10:57:59 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 262 seconds)
2026-07-07 11:04:52 +0000 <[exa]> Macrobe78: btw just curious, what's the more general purpose for that?
2026-07-07 11:05:43 +0000Axma54329(~Axman6@user/axman6) Axman6
2026-07-07 11:05:58 +0000erbium(~erbium@user/erbium) erbium
2026-07-07 11:06:07 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-07-07 11:06:07 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-07-07 11:06:07 +0000haritz(~hrtz@user/haritz) haritz
2026-07-07 11:07:35 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-07-07 11:08:37 +0000yanmaani(~yanmaani@gateway/tor-sasl/yanmaani) (Ping timeout: 252 seconds)
2026-07-07 11:09:22 +0000yanmaani(~yanmaani@gateway/tor-sasl/yanmaani) yanmaani
2026-07-07 11:10:14 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 11:15:36 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 251 seconds)
2026-07-07 11:24:43 +0000Macrobe78(~Macrobe92@2a02:3035:627:17fe:8446:12ed:de35:93b4) (Quit: Client closed)
2026-07-07 11:25:38 +0000ski(~ski@31-208-31-155.cust.bredband2.com) (Ping timeout: 248 seconds)
2026-07-07 11:26:26 +0000xff0x(~xff0x@2405:6580:b080:900:d1ae:17a7:adf:a759)
2026-07-07 11:26:40 +0000ski(~ski@31-208-31-155.cust.bredband2.com)
2026-07-07 11:28:16 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 11:30:56 +0000pfc(~pfc@user/pfc) pfc
2026-07-07 11:33:30 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 245 seconds)
2026-07-07 11:33:48 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-07-07 11:33:55 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2026-07-07 11:35:09 +0000Lord_of_Life_Lord_of_Life
2026-07-07 11:45:23 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 11:51:37 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 251 seconds)
2026-07-07 11:55:31 +0000notzmv(~umar@user/notzmv) notzmv
2026-07-07 11:56:15 +0000angerman(~timui@168.126.6.183) angerman
2026-07-07 12:02:37 +0000danz87563(~danza@user/danza) danza
2026-07-07 12:04:39 +0000danza(~danza@user/danza) (Ping timeout: 252 seconds)
2026-07-07 12:05:04 +0000fp(~Thunderbi@130.233.70.229) (Ping timeout: 256 seconds)
2026-07-07 12:05:22 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 12:07:58 +0000leppard(~noOne@ipservice-092-209-218-223.092.209.pools.vodafone-ip.de) (Quit: KVIrc 5.2.10 Quasar http://www.kvirc.net/)
2026-07-07 12:10:50 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 252 seconds)
2026-07-07 12:16:22 +0000angerman(~timui@168.126.6.183) (Remote host closed the connection)
2026-07-07 12:17:40 +0000Googulator(~Googulato@84-236-126-66.pool.digikabel.hu) (Quit: Client closed)
2026-07-07 12:17:53 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-07-07 12:17:55 +0000Googulator(~Googulato@84-236-126-66.pool.digikabel.hu)
2026-07-07 12:18:19 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-07-07 12:22:54 +0000leppard(~noOne@ipservice-092-209-218-223.092.209.pools.vodafone-ip.de) Inline
2026-07-07 12:23:16 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc)
2026-07-07 12:28:03 +0000traxex(traxex@user/traxex) traxex
2026-07-07 12:29:14 +0000eggplantade(~eggplanta@2600:1702:8450:c370:68e2:8150:e673:9bfc) (Ping timeout: 255 seconds)
2026-07-07 12:33:23 +0000fp(~Thunderbi@130.233.70.229) fp