kepler VS cardano-ledger

At Exein we are looking to recruit a DevOps Engineer to form part of our foundational engineering team!

Hello there! We at Exein just open sourced our own CVE Search Engine API, Kepler. Kepler is written in Rust and allows you to look for product/version CVEs in a super fast and easy way. It’s especially useful when you don’t know the product’s vendor (that’s the whole reason why we created it in the first place). Feel free to give it a spin and let us know what you think about it! Any feedback is more than appreciated :) GitHub: https://github.com/Exein-io/kepler

The actual code implementing it is a little hard to find (as always with the quite convoluted and scarcely documented Haskell sources of IOG). I'd suspect it to be somewhere in https://github.com/input-output-hk/cardano-ledger/tree/master/eras.

That's just rubbish, you can stop trying to create a false narrative now. Minpoolcost was in the Shelley design spec and deliverables, it's not something **evil Charles** come up with because he felt like it.

See for yourselves all the commits in the source repo for the implementation, it is sooo active: https://github.com/input-output-hk/cardano-ledger/commits/master

The formula for the mid-ada-value can be found here. Which is essentially:

Blockchain - I find it's one of the few fields really investing in formal methods at the moment (my old boss recently opened a research center at Carnegie Mellon in formalizing maths actually). Two repos with specs are:

* https://github.com/input-output-hk/cardano-ledger

This is a helpful article! : https://github.com/input-output-hk/cardano-ledger/blob/master/doc/explanations/features.rst I am invested in both the ERC20 and the native token. However, there’s greater demand currently for the ERC20 tokens.