Twitter | Pretraživanje | |
Tim Sweeney
Here’s an exercise in separating fundamentals from conventions: if we held a technical summit with all of the galaxy’s advanced alien civilizations, what would we find we had in common, and what would we find inscrutable?
Reply Retweet Označi sa "sviđa mi se" More
Tim Sweeney 2. velj
Odgovor korisniku/ci @TimSweeneyEpic
Spoken language would be inscrutable. Different physiologies would lead to an inability to speak or even hear each others’ phonemes. Written language would be inscruible, though we might find analogs of nouns, adjectives, and verbs.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @TimSweeneyEpic
But mathematics would be shared. After translating syntax and symbols, we’d find we had exactly the same constructive axioms, and agree that other axioms are controversial. We’d have the same theorems and the same proofs. They’d rever a Pythagoras and a Leibniz.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @TimSweeneyEpic
Now we compare programming languages. We’d find some low level constructs have developed very differently. Maybe they’d have balanced tertiary numbers instead of twos-complement and u-law fractional numbers instead of floating point. Our bitwise ops may have no analog.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @TimSweeneyEpic
So, let’s ask: what parts of programming would we have in common? We’d share the mathematical integers, and data structures analogous to Cartesian products (structs) and sums (unions), and functions with side effects, and pure functions as a special case.
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @TimSweeneyEpic
We’d have transactions as a way of running concurrent operations atomically. We’d have most of Knuth’s algorithms in common (maybe they’d have some major breakthroughs we lack!)
Reply Retweet Označi sa "sviđa mi se"
Tim Sweeney 2. velj
Odgovor korisniku/ci @TimSweeneyEpic
The goal of a high level programming language is to be something that we and these alien civilizations could agree on as universal and principled, and free of quirks and arbitrarity.
Reply Retweet Označi sa "sviđa mi se"
Mike Nicolella 2. velj
Odgovor korisniku/ci @TimSweeneyEpic
base10 numbers would seem weird since they only have 4 fingers on each of their 3 hands
Reply Retweet Označi sa "sviđa mi se"
Mike Nicolella 2. velj
Odgovor korisniku/ci @TimSweeneyEpic
(Although i suppose they would also call their system base10)
Reply Retweet Označi sa "sviđa mi se"
Jeremy Hilton 2. velj
Odgovor korisniku/ci @TimSweeneyEpic
Or, maybe we are the tribe lost in the Amazon. Maybe, our idea of mathematics and physics don’t remotely compare and they would have no need to try to figure out a “hello”.
Reply Retweet Označi sa "sviđa mi se"
One Angry Gamer 2. velj
Odgovor korisniku/ci @JeremiiHilton @TimSweeneyEpic
Right. Tim is working on the assumption that they would even utilize technology that operates in a similar wave length as ours, when in reality it could be something... well, alien.
Reply Retweet Označi sa "sviđa mi se"