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. :)
Thank you! If you are into Ada you can read some interviews with Ada programmers on my blog: https://tomekw.com/tag/interview/
Thanks for the tip. I might check a few out.
Do I qualify for an interview as a person whose code is in a project used by AdaCore? ;)
Sure! Write my on contact at [blog domain] :)