3 ms·
A few years ago, the SEC was mulling specifying regulations for high-frequency trading in Python[0][1]. I've wondered about the potential for specifying law in
by heydenberk 13y ago
A few years ago, the SEC was mulling specifying regulations for high-frequency trading in Python[0][1]. I've wondered about the potential for specifying law in programming languages since then. Formally verified laws would be a wonderful thing.
[0] http://www.itworld.com/government/105650/languages-wall-street http://www.itworld.com/government/105650/languages-wall-stre...
[1] http://www.itworld.com/government/105031/will-wall-street-require-python http://www.itworld.com/government/105031/will-wall-street-re...
- Havoc 13y ago>high-frequency trading in Python Wait...they're willing to spend millions to build a new undersea cable that shaves a millisecond off the latency...but they use an interpreted language? How does that work?
- heydenberk 13y agoI'm sorry for the grammatical ambiguity. The regulations themselves were to be written in Python. Nonetheless, I do think interpreted languages are used in HFT, but presumably not the kind of HFT that attempts to exploit inefficiencies between in, say, the prices of frozen concentrated orange juice futures on the Chicago Mercantile Exchange vs the price of agricultural companies on the New York Stock Exchange.