2025/09/13

2025-09-13 00:00:07 +0200 <EvanR> evolved ghc keeps reducing the number of stacks via tricks but that's like an optimized thing
2025-09-13 00:01:19 +0200 <haskellbridge> <magic_rb> well, im trying to optimize :P
2025-09-13 00:02:44 +0200AlexZenon(~alzenon@178.34.162.29)
2025-09-13 00:03:02 +0200tromp(~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-13 00:03:35 +0200 <EvanR> prematurely or postmaturely
2025-09-13 00:03:38 +0200 <haskellbridge> <magic_rb> okay, managed a arbitrary depth uncurrying function
2025-09-13 00:03:48 +0200 <haskellbridge> <magic_rb> nah, like, im not optimizing properly
2025-09-13 00:03:59 +0200 <haskellbridge> <magic_rb> but i dont want to introduce new things into the core runtime
2025-09-13 00:04:22 +0200 <haskellbridge> <magic_rb> also, i seem to recall the 2016 paper saying that the STG only handles fully saturated primop calls and so the frontend must wrap them in lambdas
2025-09-13 00:04:32 +0200 <EvanR> primitives should be something you designed into the system xD
2025-09-13 00:04:36 +0200 <EvanR> not slapped on at the last minute
2025-09-13 00:05:12 +0200 <haskellbridge> <magic_rb> it is designed in?
2025-09-13 00:17:52 +0200comonad(~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de)
2025-09-13 00:18:26 +0200 <monochrom> I wonder if: There is no design, there is only slapping on earlier or slapping on later.
2025-09-13 00:19:35 +0200 <EvanR> don't forget unslapping
2025-09-13 00:19:42 +0200 <EvanR> so the final product looks like jenga
2025-09-13 00:19:45 +0200 <EvanR> one way or another
2025-09-13 00:20:01 +0200 <monochrom> hee hee
2025-09-13 00:22:16 +0200Googulator77Googulator
2025-09-13 00:23:40 +0200divya(divya@140.238.251.170) (Ping timeout: 256 seconds)
2025-09-13 00:44:31 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-09-13 00:52:28 +0200sprotte24(~sprotte24@p5b039b62.dip0.t-ipconnect.de) (Quit: Leaving)
2025-09-13 00:53:49 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-09-13 00:55:07 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-13 00:56:51 +0200fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds)
2025-09-13 00:58:19 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2025-09-13 00:59:20 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-13 00:59:33 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-13 01:09:17 +0200AlexNoo_AlexNoo
2025-09-13 01:10:32 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-13 01:10:33 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-13 01:10:45 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-09-13 01:22:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-13 01:24:13 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-13 01:30:58 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-09-13 01:31:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-13 01:36:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-13 01:40:21 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-13 01:41:28 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-13 01:47:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-13 01:48:06 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2025-09-13 01:51:27 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-09-13 01:57:38 +0200zzz(~zero@user/zero) (Remote host closed the connection)
2025-09-13 02:03:24 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-13 02:09:05 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-09-13 02:10:32 +0200poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-09-13 02:11:54 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-09-13 02:12:00 +0200ljdarj1ljdarj
2025-09-13 02:13:01 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-13 02:13:12 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-09-13 02:13:31 +0200poscat(~poscat@user/poscat) poscat
2025-09-13 02:17:34 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2025-09-13 02:19:02 +0200otto_s(~user@p4ff27276.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-09-13 02:20:18 +0200otto_s(~user@p5de2f6d3.dip0.t-ipconnect.de)
2025-09-13 02:20:20 +0200acidjnk(~acidjnk@p200300d6e7171985d5506271dfe67a69.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-09-13 02:21:47 +0200trickard_trickard
2025-09-13 02:22:34 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-13 02:29:09 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-09-13 02:39:42 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-09-13 02:53:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-13 03:03:23 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-13 03:04:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-13 03:07:47 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-13 03:08:34 +0200doyougnu(~doyougnu@38.175.72.111) (Ping timeout: 256 seconds)
2025-09-13 03:08:35 +0200zzz(~zero@user/zero) zero
2025-09-13 03:10:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-13 03:11:33 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-09-13 03:17:19 +0200krei-se(~krei-se@p200300f1cf342301915f43887404f7ca.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2025-09-13 03:20:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-13 03:28:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-13 03:29:28 +0200krei-se(~krei-se@2003:f1:cf34:2301:915f:4388:7404:f7ca) krei-se
2025-09-13 03:30:21 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-09-13 03:37:14 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-13 03:39:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-13 03:39:53 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-09-13 03:47:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-09-13 03:52:12 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-13 03:57:46 +0200divya(divya@140.238.251.170) divya
2025-09-13 03:58:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-13 04:02:24 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-13 04:02:38 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-09-13 04:03:29 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-09-13 04:20:33 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-13 04:34:01 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-09-13 04:34:08 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2025-09-13 04:34:42 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-09-13 04:36:53 +0200doyougnu(~doyougnu@38.175.72.111) doyougnu
2025-09-13 04:37:57 +0200trickard_trickard
2025-09-13 04:59:25 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-13 05:03:07 +0200rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-09-13 05:03:19 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-09-13 05:03:42 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-09-13 05:14:30 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds)
2025-09-13 05:22:23 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-13 05:25:47 +0200xff0x(~xff0x@2405:6580:b080:900:8846:d27a:34b2:3e5) (Ping timeout: 248 seconds)
2025-09-13 05:33:23 +0200xff0x(~xff0x@2405:6580:b080:900:8846:d27a:34b2:3e5)
2025-09-13 05:36:25 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-13 05:37:58 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-09-13 05:38:19 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-13 05:47:38 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-13 06:00:12 +0200trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-13 06:00:25 +0200trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-09-13 06:03:29 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
2025-09-13 06:05:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-13 06:27:59 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-13 06:30:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-13 06:59:25 +0200Square2(~Square@user/square) Square
2025-09-13 07:13:15 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-13 07:18:28 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-13 07:21:26 +0200trickard_trickard
2025-09-13 07:22:08 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2025-09-13 07:24:40 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-13 07:37:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-13 07:49:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-13 08:19:47 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-09-13 08:22:30 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-13 08:36:13 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-09-13 08:42:30 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-09-13 08:48:05 +0200dyno(dyno@user/dyno) (Quit: WeeChat 4.1.1)
2025-09-13 08:48:57 +0200dyno(dyno@user/dyno) dyno
2025-09-13 08:54:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-13 08:57:39 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-13 09:00:05 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-13 09:00:45 +0200caconym747(~caconym@user/caconym) caconym