raphinou

I also would like it to have stable supported libraries. But this doesn't seem to be a focus. It's a pitty, we have a Foss solution and it's hard to integrate with it....

I've learned rust when llms appeared and it helped me developed while I learned. My use of llms evolved (https://asfaload.com/blog/ai_use/) and is still evolving: I'm currently at a point where I write most app code myself and use llms to review it. Test and doc I like to delegate to llms, and in that I'm the reviewer. I think I've found the middle point that fits me: llms have an added value, but I think I avoid most of their idiosyncrasies.

Asfaload takes different technical decisions:

- multisig approach: you can require multiple signers to sign a release for it to be accepted by downloaders. Protects against account compromise. Sigstore relies on OIDC, but this makes it often reliant on megacorps (and harder to self host, see next point)

- very easy to self host. You can deploy it internally without any problem, eg in an airgapped environment where you want to distribute signed artifact. This is impossible with Sigstore.

- accountless: the key is the identity. The multisig approach diminishes the problems that long-lived keys might bring. And you don't rely on an external OIDC provider to be able to sign.

- Air-gapped signers: it is possible to have air-gapped signers, as signing does not rely on an online service to verify an identity.

- easy for downloader: the use only has to provide the download url, and this is sufficient to authenticate the download.

- easy to audit: the backend data is stored in a git, that will be mirrored in different places, and anyone can mirror it for themselves.

You might agree or not with these choices, but there are enough differences to say that it doesn't reinvent the wheel, it's providing another approach which I think has its advantages.

The solution I'm working on is https://www.asfaload.com. To get a quick idea, see the videos, incl. demos, at https://www.asfaload.com/videos/. The code is at https://github.com/asfaload/asfaload. There's no binary executable published yet, so you'd need to compile. However, I'm very interested to help you on the setup and get your feedback. Don't hesitate to contact me by mail on the address found in my profile ( ${my_hn_username} gmail address) and I'll be happy to help!

Just mentioning because you explicitly said builds are unsigned: I'm working on a (open source) signing solution supporting GitHub releases that is easy to use for both signers and downloaders. Let me know if this would interest you (not immediately putting link to avoid spamming).

Doesn't make it less ridiculous, and that price for the other brands isn't less ridiculous either.

You describe an exhaustive documention, but some documentation would already be better than none. Perfect is enemy of good, as your comment illustrates.

But why? What can be the internal justification? What do they think they win by doing this?

Any advice on in and outdoor detectors os small particles for home use?

This is probably a naive question, but I'm wondering: isn't the usefulness of a reserve seriously diminished if using it prevents refilling it afterwards? What was the use case covered by this huge reserve if only a small part can be used before geopardising its future?

I would have thought it would generate enormous wave, but that's clearly not the case. I think some of the biggest waves was generated by a mountain sliding or collapsing in the sea. I expected something similar here. Anyone know why not?

Was it a book you read? In interested.

so all such 'energy' storage are to be used as heat and no other form of energy? The name energy storage is somewhat confusing then, even if not incorrect? Heat storage would be more accurate iiuc.

But all the examples you give have a heat source of high temperature and dense energy, and a lot of energy is lost in it's transformation, as illustrated by the combustion engine. How can heat be a good energy storage if so much is lost when you want to use it?

I think I have read that heat is hard to convert to useful energy. Can someone confirm? But the, if that's true, why use heat as energy storage?

Maybe an alternate process could use streetcomplete? Make the imported data available in streetcomplete for validation, then include it only after x validations?

Such attempts are quite common. Some I remember:

https://ocsigen.org/ in Ocaml too

https://websharper.com/ for fsharp and csharp. Really good when I used in in fsharp

Maybe https://melange.re/v7.0.1/ too? (Not sure)

I find it interesting that the book is available about everywhere save for North America according to the author, but the first distances in the text are given in yards, mainly used only in North America. Ok, this is not the exact book text, but still, it looks as a misfit to the audience of the book.

Things evolve though. Early 2000, I received a lot of reactions to cold emails (eg when organising events), but these days, it's rather rare. Even people I know might ignore my mails! One explanation I got is that there are a lot more phishing mails these days, and people have learnt to be suspicious.

Thanks for the appreciation and the tip! I'll keep an eye on edky!

Asfaload is easy to selfhost, if it is of any interest to you.

Interesting. I'm using ed25519 keys in my open source project [1] to sign GitHub releases (amongst other things) and the encoding question appeared during the development. I settled on supporting reading ssh keys, but saving keys in a specific format. I'll need to have a look to possible revisit my choices as it is developed in rust too.

1: https://www.asfaload.com

Sources at https://github.com/asfaload/asfaload

I think websharper's Var are similar to this, and it is really great to develop dynamic web interfaces (in fsharp).

Is the familiar syntax so important? I learnt f# being used to algol syntax, and the syntax was not a hurdle.

Wondering if with such shady tactics, they respect the fact that I didn't consent and closed the (private) tab I opened the page in.

Did you use some specific tools to collect the data to be displayed on that map?

I would love to take an Interrail, eg to visit France, but it's x days in one month (8 days is 292€ per person) and doesn't match my travel habits. I would prefer to make short travels everyday rather than long travels 8 days of the month.

Edit: global passes let you travel everyday of your pass, with passes of up to 3 months: https://www.interrail.com/en/interrail-passes/global-pass

Can this be useful for someone with no prior knowledge of lean? I'd like to verify a software I'm working on, but I have no experience in formal verification. Can I get useful result with the spec, the code and some (limited) learning time on my side?

I'd expect that if females start to breed more than once it would represent a problem. It's surprising it hasn't happened yet (for the ignorant of the field that I am at least)

Thanks for reporting it! I'll have a look