Property-Based Testing of OCaml 5's Runtime System [pdf](janmidtgaard.dk)

36 points by todsacerdoti 1 year ago | 1 comments

Mysteries of Dropbox: Testing of a Distributed Sync Service (2016) [pdf](cis.upenn.edu)

100 points by JackeJR 6 months ago | 23 comments

The state of SIMD in Rust in 2026(shnatsel.github.io)

3 points by birdculture 29 days ago | 0 comments

Blog post by Sergey Davidoff surveying the state of SIMD libraries and support in Rust as of 2026, including Fearless SIMD, std::simd, wide, pulp, and macerator.

The state of SIMD in Rust in 2026(shnatsel.github.io)

200 points by verdagon 1 month ago | 51 comments

Blog post by Sergey Davidoff surveying the state of SIMD libraries in Rust in 2026, including Fearless SIMD, std::simd, wide, pulp and macerator.

Towards zero-downtime upgrades of stateful systems(stevana.github.io)

79 points by todsacerdoti 2 years ago | 15 comments

How the GNU coreutils are tested (2017)(pixelbeat.org)

87 points by PaulHoule 2 years ago | 14 comments