Damn, this actually looks really good! Is there an estimate on when this will be useable-ish as a main phone for non-dev users?

Hindley-milner type inference for the win!

It’s hard to implement, but the result is a statically typed language, mostly without type annotations.

Because it is hard to design a study that would capture it. Because it is hard to control many variables that affect the “bugs/LOC” variable.

My conclusion is that it is hard to empirically prove that “static type systems improve developer productivity” or “STS reduce number of bugs” or any similar claim. Not because it looks like it is not true, but because it is hard to control for the many factors that influence these variables.

Regardless of anyone’s opinion on static/dynamic, I think we still must call this an “open question”.

Or post to gemini instead

Will read, looks interesting and I already agree with the premise but,

please people, add metadata (date, author, institution) and a bit of formatting to your pages. Not much, 10 lines of global CSS would help already.

What bugs do you mean? Anything serious i should know about?

Rust will take time - it has a few concept that I haven’t seen in javascript/python/java/C++ family of languages. But it gives “zero-cost abstractions” i.e. a way to write high-level code without any performance penalty. And it has great tooling and WASM support, which is what you’d be after.

But as I said, it is all not worth it now, just for this application.

Sure, do recommend - I’d need a basic overview, but not too deep, as I don’t have enough motivation for in-depth review of all socialist governments in the last two centuries.

From what I read, it could easily be a tauri app, without a backend: just index.html in your system’s webview.

I did also forget to say it does look very nice, with animations and proper polish!

If you do delve into improving the performance, I suggest using Rust and no_std crates for dealing with images, such as https://docs.rs/zune-jpeg/latest/zune_jpeg/.

It would probably take some time to get it working, but it would probably increase performance and support any format you can find a crate for. But it does not seem like it’s worth it.

I’ll add this to my list of “things I might to when I don’t have a side project to waste my time on” :D

I’ve tried nextcloud, it felt too slow.

Why would you want that all in one container?

I don’t want it, SeaFile provides only such conglomerate Dockerfile. And I didn’t have much success with writing my own Dockerfile for it. It’s terrible.

To be honest, I know little about Mao and beginnings of PRC - I’m quite ignorant about how much of an “absolute leader” he was.

But I do believe that idolizing a person and concentration of power are dangerous to democracy.

And it’s interesting how much responses I got on this topic.

I would say that Hungary is currently quite authoritarian. And Serbia too. Nazi Germany and Fascist Italy were too, very much so.

Any language feature with such a long definition is a bad language feature.

The less such features, the better the language.

Thus, javascript is not a “good” language for expressing your programs.

This is just what I need. A few months ago, SeaFile shat the bed and I just could be bothered to fix it. It’s deployment is a mess - a server, then a frontend host, a reverse proxy, a database - all in one container!

So I will try this out. I was contemplating building a thing like this myself, so I can contribute fixes/features too.

Socialism dies as soon as a single person becomes its absolute leader. From there, it is just a walk toward authoritarism.

Dronies? Is this an evolution of takies? A subspicies?

If you are interested (and can pull together a bit of funding) I can look into how we could do this optimization in WASM.