No Infer by Facebook videos yet. You could help us improve this page by suggesting one.
Based on our record, Infer by Facebook seems to be more popular. It has been mentiond 8 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
I think most development occurs on problems that can't be formally modeled anyway. Most developers work on things like, "can you add this feature to the e-commerce site? And can the pop-up be blue?" which isn't really model-able. But that's not to say that formal methods are useless! We can still prove some interesting aspects of programs -- for example, that every lock that gets acquired later gets released. ... - Source: Hacker News / 3 months ago
Using infer, someone else exploited null-dereference checks to introduce simple affine types in C++. Cppcheck also checks for null-dereferences. Unfortunately, that approach means that borrow-counting references have a larger sizeof than non-borrow counting references, so optimizing the count away potentially changes the semantics of a program which introduces a whole new way of writing subtly wrong code. Source: 11 months ago
Then this idea that the US government will tell tech companies how to write secure software. Let's get this straight, the private sector, especially big tech is miles ahead of US government in this regard. Microsoft literally invented threat modelling and modern exploit mitigations. Facebook has the best appsec processes pretty much in the whole world, including their own cutting edge code analyzer. AWS uses... Source: about 1 year ago
I notice there isn't fbinfer. It's pretty cool, and is used for this library. Source: over 1 year ago
"Move fast, break stuff" is a great approach when you aren't pushing the broken bits to production. Fuck, even Facebook, the big "move fast, break stuff" company, uses tools to detect errors in its continuous integration toolchain. https://fbinfer.com/. Source: over 1 year ago
Send Anywhere - Send whatever you want, wherever you want
WeTransfer - WeTransfer is a free service to send big or small files from A to B.
Presearch - Keyword Staking - Keyword Advertising: A $100 billion dollar opportunity
Datash - Send and receive files with end-to-end encryption
Oficloud - File Sharing with enhanced privacy and security
Netfleek.com - New all in one ad free Social network, No account required.