Posted: May 15, 2012 8:48 pm
by VazScep
SpeedOfSound wrote:Buffer overflow a crime? :nono: It's a fucking artform! Like stack redirection and overlaying. Damn. Kids today...

In reference to your post in emergence why is theorem-proving important?
One of things I am trying to say in that thread is that if importance is measured in numbers of bent-spoons, I'm failing to measure up. Programming wants to be engineering, but like religion and philosophy, it ends up being a popularity contest.

How do you feel about strong typing? If you're a fan, there's some seriously fucking cool stuff I can talk about, and it ties in beautifully with theorem proving. Otherwise, you'll find it kind of stupid.