Here's a funny Z combinator in typescript in pure SKI form for lambda calculus purist:

    const K = <A, B>(a: A) => (_b: B) => a;

    const S = <A, B, C>(a: (x: C) => (y: B) => A) => (b: (x: C) => B) => (c: C) => a(c)(b(c));

    const Z = S(K(S(S(K)(K))(S(K)(K))))(S(S(K(S))(K))(K(S(K(S(S)(S(K))))(S(S(K(S))(K))(K)))));

https://en.wikipedia.org/wiki/Fixed-point_combinator

Also not related to https://fluxkeyboard.com/

Nor f.lux, the warm light software that got Sherlocked by every major OS.

https://justgetflux.com/

Nor the Flux Capacitor from Back to the Future.

Nor the famed Good Will Hunting and Argo actor and director, Ben Afflux

Nor the Cartoon Network show (and later movie) Aeon Flux.

I think it originally aired on MTV.

Nor the streaming service Net Flux

Nor the continuous delivery K8s tool. https://fluxcd.io/

Man that’s a blast from the past; used to be one of my fav apps.

For some funsie here's my fully working delimited continuation in C with effect handler example: https://godbolt.org/z/3ehehvo6E

No ASM involved so technically portable (although it depends on built-in).

Flix equivalent (copy paste to https://play.flix.dev/):

    eff Pick {
        def pick(): Int32
    }

    def body(): (Int32, Int32, Int32) \ Pick = {
        let a = Pick.pick();
        let b = Pick.pick();
        let c = Pick.pick();
        (a, b, c)
    }

    def handlePick(f: Unit -> a \ ef): List[a] \ ef - Pick =
        run {
            f() :: Nil
        } with handler Pick {
            def pick(_, resume) =
                resume(1) ::: resume(2) ::: resume(3)
        }

    def main(): Unit \ IO =
        println(handlePick(body))

RIP yt-dlp with cookies

why is that? you'd run yt-dlp from the same device you generated the cookies on (with a real browser). yt-dlp will have the bare cookie and also be able to refresh the cookie just like the browser.

Nice got 6/6

How does this differ from https://github.com/verus-lang/verus

Creusot works on functionalisation if I recall correctly. It translates to coma (https://coma.paulpatault.fr/language/program.html).

Verus encodes directly to SMT.

Creusot may gain some more automation perhaps from this approach.

Interesting, how does this compare to copyparty?

Everytime it is BreachForums: https://breached.st/threads/internal-github-source-code.8739...

What is the hell is muslims-of-github.tar.gz ?! I guess nebula is the new PRISM. What is `newly-packaged-malware` ?!

I'm sorry for Sophie.

Probably a repo for the Muslim affinity group within GitHub. You'll also see repos for the blacktocats, octoqueer, octogatos, christian-hubbers. Everything in GitHub has a repo.

> What is the hell is muslims-of-github.tar.gz ?!

Is Github keeping a list of Muslims in their platform?

That's horrifying

Large organisations have advocacy, support and friendship groups for many underrepresented or protected groups, such as those for religions, mental health issues, physical disabilities etc. I imagine this is simply one of those internal group's organisational repos.

Hmm how does it differ from this: https://github.com/daijro/camoufox

clark-browser is c++ level overwrite of core chromium parts

Interesting, what I just did recently is basically the same of this as I tried to push the limit of js obfuscator as much as possible by keep forcing gpt/claude deobfuscate final output then having gpt improve the tool to break the deobfuscator.

Do you publish it somewhere? Here's a sample my my js obfuscator output: https://gist.github.com/Trung0246/c8f30f1b3bb6a9f57b0d9be94d...