320 karma · joined September 4, 2017
(1)https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html#...
(1) https://webkit.org/web-inspector/enabling-web-inspector/
There's actually a very detailed guide that explains both how to do it from the Xcode UI, and from the command line: https://developer.apple.com/documentation/security/notarizin...
If you are expecting a reply, or some side-effect in another system, as a result of the message you sent (and usually you would expect that, otherwise you wouldn't send the message in the first place) then it's not that simple. If the actor is in the same OS process on the same machine, then message delivery is reliable, and you know you'll either get a reply OR a signal that the other actor died. If, on the other hand, the actor is on another machine across the network then the semantics are different. You cannot always differentiate between the remote actor dying and an intermittent network connection error. So you need to take that into account in your protocol design - for example by making operations idempotent.
I've many times seen Erlang code where the developers didn't make this distinction - because the message passing operation looks the same, remote or not - and as a result the system is not resilient to network failures.
Sure, if you look at how they design their websites, signup process and router UX, it's... a bit special (from a "western" perspective) ... But it works.
If a user posts "I recommend product X", the overlay would say "Caution: This user also recommended the product Y,Z in the last 48 hours. 34/34 of the users post in the last month are product recommendations. Sentiment score for users posts: 100% positive. The following internet accounts are likely controlled by the same individual or organization: ..."
Is it feasible? Does it already exist?
I am curious what you think of https://www.hudson.org/research/9881-the-muslim-brotherhood-... (yes, I know this is written by an Israeli)
https://books.google.co.jp/books?id=d2tF-L00-X8C&pg=PA216&lp...
"My late friend, the distinguished Pakistani physicist Abdus Salam, tried to convince the rulers of the oil-rich states of the Persian Gulf to invest in scientific education and research, but he found that though they were enthusiastic about technology, they felt that pure science presented too great a challenge to faith. In 1981, the Muslim Brotherhood of Egypt called for an end to scientific education. In the areas of science I know best, though there are talented scientists of Muslim origin working productively in the West, for forty years I have not seen a single paper by a physicist or astronomer working in a Muslim country that was worth reading"
"Salam was an Ahmadi Muslim, who saw his religion as a fundamental part of his scientific work. ... In 1974, the Pakistan parliament made the Second Amendment to the Constitution of Pakistan that declared Ahmadi to be non-Muslim. In protest, Salam left Pakistan for London." [0]
Why Uber Engineering Switched from Postgres to MySQL (2016): https://news.ycombinator.com/item?id=17280239
A PostgreSQL response to Uber [pdf]: https://news.ycombinator.com/item?id=14222721
One important point is that Uber wrote this running on Postgres 9.2. The latest Postgres release is now 12.4
Under this philosophy (or doctrine, if you will) of sovereignty, US will never accept that the ICC - an entity that the US citizens have not explicitly delegated their sovereign power to - are trying to prosecute US nationals.
https://en.wikipedia.org/wiki/Popular_sovereignty_in_the_Uni...
That being said, I don't like when this kind of issues are politicized ("Obama destroyed America", "Trump sucks on all issues", ...). So I looked up the numbers.
The US congress and senate passed a law, in 2002, that gave the president authority to "with all means necessary, prohibit the International Criminal Court from seeking to exercise jurisdiction over United States persons, and allied persons"
https://clerk.house.gov/Votes/2002328
Votes by party
Republican YEAS: 201 NAYS: 18
Democratic YEAS: 195 NAYS: 13
Doesn't seem to be a "current administration" issue only. Clearly the US was caught up in the post-9/11 panic at the time of passing this law. But it seems a good idea to repeal it - if there is no longer a majority in support of it.
It's usually impossible to establish a two-way UDP "connection" between two peers that are both behind NAT. This varies depending on the type of NAT. If just one peer is behind NAT you can typically establish the "connection" using NAT hole punching. If both peers are behind NAT you may need to proxy the UDP packets using an intermediary server.
There are protocols for hole punching, such as ICE (https://tools.ietf.org/html/rfc8445), but you can also roll your own - if you control all endpoints.
"Connection" in quotation marks because UDP is a connection-less protocol, but the NAT port mappings that are established are sometimes referred to as a connection.
Well, one reason is: to make you aware of the tax burden (and judge if that % is kept at a reasonable level), rather than hiding it in the total price.
Now, Microsoft does not necessarily have to tell you exactly what of your data was leaked. They probably do not know! In this case, they may just respond to your request with all of the personal data they hold.
The law just says that they have to notify you of the "nature of the personal data breach as well as recommendations for the natural person concerned to mitigate potential adverse effects".
This is not Auto layout, it is just an alternative string-based API to express constraints in Auto layout. In practice no-one (that I know) uses Visual Format Language, as it is called, but instead sets up constraints in code or in Xcode Interface builder. In Swift code it would look something like this: view1.leadingAnchor.constraint(equalTo: view2.leadingAnchor, constant: 10) view2.topAnchor.constraint(equalTo: view1.bottomAnchor) ...
On Apple platforms (UIKit on iOS) handling such layout changes is done with another mechanism on top of auto layout. Something they call "Size Classes". You get a callback saying eg. "view has changed to Regular width, Compact height" and you switch to a another set of auto-layout constraints + animate as desired. This size class system is used for stuff like handling rotation on the iPhone and transitioning to split-screen mode on iPad.
Actually ABI-resilience is not the default, it is enabled by a compiler flag.
In addition to that, there are some current compiler limitations when it comes to cross-module usage of generics and inlining that affect performance. But those are not by design and can be improved in future compiler versions.
(yes there are regulations on minimum distance between electricity and gas pipes, so these trenches have to be pretty big)
The problem with Objc message passing is not the absolute execution time involved in passing a message. The problem is that the dynamism involved completely disables the compiler from performing any code-inlining. Typically inlining small functions is what enables the compiler to unlock further optimisations. From simple things such as merging duplicate loads from same address, to auto-vectorization.