rant

RFC 35140: The Do-Not-Stab flag in the HTTP Header

Friday, 17 November 2023 #rant

Date: March 7, 2111

Your machine isn't turing complete, so why are you mentioning the halting problem?

Monday, 1 May 2023 #rant

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#'s broken type system

Thursday, 2 July 2020 #rant

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.