rantDate: March 7, 2111
This document defines the syntax and semantics of the Do-Not-Stab header, a proposed HTTP header
that allows users to indicate to a website their preferences about being stabbed. It also provides
a standard for how services should comply with such user preferences, if they wish to.
Sometimes I will be part of exchanges such as:
Me: It would be cool if you could prove the lack of stack overflows in code!
Someone: Proving that code will not stack overflow is the same as solving the halting problem though.
Which is very much true, if you demand no false positives. But rather pointless. It’s being overly pedantic as a way of (intentionally or otherwise) being dismissive about useful feature ideas.
C# has a broken type system. And by that I mean the vast majority of function signatures that you write in C# are lies, and your function won’t be able to do meaningful work with all values that compile, and that there’s nothing you can do to fix this.