Home / About this site

This is a technical update tracker for the Cardano (ADA) project. It aggregates commits within the last 7 days from all branches of Cardano development-related repos using local git mirrors.

Syncing details can be found in the status page. Newly published repos are added automatically as they become visible on GitHub.

Goals

There is plenty of peer-reviewed research behind Cardano. What's being missed by a lot of people, however, is the enormous engineering work being done to implement these ideas. In the spirit of radical transparency, we wanted to expose more of that activity from the Cardano development groups in order to

  • help the community stay up-to-date with changes to various Cardano project's codebases that would be otherwise hard to track
  • and finally, consider Cardano as a standard bearer for good software practices

The cryptocurrency space is awash with projects that optimize for hype and are able to get by with showing little or no code at all. We must understand if code is hidden due to unsatisfactory technical merit or other reasons. If Bitcoin's source code had been kept private then the markets would have been very different today.

Why we are building Cardano: Science and Engineering expounds on principles supposedly adhered to as well by anyone building a piece of the decentralized financial system. However, these are not commonly found in other communities. As for Cardano, investing in a pure functional language, designing and verifying formal specifications, among other things, does seem like a huge price to pay at its onset but this approach pays dividends in output as each component falls into place. Consequently, the team will be able to keep velocity up over the years when other projects would slow down from crippling technical debt. The reality is that crypto moves fast but we cannot just break things.

IOHK together with its partners published a paper challenging the preconceptions about software development methodologies titled Flexible Formality: Practical Experience with Agile Formal Methods.

Feedback

Have some ideas or requests? You can reach out to me at [email protected] or message @CardanoKoios on Twitter.