aur VS plutus

I haven't used aura in a while, but as far as I understand the command sudo aura -Au --devel will only update packages that need updates based on if there are new commits upstream. As of aura 3.0.0 the git clones are kept in /var/cache/aura/vcs and when aura checks if the package needs an update it just does a pull on the repo and checks if the version is newer, so you will only see packages listed that require an update. You can add the --force flag to rebuild all of them, but that will generally do a lot of unnecessary work rebuilding packages with no updates upstream.

Yes, you need to use the CLI to run that, but it's trivial to do so and a real package management system brings many advantages over exe installers. The AUR, inspired by BSD's Ports, is one of the major advantages of Arch. It's very rare to find a package that isn't supported.

[1] - https://aur.archlinux.org/packages/radarr

[2] - https://github.com/fosskers/aura

Same here. Checked the github page and they're aware of it. Should be fixed soon. In the mean time I've been using aura. It's pretty great, should be more popular imo.

That's why I use aura

I found the discussion of the reasoning interesting: https://github.com/fosskers/aura/discussions/657

I've really enjoyed this one: https://github.com/fosskers/aura

Plutus-related issues in Plutus repo https://github.com/input-output-hk/plutus/issues Cardano node-related issues in the Cardano node repo https://github.com/input-output-hk/cardano-node

Plutus (Haskell) is a statically typed programming language wired for writing reliable smart contracts on the Cardano blockchain. It is also a functional programming language, which means programs are composed as sets of mathematical functions for execution.

* https://github.com/input-output-hk/plutus

There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy

I haven't worked there for a year or so and don't remember specifics like KLOCs, just that they're dotted around internal and public repos :)

PR for Improved Rational for on-chain size was merged into Plutus: https://github.com/input-output-hk/plutus/commit/6d8d25d1e84b2a4278da1036aab23da4161b8df8

Cardano also suffers from the issue of the size of Plutus script being too big. One script can eat up to 20% of block which renders the overall efficiency even worse.

They're working on script libraries where you can reference a script in another UTXO rather than having to reinclude it every time. This is mentioned in some videos (I think in November's mid month update and Cardano 360), if you don't have time to watch those it's mentioned in michaelpj's comment here along with some other optimisations they're working on https://github.com/input-output-hk/plutus/issues/4174

There is a discussion on GitHub about this. The second solution in MPJs reply is what you are suggesting.

About to say that lol. Here are more info.https://plutus-apps.readthedocs.io/en/latest/index.htmlhttps://github.com/input-output-hk/plutushttps://docs.cardano.org/plutus/learn-about-plutus