Monty Hall Problem, for those who know that name

Results

For those who don’t want to open threads, it’s a link to a paper on energy efficiency of programming languages.

They deliberately removed code search for not logged in users almost immediately. Just recently they removed cloning without an account, so now updating my computer requires signing in to github.

They have been awful stewards.

Git doesn’t have a concept of a preferred repository; your local copy is exactly as valid to git as a git server hosted on github.

The originally intended workflow as I understand it involved generating patches which would be shared via a mailing list.

In practice there will generally be a repository that’s considered “canonical” for a project, whether that’s the one on the computer of the lead maintainer or some hosted solution.

A basic git server is essentially just a repository owned by a restricted user with SSH access granted to maintainers.. This can allow users to push and pull from a centralised or semi-centralised repository in much the same way as GitHub.

Can you expand on this? My experience with Argon is looking up a Wikipedia page in response to this comment, but it looks like it uses a salt as an input?

I’m not 100% confident I’ve understood the assignment, but I’ve been playing with a couple of app frameworks in rust that target the Web that might be of interest to you.

Dioxus - Reactive framework. Document markup is html with its own syntax, styling is CSS but all scripting is rust. Cross platform (web, android, ios [xcode required], linux, mac, windows) but using webviews for all of those, definitely Web first.

slint - Reactive framework again, has its own Domain Specific Language (DSL) for markup that’s not too distant from an html/css hybrid. Simple scripting can be done in the DSL but it also ties trivially into the rust side. This does its own rendering rather than generating html documents or using a webview, I believe even when targeting the web (via wasm).

Tauri - Gets brought up a lot when talking about web apps in rust, but I haven’t dug into it.

If looking into any of these sounds like the sort of thing you might be after, then I suggest having a scroll through AreWeGuiYet for other rust GUI frameworks. If I remember correctly, a significant fraction of those target web technologies, althought the filters on that website have never been all that useful.