Viewing profile — jeanmichelselli

No surprise here, this principle practically applies to anything that can spread inside a population, including ideas of any kind. But if you write a paper, don't say "ideas", say …

LLMs are amazing at this sort of things and they represent a very useful tool.. but only if you know what you're doing. In any case, it's great to see that these models can help wi…

I'm a mathematician and I'm not sure one should believe those results right now.. An automatic formalization requires a system of logic rules to be applied, which is not something …

This is a really cool project! Amazing!

I'm glad to see that people unite for things like this. This is important and necessary.

I completely agree with this comment! If your OS does not behave like an OS anymore, better to switch to a real OS at that point. That's it. I've always been disappointed by Window…

[flagged]