vitor
@vitorsalmeida_
Software Eng.
TS | OCaml | Go | Rust
github.com/vit0rr
ID: 1313510190231310339
http://vitorsalmeida.com 06-10-2020 16:03:37
6,6K Tweet
1,1K Followers
731 Following
If you want to learn about the basics of programming language semantics, this paper by Graham Hutton is an excellent exposition to the subject. Learn about operational and denotational semantics, how to use structural induction as the basic proof technique in denotational
Just figured out where these fake tariff rates come from. They didn't actually calculate tariff rates + non-tariff barriers, as they say they did. Instead, for every country, they just took our trade deficit with that country and divided it by the country's exports to us. So we