This dev can working more than a week on one AA battery?

Who can tell me how creating a sound generate from text localy

You're looking for text-to-speech. Qwen actually has a model and library for this: Qwen3-TTS [1].

[1]: https://github.com/QwenLM/Qwen3-TTS

Nice idea.

picol is ideal for writing other language, for example esotheric language

And still You have centalize system why not tox

no native linux support

I prefer tox

the problem with decentralized alternatives is that they are even less stable than matrix currently is, and therefore less adoptable by non-tech people. I'd love to spend more of my time on tox/jami/cabal rather than matrix, but I'll do so only after matrix is widespread enough, beacuse I think that currently matrix needs the contribution in form of actually using it and getting people to use it, so that it gets a stable userbase. once I won't worry about matrix getting weaker because of no users, then I'll look into decentralized messengers.

why?

because You know C

ok, I can run fuzix, why using this?

Mostly if you like the usual ESP-IDF setup and ecosystem.

No, this is not a proof because not using Mizar ;-) https://mizar.uwb.edu.pl/

Would something be a proof in that sense even if it did use Mizar? As far as I can tell, Mizar has no complete reference for its language semantics, except for the single closed-source implementation. In general, information about the system itself (outside of the library) seems very scarce, or at least scarcely advertised.

Mizar source was "available upon request" for maybe 30-40 years. It got completely open-sourced under GPL some 3 years ago (maybe earlier, not sure), see [1], also [2] and [3] about an alternative implementation in Rust. Mizar is indeed "scarcely advertised", but all the information is publicly available, who wants to know knows. As for Mizar semantics, see for example [4].

[1] https://github.com/MizarProject/system [2] https://github.com/digama0/mizar-rs [3] https://arxiv.org/pdf/2304.08391v2 [4] https://link.springer.com/article/10.1007/s10817-018-9479-z

Thank you for that information, all I could find on the website was that "The source code of the Mizar verifier and accompanying tools is available to the members of SUM" [0], which of course does not reflect the newer status quo.

> Mizar is indeed "scarcely advertised", but all the information is publicly available, who wants to know knows.

Yes, there indeed seems to be a good bit of information available, especially about the library and its articles. But some parts seem to be scattered about, unless you already know where to look, or know someone who knows. Perhaps it's a matter of taste.

(For comparison, I've recently been dabbling a fair bit with Metamath: it's not really advertised outside of its small circle these days, but the website does a good job at introducing the system, while also offering a complete reference in the form of the Metamath book. From there, the primary challenges to a new user are the fiddly tooling, the cryptic labeling scheme, and the puzzling DV conditions.)

[0] https://mizar.uwb.edu.pl/system/