Antifragile Tactics for Translators—A Primer
نویسندگان
چکیده
منابع مشابه
Antifragile Electronic Warfare
This letter introduces the concept of antifragile electronic warfare (EW), which we define as the ability to allow a communications link to improve performance due to the presence of a jammer. This concept should not be confused with jamming countermeasures (a.k.a. anti-jamming or electronic protection). Rather, antifragile EW can be thought of as the next step beyond simply avoiding or mitigat...
متن کاملToward Antifragile Cloud Computing Infrastructures
Cloud computing systems are rapidly growing in scale and complexity. They are also changing dynamically as a result of dynamic addition and removal of system components, different execution environments, common updates and upgrades, runtime repairs, mobility of devices and more. Such large-scale, complex and dynamic cloud environments are prone to failures and performance anomalies. Thus, depen...
متن کاملTree Notation: an antifragile document notation
We discover a new family of programming languages that align source code with abstract syntax trees. With further discoveries from the community, these new languages may lead to order-of-magnitude gains in developer productivity. We make some predictions and introduce a new conjecture on data structures. We end with a joke. Fig. 1. This diagram is the output of an ETN program.
متن کاملA new type for tactics A new type for tactics
The type of tactics in all (procedural) proof assistants is (a variant of) the one introduced in LCF. We discuss why this is inconvenient and we propose a new type for tactics that 1) allows the implementation of more clever tactics; 2) improves the implementation of declarative languages on top of procedural ones; 3) allows for better proof structuring; 4) improves proof automation; 5) allows ...
متن کاملTactics for Hierarchical Proof
There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive logical inferences. Meanwhile, high-level human inputs are lexically structured formal texts which include tactics describing search procedures. The proof checking process maps from the high-level to low-level, but after that,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: transLogos Translation Studies Journal
سال: 2019
ISSN: 2667-4629
DOI: 10.29228/translogos.12