1. 19

  2. 4

    Cool to see some Ada demos on Lobsters. Although, I admit I loved Jim Stogdill’s summary of blockchains. I’m probably going to quote him in the future. On pro-blockchain side, I’ve been saying for a while it makes sense to do them in Ada/SPARK to leverage their safety and maturity. Props for using a safe, systems language. :)

    1. 5

      Thank you! If you are into Ada you can read some interviews with Ada programmers on my blog: https://tomekw.com/tag/interview/

      1. 2

        Thanks for the tip. I might check a few out.

        1. 1

          Do I qualify for an interview as a person whose code is in a project used by AdaCore? ;)

          1. 1

            Sure! Write my on contact at [blog domain] :)