No Infer by Facebook videos yet. You could help us improve this page by suggesting one.
Based on our record, Mattermost should be more popular than Infer by Facebook. It has been mentiond 61 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
This feel like a corporate greed play, on what should be a relatively simple chat application. Slack has quickly become just another enterprise solution in search of shareholder value at expensive of data privacy. Regulation of these companies should be more apparent to people, but sadly, is not. I would recommend https://mattermost.com as an alternative. - Source: Hacker News / about 1 month ago
Personally, I rather liked self-hosted versions of these: Mattermost: https://mattermost.com/ Rocket.Chat: https://www.rocket.chat/ Nextcloud Talk: https://nextcloud.com/talk/ Out of those, Mattermost was the easiest to setup (just need PostgreSQL and a web server, in addition to the main container), however not being able to easily permanently delete instead of just archiving workspaces was awkward. Nextcloud... - Source: Hacker News / about 1 month ago
> Tell me another platform that is free, has realtime chat, voice and video, has stable service, allows sharing images and other media, with good ownership management... And is open source. Mattermost: https://mattermost.com/ Rocket.Chat: https://www.rocket.chat/ Nextcloud Talk: https://nextcloud.com/talk/ Self hosting and some assembly required. I've run all of them on cheap VPSes to explore a Slack/Discord... - Source: Hacker News / 3 months ago
Mattermost, Inc. | Senior React Native Engineer | REMOTE (US Only) | Full-Time At Mattermost we build an open core, chat and collaboration platform focused on making users with mission critical work more productive while also allowing our customers to self-deploy and have full control over their own data. We’re looking for a Senior React Native Engineer who has the depth to significantly move the performance... - Source: Hacker News / 4 months ago
Mattermost — Secure collaboration for technical teams. Free plan with unlimited channels, playbooks, boards, users, 10GB storage, and more. - Source: dev.to / 4 months 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
Telegram - Telegram is a messaging app with a focus on speed and security. It’s superfast, simple and free.
Oficloud - File Sharing with enhanced privacy and security
Rocket.Chat - Rocket.Chat is a Web Chat Server, developed in JavaScript, using the Meteor fullstack framework.