You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
When sending a data structure across a channel, you do not in general need to use Acquire and Release operations on any given part of it to avoid reading stale data. The channel provides the necessary synchronization. The reference counts are part of the data structure. QED.
So this paper by @senderPath is about an implementation of this idea for Swift, with thanks to @aatxe for a public link: http://sigplan.org/OpenTOC/dls17.html …
Interestingly soundness isn't even discussed; apparently it's that obvious?
Benchmark results are promising!https://twitter.com/senderPath/status/1001528284159475713 …
