ブログ > 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…
最新の記事
Input | Output Research invites community feedback on mid-year research progress 筆者: Ivan Irakoze
29 August 2025
アイデアから実装まで:IO研究開発の考察 筆者: Nicolas Biri
26 August 2025
Cardanoのためのゼロ知識証明が実現:Halo2-Plutus検証ツール 筆者: Kris Bennett
26 August 2025