Conversation

We are not special. Programming isn't a special kind of labor. Software isn't a special kind of profession. To think otherwise is to lack experience with other disciplines. Which is fine, we have to specialize. But we so easily fool ourselves into ignoring our ignorance.

104

533

Replying to

I've spent about equal amounts of time working on software and "theorem-proof" math. I'm often puzzled when a math person insists that they couldn't learn to program, or vice versa. IMO they're *very* similar activities that just happen to have different cultural traditions.

Replying to

and

Curry and Howard would like a word with you

Replying to

and

Naturally 😉 It's amazing that this ends up actually mattering to the point that programming and proving theorems feels so similar as activities. Like, brainfuck is Turing complete but programming in it doesn't feel similar to programming in, uh, any reasonable language.

3:35 PM · Aug 13, 2021Twitter Web App