ブログ > 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…
最新の記事
Advancing Ouroboros: Leios as the next leap in scalability 筆者: Olga Hryniuk
17 April 2025
Ouroboros Peras:Cardanoのトランザクション決済を加速 筆者: Emmanuel Ameh
11 April 2025
プログラム可能なトークンの新設計でCardanoの「凍結と押収」機能を実証 筆者: Jann Müller
12 March 2025