Glad to see AdaCore reaching for the limits of their tech to improve the trust base. I hope there are some lessons learned there on the direction the proof tech

Glad to see AdaCore reaching for the limits of their tech to improve the trust base. I hope there are some lessons learned there on the direction the proof tech needs to go in, for further solidification of our base. I also like where they're going with network stacks https://blog.adacore.com/enhancing-the-security-of-a-tcp-stack-with-spark https://blog.adacore.com/enhancing-the-security-of-a-tcp-sta... , can't wait to get some time off to try and plug all that in something like dpdk :-)