Syntax Highlighting for Embedded Languages inside VS Code
Wrote a cool DSL and want to get syntax highlighting within a host language? Want to add syntax highlighting support for an existing language? This guide wil...
Blog
Malformed vs. Invalid
What’s the difference anyways?
Falsehoods Programmers Believe About Floating Point Numbers
Floating point bugs are subtle, but preventable with the right know-how
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.