o7

Hmm, did you install it with Google Play? Maybe try one of the alternative sources here: https://github.com/LemmyNet/jerboa

What version are you on? I’m on the latest and don’t get this error.

I’m using Obtanium to get the latest, FWIW.

Right? If the ship itself looks this bad, hopefully its weapons systems are just as poorly maintained.

*cow chips

Thanks for that. So why might a bank need so much reserves? Just clearing unusually large balances?

Can you explain? It sounds like you think this isn’t a big deal, even though the amounts are very large.

For anyone else who hadn’t heard of openKylin before, this is a pretty good overview: https://itsfoss.gitlab.io/post/exploring-openkylin-chinas-1st-independent-open-source-linux-os/

That’s even better! o7

That’s true, unfortunately I don’t have that much leeway on my project. But this idea could work even without Dafny by:

1. LLM A writes code to requirements
2. LLM B reads and summarizes the code
3. LLM B compares the summary to the requirements and looks for mismatches
4. LLM A fixes any discrepancies found in step 3

Looks really interesting. Too bad it requires your code be written in Dafny.

o7

Case in point of the waste-maker model: many EV charging stations in the US that were installed in the last few years are now broken or removed altogether.

Why? Because the companies got a tax credit for installing them, not maintaining them. Worse, for some companies the chargers become an insurance liability, making them an easy target for cost control and removal.

But at what cost? Pharma line must go up!

Increasing productivity, yes. But cutting costs is the other side of the coin for monopoly capital.

And it looks and smells like the 18th century too!

JDPON Don strikes again?

How to square a circle

Anyone you might study with? That would cover both bases.

Agree. This space will not benefit him or other users, especially trans comrades, in his current state.