ブログ > 2018
The hotel that became the world’s first business to accept Ada
I visited Hotel Ginebra in Barcelona to stay a night and meet the manager
2018年 1月 5日 7 分で読めます
The hotel that became the world’s first business to accept Ada - Input Output
Hotel Ginebra is a boutique hotel in Catalunya Square, which if you have visited Barcelona you will know is a prime location in the heart of the city. Guests can wake up in the morning to a great view of the city, but what they may not know is that the hotel has earned its place in history. It recently became the first business in the world to accept Ada, the Cardano…
In the third post in this series (part 1, part 2) on proof refinement, I'm going to show you how to properly handle bidirectionality in an elegant way. The technique we'll use is the replacement of lists and functions with a data structure called a telescope. This post will use Haskell exclusively, because of the limitations of JavaScript in presenting these things elegantly. I…
最新の記事
ダイナミックP2Pがメインネットで利用可能に 筆者: Olga Hryniuk
16 March 2023
Valentineアップグレードに関するFAQ 筆者: Fernando Sanchez
27 February 2023
IOGアカデミー:Cardanoスマートコントラクト開発者になるための道 筆者: Arturo Mora
9 February 2023