Falsehoods Programmers Believe About Floating Point Numbers
Floating point bugs are subtle, but preventable with the right know-how
Blog
Setting up a .NET Project in 2021
A lot has changed in the .NET world recently. How should a project be started from scratch?
Encoding Techniques in Verified Serializers
This post describes Cheerios, a verified library for serialization in Coq.