ブログ > 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…
最新の記事
プログラム可能なトークンの新設計でCardanoの「凍結と押収」機能を実証 筆者: Jann Müller
12 March 2025
Cardano憲法:制定会議から批准までの道のり 筆者: Fernando Sanchez
27 February 2025
Plutus TxがPlinthに衣替え 筆者: Ziyang Liu
20 February 2025