A real BBS

Hello, /blog/. A thought just popped into my head and you all need to read about it.

What if someone (not me; I have better shit to do), set up a traditional BBS that required users to dial in, but had it used VoIP via google voice or some other free, mostly-anonymous service. Wouldn't that be neato. Further, full dialup internet access could be provided over the link. That would throw the NSA off for a bit maybe.

Well, off to bed.

>>34
The thing about static analysis is it looks like CompCert when you do it right and it looks like grep when you do it wrong. But going to CompCert is more drastic than Rust or Haskell because C can't express the the necessary relations. The fact is C, C++ and the like just aren't good at expressing correct code because they were never meant to be sound in the first place.

The weird thing is you'd rather write awkward C or whatever, fight with the static analyzer over false-positives, and have the optimizer fail to identify the invariants that a real type system would than write in a language that could be faster and safer without so much extra work.