No Infer by Facebook videos yet. You could help us improve this page by suggesting one.
Based on our record, Infer by Facebook should be more popular than Flock. 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 / 5 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: about 1 year 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: over 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
Flock.com — A faster way for your team to communicate. Free Unlimited Messages, Channels, Users, Apps & Integrations. - Source: dev.to / almost 3 years ago
He's coming with years of experience of having architected systems at Uber, Flock, Sumo Logic and was a founding engineer who helped design the cryptography primitives at Zeta. Someone of his caliber coming onboard means that we'll be able to ship nicer things faster. 🎉. Source: almost 3 years ago
WeTransfer - WeTransfer is a free service to send big or small files from A to B.
Slack - A messaging app for teams who see through the Earth!
Send Anywhere - Send whatever you want, wherever you want
Mattermost - Mattermost is an open source alternative to Slack.
Oficloud - File Sharing with enhanced privacy and security
Microsoft Teams - Microsoft Teams provides the enterprise-level security, compliance and management features you expect from Office 365, including broad support for compliance standards, and eDiscovery and legal hold for channels, chats, and files.