Spyke

Replies

Comment on

Software is slow because of bad design, not slow languages

Yes and no. It's not usually the fault of the programming language.

But programming languages have a unique ability: The design of the language itself can and will instill bad or good habits into the code of oneself. These languages are designed pretty deliberately, so those habits are a direct consequence of the design of a language. In fact, Sean Goedecke's own C-to-Rust example makes this point implicitly: Cantrill's port got faster not because the redesign was really clever, but because Rust's borrow checker and standard library actively steered him toward a more cache friendly Binary tree. There are probably many more examples out there that had a real world impact.

There are no bad languages, every language has its place somewhere. But design decisions matter.

fuck_ai

Comment on

GIMP Dev when AI cloned Photoshop went viral

Reply in thread

This.

GIMP may have good functionality (in GIMP 3.2), but it's a software designed by engineers. Most workflows are more complicated than they would need to be. Sadly, there currently isn't a real alternative for image manipulation out there currently, so we need to stick with what we have.

fuck_ai

Comment on

GIMP Dev when AI cloned Photoshop went viral

Reply in thread

Krita is a painting and sketching tool and lacks some photo editing capabilities that GIMP has. PhotoCraft is vibe coded (In itself not a bad thing, but many features are incomplete, such as PSD compatibility), I haven't tested the other ones yet. MiniPaint looks fun, but I'll need to test it out.

Comment on

Linux Mint's new system monitor does more than you'd expect

Reply in thread

Lmao

Yeah totally. also with open source software in general. In the past, most open source software was either not powerful or not pleasant to use. But in the very recent time, multiple projects got massive updates or new projects got created, especially creative software such as Audacity or GIMP.

Maybe it'll finally be the year of the Linux desktop

Comment on

Two German courts now hold Google liable for what its AI overviews say

Reply in thread

The freedom of speech in the USA is very individualistic, just like everything else. Little to no things are thought of in the sense of a community, it's all about what's in it for the individual. Traffic is even more car-centric than in Europe. Pure capitalism without a real safety net, because the individual may benefit from it by becoming a millionaire.

In Europe, the sense for community is much stronger, which is also reflected in how freedom of speech is protected in law; Express your thoughts freely, but do not impair the rights of other citizens.

math

Comment on

Is this the ‘mathocalypse’? Why OpenAI’s latest results dump has left mathematicians in shock

Reply in thread

The codeification of mathematics might make AI-assisted mathematics even better in the future. Proof assistants like Lean or Coq are essentially functional programming languages that allow you to rigorously prove statements via code.

Where a regular AI-generated proof might need a human to verify, an AI-generated proof in Lean would only need a mathematician to verify that the statement to be proved is the correct code-ification of the mathematical problem. This would allow for the "next floor" to be built even quicker, because no human verification is needed anymore. It's just a question of "Does it compile?", because the logic is baked into the programming language itself.

But for this to work, many, many theorems and lemmas need to be formalized in Lean. Many mathematicians and computer scientists already volunteer, but the sheer number of theorems is too much. Maybe generative AI will be able to help with that. Maybe it already does, but I'm not in the loop enough.

You reached the end