![]() ![]() We use coded language to express these ideals to our peers. We self-select into communities of our peers based on these ideals. But I think there's fundamentally 3 architypes of programmers, divided by which ideals we hold in highest esteem: Programs, obviously, hold all of these properties. So I asked how his prover would discover that the function had the wrong name, and he got delightfully flustered. I asked him if he could prove that this function was correct: fn sub(a, b) Are programs meaningless without reference to the outside world they interact in?Ī friend bragged to me once about how he could prove that most programs were correct and completely bug-free using Ada. A message is fundamentally meaningless without an audience who reads it. ![]() Or maybe its neither, and programs are just things we make for other humans. #deconstructconf /V2lGXwmaJM- Justin Falcone April 21, 2017 Is that really important? Serious question, are programs foremost lists of instructions, or expressions of logical ideas? The speaker was making the point that the whole modern stack in our computers (Kernel, OS, browser, VM) is written in C + ASM. I'll happily renounce "programmer" in favor of "applied mathematician" or something, whatever it takes to avoid C - Chris Martin □□□ April 21, 2017 I think I agree, and am looking forward to hearing Joe's take on it #deconstructconf /j7H2QWG0Tr- Andy Lindeman April 21, 2017 Out in the wild, these arguments look like this: Someone clears their throat and before you know it you're talking about Category Theory and looking up the history of the word algorithm. Everyone laughs, then someone says "Yeah but it sort of is about computers though, isn't it?". There's an old joke that computer science is a lie, because its not really about computers, and its not really a science.įunny joke. 3 tribes of programming Seph 3 tribes of programming ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |