2025/05/12

2025-05-12 00:00:02 +0200acidjnk(~acidjnk@p200300d6e71c4f78180f209d949bdd6b.dip0.t-ipconnect.de) acidjnk
2025-05-12 00:02:20 +0200tromp(~textual@2001:1c00:3487:1b00:880c:a961:240d:9720) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-12 00:03:00 +0200turlando(~turlando@user/turlando) (Ping timeout: 265 seconds)
2025-05-12 00:03:45 +0200turlando(~turlando@user/turlando) turlando
2025-05-12 00:06:25 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-05-12 00:07:27 +0200balthxzar(~balthxzar@user/Balthxzar) (Remote host closed the connection)
2025-05-12 00:07:45 +0200tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2025-05-12 00:07:56 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-05-12 00:13:39 +0200xff0x(~xff0x@2405:6580:b080:900:5c9:3756:500a:fde9) (Ping timeout: 260 seconds)
2025-05-12 00:14:32 +0200xff0x(~xff0x@2405:6580:b080:900:9d68:c704:b1b0:2e99)
2025-05-12 00:17:00 +0200weary-traveler(~user@user/user363627) user363627
2025-05-12 00:41:16 +0200 <EvanR> must be for inevitable alpha conversion
2025-05-12 00:42:05 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-12 00:42:14 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-05-12 00:43:28 +0200Lord_of_Life_Lord_of_Life
2025-05-12 00:56:49 +0200acidjnk(~acidjnk@p200300d6e71c4f78180f209d949bdd6b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-05-12 00:59:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-12 01:11:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 01:18:09 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-05-12 01:18:40 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-05-12 01:31:56 +0200sprotte24(~sprotte24@p200300d16f052e00b01ecb3cf5e5d8f9.dip0.t-ipconnect.de) (Quit: Leaving)
2025-05-12 01:32:16 +0200zdercti^(~zdercti@50.168.231.214)
2025-05-12 01:39:12 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-12 01:47:48 +0200siliconcritters(~siliconcr@syn-068-188-168-151.res.spectrum.com)
2025-05-12 01:50:39 +0200 <monochrom> Too lazy to read that paper, but here is a common mistake ("variable capture") when using names: ((\x y -> x + y) y) z = (\y -> y + y) z = z + z instead of y + z. De Bruijn numbering (or other numbering schemes) are not vulnerable to this mistake, the two "y"s have different IDs.
2025-05-12 01:53:25 +0200 <monochrom> Lisp macros, at least for old Lisp, are also vulnerable. When the Scheme people say "hygienic macros" they mean that macro expansion takes care not to make that mistake again.
2025-05-12 01:53:44 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-05-12 01:55:41 +0200 <monochrom> Template Haskell gives you two functions for creating names, so that you can choose whether you want variable capture or not per variable. (There are legit use cases when you want it.)
2025-05-12 02:01:52 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-05-12 02:02:20 +0200 <EvanR> I'm probably wrong about my observation, but using your example I'll show what I mean, (\x y -> x + y) y z, evaluate x+y in environment [x=>y, y=>z], y + z. I'll see if I can fix the example
2025-05-12 02:03:04 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-12 02:04:55 +0200 <EvanR> (\x y -> \z -> x) z
2025-05-12 02:06:09 +0200 <EvanR> yields an identity function instead of a constant function
2025-05-12 02:07:27 +0200 <EvanR> so when you convert from debruijn back to named variables you better use unique names
2025-05-12 02:08:32 +0200 <EvanR> (in the first example one of the y and in this example the z are free so wouldn't get IDs afaiui)
2025-05-12 02:08:41 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-12 02:09:28 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-05-12 02:18:05 +0200xff0x(~xff0x@2405:6580:b080:900:9d68:c704:b1b0:2e99) (Ping timeout: 260 seconds)
2025-05-12 02:18:44 +0200xff0x(~xff0x@2405:6580:b080:900:d755:12f8:638d:5cf9)
2025-05-12 02:21:30 +0200xff0x(~xff0x@2405:6580:b080:900:d755:12f8:638d:5cf9) (Client Quit)
2025-05-12 02:21:36 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-12 02:27:33 +0200 <monochrom> Environment is also a way to be invulnerable.
2025-05-12 02:28:55 +0200 <monochrom> The mistake happens if you really do what you tell beginners: substitute. :)
2025-05-12 02:31:57 +0200 <monochrom> The pros do one of. They do one of: numbering, environment, alpha-convert lambdas to fresh vars before substitute (e.g., rewrite (\x y -> x + y) to (\uuid1934 uuid3141 -> uuid1934 + uuid3141))
2025-05-12 02:32:23 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-05-12 02:32:29 +0200 <monochrom> I think Scheme hygienic macros use the alpha-convert way.
2025-05-12 02:34:34 +0200califax(~califax@user/califx) califx
2025-05-12 02:35:14 +0200xff0x(~xff0x@2405:6580:b080:900:42e0:bce1:22f1:2695)
2025-05-12 02:38:31 +0200 <EvanR> it seems to me that environment is real solution only if stuff in the environment doesn't have free variables, like in eager evaluation
2025-05-12 02:39:31 +0200 <EvanR> so ghc must do none of the above
2025-05-12 02:42:05 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) meinside
2025-05-12 02:45:55 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-12 03:01:11 +0200siliconcritters(~siliconcr@syn-068-188-168-151.res.spectrum.com) (Quit: siliconcritters)
2025-05-12 03:05:13 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-05-12 03:06:59 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-12 03:11:49 +0200xff0x(~xff0x@2405:6580:b080:900:42e0:bce1:22f1:2695) (Ping timeout: 276 seconds)
2025-05-12 03:38:05 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-05-12 03:48:44 +0200hughjfch1(~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3)
2025-05-12 03:49:14 +0200hughjfchen(~hughjfche@vmi2417424.contaboserver.net) hughjfchen
2025-05-12 03:49:41 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-05-12 03:50:26 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-12 03:53:23 +0200 <EvanR> I'm wrong, since the environment would have first class functions with their own environment in a closure
2025-05-12 03:54:49 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-12 03:56:40 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-12 04:07:53 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-05-12 04:13:00 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-05-12 04:13:24 +0200califax(~califax@user/califx) califx
2025-05-12 04:16:37 +0200tavare(~tavare@150.129.88.189) tavare
2025-05-12 04:16:37 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-05-12 04:16:37 +0200tavare(~tavare@user/tavare) tavare
2025-05-12 04:19:18 +0200td_(~td@i53870935.versanet.de) (Ping timeout: 272 seconds)
2025-05-12 04:19:23 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-05-12 04:20:45 +0200td_(~td@i53870921.versanet.de) td_
2025-05-12 04:37:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-05-12 04:40:15 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) aditya_an1l
2025-05-12 04:56:24 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-12 05:00:00 +0200Taneb0(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.)
2025-05-12 05:00:54 +0200hughjfchen(~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3)
2025-05-12 05:01:10 +0200Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) Taneb
2025-05-12 05:02:25 +0200hughjfchen(~hughjfche@vmi2417424.contaboserver.net) hughjfchen
2025-05-12 05:18:32 +0200weary-traveler(~user@user/user363627) user363627
2025-05-12 05:22:59 +0200 <monochrom> :)
2025-05-12 05:27:18 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-12 05:27:43 +0200weary-traveler(~user@user/user363627) user363627
2025-05-12 05:28:03 +0200 <EvanR> true or false, to have a working fixed point construct for recursion, you need some kind of lazy evaluation
2025-05-12 05:28:34 +0200 <EvanR> or else evaluating fix f necessarily freezes
2025-05-12 05:36:21 +0200 <monochrom> True.
2025-05-12 05:38:16 +0200 <EvanR> how do all these languages get recursion without lazy evaluation
2025-05-12 05:39:33 +0200 <ski> fix :: ((a -> b) -> (a -> b)) -> (a -> b)
2025-05-12 05:39:36 +0200 <monochrom> Even in call-by-value languages, lambdas are lazy in bodies, or at least delayed, i.e., "\x -> undefined" does not cause that undefined to be evaluated, only application "(\x -> undefined) 5" does. That little delay is leveraged to make fixed point combinators and emulation of laziness.
2025-05-12 05:39:40 +0200 <ski> fix f = (\t -> t t) (\t x -> f (t t) x)
2025-05-12 05:41:15 +0200 <monochrom> So you cannot make "fix (0 :) = 0 : 0 : ..." like in Haskell, but you can still make "fix (\f -> \n -> ... fibonacci ...)"
2025-05-12 05:41:48 +0200 <EvanR> is that the Z combinator ski
2025-05-12 05:42:06 +0200 <ski> it's the by-value fixed point combinator
2025-05-12 05:43:00 +0200 <EvanR> I see
2025-05-12 05:44:20 +0200 <ski> (note the eta-expansion)
2025-05-12 05:44:51 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-05-12 05:45:43 +0200 <monochrom> Y is (\t -> t t) (\t -> f (t t)). For call-by-value languages we eta expand to (\t x -> f (t t) x) so one more argument is needed for evaluation so there is the delay I said we need.
2025-05-12 05:47:01 +0200 <monochrom> So it is missing out on fix (0 :) = 0 : 0 : ... but it's OK, call-by-value languages don't have lazy lists in the first place. :)
2025-05-12 05:47:33 +0200michalz(~michalz@185.246.207.203)
2025-05-12 05:47:42 +0200 <EvanR> I found this on some page Z = \f -> (\x -> (f (\v -> (x x v)))) (\x -> (f (\v -> (x x v))))
2025-05-12 05:48:04 +0200 <EvanR> but yours is more explainable
2025-05-12 05:49:03 +0200 <ski> yea, i prefer adding in `(\t -> t t)' for the first part, no need to repeat something longer
2025-05-12 05:50:16 +0200 <EvanR> \f -> (\t -> t t) (\x -> f (\v -> (x x v)))
2025-05-12 05:50:26 +0200 <EvanR> I probably messed up
2025-05-12 05:50:41 +0200 <monochrom> It is correct. :)
2025-05-12 05:52:27 +0200 <EvanR> ok but the point of a fix construct is so you don't have to munge these nuts combinators, and so they can have a type
2025-05-12 05:53:03 +0200 <EvanR> does the by value version need a different evaluation strategy
2025-05-12 05:53:41 +0200 <monochrom> No, it's designed to be compatible with by-value evaluation.
2025-05-12 05:53:53 +0200 <EvanR> uhg
2025-05-12 05:54:28 +0200 <ski> # let fix f = (fun t -> t t) (fun t x -> f (t t) x);;
2025-05-12 05:54:33 +0200 <ski> val fix : (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b = <fun>
2025-05-12 05:54:43 +0200 <ski> # fix (fun fib n -> match n with 0 -> 0 | 1 -> 1 | n -> fib (n - 1) + fib (n - 2)) 12;;
2025-05-12 05:54:46 +0200 <ski> - : int = 144
2025-05-12 05:56:11 +0200 <EvanR> alright let me think
2025-05-12 05:56:29 +0200 <monochrom> Wait, how does that accept that "t t" is typeable?
2025-05-12 05:57:06 +0200 <EvanR> this is some fun t business
2025-05-12 05:57:08 +0200 <ski> # let omega x = x x;;
2025-05-12 05:57:10 +0200 <ski> val omega : ('a -> 'b as 'a) -> 'b = <fun>
2025-05-12 05:57:33 +0200 <EvanR> it's an infinite type
2025-05-12 05:57:41 +0200 <monochrom> Oh God it does equi-recursive types?!
2025-05-12 05:57:50 +0200 <ski> `ocaml -rectypes' does, yes
2025-05-12 05:58:04 +0200 <monochrom> OK that's deep magic.
2025-05-12 05:58:15 +0200 <ski> without `-rectypes', it only allows such cycles, if they go through at least one object type
2025-05-12 06:01:09 +0200 <ski> (this is useful for "binary methods" and "clone methods / functional update". see <https://ocaml.org/manual/5.3/objectexamples.html#s:functional-objects> and <https://ocaml.org/manual/5.3/objectexamples.html#s:binary-methods>)
2025-05-12 06:03:44 +0200 <ski> # let omega : 'o -> 'a as 'o = fun x -> x x;;
2025-05-12 06:03:47 +0200 <ski> val omega : 'b -> 'a as 'b = <fun>
2025-05-12 06:03:57 +0200 <ski> ^ shorter way to express the same type
2025-05-12 06:04:51 +0200 <ski> `omega :: o where o = o -> a' in Haskellish terms
2025-05-12 06:06:04 +0200 <EvanR> ...) -> a) -> a) -> a) -> a
2025-05-12 06:06:51 +0200 <ski> indeed
2025-05-12 06:07:40 +0200 <EvanR> it's turtles all the way down
2025-05-12 06:09:49 +0200 <ski> newtype Santa a = MkSanta {runSanta :: Santa a -> a}
2025-05-12 06:10:06 +0200 <ski> fix :: (a -> a) -> a
2025-05-12 06:10:20 +0200 <ski> fix f = t `runSanta` t
2025-05-12 06:10:25 +0200 <ski> where
2025-05-12 06:10:41 +0200 <ski> t = Santa (\t -> f (t `runSanta` t))
2025-05-12 06:11:11 +0200 <ski> er, s/t = Santa/t = MkSanta/
2025-05-12 06:11:30 +0200 <EvanR> is this by value santa
2025-05-12 06:11:57 +0200 <ski> by-name
2025-05-12 06:12:27 +0200 <EvanR> oh it's the Y combinator smuggled into haskell
2025-05-12 06:12:51 +0200ski. o O ( <https://en.wikipedia.org/wiki/L%C3%B6b's_paradox> )
2025-05-12 06:13:06 +0200 <ski> using type-level recursion, rather than value-level recursion, yes
2025-05-12 06:13:31 +0200 <EvanR> what is the character between L and b my client exploded
2025-05-12 06:13:47 +0200 <ski> it's an "ö"
2025-05-12 06:13:55 +0200 <ski> "o" with diaresis
2025-05-12 06:14:33 +0200 <ski> (percent-encoded in this case. however, <https://en.wikipedia.org/wiki/Curry's_paradox> also works)
2025-05-12 06:15:09 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-05-12 06:16:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-12 06:16:41 +0200 <EvanR> got it
2025-05-12 06:16:59 +0200 <ski> using iso-recursive types, rather than equi-recursive
2025-05-12 06:17:06 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-12 06:17:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-12 06:18:24 +0200 <ski> (Löb's paradox has an extra "provable" modality indirection, though .. `loeb : [] ([] a -> a) -> [] a' .. but if you ignore that, it's basically `fix')
2025-05-12 06:19:30 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-12 06:19:33 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-12 06:24:15 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-05-12 06:26:23 +0200 <ski> ((lambda (lambda) `(,lambda ',lambda)) '(lambda (lambda) `(,lambda ',lambda)))
2025-05-12 06:26:26 +0200 <ski> and
2025-05-12 06:26:32 +0200 <ski> (let ((let '`(let ((let ',let)) ,let))) `(let ((let ',let)) ,let))
2025-05-12 06:27:02 +0200 <ski> are two quines based on the same idea
2025-05-12 06:28:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 06:30:02 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.6.2)
2025-05-12 06:33:47 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) aditya_an1l
2025-05-12 06:39:27 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-12 06:40:22 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-12 06:41:10 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-12 06:43:38 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 06:46:06 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.6.2)
2025-05-12 06:46:44 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) aditya_an1l
2025-05-12 06:48:51 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) (Client Quit)
2025-05-12 07:15:07 +0200carbolymer(~carbolyme@dropacid.net) (Remote host closed the connection)
2025-05-12 07:16:17 +0200carbolymer(~carbolyme@dropacid.net) carbolymer
2025-05-12 07:23:57 +0200peterbecich1(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-12 07:25:10 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-05-12 07:25:10 +0200peterbecich1peterbecich
2025-05-12 07:31:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-12 07:35:00 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2025-05-12 07:35:44 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de)
2025-05-12 07:39:45 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2025-05-12 07:41:36 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-12 07:43:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 07:44:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-12 07:47:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-12 07:48:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-12 07:57:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-12 07:59:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 08:00:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-12 08:04:00 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-12 08:05:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-12 08:11:22 +0200tromp(~textual@2001:1c00:3487:1b00:ecd3:a00f:e9d8:9bf6)
2025-05-12 08:11:43 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-12 08:12:42 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-05-12 08:15:33 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-12 08:16:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 08:29:32 +0200weary-traveler(~user@user/user363627) (Ping timeout: 265 seconds)
2025-05-12 08:31:17 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-12 08:32:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-05-12 08:32:16 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-12 08:33:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-12 08:38:06 +0200weary-traveler(~user@user/user363627) user363627
2025-05-12 08:39:14 +0200halloy5771(~halloy577@71-212-10-118.tukw.qwest.net)
2025-05-12 08:41:42 +0200user363627(~user@user/user363627) user363627
2025-05-12 08:42:49 +0200tromp(~textual@2001:1c00:3487:1b00:ecd3:a00f:e9d8:9bf6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-12 08:43:25 +0200weary-traveler(~user@user/user363627) (Ping timeout: 252 seconds)
2025-05-12 08:44:08 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-12 08:44:26 +0200euleritian(~euleritia@77.23.248.100)
2025-05-12 08:44:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 08:46:14 +0200halloy5771(~halloy577@71-212-10-118.tukw.qwest.net) (Quit: halloy5771)
2025-05-12 08:47:08 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 08:47:27 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 08:51:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-12 08:54:32 +0200ft(~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving)
2025-05-12 08:56:04 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-05-12 08:56:58 +0200acidjnk(~acidjnk@p200300d6e71c4f20419b0c7401f54203.dip0.t-ipconnect.de) acidjnk
2025-05-12 08:58:15 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 08:58:30 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 08:59:40 +0200user363627(~user@user/user363627) (Remote host closed the connection)
2025-05-12 09:00:04 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-12 09:00:49 +0200caconym7(~caconym@user/caconym) caconym
2025-05-12 09:01:16 +0200euleritian(~euleritia@77.23.248.100) (Ping timeout: 244 seconds)
2025-05-12 09:02:05 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-05-12 09:02:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 09:03:13 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de)
2025-05-12 09:05:57 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-12 09:07:01 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-12 09:07:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-12 09:07:56 +0200p3n(~p3n@217.198.124.246) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-12 09:12:53 +0200p3n(~p3n@217.198.124.246) p3n
2025-05-12 09:13:12 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-12 09:13:21 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-05-12 09:15:07 +0200tromp(~textual@2001:1c00:3487:1b00:ecd3:a00f:e9d8:9bf6)
2025-05-12 09:17:12 +0200__monty__(~toonn@user/toonn) toonn
2025-05-12 09:19:37 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2025-05-12 09:19:47 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-05-12 09:20:33 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-12 09:22:45 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-12 09:24:00 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-12 09:32:54 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-12 09:39:46 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-12 09:40:04 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-12 09:40:59 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-12 09:46:21 +0200Square(~Square4@user/square) Square
2025-05-12 09:50:46 +0200merijn(~merijn@77.242.116.146) merijn
2025-05-12 09:54:06 +0200merijn(~merijn@77.242.116.146) (Client Quit)
2025-05-12 09:54:21 +0200merijn(~merijn@77.242.116.146) merijn
2025-05-12 09:55:27 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-05-12 09:56:34 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-12 09:57:13 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de)
2025-05-12 09:59:50 +0200 <hololeap> Hey, just wondering if anyone knows of any examples on gitghub of haskell packages that have a functioning benchmark setup and a way to measure PRs against the main branch?
2025-05-12 10:13:27 +0200Square(~Square4@user/square) (Ping timeout: 265 seconds)
2025-05-12 10:15:37 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-12 10:15:58 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-12 10:16:28 +0200kh0d(~kh0d@89.216.103.150) kh0d
2025-05-12 10:16:34 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Client Quit)
2025-05-12 10:19:31 +0200 <merijn> hololeap: I don't think anyone does that
2025-05-12 10:19:49 +0200 <merijn> Because it seems unlikely the github runner infrastructure is deterministic enough
2025-05-12 10:20:33 +0200 <hololeap> you mean in terms of speed?
2025-05-12 10:20:36 +0200 <merijn> yeah
2025-05-12 10:20:50 +0200 <hololeap> fair enough
2025-05-12 10:20:52 +0200 <merijn> I can imagine the available CPU scales with current load of their github action system
2025-05-12 10:21:27 +0200 <hololeap> that makes sense
2025-05-12 10:21:29 +0200 <hololeap> ty
2025-05-12 10:29:59 +0200hellwolf(~user@5345-cb48-715e-41e3-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds)
2025-05-12 10:32:14 +0200fp1(~Thunderbi@87-92-254-11.rev.dnainternet.fi) fp
2025-05-12 10:32:33 +0200tromp(~textual@2001:1c00:3487:1b00:ecd3:a00f:e9d8:9bf6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-12 10:35:52 +0200hellwolf(~user@01f7-65aa-cc2f-39a8-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-05-12 10:36:12 +0200califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-05-12 10:36:30 +0200califax(~califax@user/califx) califx
2025-05-12 10:38:50 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-12 10:42:13 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-12 10:50:55 +0200JeremyB99(~JeremyB99@172.87.18.1) (Read error: Connection reset by peer)
2025-05-12 10:51:28 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 10:53:54 +0200kh0d(~kh0d@89.216.103.150) (Quit: Leaving...)
2025-05-12 11:05:52 +0200Square(~Square4@user/square) Square
2025-05-12 11:06:42 +0200tromp(~textual@2001:1c00:3487:1b00:ecd3:a00f:e9d8:9bf6)
2025-05-12 11:11:46 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-05-12 11:11:50 +0200 <tomsmeding> I have some personal experience with benchmarking on github actions, and indeed the answer is: don't do that, performance is unpredictable
2025-05-12 11:12:19 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-12 11:17:03 +0200 <__monty__> Are there any benchmarking techniques that are independent(ish, at least) of the capacity of the underlying hardware?
2025-05-12 11:24:03 +0200 <Hecate> __monty__: well, that would mean doing a bunch, bunch of benchmark runs, and then averaging them out per hardware characteristics :D
2025-05-12 11:24:31 +0200 <Hecate> __monty__: in other words, you will get completely different results according to the cache of the CPU, the quality of RAM, etc
2025-05-12 11:25:02 +0200 <Hecate> you're not getting any kind of useful metrics from abstracting that away, there's no "ethereal" or "ideal" computer on which your program runs
2025-05-12 11:25:36 +0200 <__monty__> I'm thinking of things like benchmarking before and after a change. To get an estimation of the relative improvement of the change.
2025-05-12 11:26:26 +0200zdercti^(~zdercti@50.168.231.214) (Ping timeout: 265 seconds)
2025-05-12 11:26:32 +0200 <Hecate> __monty__: yes that's what benchmarking does, but your change might have completely different effects on different architectures!
2025-05-12 11:26:50 +0200zdercti^(~zdercti@50.168.231.214)
2025-05-12 11:26:53 +0200 <__monty__> It's not perfect but I suspect it's a step in the right direction.
2025-05-12 11:27:36 +0200 <Hecate> __monty__: just so we're clear, you want to mesure change against something that is not a real computer or has no real hardware characteristics, despite your program running on actual computers with actual hardware?
2025-05-12 11:28:22 +0200 <Hecate> then I'm not sure what you want to measure, actually
2025-05-12 11:28:57 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-12 11:29:20 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-12 11:30:08 +0200 <__monty__> I'm more interested in a statistic that says something about hardware representative of what the software runs on on average. Without having to know the exact distribution of hardware characteristics and without requiring a stable representative of that distribution.
2025-05-12 11:34:45 +0200prdak(~Thunderbi@user/prdak) prdak
2025-05-12 11:37:06 +0200fp1(~Thunderbi@87-92-254-11.rev.dnainternet.fi) (Ping timeout: 252 seconds)
2025-05-12 11:41:09 +0200 <Hecate> __monty__: so, you want an average of your program's runtime platforms
2025-05-12 11:41:31 +0200 <Hecate> __monty__: looks like you may want to look into telemetry, or download statistics for pre-built binaries
2025-05-12 11:44:41 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-05-12 11:44:59 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-12 11:47:00 +0200manwithluck(~manwithlu@104.28.210.121) (Ping timeout: 252 seconds)
2025-05-12 11:47:14 +0200manwithluck(~manwithlu@2a09:bac1:5b80:20::38a:2d) manwithluck
2025-05-12 11:51:21 +0200tromp(~textual@2001:1c00:3487:1b00:ecd3:a00f:e9d8:9bf6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-12 11:51:21 +0200JeremyB99(~JeremyB99@172.87.18.1) (Read error: Connection reset by peer)
2025-05-12 11:52:53 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 11:54:41 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-12 11:58:25 +0200comerijn(~merijn@77.242.116.146) merijn
2025-05-12 11:59:09 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-12 11:59:14 +0200tromp(~textual@2001:1c00:3487:1b00:ecd3:a00f:e9d8:9bf6)
2025-05-12 12:00:49 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2025-05-12 12:00:56 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-05-12 12:01:04 +0200 <__monty__> No, that's not actually what I want.
2025-05-12 12:01:27 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-12 12:02:27 +0200 <__monty__> This is more of an inquiry for theoretical results. I find it hard to believe that there's *nothing* you can measure independently from a specific hardware configuration.
2025-05-12 12:07:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-12 12:11:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-12 12:12:29 +0200 <Hecate> __monty__: there's not "nothing", but there's few things. Useful things are still bound to the laws of physics
2025-05-12 12:13:58 +0200 <tomsmeding> __monty__: the optimisations that a compiler does to your code are instruction-set architecture dependent
2025-05-12 12:14:03 +0200 <tomsmeding> there is no such thing as hardware-independent performance
2025-05-12 12:14:38 +0200 <tomsmeding> somewhat related, though: if you accept hardware-bound results, you can strongly reduce noise effects by not measuring time but number of instructions executed
2025-05-12 12:14:48 +0200 <tomsmeding> modern CPUs have counters for this
2025-05-12 12:15:48 +0200 <tomsmeding> only computational complexity has a chance of being hardware-independent, though I wouldn't be surprised if you can come up with edge cases where a compiler is able to e.g. optimise a loop away to a constant operation on one architecture but not on another
2025-05-12 12:16:02 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-12 12:17:05 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-05-12 12:23:00 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-05-12 12:28:13 +0200tromp(~textual@2001:1c00:3487:1b00:ecd3:a00f:e9d8:9bf6) (Ping timeout: 276 seconds)
2025-05-12 12:28:57 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-12 12:29:32 +0200merijn(~merijn@77.242.116.146) merijn
2025-05-12 12:30:13 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
2025-05-12 12:34:06 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-05-12 12:35:24 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-05-12 12:36:04 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de)
2025-05-12 12:39:07 +0200merijn(~merijn@77.242.116.146) merijn
2025-05-12 12:51:46 +0200JeremyB99(~JeremyB99@172.87.18.1) (Read error: Connection reset by peer)
2025-05-12 12:53:21 +0200vgtw_(~vgtw@user/vgtw) vgtw
2025-05-12 12:54:18 +0200vgtw(~vgtw@user/vgtw) (Ping timeout: 276 seconds)
2025-05-12 13:03:36 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 13:18:14 +0200JeremyB99(~JeremyB99@172.87.18.1) (Ping timeout: 260 seconds)
2025-05-12 13:20:49 +0200xff0x(~xff0x@ai099192.d.east.v6connect.net)
2025-05-12 13:21:22 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 13:28:27 +0200chexum_(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-05-12 13:28:47 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-05-12 13:28:59 +0200td_(~td@i53870921.versanet.de) (Quit: waking up from the american dream ...)
2025-05-12 13:40:34 +0200td_(~td@i53870921.versanet.de)
2025-05-12 13:52:18 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-05-12 14:08:09 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-12 14:08:48 +0200comerijn(~merijn@77.242.116.146) merijn
2025-05-12 14:09:37 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-12 14:11:44 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-05-12 14:21:06 +0200jespada(~jespada@r179-24-29-12.dialup.adsl.anteldata.net.uy) jespada
2025-05-12 14:26:20 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-12 14:30:05 +0200xff0x(~xff0x@ai099192.d.east.v6connect.net) (Quit: xff0x)
2025-05-12 14:35:07 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-12 14:35:18 +0200xff0x(~xff0x@2405:6580:b080:900:7188:fe4c:4162:a20)
2025-05-12 14:37:11 +0200jespada(~jespada@r179-24-29-12.dialup.adsl.anteldata.net.uy) (Quit: Textual IRC Client: www.textualapp.com)
2025-05-12 14:37:35 +0200jespada(~jespada@r179-24-29-12.dialup.adsl.anteldata.net.uy) jespada
2025-05-12 14:40:44 +0200xff0x(~xff0x@2405:6580:b080:900:7188:fe4c:4162:a20) (Ping timeout: 265 seconds)
2025-05-12 14:41:30 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-05-12 14:41:58 +0200xff0x(~xff0x@ai099192.d.east.v6connect.net)
2025-05-12 14:52:01 +0200JeremyB99(~JeremyB99@172.87.18.1) (Ping timeout: 272 seconds)
2025-05-12 14:55:48 +0200Square(~Square4@user/square) (Ping timeout: 272 seconds)
2025-05-12 14:56:49 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 14:57:04 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-12 14:57:22 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-12 15:01:30 +0200JeremyB99(~JeremyB99@172.87.18.1) (Ping timeout: 272 seconds)
2025-05-12 15:03:37 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 15:05:22 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-12 15:07:56 +0200JeremyB99(~JeremyB99@172.87.18.1) (Ping timeout: 252 seconds)
2025-05-12 15:11:45 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
2025-05-12 15:12:25 +0200AlexNoo_(~AlexNoo@178.34.161.121)
2025-05-12 15:14:53 +0200AlexZenon(~alzenon@5.139.233.9) (Ping timeout: 252 seconds)
2025-05-12 15:16:15 +0200AlexNoo(~AlexNoo@5.139.233.9) (Ping timeout: 260 seconds)
2025-05-12 15:19:09 +0200AlexZenon(~alzenon@178.34.161.121)
2025-05-12 15:20:53 +0200prdak(~Thunderbi@user/prdak) prdak
2025-05-12 15:22:03 +0200_xor(~xor@ip-50-5-4-25.dynamic.fuse.net) (Read error: Connection reset by peer)
2025-05-12 15:23:23 +0200_xor(~xor@ip-50-5-4-25.dynamic.fuse.net) _xor
2025-05-12 15:25:14 +0200APic(apic@apic.name) APic
2025-05-12 15:25:58 +0200roconnor(~quassel@rocq/roconnor) ()
2025-05-12 15:30:22 +0200AlexNoo_AlexNoo
2025-05-12 15:31:01 +0200ystael(~ystael@user/ystael) ystael
2025-05-12 15:31:03 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 15:32:35 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-12 15:49:45 +0200weary-traveler(~user@user/user363627) user363627
2025-05-12 15:50:06 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-12 15:51:05 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-12 15:51:40 +0200JeremyB99(~JeremyB99@172.87.18.1) (Ping timeout: 276 seconds)
2025-05-12 15:54:54 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 15:55:14 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-12 15:56:34 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-05-12 15:56:37 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-05-12 15:57:03 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-12 16:08:08 +0200Square(~Square4@user/square) Square
2025-05-12 16:21:35 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2025-05-12 16:23:31 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de)
2025-05-12 16:23:51 +0200JeremyB99(~JeremyB99@172.87.18.1) (Ping timeout: 272 seconds)
2025-05-12 16:26:14 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 16:30:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2025-05-12 16:31:25 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-05-12 16:35:54 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-05-12 16:42:23 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-05-12 16:43:13 +0200Guest35(~Guest1@2001:b07:ad4:844e:4ce8:2039:fe59:e726)
2025-05-12 16:44:16 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-05-12 16:50:05 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-12 16:50:55 +0200JeremyB99(~JeremyB99@172.87.18.1) (Read error: Connection reset by peer)
2025-05-12 16:51:40 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 16:56:18 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-05-12 16:58:20 +0200JeremyB99(~JeremyB99@172.87.18.1) (Ping timeout: 260 seconds)
2025-05-12 17:00:36 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-12 17:00:54 +0200euleritian(~euleritia@77.23.248.100)
2025-05-12 17:03:17 +0200Guest35(~Guest1@2001:b07:ad4:844e:4ce8:2039:fe59:e726) (Quit: Client closed)
2025-05-12 17:07:01 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 17:12:59 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-12 17:24:06 +0200sim590(~simon@209-15-185-101.resi.cgocable.ca)
2025-05-12 17:47:26 +0200zdercti^(~zdercti@50.168.231.214) (Ping timeout: 252 seconds)
2025-05-12 17:47:52 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 17:48:09 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 17:51:10 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds)
2025-05-12 17:56:25 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-05-12 17:57:53 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 17:58:09 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 17:58:26 +0200euleritian(~euleritia@77.23.248.100) (Ping timeout: 252 seconds)
2025-05-12 17:59:29 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de)
2025-05-12 18:01:23 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-05-12 18:07:36 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds)
2025-05-12 18:11:04 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-12 18:12:47 +0200zdercti^(~zdercti@50.168.231.214)
2025-05-12 18:15:09 +0200yin(~z@user/zero) zero
2025-05-12 18:18:13 +0200zdercti^(~zdercti@50.168.231.214) (Remote host closed the connection)
2025-05-12 18:18:48 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-12 18:20:10 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-05-12 18:23:20 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 18:23:35 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 18:25:11 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-05-12 18:29:32 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-12 18:35:26 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-12 18:41:11 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-05-12 18:41:44 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-12 18:44:47 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 18:45:01 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 18:55:32 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 18:55:51 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 18:57:30 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-05-12 19:02:13 +0200ft(~ft@p3e9bc106.dip0.t-ipconnect.de) ft
2025-05-12 19:02:40 +0200waltggVGC
2025-05-12 19:02:43 +0200ggVGCggVGc
2025-05-12 19:04:02 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2025-05-12 19:06:38 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-05-12 19:06:41 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit)
2025-05-12 19:17:22 +0200jespada(~jespada@r179-24-29-12.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-05-12 19:17:35 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-05-12 19:20:00 +0200jespada(~jespada@r179-24-29-12.dialup.adsl.anteldata.net.uy) jespada
2025-05-12 19:22:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 19:22:31 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-12 19:23:22 +0200sp1ff`(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2025-05-12 19:23:44 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 19:24:02 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 19:25:38 +0200sprotte24(~sprotte24@p200300d16f0e680010976ce20a20e5ec.dip0.t-ipconnect.de)
2025-05-12 19:27:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-12 19:27:50 +0200gorignak(~gorignak@user/gorignak) (Ping timeout: 265 seconds)
2025-05-12 19:31:46 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-05-12 19:32:11 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-12 19:35:15 +0200jespada(~jespada@r179-24-29-12.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds)
2025-05-12 19:37:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 19:38:49 +0200jespada(~jespada@r179-25-209-21.dialup.adsl.anteldata.net.uy) jespada
2025-05-12 19:40:41 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-05-12 19:42:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-12 19:45:06 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 19:45:21 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 19:47:42 +0200sajenim(~sajenim@user/sajenim) (Ping timeout: 252 seconds)
2025-05-12 19:47:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-12 19:48:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-12 19:53:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 19:56:18 +0200JuanDaughertyColinRobinson
2025-05-12 19:59:55 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 20:00:15 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 20:00:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-12 20:02:56 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection)
2025-05-12 20:03:36 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2025-05-12 20:11:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 20:16:44 +0200ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-12 20:16:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-12 20:22:41 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) aditya_an1l
2025-05-12 20:23:27 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 20:23:41 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 20:35:13 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 20:35:32 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 20:37:49 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-05-12 20:37:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 20:39:32 +0200califax(~califax@user/califx) califx
2025-05-12 20:42:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-12 20:43:14 +0200zennit(~Ascyii@user/jonas2) jonas2
2025-05-12 20:49:03 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 20:49:17 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 20:50:15 +0200zennit(~Ascyii@user/jonas2) (Quit: WeeChat 4.4.3)
2025-05-12 20:53:22 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-05-12 20:53:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 20:54:41 +0200zennit(~Ascyii@user/jonas2) jonas2
2025-05-12 20:58:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-12 20:59:19 +0200notzmv(~daniel@user/notzmv) notzmv
2025-05-12 21:00:02 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-12 21:00:27 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-12 21:00:38 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-05-12 21:00:41 +0200caconym7(~caconym@user/caconym) caconym
2025-05-12 21:01:37 +0200Square2(~Square@user/square) Square
2025-05-12 21:02:20 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 21:02:35 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 21:04:49 +0200Square(~Square4@user/square) (Ping timeout: 244 seconds)
2025-05-12 21:07:04 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-12 21:09:26 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-12 21:09:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 21:10:05 +0200 <[exa]> so I see there's dear-imgui package for haskells. Is there any (convenient) way to run that atop a gloss app?
2025-05-12 21:13:11 +0200 <c_wraith> gloss can render a bitmap.
2025-05-12 21:13:28 +0200 <c_wraith> but thta doesn't exactly make it convenient.
2025-05-12 21:13:36 +0200 <EvanR> or efficient
2025-05-12 21:14:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-12 21:14:31 +0200 <[exa]> like, in Cs I was normally just injecting an extra commandbuffer from imgui at the end of render (of basically anything) and it worked, kinda hoped that gloss would have some support for that
2025-05-12 21:14:37 +0200 <EvanR> sometimes separate openGL codes can be slammed together in primitive fashion to both work with under the same context, but one of them has to avoid opening its own (global) context
2025-05-12 21:14:45 +0200notzmv(~daniel@user/notzmv) (Remote host closed the connection)
2025-05-12 21:14:47 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-12 21:15:11 +0200 <EvanR> I'm not sure this is filed under "convenient" moresorather than "mad science"
2025-05-12 21:16:57 +0200notzmv(~daniel@user/notzmv) notzmv
2025-05-12 21:17:26 +0200 <[exa]> it's convenient in C :D
2025-05-12 21:17:45 +0200 <[exa]> anyway yeah imgui is literally built to allow this
2025-05-12 21:17:50 +0200 <c_wraith> I mean, a big part of it is that gloss is not
2025-05-12 21:18:07 +0200 <c_wraith> Gloss is mostly built to be self-contained
2025-05-12 21:18:24 +0200 <c_wraith> even rendering a bitmap is stretching what it's built for
2025-05-12 21:18:39 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds)
2025-05-12 21:18:40 +0200ljdarj1ljdarj
2025-05-12 21:19:00 +0200 <[exa]> as in, there's an imgui memory editor project that you can dynamically load into any running opengl program with some gdb help, add a little bit of a call at the right place, and it will just render
2025-05-12 21:19:09 +0200 <[exa]> not sure if gloss will be immune
2025-05-12 21:19:13 +0200 <[exa]> let's see
2025-05-12 21:19:59 +0200 <EvanR> yeeeeah that's still mad science
2025-05-12 21:21:42 +0200 <[exa]> yeah that one qualifies easily
2025-05-12 21:25:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 21:28:39 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 21:28:56 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 21:30:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-12 21:36:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-12 21:37:19 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-05-12 21:39:32 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer)
2025-05-12 21:39:45 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-12 21:41:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 21:43:02 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-05-12 21:46:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-12 21:48:06 +0200__monty__(~toonn@user/toonn) toonn
2025-05-12 21:52:31 +0200aditya_an1l(~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.6.2)
2025-05-12 21:53:51 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-12 21:55:27 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de)
2025-05-12 21:56:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 22:01:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-12 22:06:34 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-12 22:11:35 +0200natto17(~natto@129.154.243.159) (Ping timeout: 260 seconds)
2025-05-12 22:12:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 22:16:28 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-12 22:17:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-12 22:17:53 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-05-12 22:18:52 +0200JeremyB99(~JeremyB99@172.87.18.1) (Remote host closed the connection)
2025-05-12 22:19:06 +0200JeremyB99(~JeremyB99@172.87.18.1)
2025-05-12 22:19:32 +0200rvalue-(~rvalue@user/rvalue) rvalue
2025-05-12 22:19:45 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 260 seconds)
2025-05-12 22:24:19 +0200rvalue-rvalue
2025-05-12 22:24:41 +0200natto17(~natto@129.154.243.159) natto
2025-05-12 22:28:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-12 22:29:19 +0200euleritian(~euleritia@dynamic-176-006-133-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-12 22:29:36 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-12 22:31:48 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-12 22:33:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)