From Rust to SPARK: Formally Proven Bip-Buffers | The AdaCore Blog - discu.eu

Hacker News

From Rust to Spark: Formally Proven Bip-Buffers https://blog.adacore.com/from-rust-to-spark-formally-proven-bip-buffers 7 comments 6/5/2021

Reddit

Linked pages

The design and implementation of a lock-free ring-buffer with contiguous reservations - Ferrous Systems https://ferrous-systems.com/blog/lock-free-ring-buffer/ 234 comments
Alire - https://alire.ada.dev/ 53 comments

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:blog.adacore.com

Search title: From Rust to SPARK: Formally Proven Bip-Buffers | The AdaCore Blog

See how to search.

Submit link to: