2026/06/19

2026-06-19 00:01:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 00:06:53 +0000Enigmagic(~oddly.ang@user/Enigmagic) (Remote host closed the connection)
2026-06-19 00:09:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-06-19 00:16:55 +0000tremon(~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2026-06-19 00:20:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 00:22:16 +0000Enigmagic(~Enigmagic@12.50.239.162)
2026-06-19 00:22:22 +0000Enigmagic(~Enigmagic@12.50.239.162) (Changing host)
2026-06-19 00:22:22 +0000Enigmagic(~Enigmagic@user/Enigmagic) Enigmagic
2026-06-19 00:24:28 +0000Enigmagic(~Enigmagic@user/Enigmagic) (Remote host closed the connection)
2026-06-19 00:24:37 +0000Enigmagic(~Enigmagic@user/Enigmagic) Enigmagic
2026-06-19 00:24:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-19 00:25:30 +0000ephapticpulse(~user@user/ephapticpulse) (Remote host closed the connection)
2026-06-19 00:28:00 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2026-06-19 00:30:03 +0000Pozyomka_(~pyon@user/pyon) pyon
2026-06-19 00:30:08 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-19 00:32:29 +0000Pozyomka_(~pyon@user/pyon) (Remote host closed the connection)
2026-06-19 00:32:47 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-19 00:35:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 00:36:40 +0000karenw_(~karenw@user/karenw) karenw
2026-06-19 00:40:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-19 00:43:05 +0000karenw_(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-06-19 00:43:39 +0000YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:6eef) (Ping timeout: 245 seconds)
2026-06-19 00:51:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 00:55:18 +0000ystael(~ystael@user/ystael) (Ping timeout: 244 seconds)
2026-06-19 00:55:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-06-19 00:55:54 +0000xff0x(~xff0x@2405:6580:b080:900:b23a:5d33:44e3:2acf) (Ping timeout: 244 seconds)
2026-06-19 01:02:53 +0000spew(~spew@user/spew) spew
2026-06-19 01:06:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 01:11:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-19 01:11:27 +0000ftzm427(~ftzm@85.80.244.25)
2026-06-19 01:11:46 +0000schuelermine(~Thunderbi@user/schuelermine) (Ping timeout: 248 seconds)
2026-06-19 01:12:25 +0000stef204(~stef204@user/stef204) stef204
2026-06-19 01:13:13 +0000ftzm42(~ftzm@85.80.251.126) (Ping timeout: 248 seconds)
2026-06-19 01:13:25 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2026-06-19 01:18:30 +0000spew(~spew@user/spew) (Quit: nyaa~)
2026-06-19 01:18:40 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-06-19 01:21:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 01:23:02 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-19 01:24:21 +0000karenw_(~karenw@user/karenw) karenw
2026-06-19 01:24:56 +0000karenw_(~karenw@user/karenw) (Client Quit)
2026-06-19 01:27:37 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 248 seconds)
2026-06-19 01:28:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-06-19 01:29:52 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-19 01:30:11 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-19 01:39:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 01:40:36 +0000Enigmagic(~Enigmagic@user/Enigmagic) (Ping timeout: 246 seconds)
2026-06-19 01:41:58 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-19 01:42:10 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-19 01:42:10 +0000puke(~puke@user/puke) (Remote host closed the connection)
2026-06-19 01:42:36 +0000puke(~puke@user/puke) puke
2026-06-19 01:43:54 +0000traxex(traxex@user/traxex) traxex
2026-06-19 01:44:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-19 01:51:47 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-06-19 01:54:19 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-19 01:54:37 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-19 01:55:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 01:55:17 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit)
2026-06-19 01:56:59 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-06-19 01:57:47 +0000vanishingideal(~vanishing@user/vanishingideal) (Quit: leaving)
2026-06-19 01:59:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-19 02:03:01 +0000Enigmagic(~Enigmagic@user/Enigmagic) Enigmagic
2026-06-19 02:07:53 +0000phm(~peter@fsf/member/phm) (Ping timeout: 272 seconds)
2026-06-19 02:09:17 +0000phm(~peter@fsf/member/phm) phm
2026-06-19 02:10:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 02:11:51 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-19 02:12:12 +0000fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2026-06-19 02:12:37 +0000pabs3(~pabs3@user/pabs3) (Ping timeout: 265 seconds)
2026-06-19 02:15:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2026-06-19 02:18:07 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-06-19 02:18:22 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-19 02:20:56 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Ping timeout: 256 seconds)
2026-06-19 02:23:48 +0000stef204(~stef204@user/stef204) (Quit: WeeChat 4.2.1)
2026-06-19 02:25:03 +0000pabs3(~pabs3@user/pabs3) pabs3
2026-06-19 02:25:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 02:30:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-19 02:41:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 02:45:27 +0000jayanth(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net)
2026-06-19 02:45:29 +0000xstill_(xstill@fimu/xstill) (Ping timeout: 265 seconds)
2026-06-19 02:45:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-19 02:52:33 +0000rekahsoft(~rekahsoft@70.51.99.119) (Remote host closed the connection)
2026-06-19 02:53:03 +0000xstill_(xstill@fimu/xstill) xstill
2026-06-19 03:06:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 03:13:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-19 03:13:58 +0000jayanth(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 276 seconds)
2026-06-19 03:18:38 +0000mikess(~sam@user/mikess) (Quit: leaving)
2026-06-19 03:18:53 +0000kimiamania(~67ff9c51@user/kimiamania) (Ping timeout: 268 seconds)
2026-06-19 03:20:10 +0000machinedgod(~machinedg@d108-173-95-19.abhsia.telus.net) (Ping timeout: 245 seconds)
2026-06-19 03:24:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 03:27:16 +0000kimiamania(~67ff9c51@user/kimiamania) kimiamania
2026-06-19 03:29:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-19 03:31:31 +0000xstill_5(xstill@fimu/xstill) xstill
2026-06-19 03:31:57 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-19 03:32:45 +0000xstill_(xstill@fimu/xstill) (Ping timeout: 272 seconds)
2026-06-19 03:32:46 +0000xstill_5xstill_
2026-06-19 03:36:10 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 252 seconds)
2026-06-19 03:40:16 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 03:42:17 +0000tusko(~uwu@user/tusko) (Remote host closed the connection)
2026-06-19 03:42:35 +0000tusko(~uwu@user/tusko) tusko
2026-06-19 03:44:25 +0000xstill_(xstill@fimu/xstill) (Ping timeout: 252 seconds)
2026-06-19 03:44:51 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-19 03:48:27 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2026-06-19 03:51:56 +0000humasect(~humasect@192.249.132.90) humasect
2026-06-19 03:55:36 +0000czan(~czan@user/mange) czan
2026-06-19 03:55:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 03:56:14 +0000schuelermine(~Thunderbi@user/schuelermine) schuelermine
2026-06-19 03:57:51 +0000xstill_(xstill@fimu/xstill) xstill
2026-06-19 03:58:26 +0000humasect(~humasect@192.249.132.90) (Quit: Leaving...)
2026-06-19 04:00:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-06-19 04:09:54 +0000Enigmagic(~Enigmagic@user/Enigmagic) (Ping timeout: 245 seconds)
2026-06-19 04:11:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 04:15:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 262 seconds)
2026-06-19 04:24:51 +0000Enigmagic(~Enigmagic@user/Enigmagic) Enigmagic
2026-06-19 04:26:02 +0000michalz(~michalz@185.246.207.217)
2026-06-19 04:41:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 04:44:23 +0000foul_owl(~kerry@94.156.149.93) foul_owl
2026-06-19 04:44:42 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-06-19 04:45:08 +0000divlamir(~divlamir@user/divlamir) divlamir
2026-06-19 04:46:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-19 04:49:59 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-06-19 04:52:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 04:56:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-19 04:57:42 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-06-19 05:05:00 +0000myxos(~myxos@174-18-74-239.tcso.qwest.net) (Ping timeout: 246 seconds)
2026-06-19 05:05:13 +0000xal(~xal@mx1.xal.systems) (Read error: Connection reset by peer)
2026-06-19 05:06:24 +0000xal(~xal@mx1.xal.systems) xal
2026-06-19 05:06:42 +0000myxos(~myxos@174-18-74-239.tcso.qwest.net) myxokephale
2026-06-19 05:07:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 05:12:08 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-06-19 05:12:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-06-19 05:23:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 05:27:18 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-19 05:28:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-06-19 05:32:27 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 272 seconds)
2026-06-19 05:34:05 +0000haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-06-19 05:38:31 +0000pointlessslippe1(~pointless@62.106.85.17) (Ping timeout: 265 seconds)
2026-06-19 05:38:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 05:42:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-19 05:52:56 +0000pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2026-06-19 05:53:53 +0000merijn(~merijn@62.45.136.136) merijn
2026-06-19 05:54:53 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-06-19 06:00:50 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 248 seconds)
2026-06-19 06:09:57 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-06-19 06:10:53 +0000sp1ff(~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) sp1ff
2026-06-19 06:11:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 06:16:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-19 06:26:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 06:31:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-19 06:40:45 +0000czan(~czan@user/mange) (Quit: Quittin' time!)
2026-06-19 06:41:09 +0000Ekho(~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.)
2026-06-19 06:42:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 06:47:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-06-19 06:48:05 +0000schuelermine(~Thunderbi@user/schuelermine) (Ping timeout: 245 seconds)
2026-06-19 06:50:03 +0000Axman6(~Axman6@user/axman6) Axman6
2026-06-19 06:52:27 +0000Ekho(~Ekho@user/ekho) Ekho
2026-06-19 06:54:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 06:54:36 +0000acidsys(~crameleon@openSUSE/member/crameleon) (Ping timeout: 252 seconds)
2026-06-19 06:58:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-19 07:00:43 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-06-19 07:02:20 +0000CiaoSen(~Jura@2a02:3100:6164:f000:4e50:ddff:fe9b:8922) CiaoSen
2026-06-19 07:04:49 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-06-19 07:07:17 +0000Googulator8(~Googulato@212-40-94-63.pool.digikabel.hu) (Ping timeout: 245 seconds)
2026-06-19 07:09:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 07:12:17 +0000acidsys(~crameleon@openSUSE/member/crameleon) crameleon
2026-06-19 07:12:48 +0000tromp(~textual@2001:1c00:340e:2700:ed09:73b3:83dd:1e97)
2026-06-19 07:14:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-19 07:17:42 +0000Axma85119(~Axman6@user/axman6) Axman6
2026-06-19 07:19:40 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-19 07:25:14 +0000Axma85119Axman6
2026-06-19 07:25:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 07:27:27 +0000ft(~ft@p508db6b1.dip0.t-ipconnect.de) (Quit: leaving)
2026-06-19 07:29:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-19 07:31:08 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-19 07:32:40 +0000remexre(~remexre@user/remexre) (Ping timeout: 276 seconds)
2026-06-19 07:33:23 +0000remexre(~remexre@user/remexre) remexre
2026-06-19 07:35:26 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 252 seconds)
2026-06-19 07:40:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 07:42:16 +0000Guest74(~Guest74@2a02-8428-04f8-e501-e7da-1431-bb78-08d6.rev.sfr.net)
2026-06-19 07:43:04 +0000__monty__(~toonn@user/toonn) toonn
2026-06-19 07:43:34 +0000Guest74(~Guest74@2a02-8428-04f8-e501-e7da-1431-bb78-08d6.rev.sfr.net) (Client Quit)
2026-06-19 07:45:54 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds)
2026-06-19 07:45:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-06-19 07:52:39 +0000CiaoSen(~Jura@2a02:3100:6164:f000:4e50:ddff:fe9b:8922) (Ping timeout: 246 seconds)
2026-06-19 07:55:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 07:56:12 +0000chele(~chele@user/chele) chele
2026-06-19 07:57:22 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 276 seconds)
2026-06-19 08:00:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-19 08:00:32 +0000ThePenguin1(~ThePengui@83-233-229-100.cust.bredband2.com) (Quit: ThePenguin1)
2026-06-19 08:00:50 +0000ThePenguin1(~ThePengui@83-233-229-100.cust.bredband2.com) ThePenguin
2026-06-19 08:00:57 +0000ThePenguin1ThePenguin
2026-06-19 08:02:16 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 08:02:52 +0000cipherrot(~jez@user/petrichor) petrichor
2026-06-19 08:03:39 +0000petrichor(~jez@user/petrichor) (Ping timeout: 245 seconds)
2026-06-19 08:11:36 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2026-06-19 08:13:11 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-06-19 08:16:52 +0000tromp(~textual@2001:1c00:340e:2700:ed09:73b3:83dd:1e97) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-06-19 08:21:22 +0000Axma80016(~Axman6@user/axman6) Axman6
2026-06-19 08:23:25 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-19 08:24:25 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-06-19 08:28:22 +0000CiaoSen(~Jura@2a02:3100:6164:f000:4e50:ddff:fe9b:8922) CiaoSen
2026-06-19 08:33:34 +0000fp1(~Thunderbi@62.44.249.114) fp
2026-06-19 08:34:59 +0000tromp(~textual@2001:1c00:340e:2700:ed09:73b3:83dd:1e97)
2026-06-19 08:36:45 +0000 <fp1> So I just got this error message, but I'm having a hard time interpreting it. The message seems to simply describe what I wrote and I'm not sure what's wrong
2026-06-19 08:36:47 +0000 <fp1> > pure "carrot" :: [_]
2026-06-19 08:36:47 +0000 <fp1> <interactive>:13:19: error:
2026-06-19 08:36:47 +0000 <fp1> • Found type wildcard ‘_’ standing for ‘String’
2026-06-19 08:36:47 +0000 <fp1> To use the inferred type, enable PartialTypeSignatures
2026-06-19 08:36:47 +0000 <fp1> • In the type ‘[_]’
2026-06-19 08:36:47 +0000 <fp1> In an expression type signature: [_]
2026-06-19 08:36:48 +0000 <fp1> In the expression: pure "carrot" :: [_]
2026-06-19 08:36:48 +0000 <fp1> • Relevant bindings include
2026-06-19 08:36:48 +0000 <lambdabot> ["carrot"]
2026-06-19 08:36:49 +0000 <fp1> it :: [String] (bound at <interactive>:13:1)
2026-06-19 08:37:35 +0000 <fp1> Ah "To use the inferred type, enable ...", I'm silly
2026-06-19 08:37:44 +0000 <merijn> fp1: [_] isn't valid Haskell, it's an extension "PartialTypesignatures" :)
2026-06-19 08:38:20 +0000 <fp1> To what extent should one be using extensions?
2026-06-19 08:38:30 +0000 <merijn> "It Depends (TM)"
2026-06-19 08:38:55 +0000 <[exa]> fp1: pls pastebin, many people's clients gobble this up
2026-06-19 08:39:02 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-06-19 08:39:04 +0000 <fp1> Ah sorry
2026-06-19 08:39:12 +0000 <[exa]> np but might help later :)
2026-06-19 08:39:22 +0000 <merijn> fp1: Practically GHC is the only implementation in use, so assuming extensions exists in a GHC version it probably works
2026-06-19 08:39:23 +0000arcadewise(52968ed80d@2a03:6000:1812:100::3df) (Read error: Connection reset by peer)
2026-06-19 08:39:23 +0000bsima1(9d7e39c8ad@2a03:6000:1812:100::dd) (Read error: Connection reset by peer)
2026-06-19 08:39:25 +0000sus(1b7af6299f@user/zeromomentum) (Read error: Connection reset by peer)
2026-06-19 08:39:26 +0000caz(866183745f@2a03:6000:1812:100::15d4) (Write error: Connection reset by peer)
2026-06-19 08:39:28 +0000JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (Read error: Connection reset by peer)
2026-06-19 08:39:30 +0000arcadewise(52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta
2026-06-19 08:39:30 +0000bsima1(9d7e39c8ad@2a03:6000:1812:100::dd)
2026-06-19 08:39:33 +0000sus(1b7af6299f@user/zeromomentum) zeromomentum
2026-06-19 08:39:33 +0000caz_(866183745f@2a03:6000:1812:100::15d4) caz
2026-06-19 08:39:36 +0000JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken
2026-06-19 08:40:15 +0000 <[exa]> fp1: btw the semantics of _ is literally "please give me some informative error", so what you see is correct. Some people wanted to exploit `_` for not having to specify whole (possibly very lengthy) types, thus the extension
2026-06-19 08:40:16 +0000 <merijn> fp1: Some extensions are extremely small/benign, some are either very complicated, or risky. So there's no real blanket answer "besides know what you're enabling"
2026-06-19 08:40:17 +0000caz_caz
2026-06-19 08:40:56 +0000 <fp1> Does enabling an extension for a library impact the library user at all? Like will they be forced to turn on the extension as well?
2026-06-19 08:41:21 +0000 <jaror> In this case you can also use the more common (it's in GHC2021 and up) TypeApplications: `pure @[] "carrot"`
2026-06-19 08:41:55 +0000 <jaror> generally you shouldn't need to enable extensions just for importing a module that uses extensions
2026-06-19 08:42:38 +0000 <int-e> but if it's a type system extension then often you'll run into having to enable that when you try to use such a library (using its data types and calling its function)
2026-06-19 08:42:44 +0000 <[exa]> fp1: I guess the main issue is portability to other compilers/standards
2026-06-19 08:43:03 +0000 <fp1> I see
2026-06-19 08:45:12 +0000 <fp1> How does one look up @[]? I tried with hoogle and :info, but I didn't get anything
2026-06-19 08:45:25 +0000 <[exa]> anyway yeah some libraries just ask "hey simply enable OverloadedString to make the code look digestible"
2026-06-19 08:45:31 +0000 <int-e> % :i []
2026-06-19 08:45:32 +0000 <yahb2> type List :: * -> * ; data List a = [] | a : [a] ; -- Defined in ‘GHC.Internal.Types’ ; instance Monoid [a] -- Defined in ‘GHC.Internal.Base’ ; instance Foldable [] -- Defined in ‘GHC.Internal.D...
2026-06-19 08:45:36 +0000 <[exa]> fp1: the `@` is a type application, and [] is a normal type
2026-06-19 08:45:36 +0000 <fp1> I also tried just @
2026-06-19 08:45:44 +0000 <fp1> I see
2026-06-19 08:45:56 +0000 <[exa]> as in, the @ is a special syntax from the extension and you probably won't hoogle it
2026-06-19 08:45:57 +0000 <int-e> Oh, and the '@' is syntax... you have to know that it's a type application
2026-06-19 08:46:16 +0000tromp(~textual@2001:1c00:340e:2700:ed09:73b3:83dd:1e97) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-06-19 08:46:26 +0000 <fp1> what's the difference from :: ?
2026-06-19 08:46:30 +0000 <int-e> (I don't see search engines finding this from just Haskell and `@`)
2026-06-19 08:47:24 +0000 <int-e> % :t id @Int
2026-06-19 08:47:24 +0000 <yahb2> id @Int :: Int -> Int
2026-06-19 08:47:30 +0000 <int-e> % :t id :: Int -> Int
2026-06-19 08:47:30 +0000 <yahb2> id :: Int -> Int :: Int -> Int
2026-06-19 08:48:31 +0000 <int-e> fp1: The full type of id is id :: forall a. a -> a; the @ supplies a type to use as `a`.
2026-06-19 08:48:50 +0000 <int-e> (you can read the `forall` as a type lambda)
2026-06-19 08:49:31 +0000 <int-e> % :set -fprint-explicit-foralls
2026-06-19 08:49:31 +0000 <yahb2> <no output>
2026-06-19 08:49:33 +0000 <int-e> % :t id
2026-06-19 08:49:33 +0000 <yahb2> id :: forall a. a -> a
2026-06-19 08:53:06 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-19 09:02:42 +0000 <mauke> % show @Double 42
2026-06-19 09:02:42 +0000 <yahb2> "42.0"
2026-06-19 09:02:46 +0000 <mauke> % show @Int 42
2026-06-19 09:02:47 +0000 <yahb2> "42"
2026-06-19 09:04:08 +0000 <mauke> % (@Int == 1) 2
2026-06-19 09:04:08 +0000 <yahb2> <interactive>:51:2: error: [GHC-58481] parse error on input ‘@’
2026-06-19 09:04:22 +0000 <jaror> % (==) @Int 1 2
2026-06-19 09:04:22 +0000 <yahb2> False
2026-06-19 09:06:06 +0000 <merijn> fp1: To answer your extension question: Libraries are compiled independently, so enabling extension X in a package will **only** enable it in that package
2026-06-19 09:06:28 +0000 <merijn> fp1: That said, the compiler used to build everything has to support all extensions of your transitive dependencies
2026-06-19 09:07:08 +0000 <fp1> I see
2026-06-19 09:10:10 +0000tromp(~textual@2001:1c00:340e:2700:ed09:73b3:83dd:1e97)
2026-06-19 09:13:25 +0000acidjnk_new(~acidjnk@p200300d6e700e516c0b200d7530e938a.dip0.t-ipconnect.de)
2026-06-19 09:13:40 +0000acidjnk(~acidjnk@p200300d6e700e516c0b200d7530e938a.dip0.t-ipconnect.de) acidjnk
2026-06-19 09:17:58 +0000 <int-e> mauke: lol, (@Int `id` 2) would not be confusing at all ;)
2026-06-19 09:22:07 +0000 <fp1> How does one say <*> ? Sequential apply? apply?
2026-06-19 09:27:51 +0000 <Rembane> fp1: I say "fancy star", but there must be a better name out there somewhere
2026-06-19 09:28:24 +0000 <fp1> Applicate?
2026-06-19 09:29:07 +0000 <int-e> It's `ap` for Applicative, and `ap` is pronouncible.
2026-06-19 09:29:29 +0000 <int-e> or pronounceable
2026-06-19 09:29:33 +0000 <int-e> I love English. :)
2026-06-19 09:32:39 +0000 <Rembane> It's like the aliens in Mars Attacks!
2026-06-19 09:34:10 +0000 <probie> +1 for calling <*> "ap"
2026-06-19 09:37:21 +0000puke(~puke@user/puke) (Read error: Connection reset by peer)
2026-06-19 09:37:36 +0000puke(~puke@user/puke) puke
2026-06-19 09:42:04 +0000puke(~puke@user/puke) (Read error: Connection reset by peer)
2026-06-19 09:50:30 +0000danza(~danza@user/danza) danza
2026-06-19 09:59:30 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2026-06-19 10:17:09 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline
2026-06-19 10:18:07 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-06-19 10:23:29 +0000haritz(~hrtz@140.228.70.141)
2026-06-19 10:23:29 +0000haritz(~hrtz@140.228.70.141) (Changing host)
2026-06-19 10:23:29 +0000haritz(~hrtz@user/haritz) haritz
2026-06-19 10:24:04 +0000fp1(~Thunderbi@62.44.249.114) (Read error: Connection reset by peer)
2026-06-19 10:30:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-19 10:38:59 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 272 seconds)
2026-06-19 10:43:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 10:46:21 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-19 10:49:58 +0000dtman34_(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-06-19 10:50:29 +0000dtman34(~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) dtman34
2026-06-19 10:50:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-19 10:52:15 +0000 <__monty__> It's not called cyclops?
2026-06-19 10:55:06 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 265 seconds)
2026-06-19 10:55:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 10:57:34 +0000danza(~danza@user/danza) (Remote host closed the connection)
2026-06-19 10:57:49 +0000zfnmxt(~m-gkkevi@209.209.10.107) (Remote host closed the connection)
2026-06-19 10:58:06 +0000zfnmxt(~m-gkkevi@209.209.10.107)
2026-06-19 11:15:51 +0000 <[exa]> applops
2026-06-19 11:19:45 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 245 seconds)
2026-06-19 11:20:05 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-19 11:20:14 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-19 11:23:15 +0000 <[exa]> anyone using vulkan from hs? (I'm looking at the wrapper library situation and it makes one quite confused)
2026-06-19 11:25:20 +0000 <jaror> Not me, but perhaps look at https://github.com/alt-romes/ghengin
2026-06-19 11:25:47 +0000Vajb(~Vajb@n6ls0b8icarshykj82k-1.v6.elisa-mobile.fi)
2026-06-19 11:27:02 +0000Axman6(~Axman6@user/axman6) Axman6
2026-06-19 11:27:17 +0000rekahsoft(~rekahsoft@70.51.99.119) rekahsoft
2026-06-19 11:27:42 +0000 <merijn> [exa]: Worst case scenario you can just wrap the vulkan API yourself on an "as I need it" basis?
2026-06-19 11:28:25 +0000 <merijn> Depending on the haskell-to-vulkan ratio you need
2026-06-19 11:28:48 +0000 <[exa]> jaror: yeah that points to the obvious but huge one
2026-06-19 11:29:09 +0000 <[exa]> well I guess I have to start somewhere
2026-06-19 11:29:15 +0000Axma80016(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-19 11:29:37 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-06-19 11:30:02 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2026-06-19 11:32:29 +0000Lord_of_Life_Lord_of_Life
2026-06-19 11:32:47 +0000 <merijn> [exa]: What are you trying to do and what about the library situation is confusing? Or is it just that the libraries are just "here's all of vulkan, but wrapped"?
2026-06-19 11:33:32 +0000 <[exa]> if you look at: vulkan vs vulkan-api vs vulkan-raw
2026-06-19 11:33:55 +0000 <[exa]> <<<- usability maintainability ->>>
2026-06-19 11:34:34 +0000 <[exa]> I'll go with the pop one and switch in case it starts failing
2026-06-19 11:40:34 +0000CiaoSen(~Jura@2a02:3100:6164:f000:4e50:ddff:fe9b:8922) (Ping timeout: 248 seconds)
2026-06-19 11:47:15 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 245 seconds)
2026-06-19 11:47:56 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-19 12:15:25 +0000Googulator(~Googulato@team.broadbit.hu)
2026-06-19 12:16:25 +0000xff0x(~xff0x@2405:6580:b080:900:7423:ed7:4abd:dce)
2026-06-19 12:21:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-19 12:21:43 +0000szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2026-06-19 12:23:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 12:27:39 +0000kuribas(~user@2a02-1810-2825-6000-bca6-dcdf-e0b2-2d0e.ip6.access.telenet.be) kuribas
2026-06-19 12:27:46 +0000tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 276 seconds)
2026-06-19 12:45:53 +0000tromp(~textual@2001:1c00:340e:2700:ed09:73b3:83dd:1e97) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-06-19 13:00:09 +0000xstill_(xstill@fimu/xstill) (Quit: Ping timeout (120 seconds))
2026-06-19 13:06:45 +0000lossless(~haze@user/ryou) (Read error: Connection reset by peer)
2026-06-19 13:08:29 +0000ryou(~haze@user/ryou) ryou
2026-06-19 13:14:50 +0000spew(~spew@user/spew) spew
2026-06-19 13:16:20 +0000tabaqui(~tabaqui@167.71.80.236) tabaqui
2026-06-19 13:20:27 +0000xstill_(xstill@fimu/xstill) xstill
2026-06-19 13:26:53 +0000CiaoSen(~Jura@2a02:3100:6164:f000:4e50:ddff:fe9b:8922) CiaoSen
2026-06-19 13:39:25 +0000nyc(~nyc@user/nyc) (Read error: Connection reset by peer)
2026-06-19 13:39:50 +0000nyc(~nyc@user/nyc) nyc
2026-06-19 13:42:23 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2026-06-19 13:46:59 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 245 seconds)
2026-06-19 13:50:00 +0000driib3180(~driib@vmi931078.contaboserver.net) driib
2026-06-19 13:56:59 +0000prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2026-06-19 13:57:04 +0000prdak1(~Thunderbi@user/prdak) prdak
2026-06-19 13:57:36 +0000comerijn(~merijn@77.242.116.146) merijn
2026-06-19 13:58:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer)
2026-06-19 13:58:17 +0000ft(~ft@p508db6b1.dip0.t-ipconnect.de) ft
2026-06-19 13:58:37 +0000 <mauke> not haskell specific, but I'm going to ask here anyway
2026-06-19 13:59:12 +0000 <mauke> I've rediscovered something that maybe should have been obvious: optimization passes can expose more work for other optimization passes, so there is no obvious simple way to order them in general
2026-06-19 13:59:22 +0000prdak1prdak
2026-06-19 14:00:24 +0000 <mauke> for example, constant folding can reveal the static target of a nominally dynamic jump, which can lead to more inlining, which can enable more constant folding
2026-06-19 14:01:12 +0000 <mauke> is there some clever approach to handle this sort of situation, apart from just running everything repeatedly until things calm down, hopefully?
2026-06-19 14:03:00 +0000danza(~danza@user/danza) danza
2026-06-19 14:07:19 +0000leppard|2(~noOne@ipservice-092-209-218-237.092.209.pools.vodafone-ip.de) Inline
2026-06-19 14:09:04 +0000AlexZenon(~alzenon@178.34.161.132) (Ping timeout: 245 seconds)
2026-06-19 14:09:22 +0000 <comerijn> Not really
2026-06-19 14:09:29 +0000Alex_delenda_est(~al_test@178.34.161.132) (Ping timeout: 245 seconds)
2026-06-19 14:09:39 +0000AlexNoo(~AlexNoo@178.34.161.132) (Ping timeout: 252 seconds)
2026-06-19 14:09:55 +0000 <comerijn> it's generally some fixed iterations that are allowed and at some point give up
2026-06-19 14:10:01 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 244 seconds)
2026-06-19 14:10:30 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2026-06-19 14:10:42 +0000 <comerijn> mauke: It's actually even worse, it's easily conceivable that some sequence of optimisation passes maybe MUCH better than others, and the fixed ordering may prevent you from ever reaching those
2026-06-19 14:11:02 +0000 <comerijn> So before you know it you're trying arbitary permutations and your compiles take as long as an FPGA ;)
2026-06-19 14:26:21 +0000machinedgod(~machinedg@d108-173-95-19.abhsia.telus.net) machinedgod
2026-06-19 14:31:39 +0000tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2026-06-19 14:41:33 +0000CiaoSen(~Jura@2a02:3100:6164:f000:4e50:ddff:fe9b:8922) (Ping timeout: 272 seconds)
2026-06-19 14:42:55 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds)
2026-06-19 14:52:43 +0000AlexNoo(~AlexNoo@178.34.163.171)
2026-06-19 14:55:15 +0000nyc(~nyc@user/nyc) (Remote host closed the connection)
2026-06-19 14:56:02 +0000 <mauke> ah, fun
2026-06-19 15:07:17 +0000Googulator(~Googulato@team.broadbit.hu) (Ping timeout: 245 seconds)
2026-06-19 15:10:22 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-06-19 15:11:25 +0000jayanth(~jayanth@69.249.219.205)
2026-06-19 15:13:45 +0000m(~travltux@user/travltux) (Quit: WeeChat 4.7.2)
2026-06-19 15:16:51 +0000m(~travltux@user/travltux) travltux
2026-06-19 15:19:09 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2026-06-19 15:20:23 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2026-06-19 15:21:48 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2026-06-19 15:22:15 +0000AlexNoo(~AlexNoo@178.34.163.171) (Ping timeout: 252 seconds)
2026-06-19 15:22:43 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-19 15:34:12 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-06-19 15:34:34 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-19 15:43:01 +0000hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 244 seconds)
2026-06-19 15:46:08 +0000hiredman(~hiredman@frontier1.downey.family) hiredman
2026-06-19 15:51:48 +0000ystael(~ystael@user/ystael) ystael
2026-06-19 15:56:19 +0000 <tomsmeding> mauke: traditional compilers have a meticulously hand-tuned optimisation schedule that runs a bunch of passes in a particular order
2026-06-19 15:56:45 +0000 <tomsmeding> which may include the same pass multiple times, e.g. constant folding in various places in the pipeline
2026-06-19 15:57:20 +0000 <tomsmeding> looping until fixpoint is in those circles considered Not Done as it makes compile time unbounded
2026-06-19 15:57:25 +0000roconnor(~quassel@rocq/roconnor) roconnor
2026-06-19 15:58:27 +0000roconnor(~quassel@rocq/roconnor) ()
2026-06-19 15:59:05 +0000 <tomsmeding> https://gist.github.com/minjang/89ee4cd6a040dfda0d7dc23603b3c8c3 (don't know if this is accurate, just found via search, but this kind of stuff)
2026-06-19 15:59:48 +0000 <tomsmeding> "Unnamed pass: implement Pass::getPassName()" heh
2026-06-19 16:00:52 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2026-06-19 16:01:37 +0000 <tomsmeding> comerijn/merijn: clearly the solution is randomising the pass order, then every compile you have a small chance of winning the jackpot ("we compiled out program 1000 times and benchmarked using the best result")
2026-06-19 16:01:48 +0000 <tomsmeding> *our
2026-06-19 16:17:00 +0000danza(~danza@user/danza) (Remote host closed the connection)
2026-06-19 16:20:30 +0000comerijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2026-06-19 16:21:27 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-06-19 16:24:32 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2026-06-19 16:27:24 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2026-06-19 16:27:58 +0000leppard|2(~noOne@ipservice-092-209-218-237.092.209.pools.vodafone-ip.de) (Ping timeout: 244 seconds)
2026-06-19 16:31:17 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 16:32:09 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds)
2026-06-19 16:32:41 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-06-19 16:35:23 +0000tabaqui(~tabaqui@167.71.80.236) tabaqui
2026-06-19 16:35:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-06-19 16:47:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 16:49:24 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2026-06-19 16:54:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-19 17:00:21 +0000hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-06-19 17:02:27 +0000hakutaku(~textual@user/hakutaku) hakutaku
2026-06-19 17:04:31 +0000Pozyomka(~pyon@user/pyon) (Read error: Connection reset by peer)
2026-06-19 17:04:50 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-19 17:04:58 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2026-06-19 17:07:32 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 17:12:41 +0000 <jaror> Equality saturation let's you do optimizations without having to impose an order on them
2026-06-19 17:12:48 +0000jayanth(~jayanth@69.249.219.205) (Ping timeout: 252 seconds)
2026-06-19 17:12:57 +0000 <jaror> lets*
2026-06-19 17:13:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-06-19 17:14:27 +0000 <jaror> From the abstract: "our approach obviates the need to worry about optimization ordering"
2026-06-19 17:15:45 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-19 17:16:04 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-19 17:19:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 17:20:31 +0000 <merijn> tomsmeding: I mean, that's what FPGA compilation already is :p
2026-06-19 17:23:30 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-19 17:23:51 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-19 17:24:16 +0000AlexNoo(~AlexNoo@178.34.161.8)
2026-06-19 17:25:46 +0000 <monochrom> Randomize the order. Also randomize how many iterations! After each iteration, toss a coin to decide whether to stop or to repeat...
2026-06-19 17:25:56 +0000comerijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 17:26:18 +0000 <monochrom> "It terminates in probability 1" >:)
2026-06-19 17:27:03 +0000 <jaror> There are primality testing algorithms that terminate with probability 1, I believe
2026-06-19 17:27:09 +0000 <monochrom> :)
2026-06-19 17:27:16 +0000AlexZenon(~alzenon@178.34.161.8)
2026-06-19 17:27:18 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-19 17:27:37 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-19 17:28:39 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-19 17:32:20 +0000Googulator(~Googulato@212-40-94-63.pool.digikabel.hu)
2026-06-19 17:33:37 +0000 <tomsmeding> jaror: yes, but only term rewrites, without introduction of existential terms, and no support for higher-order code in general
2026-06-19 17:33:55 +0000 <tomsmeding> i.e. only like half of what an optimiser does, and that only for limited languages
2026-06-19 17:34:19 +0000 <jaror> Can you give an example of an existential term being introduced by an optimization?
2026-06-19 17:34:47 +0000 <jaror> The higher order limitation is being worked on: https://dl.acm.org/doi/10.1145/3729326
2026-06-19 17:34:47 +0000 <tomsmeding> and the theoretical results hold only when you reach equality saturation, but reaching saturation on realistic languages is infeasible in practice, so implementations add heuristics and early exits
2026-06-19 17:35:31 +0000 <tomsmeding> jaror: Andres actually came and gave a talk on that here recently!
2026-06-19 17:35:43 +0000 <tomsmeding> It's very cool work yes
2026-06-19 17:35:56 +0000 <jaror> That sounds cool
2026-06-19 17:36:05 +0000 <tomsmeding> The existential stuff is algebraic *1/1 tricks
2026-06-19 17:36:09 +0000tomsmedinghas food, sorry
2026-06-19 17:36:33 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-19 17:36:43 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-19 17:44:09 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-19 17:44:28 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-19 17:45:59 +0000Pozyomka(~pyon@user/pyon) (Read error: Connection reset by peer)
2026-06-19 17:46:11 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-19 17:46:18 +0000Alex_delenda_est(~al_test@178.34.161.8)
2026-06-19 17:56:30 +0000platz(~platz@user/platz) platz
2026-06-19 18:03:18 +0000kuribas(~user@2a02-1810-2825-6000-bca6-dcdf-e0b2-2d0e.ip6.access.telenet.be) (Remote host closed the connection)
2026-06-19 18:04:34 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-06-19 18:21:06 +0000wickedjargon(~user@207.194.126.19) wickedjargon
2026-06-19 18:23:11 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2026-06-19 18:27:20 +0000glguy(glguy@libera/staff/glguy) (Quit: Quit)
2026-06-19 18:28:01 +0000glguy(glguy@libera/staff/glguy) glguy
2026-06-19 18:29:12 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-06-19 18:32:49 +0000tromp(~textual@2001:1c00:340e:2700:ed09:73b3:83dd:1e97)
2026-06-19 18:42:54 +0000tromp(~textual@2001:1c00:340e:2700:ed09:73b3:83dd:1e97) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-06-19 18:43:38 +0000chele(~chele@user/chele) (Remote host closed the connection)
2026-06-19 18:44:23 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-06-19 18:46:10 +0000tromp(~textual@2001:1c00:340e:2700:ed09:73b3:83dd:1e97)
2026-06-19 18:47:17 +0000Enigmagic(~Enigmagic@user/Enigmagic) (Ping timeout: 272 seconds)
2026-06-19 18:51:09 +0000comerijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-19 18:56:04 +0000Enigmagic(~Enigmagic@user/Enigmagic) Enigmagic
2026-06-19 18:56:48 +0000tromp(~textual@2001:1c00:340e:2700:ed09:73b3:83dd:1e97) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-06-19 18:57:03 +0000hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-06-19 19:01:56 +0000 <vms14> i can't manage to call a haskell function from js in event handlers nor register them in window and try to call them. they return true but do nothing. if i call them from the ffi function that receives them they work though
2026-06-19 19:02:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 19:02:13 +0000 <vms14> with the js backend
2026-06-19 19:03:07 +0000Googulator27(~Googulato@212-40-94-63.pool.digikabel.hu)
2026-06-19 19:03:34 +0000 <vms14> if the ffi binding is async it won't work either
2026-06-19 19:05:42 +0000 <EvanR> maybe there is a special calling form for that
2026-06-19 19:06:52 +0000Googulator(~Googulato@212-40-94-63.pool.digikabel.hu) (Ping timeout: 245 seconds)
2026-06-19 19:08:52 +0000hakutaku(~textual@user/hakutaku) hakutaku
2026-06-19 19:09:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-06-19 19:13:22 +0000Enigmagic(~Enigmagic@user/Enigmagic) (Read error: Connection reset by peer)
2026-06-19 19:13:31 +0000Enigmagic(~Enigmagic@user/Enigmagic) Enigmagic
2026-06-19 19:19:07 +0000hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-06-19 19:20:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 19:24:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-19 19:28:35 +0000 <vms14> ok seems to work, just not print
2026-06-19 19:28:46 +0000 <vms14> if i create elements and append them to the body in the callbacks they work
2026-06-19 19:29:30 +0000 <vms14> but it ignores putStrLn or prints to somewhere else than the console, which is weird. if i call the callback from the ffi binding that receives it, it will print stuff
2026-06-19 19:30:47 +0000 <jaror> I guess you have to do a foreign call from Haskell to `console.log` in javascript
2026-06-19 19:30:51 +0000 <EvanR> to print to the js console there might be another api call for that
2026-06-19 19:31:59 +0000 <vms14> yeah i was trying just that jaror and it works
2026-06-19 19:32:30 +0000 <vms14> but if i use print or putStrLn it alsoprints on console, same with callbacks, but if there is a delay to call the callback like async or an event, it fails to print
2026-06-19 19:32:57 +0000 <vms14> weird, but does not matter, it just made me think it wasn't working and made me loose a lot of time
2026-06-19 19:33:21 +0000 <vms14> but now nothing can stop me
2026-06-19 19:35:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 19:36:13 +0000erbium(~erbium@user/erbium) erbium
2026-06-19 19:40:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-19 19:46:26 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2026-06-19 19:47:09 +0000notzmv(~umar@user/notzmv) notzmv
2026-06-19 19:48:47 +0000 <EvanR> gotta be vigilant in bizarre unfamiliar programming environments
2026-06-19 19:50:42 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-19 19:52:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 19:53:57 +0000 <vms14> ok i told that to google ai and it told me is because of buffering
2026-06-19 19:54:16 +0000 <vms14> hSetBuffering stdout NoBuffering this fixes it
2026-06-19 19:54:30 +0000 <vms14> although makes it also print every char with a newline
2026-06-19 19:54:45 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 245 seconds)
2026-06-19 19:54:51 +0000 <vms14> During delayed asynchronous execution (like an event listener), the Haskell thread wakes up, writes the text to the internal buffer, and then goes back to sleep without flushing it. The data is sitting in memory, waiting to be flushed, which is why it appeared completely dead
2026-06-19 19:55:13 +0000 <EvanR> you can manually flush whenever with hFlush
2026-06-19 19:55:18 +0000 <EvanR> if that's really the issue
2026-06-19 19:55:22 +0000 <vms14> that would be better
2026-06-19 19:55:34 +0000 <vms14> i will just use console log, but i wanted to know why anyways
2026-06-19 19:57:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-06-19 19:59:19 +0000ouilemur(~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0)
2026-06-19 19:59:52 +0000nyc(~nyc@user/nyc) nyc
2026-06-19 20:08:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 20:11:49 +0000ouilemur(~jgmerritt@user/ouilemur) ouilemur
2026-06-19 20:13:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-06-19 20:13:53 +0000traxex(traxex@user/traxex) (Ping timeout: 252 seconds)
2026-06-19 20:24:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 20:29:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-19 20:29:09 +0000nyc(~nyc@user/nyc) (Ping timeout: 252 seconds)
2026-06-19 20:29:30 +0000nyc(~nyc@user/nyc) nyc
2026-06-19 20:30:59 +0000jayanth(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net)
2026-06-19 20:39:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 20:40:07 +0000michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2026-06-19 20:42:38 +0000nyc(~nyc@user/nyc) (Read error: Connection reset by peer)
2026-06-19 20:42:59 +0000nyc(~nyc@user/nyc) nyc
2026-06-19 20:44:22 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 276 seconds)
2026-06-19 20:44:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-19 20:46:37 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-06-19 20:46:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 20:50:46 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-06-19 20:51:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-19 20:55:14 +0000target_i(~target_i@user/target-i/x-6023099) (Ping timeout: 248 seconds)
2026-06-19 20:56:05 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-06-19 20:57:19 +0000nyc(~nyc@user/nyc) (Ping timeout: 264 seconds)
2026-06-19 20:57:38 +0000nyc(~nyc@user/nyc) nyc
2026-06-19 20:58:13 +0000vms14(~vms14@user/vms14) (Read error: Connection reset by peer)
2026-06-19 20:58:19 +0000vms14_(~vms14@user/vms14) vms14
2026-06-19 20:58:45 +0000Axman2204(~Axman6@user/axman6) Axman6
2026-06-19 21:00:08 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 249 seconds)
2026-06-19 21:01:29 +0000kimiamania(~67ff9c51@user/kimiamania) (Quit: PegeLinux)
2026-06-19 21:02:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 21:04:05 +0000 <mauke> it feels good to commit coding crimes again
2026-06-19 21:04:17 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:ba55:321b:aa08:6c7)
2026-06-19 21:04:42 +0000kimiamania(~768865ec@user/kimiamania) kimiamania
2026-06-19 21:05:42 +0000 <mauke> this is a script that checks command-line arguments for syntactic validity as rfc-822 email addresses: https://pt.gayr.at/p/ajWu47gTx0vTNWqAywSYNqdJ98w
2026-06-19 21:06:29 +0000 <mauke> and this is the deparsed result: https://pt.gayr.at/p/ajWvP38GBTZ8TaaNRIQZqOHkvsA
2026-06-19 21:06:53 +0000 <mauke> i.e. an attempt to convert the internal compiled representation back to source code
2026-06-19 21:07:47 +0000 <mauke> the monstrous regex means inlining/constant folding is finally working right :-)
2026-06-19 21:08:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 273 seconds)
2026-06-19 21:10:31 +0000euphores(~SASL_euph@user/euphores) (Ping timeout: 264 seconds)
2026-06-19 21:16:23 +0000vms14_vms14
2026-06-19 21:16:34 +0000 <EvanR> looks up rfc-822 this ought to be good
2026-06-19 21:17:50 +0000 <mauke> old e-mail standard
2026-06-19 21:18:08 +0000 <mauke> superseded by 2822, which got superseded by 5321/5322 or something
2026-06-19 21:18:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 21:19:54 +0000 <mauke> I'm just happy the result looks almost like real compiler output. you can see the conditional jumps and everything
2026-06-19 21:21:52 +0000 <EvanR> "WUNT" ?
2026-06-19 21:22:17 +0000 <mauke> that's the output instruction
2026-06-19 21:23:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-06-19 21:24:08 +0000schuelermine(~Thunderbi@user/schuelermine) schuelermine
2026-06-19 21:26:36 +0000acidsys(~crameleon@openSUSE/member/crameleon) (Ping timeout: 244 seconds)
2026-06-19 21:27:00 +0000acidsys(~crameleon@openSUSE/member/crameleon) crameleon
2026-06-19 21:31:31 +0000nyc(~nyc@user/nyc) (Read error: Connection reset by peer)
2026-06-19 21:31:52 +0000nyc(~nyc@user/nyc) nyc
2026-06-19 21:33:16 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-06-19 21:34:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 21:39:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-19 21:44:30 +0000wickedjargon(~user@207.194.126.19) (Ping timeout: 252 seconds)
2026-06-19 21:46:07 +0000leppard(~noOne@ipservice-092-209-218-237.092.209.pools.vodafone-ip.de) Inline
2026-06-19 21:48:29 +0000pavonia(~user@user/siracusa) siracusa
2026-06-19 21:50:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 21:54:49 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds)
2026-06-19 21:57:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-06-19 22:00:57 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-06-19 22:05:54 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-06-19 22:08:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 22:10:46 +0000YuutaW(~YuutaW@infornography.yta.moe) YuutaW
2026-06-19 22:13:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-06-19 22:18:23 +0000redmp(~redmp@116-65-231-94.rev.home.ne.jp) redmp
2026-06-19 22:20:51 +0000traxex(traxex@user/traxex) traxex
2026-06-19 22:24:25 +0000merijn(~merijn@62.45.136.136) merijn
2026-06-19 22:26:36 +0000foul_owl(~kerry@94.156.149.93) (Ping timeout: 246 seconds)
2026-06-19 22:28:42 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 246 seconds)
2026-06-19 22:32:16 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 276 seconds)
2026-06-19 22:37:50 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2026-06-19 22:38:00 +0000hakutaku(~textual@user/hakutaku) hakutaku
2026-06-19 22:38:07 +0000acidsys(~crameleon@openSUSE/member/crameleon) (Ping timeout: 276 seconds)
2026-06-19 22:39:24 +0000acidsys(~crameleon@openSUSE/member/crameleon) crameleon
2026-06-19 22:39:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 22:45:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-19 22:49:12 +0000hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-06-19 22:51:44 +0000infinity0(~infinity0@pwned.gg) infinity0
2026-06-19 22:55:33 +0000hakutaku(~textual@user/hakutaku) hakutaku
2026-06-19 22:55:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-19 23:00:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)