IRCBrowse

2024/10/01

2024-10-01 00:03:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-01 00:04:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-01 00:04:01 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-01 00:06:36 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-01 00:12:16 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2024-10-01 00:15:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 00:16:28 +0200polyphem(~rod@pd9fbf2fe.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-10-01 00:16:46 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-10-01 00:20:19 +0200juri_(~juri@implicitcad.org) (Ping timeout: 260 seconds)
2024-10-01 00:20:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-01 00:31:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 00:32:10 +0200juri_(~juri@implicitcad.org) juri_
2024-10-01 00:36:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-01 00:47:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 00:52:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-01 00:53:20 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-10-01 00:58:57 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds)
2024-10-01 01:03:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 01:08:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-01 01:08:36 +0200gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2024-10-01 01:08:44 +0200gmg(~user@user/gehmehgeh) (Killed (NickServ (Forcing logout gmg -> gehmehgeh)))
2024-10-01 01:08:44 +0200gehmehgehgmg
2024-10-01 01:11:42 +0200troojg(~troojg@user/troojg) troojg
2024-10-01 01:18:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 01:23:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-01 01:28:00 +0200ystael(~ystael@user/ystael) (Ping timeout: 246 seconds)
2024-10-01 01:34:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 01:39:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-01 01:44:24 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-10-01 01:50:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 01:55:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-01 01:56:10 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 265 seconds)
2024-10-01 02:00:01 +0200SheShelob
2024-10-01 02:01:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 02:06:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-01 02:10:43 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-10-01 02:11:04 +0200Inst(~Inst@user/Inst) Inst
2024-10-01 02:12:07 +0200Typedfern(~Typedfern@2a02:9130:9c24:82f5:944f:4f4:c394:420c) (Ping timeout: 265 seconds)
2024-10-01 02:15:12 +0200troojg(~troojg@user/troojg) (Ping timeout: 276 seconds)
2024-10-01 02:17:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 02:17:26 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-01 02:22:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-01 02:24:11 +0200glguyghoulguy
2024-10-01 02:27:33 +0200xff0x(~xff0x@2405:6580:b080:900:4c01:617c:3138:9e79) (Ping timeout: 276 seconds)
2024-10-01 02:30:15 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-10-01 02:32:28 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-10-01 02:32:55 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 02:34:05 +0200califax(~califax@user/califx) califx
2024-10-01 02:37:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-01 02:42:05 +0200identity(~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-10-01 02:43:52 +0200yegor(~yegor@2600:1700:b4e0:5c40:1840:4d6f:7885:4a1f)
2024-10-01 02:44:31 +0200yegor(~yegor@2600:1700:b4e0:5c40:1840:4d6f:7885:4a1f) (Client Quit)
2024-10-01 02:48:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 02:49:32 +0200Typedfern(~Typedfern@2a02:9130:9c24:82f5:4f04:a42e:208:7303) typedfern
2024-10-01 02:50:00 +0200pavonia(~user@user/siracusa) siracusa
2024-10-01 02:55:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-01 02:55:45 +0200weary-traveler(~user@user/user363627) user363627
2024-10-01 02:57:35 +0200user363627(~user@user/user363627) user363627
2024-10-01 02:58:02 +0200Typedfern(~Typedfern@2a02:9130:9c24:82f5:4f04:a42e:208:7303) (Ping timeout: 265 seconds)
2024-10-01 03:00:23 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-10-01 03:01:27 +0200weary-traveler(~user@user/user363627) (Ping timeout: 246 seconds)
2024-10-01 03:05:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 03:10:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-01 03:10:51 +0200Typedfern(~Typedfern@2a02:9130:9c26:3f45:e762:4d01:5cf8:fdfe) typedfern
2024-10-01 03:11:05 +0200td_(~td@i53870928.versanet.de) (Ping timeout: 265 seconds)
2024-10-01 03:13:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-01 03:16:24 +0200Typedfern(~Typedfern@2a02:9130:9c26:3f45:e762:4d01:5cf8:fdfe) (Ping timeout: 265 seconds)
2024-10-01 03:21:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 03:23:31 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-10-01 03:26:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-01 03:35:26 +0200troojg(~troojg@user/troojg) troojg
2024-10-01 03:35:59 +0200Typedfern(~Typedfern@2a02:9130:9c26:3f45:dc4d:6c68:eb4:c8f3) typedfern
2024-10-01 03:37:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 03:42:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-01 03:50:42 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-10-01 03:53:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 04:00:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-01 04:04:47 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-10-01 04:08:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-01 04:11:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 04:16:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-01 04:26:13 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-10-01 04:27:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 04:27:32 +0200td_(~td@i53870916.versanet.de)
2024-10-01 04:30:09 +0200troojg(~troojg@user/troojg) (Ping timeout: 260 seconds)
2024-10-01 04:30:35 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-10-01 04:32:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-01 04:36:06 +0200td_(~td@i53870916.versanet.de) (Ping timeout: 252 seconds)
2024-10-01 04:36:40 +0200ghoulguy(glguy@libera/staff/glguy) (Read error: Connection reset by peer)
2024-10-01 04:36:58 +0200glguy(glguy@libera/staff/glguy) glguy
2024-10-01 04:38:22 +0200glguyghoulguy
2024-10-01 04:39:42 +0200weary-traveler(~user@user/user363627) user363627
2024-10-01 04:42:48 +0200td_(~td@83.135.9.60)
2024-10-01 04:43:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 04:43:04 +0200user363627(~user@user/user363627) (Ping timeout: 252 seconds)
2024-10-01 04:47:30 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds)
2024-10-01 04:48:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-01 04:54:47 +0200ababaiem(~igloo@188.189.1.107)
2024-10-01 04:58:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 05:02:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2024-10-01 05:03:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-01 05:04:19 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-10-01 05:06:09 +0200aforemny_(~aforemny@2001:9e8:6cd4:700:eda4:904a:ed7b:86ce) (Ping timeout: 260 seconds)
2024-10-01 05:06:10 +0200aforemny(~aforemny@2001:9e8:6cf6:1000:840d:bc9f:afbf:3f25) aforemny
2024-10-01 05:12:45 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-01 05:14:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 05:19:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-10-01 05:27:23 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds)
2024-10-01 05:27:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-10-01 05:30:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 05:35:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-01 05:41:49 +0200spew(~spew@201.141.99.170) (Quit: spew)
2024-10-01 05:42:27 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2024-10-01 05:43:08 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-10-01 05:44:08 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 245 seconds)
2024-10-01 05:46:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 05:51:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-01 05:57:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 06:02:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-01 06:03:22 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer)
2024-10-01 06:04:30 +0200infinity0(~infinity0@pwned.gg) infinity0
2024-10-01 06:06:04 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-10-01 06:13:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 06:18:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-01 06:29:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 06:30:44 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-10-01 06:32:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-01 06:34:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-01 06:39:49 +0200michalz(~michalz@185.246.207.221)
2024-10-01 06:45:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 06:49:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-01 06:50:15 +0200ababaiem(~igloo@188.189.1.107) (Remote host closed the connection)
2024-10-01 07:00:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 07:07:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-01 07:12:17 +0200dtman34(~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 248 seconds)
2024-10-01 07:17:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 07:19:36 +0200dtman34(~dtman34@2601:447:d080:1a3c:e9e9:5bc8:51:a5ea) dtman34
2024-10-01 07:22:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-01 07:24:45 +0200aforemny(~aforemny@2001:9e8:6cf6:1000:840d:bc9f:afbf:3f25) (Ping timeout: 252 seconds)
2024-10-01 07:24:55 +0200aforemny_(~aforemny@i59F4C5B0.versanet.de) aforemny
2024-10-01 07:27:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-10-01 07:27:40 +0200andrewboltachev(~andrey@178.141.123.3) andrewboltachev
2024-10-01 07:30:09 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-10-01 07:33:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 07:38:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-01 07:44:14 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-10-01 07:44:34 +0200Inst(~Inst@user/Inst) Inst
2024-10-01 07:48:34 +0200CiaoSen(~Jura@2a05:5800:2e5:b900:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-01 07:49:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 07:57:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-01 07:58:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 07:59:05 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2024-10-01 08:07:09 +0200pie_(~pie_bnc@user/pie/x-2818909) ()
2024-10-01 08:07:23 +0200pie_(~pie_bnc@user/pie/x-2818909) __
2024-10-01 08:07:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-01 08:09:59 +0200araujo(~araujo@45.146.54.89) araujo
2024-10-01 08:16:52 +0200floyza(~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2024-10-01 08:18:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 08:21:37 +0200araujo(~araujo@45.146.54.89) (Quit: Leaving)
2024-10-01 08:23:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-01 08:27:16 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-10-01 08:28:31 +0200araujo(~araujo@45.146.54.89) araujo
2024-10-01 08:32:39 +0200araujo(~araujo@45.146.54.89) (Remote host closed the connection)
2024-10-01 08:34:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 08:39:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-01 08:39:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-01 08:39:44 +0200araujo(~araujo@45.146.54.89) araujo
2024-10-01 08:41:03 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-10-01 08:42:42 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-01 08:42:51 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 252 seconds)
2024-10-01 08:44:13 +0200briandaed(~root@185.234.210.211.r.toneticgroup.pl)
2024-10-01 08:44:58 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-10-01 08:47:57 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-01 08:49:22 +0200athan_(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-10-01 08:49:25 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 248 seconds)
2024-10-01 08:50:19 +0200flocks_flocks
2024-10-01 08:50:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 08:51:38 +0200dunj3(~dunj3@2a01:239:328:1600::1)
2024-10-01 08:54:10 +0200Shires(~Shires@81.170.22.200)
2024-10-01 08:55:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-01 08:57:26 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2024-10-01 08:59:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 09:00:01 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-01 09:00:48 +0200caconym(~caconym@user/caconym) caconym
2024-10-01 09:01:02 +0200Shires(~Shires@81.170.22.200) ()
2024-10-01 09:01:14 +0200kuribas(~user@2a02:1808:82:158e:425f:d9e:57f3:742b)
2024-10-01 09:05:55 +0200kuribas`(~user@ptr-ixstlpep4fshqd0.0000808120a2.ip6.access.telenet.be) kuribas
2024-10-01 09:07:47 +0200kuribas(~user@2a02:1808:82:158e:425f:d9e:57f3:742b) (Ping timeout: 265 seconds)
2024-10-01 09:09:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-01 09:12:37 +0200Typedfern(~Typedfern@2a02:9130:9c26:3f45:dc4d:6c68:eb4:c8f3) (Ping timeout: 265 seconds)
2024-10-01 09:15:02 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 265 seconds)
2024-10-01 09:29:59 +0200Typedfern(~Typedfern@124.red-83-37-29.dynamicip.rima-tde.net) typedfern
2024-10-01 09:33:18 +0200araujo(~araujo@45.146.54.89) (Remote host closed the connection)
2024-10-01 09:33:49 +0200kuribas`(~user@ptr-ixstlpep4fshqd0.0000808120a2.ip6.access.telenet.be) (Ping timeout: 244 seconds)
2024-10-01 09:40:09 +0200araujo(~araujo@45.146.54.89) araujo
2024-10-01 09:46:07 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-10-01 09:46:22 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-01 09:46:27 +0200td_(~td@83.135.9.60) (Ping timeout: 265 seconds)
2024-10-01 09:47:13 +0200sourcetarius(~sourcetar@user/sourcetarius) sourcetarius
2024-10-01 09:47:38 +0200chele(~chele@user/chele) chele
2024-10-01 09:51:42 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-01 09:52:55 +0200td_(~td@i5387093B.versanet.de) td_
2024-10-01 10:00:09 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-01 10:10:42 +0200 <haskellbridge> <thirdofmay18081814goya> what's a way to think about UI responsiveness? reponsiveness here understood as automatic reformating/rerendering of the program to be well-suited to the viewer's screen, e.g. in a mobile app
2024-10-01 10:11:14 +0200 <haskellbridge> <thirdofmay18081814goya> probably would like to distinguish some sort of "core" of the program from responsiveness, which doesn't seem essential to determine the meaning of the program
2024-10-01 10:11:32 +0200 <haskellbridge> <thirdofmay18081814goya> is responsiveness just an effect like any other?
2024-10-01 10:13:00 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 246 seconds)
2024-10-01 10:14:36 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-01 10:14:40 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-10-01 10:16:11 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2024-10-01 10:25:06 +0200ft(~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: leaving)
2024-10-01 10:26:16 +0200 <haskellbridge> <thirdofmay18081814goya> hm DOMs probably provide a good justification to model GUIs as trees, and then responsiveness can be treated as some sort of embedding of such trees into a context
2024-10-01 10:27:54 +0200down200(~down200@shell.lug.mtu.edu) (Ping timeout: 276 seconds)
2024-10-01 10:29:09 +0200 <tomsmeding> do note that many a (well-designed) website switches to a significantly different layout when viewed on a small enough screen
2024-10-01 10:29:26 +0200 <probie> I doubt it. Minor changes to the tree can have drastic changes to the UI
2024-10-01 10:29:33 +0200 <tomsmeding> i.e. a layout that cannot just be achieved by inserting or removing line breaks between tree elements
2024-10-01 10:30:28 +0200 <tomsmeding> think also of things like: having a collapsible menu on mobile instead of a toolbar at the top on desktop
2024-10-01 10:30:29 +0200 <haskellbridge> <thirdofmay18081814goya> hm..... right
2024-10-01 10:30:30 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-01 10:30:47 +0200down200(~down200@shell.lug.mtu.edu) down200
2024-10-01 10:31:03 +0200 <tomsmeding> some people don't like that, but it's a valid design decision that has reasons behind it (conforming to the UI expectations of a different platform)
2024-10-01 10:31:46 +0200 <tomsmeding> (never mind that it's often implemented as page width check, meaning that a narrow desktop browser window may trigger the mobile UI, which is not ideal)
2024-10-01 10:32:03 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-10-01 10:32:34 +0200 <tomsmeding> for simple websites, heuristics based on rearranging the tree may work well, but if you have precise requirements then that may not cut it
2024-10-01 10:33:46 +0200 <tomsmeding> s/websites/UIs/
2024-10-01 10:33:52 +0200 <haskellbridge> <thirdofmay18081814goya> can we not think first of some sort of tree which models, not layout, but order of appearance to a user? this is then is an immutable tree which could capture the core, non-responsive aspect of the application
2024-10-01 10:34:24 +0200 <tomsmeding> if you sufficiently abstract the content from the presentation, and allow writing a bespoke renderer, then sure you can do this
2024-10-01 10:35:07 +0200 <tomsmeding> but then that solution is not necessarily very specific to "responsiveness" :)
2024-10-01 10:38:54 +0200 <haskellbridge> <thirdofmay18081814goya> maybe then responsiveness could appear as some sort of map from this order-of-appearance tree to something else? e.g. if an application has three possible layout readjustments, responsiveness could be modeled as a map from the order-of-appearance tree in one of three domains, and each of these domains internally model continuous deformations on the GUI within a certain threshold?
2024-10-01 10:39:09 +0200 <haskellbridge> <thirdofmay18081814goya> i don't know, maybe these domains are also trees?
2024-10-01 10:39:15 +0200 <tomsmeding> sounds reasonable
2024-10-01 10:53:31 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2024-10-01 10:53:35 +0200 <haskellbridge> <thirdofmay18081814goya> oooooo if we reverse the direction we get a function that's surjective but not injective and the immutable tree can be thought of as some sort semantics
2024-10-01 10:54:18 +0200 <tomsmeding> is that reverse a function at all?
2024-10-01 10:54:29 +0200 <tomsmeding> is it not possible for multiple "content trees" to result in the same layouts?
2024-10-01 10:55:02 +0200misterfish(~misterfis@094190207253.static.ipv4.heldenvannu.net) misterfish
2024-10-01 10:55:06 +0200 <haskellbridge> <thirdofmay18081814goya> tomsmeding: hm an interested in this, would you have a short example?
2024-10-01 10:55:12 +0200 <tomsmeding> not sure!
2024-10-01 10:55:20 +0200 <tomsmeding> it just feels like an unnecessary restriction on the layouting process
2024-10-01 10:55:53 +0200 <tomsmeding> a classical example, though about text formatting and not about layout, is emphasis vs italics
2024-10-01 10:56:30 +0200 <tomsmeding> in TeX, the italics command makes its argument, well, in italics font; the emphasis command does the same thing (output is indistinguishable), but _nesting_ emphasis commands makes the inner text upright again
2024-10-01 10:56:38 +0200 <tomsmeding> "emphasis within italics is upright text"
2024-10-01 10:57:15 +0200 <tomsmeding> not sure if you'd have something like this in layouting, but I wouldn't be surprised if you do
2024-10-01 10:57:32 +0200 <haskellbridge> <thirdofmay18081814goya> that's a great example ty will be thinking about it
2024-10-01 10:57:35 +0200 <geekosaur> which has been the convention in books for over a century
2024-10-01 10:57:56 +0200 <tomsmeding> I have seen emphasis-within-italics few enough times in my life that I cannot judge that :p
2024-10-01 10:58:11 +0200 <tomsmeding> I just know that TeX does this
2024-10-01 10:59:12 +0200 <tomsmeding> (to be honest I always find it somewhat unsightly to see upright text within italics as meaning emphasis, but that's perhaps just me)
2024-10-01 11:03:39 +0200vglfr(~vglfr@2601:14d:4701:3b30:c3ef:3b3e:5ca1:502f) (Ping timeout: 276 seconds)
2024-10-01 11:18:51 +0200 <geekosaur> books didn't have many other options back then
2024-10-01 11:19:07 +0200 <geekosaur> (physical lead type; phototypesetting wasn't a thing)
2024-10-01 11:20:00 +0200 <tomsmeding> no underlining available?
2024-10-01 11:20:12 +0200 <tomsmeding> probably other people find that even more unsightly
2024-10-01 11:20:25 +0200 <tomsmeding> I guess with typographical restrictions like that it makes much more sense to do this
2024-10-01 11:20:35 +0200 <tomsmeding> (and hence I wouldn't be annoyed about it)
2024-10-01 11:21:08 +0200 <eugenrh> thirdofmay18081814goya, for what you mean by responsiveness, I've seen in use the term 'convergence'.
2024-10-01 11:21:26 +0200 <eugenrh> Quote: "Convergence can also refer to being able to run the same app across different devices and being able to develop apps for different devices (such as smartphones, TVs and desktop computers) at once, with the same code base." https://en.wikipedia.org/wiki/Technological_convergence
2024-10-01 11:21:42 +0200 <tomsmeding> that sounds like something broader than just layout adaptation
2024-10-01 11:21:49 +0200 <tomsmeding> "responsiveness" is a term from web development
2024-10-01 11:22:12 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-10-01 11:23:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-01 11:28:21 +0200 <geekosaur> re underlining, you could get such type, but the more kinds of type you required the more expensive printing was. even bold was often simulated as a result ("typewriter bold")
2024-10-01 11:28:39 +0200 <tomsmeding> I see
2024-10-01 11:28:51 +0200 <geekosaur> because someone had to unload and reload the leads and an additional printing pass had to be made
2024-10-01 11:29:01 +0200 <tomsmeding> I sometimes see simulated boldface in PDFs and it's unsightly and pointless
2024-10-01 11:30:16 +0200 <geekosaur> yeh, it wasn't so pointless back then though
2024-10-01 11:30:50 +0200 <tomsmeding> of course :)
2024-10-01 11:34:08 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 245 seconds)
2024-10-01 11:35:59 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-10-01 11:38:14 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-10-01 11:38:35 +0200Inst(~Inst@user/Inst) Inst
2024-10-01 11:41:21 +0200shachaf(~shachaf@user/shachaf) (Ping timeout: 252 seconds)
2024-10-01 11:42:13 +0200shachaf(~shachaf@user/shachaf) shachaf
2024-10-01 11:43:47 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds)
2024-10-01 11:46:08 +0200vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr
2024-10-01 11:49:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-01 11:50:44 +0200CiaoSen(~Jura@2a05:5800:2e5:b900:ca4b:d6ff:fec1:99da) (Ping timeout: 244 seconds)
2024-10-01 11:50:45 +0200synchromesh(~john@2406:5a00:241a:5600:a1ef:6d76:30da:3d0e) (Read error: Connection reset by peer)
2024-10-01 11:51:27 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) synchromesh
2024-10-01 11:52:00 +0200araujo(~araujo@45.146.54.89) (Remote host closed the connection)
2024-10-01 11:57:55 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-10-01 12:03:39 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-10-01 12:04:04 +0200Inst(~Inst@user/Inst) Inst
2024-10-01 12:05:47 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2024-10-01 12:11:39 +0200bairyn(~bairyn@50.250.232.19) (Ping timeout: 246 seconds)
2024-10-01 12:11:47 +0200bairyn(~bairyn@50.250.232.19) ByronJohnson
2024-10-01 12:18:34 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2024-10-01 12:26:42 +0200sourcetarius(~sourcetar@user/sourcetarius) (Ping timeout: 246 seconds)
2024-10-01 12:29:21 +0200identity(~identity@user/ZharMeny) identity
2024-10-01 12:31:43 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-01 12:36:26 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-10-01 12:39:21 +0200misterfish(~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds)
2024-10-01 12:39:40 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-01 12:40:07 +0200__monty__(~toonn@user/toonn) toonn
2024-10-01 12:40:26 +0200lortabac(~lortabac@88-125-6-227.subs.proxad.net)
2024-10-01 12:44:37 +0200misterfish(~misterfis@094190207253.static.ipv4.heldenvannu.net) misterfish
2024-10-01 12:46:45 +0200xff0x(~xff0x@ai080132.d.east.v6connect.net)
2024-10-01 12:49:11 +0200petrichor(~znc-user@user/petrichor) (Read error: Connection reset by peer)
2024-10-01 12:50:15 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2024-10-01 12:51:49 +0200merijn(~merijn@77.242.116.146) merijn
2024-10-01 12:57:44 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-10-01 13:00:05 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-01 13:02:41 +0200caconym(~caconym@user/caconym) caconym
2024-10-01 13:03:25 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-10-01 13:05:06 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-10-01 13:08:34 +0200misterfish(~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 260 seconds)
2024-10-01 13:19:53 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-10-01 13:36:47 +0200misterfish(~misterfis@87.215.131.102) misterfish
2024-10-01 13:43:26 +0200athan_(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-10-01 13:44:25 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-01 13:48:40 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-01 13:53:08 +0200ababaiem(~igloo@188.189.1.107)
2024-10-01 13:53:49 +0200ababaiem(~igloo@188.189.1.107) (Max SendQ exceeded)
2024-10-01 13:55:29 +0200CiaoSen(~Jura@2a05:5800:2e5:b900:ca4b:d6ff:fec1:99da) CiaoSen
2024-10-01 13:57:13 +0200ababaiem(~igloo@188.189.1.107)
2024-10-01 13:58:19 +0200drdo(~drdo@bl9-110-63.dsl.telepac.pt) drdo
2024-10-01 13:58:50 +0200ladyfridaymrmonday
2024-10-01 14:01:57 +0200ababaiem(~igloo@188.189.1.107) (Ping timeout: 248 seconds)
2024-10-01 14:11:31 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-10-01 14:22:09 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2024-10-01 14:25:27 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-10-01 14:31:12 +0200floyza(~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown
2024-10-01 14:33:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-01 14:51:01 +0200shapr(~user@2601:19c:417e:5434:1e01:70a:386c:dba5) shapr
2024-10-01 14:51:06 +0200 <shapr> GOOD MORNING
2024-10-01 14:54:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-01 14:58:47 +0200 <shapr> @quote
2024-10-01 14:58:47 +0200 <lambdabot> earthy says: <earthy> the volume of a pizza with radius z and height a is pi * z * z * a...
2024-10-01 15:02:34 +0200ubert(~Thunderbi@178.165.166.66.wireless.dyn.drei.com) ubert
2024-10-01 15:03:27 +0200ubert(~Thunderbi@178.165.166.66.wireless.dyn.drei.com) (Remote host closed the connection)
2024-10-01 15:04:04 +0200st_aldini(~Thunderbi@136.48.22.91) (Quit: st_aldini)
2024-10-01 15:05:50 +0200 <tomsmeding> good quote
2024-10-01 15:07:08 +0200weary-traveler(~user@user/user363627) user363627
2024-10-01 15:07:30 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-10-01 15:18:02 +0200ystael(~ystael@user/ystael) ystael
2024-10-01 15:35:50 +0200nkatte(~nkatte@2804:14c:87de:706b:dc54:3091:78f1:e245)
2024-10-01 15:46:57 +0200CiaoSen(~Jura@2a05:5800:2e5:b900:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds)
2024-10-01 15:48:03 +0200lortabac(~lortabac@88-125-6-227.subs.proxad.net) (Quit: WeeChat 4.2.2)
2024-10-01 15:58:58 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) (Read error: Connection reset by peer)
2024-10-01 16:00:06 +0200synchromesh(~john@2406:5a00:241a:5600:6102:87a5:44b3:29a3) synchromesh
2024-10-01 16:06:59 +0200 <haskellbridge> <sm> good morning shapr
2024-10-01 16:07:54 +0200 <shapr> o/
2024-10-01 16:08:39 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-01 16:09:43 +0200EvanR(~EvanR@user/evanr) EvanR
2024-10-01 16:11:17 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-01 16:31:29 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-10-01 16:33:26 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-10-01 16:33:53 +0200petrichor(~znc-user@user/petrichor) (Remote host closed the connection)
2024-10-01 16:33:59 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-01 16:36:01 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-10-01 16:36:09 +0200biberu(~biberu@user/biberu) (Quit: ZNC - https://znc.in)
2024-10-01 16:36:29 +0200biberu(~biberu@user/biberu) biberu
2024-10-01 16:48:40 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-10-01 16:48:48 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 276 seconds)
2024-10-01 16:52:45 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2024-10-01 16:56:39 +0200floyza(~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2024-10-01 16:59:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-01 17:00:32 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-01 17:03:01 +0200califax(~califax@user/califx) (Ping timeout: 260 seconds)
2024-10-01 17:03:23 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-01 17:04:20 +0200califax(~califax@user/califx) califx
2024-10-01 17:10:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-01 17:17:10 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-10-01 17:18:49 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-10-01 17:19:04 +0200shapr(~user@2601:19c:417e:5434:1e01:70a:386c:dba5) (Quit: lunchtime)
2024-10-01 17:20:21 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-10-01 17:20:21 +0200ljdarj1ljdarj
2024-10-01 17:22:15 +0200vulpineghoulpine
2024-10-01 17:36:41 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2024-10-01 17:37:02 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-01 17:40:07 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 265 seconds)
2024-10-01 17:43:20 +0200kritzefitz(~kritzefit@debian/kritzefitz) kritzefitz
2024-10-01 17:45:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-01 17:47:29 +0200ph88(~ph88@ip5b403f30.dynamic.kabel-deutschland.de) ph88
2024-10-01 17:59:10 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-10-01 17:59:48 +0200petrichor(~znc-user@user/petrichor) (Read error: Connection reset by peer)
2024-10-01 18:01:10 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-10-01 18:01:18 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2024-10-01 18:02:08 +0200petrichor(~znc-user@user/petrichor) (Read error: Connection reset by peer)
2024-10-01 18:02:49 +0200A_DragonAwoobis
2024-10-01 18:05:20 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-10-01 18:05:29 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2024-10-01 18:05:53 +0200ph88(~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-10-01 18:06:39 +0200petrichor(~znc-user@user/petrichor) (Read error: Connection reset by peer)
2024-10-01 18:09:52 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-10-01 18:10:54 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-10-01 18:25:54 +0200polyphem(~rod@p3ee3f6df.dip0.t-ipconnect.de) polyphem
2024-10-01 18:29:05 +0200mari-estel(~mari-este@2a02:3032:30c:9cd5:216:3eff:fe65:4eef)
2024-10-01 18:30:47 +0200hgolden__(~hgolden@23.162.40.69) (Remote host closed the connection)
2024-10-01 18:31:06 +0200hgolden__(~hgolden@23.162.40.69) hgolden
2024-10-01 18:31:07 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Quit: Ping timeout (120 seconds))
2024-10-01 18:31:26 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) sciencentistguy
2024-10-01 18:34:46 +0200byte(~byte@149.28.222.189) (Remote host closed the connection)
2024-10-01 18:35:03 +0200byte(~byte@149.28.222.189)
2024-10-01 18:47:39 +0200bilegeek(~bilegeek@2600:1008:b042:dc1f:46ed:459d:fa73:5af1) bilegeek
2024-10-01 18:52:52 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-10-01 18:57:45 +0200alp_(~alp@2001:861:e3d6:8f80:ae1f:5c06:1786:e17)
2024-10-01 19:01:53 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-10-01 19:06:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 19:08:26 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-10-01 19:09:07 +0200jinsun(~jinsun@user/jinsun) jinsun
2024-10-01 19:11:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-01 19:12:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 19:16:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-10-01 19:17:56 +0200ft(~ft@p4fc2acce.dip0.t-ipconnect.de) ft
2024-10-01 19:20:52 +0200byte(~byte@149.28.222.189) (Remote host closed the connection)
2024-10-01 19:21:09 +0200byte(~byte@149.28.222.189)
2024-10-01 19:22:09 +0200KicksonButt(~quassel@187.21.174.221)
2024-10-01 19:22:42 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-10-01 19:25:02 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds)
2024-10-01 19:27:41 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-01 19:27:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 19:28:21 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds)
2024-10-01 19:30:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-01 19:30:15 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-01 19:32:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-10-01 19:34:58 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-10-01 19:37:28 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-10-01 19:37:57 +0200ystael(~ystael@user/ystael) (Ping timeout: 248 seconds)
2024-10-01 19:40:13 +0200hacklsch1hacklschorsch
2024-10-01 19:40:22 +0200shapr(~user@50.207.75.98) shapr
2024-10-01 19:42:15 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-10-01 19:43:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 19:46:13 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-10-01 19:48:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-01 19:51:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-01 19:56:28 +0200ystael(~ystael@user/ystael) ystael
2024-10-01 19:57:27 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-10-01 19:58:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 20:01:56 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-10-01 20:03:50 +0200 <shapr> @quote
2024-10-01 20:03:50 +0200 <lambdabot> DigitalKiwi says: monochrom: i want edwardk to take one of your courses
2024-10-01 20:07:49 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 248 seconds)
2024-10-01 20:10:33 +0200 <geekosaur> lol
2024-10-01 20:12:37 +0200kmein(~weechat@user/kmein) (Quit: ciao kakao)
2024-10-01 20:13:01 +0200kmein(~weechat@user/kmein) kmein
2024-10-01 20:14:02 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-10-01 20:14:45 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 248 seconds)
2024-10-01 20:16:25 +0200 <monochrom> hahaha
2024-10-01 20:17:15 +0200 <monochrom> I have seen edwardk's work and also met him in person. He already knows more.
2024-10-01 20:18:54 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu
2024-10-01 20:27:53 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-10-01 20:31:37 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-10-01 20:33:43 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-10-01 20:37:26 +0200 <EvanR> monochrom's Haskell Masterclass
2024-10-01 20:42:49 +0200kmein(~weechat@user/kmein) (Quit: ciao kakao)
2024-10-01 20:43:05 +0200kmein(~weechat@user/kmein) kmein
2024-10-01 20:50:29 +0200kmein(~weechat@user/kmein) (Quit: ciao kakao)
2024-10-01 20:50:48 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-01 20:50:50 +0200kmein(~weechat@user/kmein) kmein
2024-10-01 20:59:37 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-10-01 21:00:01 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-10-01 21:00:07 +0200vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 264 seconds)
2024-10-01 21:00:22 +0200lol_(~lol@2603:3016:1e01:b9e0:9c4e:1030:31bf:f76b)
2024-10-01 21:00:31 +0200vglfr(~vglfr@2607:fb91:1432:514:ad2:e51:e548:621d) vglfr
2024-10-01 21:00:37 +0200caconym(~caconym@user/caconym) caconym
2024-10-01 21:00:44 +0200mari65384(~mari-este@2a02:3032:309:d705:216:3eff:fe65:4eef)
2024-10-01 21:01:07 +0200kmein(~weechat@user/kmein) (Quit: ciao kakao)
2024-10-01 21:01:27 +0200kmein(~weechat@user/kmein) kmein
2024-10-01 21:02:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-01 21:03:07 +0200mari-estel(~mari-este@2a02:3032:30c:9cd5:216:3eff:fe65:4eef) (Ping timeout: 265 seconds)
2024-10-01 21:03:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-01 21:04:00 +0200jcarpenter2(~lol@2603:3016:1e01:b9e0:e851:abc9:7d40:8ecd) (Ping timeout: 246 seconds)
2024-10-01 21:04:02 +0200Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2024-10-01 21:04:16 +0200Axman6(~Axman6@user/axman6) Axman6
2024-10-01 21:06:17 +0200michalz(~michalz@185.246.207.221) (Ping timeout: 255 seconds)
2024-10-01 21:07:14 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-10-01 21:07:25 +0200michalz(~michalz@185.246.207.197)
2024-10-01 21:13:31 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2024-10-01 21:14:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-10-01 21:25:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 21:26:50 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-01 21:29:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-01 21:30:34 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-10-01 21:31:15 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-10-01 21:33:14 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-10-01 21:34:42 +0200ljdarj1(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-10-01 21:35:16 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-01 21:36:53 +0200vglfr(~vglfr@2607:fb91:1432:514:ad2:e51:e548:621d) (Ping timeout: 248 seconds)
2024-10-01 21:36:58 +0200weary-traveler(~user@user/user363627) user363627
2024-10-01 21:38:27 +0200vglfr(~vglfr@2607:fb91:1432:514:ad2:e51:e548:621d) vglfr
2024-10-01 21:38:47 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-10-01 21:40:32 +0200KicksonButt(~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-10-01 21:40:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 21:42:52 +0200vglfr(~vglfr@2607:fb91:1432:514:ad2:e51:e548:621d) (Read error: Connection reset by peer)
2024-10-01 21:45:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-01 21:46:44 +0200briandaed(~root@185.234.210.211.r.toneticgroup.pl) (Ping timeout: 260 seconds)
2024-10-01 21:48:15 +0200shapr(~user@50.207.75.98) (Quit: walkabout)
2024-10-01 21:51:20 +0200vglfr(~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr
2024-10-01 21:52:13 +0200petrichor(~znc-user@user/petrichor) (Read error: Connection reset by peer)
2024-10-01 21:52:29 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-10-01 21:54:16 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2024-10-01 21:55:48 +0200mari65384(~mari-este@2a02:3032:309:d705:216:3eff:fe65:4eef) (Ping timeout: 265 seconds)
2024-10-01 21:56:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 21:57:12 +0200Guest77(~Guest77@2600:1700:2894:990:55e0:1697:76e1:b941)
2024-10-01 21:58:13 +0200mari-estel(~mari-este@2a02:3032:309:d705:216:3eff:fe65:4eef)
2024-10-01 21:58:41 +0200Guest77(~Guest77@2600:1700:2894:990:55e0:1697:76e1:b941) (Client Quit)
2024-10-01 22:00:21 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 248 seconds)
2024-10-01 22:00:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-01 22:03:12 +0200 <dmj`> we need a Haskell masterclass
2024-10-01 22:03:52 +0200 <int-e> class Mistress a where
2024-10-01 22:04:07 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2024-10-01 22:05:01 +0200 <monochrom> Is the dual of that class clown? >:)
2024-10-01 22:05:13 +0200monochromacts like a class clown, you see. :)
2024-10-01 22:05:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-10-01 22:07:35 +0200euphores(~SASL_euph@user/euphores) euphores
2024-10-01 22:08:18 +0200shapr(~user@50.207.75.98) shapr
2024-10-01 22:11:07 +0200Enrico63(~Enrico63@cmbg-18-b2-v4wan-168328-cust3951.vm17.cable.virginm.net) Enrico63
2024-10-01 22:11:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 22:13:54 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2024-10-01 22:16:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-01 22:17:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-10-01 22:19:00 +0200 <Enrico63> Hello. I tried upgrading my GHC from 9.8.2 to 9.10.1, and I only want to keep one because they take space. The point is that installing only 9.10.1 breaks dbus, because the most recent dbus, i.e. https://hackage.haskell.org/package/dbus-1.3.6, wants template-haskell <2.22, but the most recent template-haskell <2.22, i.e.
2024-10-01 22:19:00 +0200 <Enrico63> https://hackage.haskell.org/package/template-haskell-2.21.0.0 requires that base be <4.20, but GHC 9.10.1 ships with base 4.20.0.0. I guess the "bug" here is in the .cabal file of dbus, becuse it has a very loose dependency on base (<5) but a tight dependency on template-haskell (<2.22) which itself depends on base.
2024-10-01 22:19:01 +0200 <Enrico63> What is the correct way to deal with this situtation?
2024-10-01 22:20:25 +0200 <weary-traveler> Enrico63: either update dbus, or use a different version of ghc
2024-10-01 22:20:35 +0200 <weary-traveler> latest isn't always better
2024-10-01 22:20:43 +0200 <monochrom> "correct" depends on why you want to move to 9.10.1, how urgent it is.
2024-10-01 22:21:23 +0200 <monochrom> But in case you insist, then the correct way is to update dbus. You can fork it publicly, fork it privately, ...
2024-10-01 22:22:17 +0200 <monochrom> But you can quickly get a preview by saying --allow-newer to see if there is any issue other than just old bounds that can safely be widened.
2024-10-01 22:22:50 +0200 <monochrom> s/widened/relaxed/ # I hate English
2024-10-01 22:23:39 +0200 <geekosaur> if you want to be safer, `--allow-newer=dbus:template-haskell`
2024-10-01 22:25:11 +0200 <adamCS> might also be worth putting that in a "cabal.project" file because there might be more bounds that need relaxing and it gets messy on the command line...
2024-10-01 22:25:34 +0200 <monochrom> I actually didn't know (but would love to know) that syntax. I guess I should read the manual from cover to cover, like I tell other people to. :)
2024-10-01 22:26:50 +0200 <adamCS> (In cabal.project you would have a line "allow-newer: dbus:template-haskell" and then you can add more of them, separated by commas.
2024-10-01 22:27:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 22:27:15 +0200michalz(~michalz@185.246.207.197) (Remote host closed the connection)
2024-10-01 22:29:18 +0200 <Enrico63> But what's the difference between adding allow-newer: something, and removing the upper bound from something?
2024-10-01 22:29:38 +0200 <geekosaur> it's advisory
2024-10-01 22:29:42 +0200 <Enrico63> Oh, wait, I thought we were talking of the .cabal file, but now I see cabal.project being mentioned :/
2024-10-01 22:30:01 +0200 <Enrico63> Advisory..?
2024-10-01 22:30:09 +0200 <monochrom> Removing upper bounds in *.cabal files sound like very permanent and also international.
2024-10-01 22:30:29 +0200 <monochrom> --allow-newer is just for yourself and you don't have to inflict it on everyone in the world.
2024-10-01 22:30:34 +0200 <adamCS> Allow-newer allows you to do it when compiling something else. So you need not change the other packages. So it allows the solver to pick things forbidden by the bounds and see if they actually compile (and run)
2024-10-01 22:30:45 +0200 <monochrom> cabal.project is also just for yourself.
2024-10-01 22:31:30 +0200 <Enrico63> Ok, I guess I have to stick in my memory that cabal.project is mine and foo.cabal is for everybody?
2024-10-01 22:31:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-10-01 22:31:56 +0200 <Enrico63> But so am I not supposed to have a cabal.project in a repo that I publish?
2024-10-01 22:32:12 +0200 <monochrom> To be fair, if you never upload foo.cabal, then it's also just for yourself.
2024-10-01 22:32:34 +0200 <Enrico63> Well, everything is just for myself if I don't uploade it :D
2024-10-01 22:33:13 +0200 <monochrom> But there is still the distinction between one-off and permanent, even just for yourself. How would you like to pull your hair off?
2024-10-01 22:33:32 +0200 <sclv> the long term right thing is to ask the dbus maintainer tup update the bonds
2024-10-01 22:33:34 +0200 <sclv> bounds
2024-10-01 22:33:46 +0200 <Enrico63> > Removing upper bounds in *.cabal files sound like very permanent and also international.
2024-10-01 22:33:46 +0200 <Enrico63> I meant that if I'm just playing around to understand what's going wrong with versions, is there a diffference between throwing away all bounds and running `cabal build` to see if there's a combination of versions working, and using that allow thing?
2024-10-01 22:33:47 +0200 <lambdabot> <hint>:1:23: error: parse error on input ‘in’
2024-10-01 22:33:52 +0200 <geekosaur> (constraints vs. preferences https://cabal.readthedocs.io/en/3.12/cabal-project-description-file.html#cfg-flag--c)
2024-10-01 22:34:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-10-01 22:34:24 +0200 <sclv> the short term solution is just to build with --allow-newer=dbus:template-haskell in the meantime, or in appropriate cabal.project files
2024-10-01 22:36:16 +0200 <Enrico63> I see
2024-10-01 22:36:25 +0200 <monochrom> --allow-newer does not require opening an editor. :)
2024-10-01 22:36:53 +0200 <Enrico63> By the way, dbus seems to build with <= 2.22.0.0 instead of < 2.22, so I might just as well make a PR :/
2024-10-01 22:38:43 +0200 <monochrom> I'm coming from the opposite of Yoda's. I say "try before commit, there is no do or do not". I would think it's more scientific.
2024-10-01 22:42:10 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-10-01 22:42:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 22:42:47 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-10-01 22:42:49 +0200 <Enrico63> Thanks everybody!
2024-10-01 22:46:05 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-10-01 22:47:05 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds)
2024-10-01 22:47:05 +0200ljdarj1ljdarj
2024-10-01 22:47:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-10-01 22:48:17 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-10-01 22:50:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-10-01 22:53:50 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds)
2024-10-01 22:54:17 +0200mari-estel(~mari-este@2a02:3032:309:d705:216:3eff:fe65:4eef) (Ping timeout: 265 seconds)
2024-10-01 22:57:09 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
2024-10-01 22:58:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 23:03:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-10-01 23:04:54 +0200shapr(~user@50.207.75.98) (Quit: brain overload)
2024-10-01 23:06:51 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 265 seconds)
2024-10-01 23:07:20 +0200polyphem(~rod@p3ee3f6df.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2024-10-01 23:10:00 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-10-01 23:11:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 23:13:28 +0200Enrico63(~Enrico63@cmbg-18-b2-v4wan-168328-cust3951.vm17.cable.virginm.net) (Quit: Client closed)
2024-10-01 23:14:01 +0200euphores(~SASL_euph@user/euphores) euphores
2024-10-01 23:16:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-01 23:20:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-10-01 23:24:28 +0200platao(mirc-rockc@177.100.68.254) Platao
2024-10-01 23:24:33 +0200zeroyin
2024-10-01 23:24:46 +0200 <yin> hey. what's the latest news?
2024-10-01 23:25:13 +0200 <yin> anything exciting happening in the haskellverse?
2024-10-01 23:25:48 +0200platao(mirc-rockc@177.100.68.254) (Quit: pop!_os channel on irc #pop!_os)
2024-10-01 23:26:41 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 23:26:57 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-10-01 23:29:51 +0200paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds)
2024-10-01 23:31:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-10-01 23:40:15 +0200andrewboltachev(~andrey@178.141.123.3) (Quit: Leaving.)
2024-10-01 23:42:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-10-01 23:42:19 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-10-01 23:42:50 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2024-10-01 23:46:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-10-01 23:53:14 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-10-01 23:53:32 +0200Inst(~Inst@user/Inst) Inst
2024-10-01 23:57:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn