Philpax

What.

You may be interested in https://loss32.org/

I'm not sure replacing Gab with Vox Day is much of an improvement!

you are posting in a thread about it finding a novel solution to an unsolved mathematics problem

I have worked in games in the past, and currently work in games-adjacent. I'm sympathetic to the concerns you've mentioned, especially given how controversial it is (the recent reveal of DLS…

All of it: https://github.com/philpax/gd92-protocol-go-generated I started the task 56 minutes ago with one prompt, and now I have an implementation I can show you. There's …

> Chris Lattner, inventor of the Swift programming language recently took a look at a compiler entirely written by Claude AI. Lattner found nothing innovative in the code generated by AI [1]. And t…

Apologies for the obligatory question, but what did you try to do, and with which AI did you try to do it with?

Astral's tooling is excellent and almost makes up for Python being a badly-designed language. Almost.

Yes, but the grandparent poster and I would agree that the parse is not that ambiguous/the meaning is easily inferred. The sentence states that the library is overlapped _and_ that overlap is ava…

There's not really an exact science to it, but manually-optimised code is usually more structured/systematic to make it easier for the human author to manage the dependencies and state acros…

Your macroless variant of Rust would offer a safe builtin that does this. It doesn't need to be implemented with a macro.

If you asked a three-year-old a question that they proceeded to completely flub, would you then assume that all humans are incapable of answering questions correctly? Nobody is arguing for the quality…

I'm a Rust main, but this argument seems... incorrect? You would not need macros for Rust to remain a usable memory-safe language. They certainly make it easier, but they're not necessary. I…

It is presented as a Wikipedia article from the future describing a subculture of tomorrow. See also https://qntm.org/mmacevedo for another example of this genre.…

Functionality-wise, it's great, but it's a buggy mess, and it seems to be getting worse with each release.

The human operator controls what gets built. If they want to build Redis 2, they can specify it and have it built. If you can't take my word for it, take those of the creator of Redis: https:&#x…

I wish some taste had been used in the choice of font. Courier New is rather unpleasant to look at for prose.

Interesting claim; have anything to back it up with?

That is probably Composer-1, which is their in-house model (in so much a fine-tune of an open-weights model can be called in-house). It's competent at grunt work, but it doesn't compare to t…

The type system does not require that. You can just discard the result: let _ = do_thing();