Setting up a .NET Project in 2024
What’s the best way to set up a new project?
Blog
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...
Malformed vs. Invalid
What’s the difference between these words?
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.