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...

Maybe Mac Mini M5 this year?

Maybe Mac Mini M5 this year?