Presearch VS Infer by Facebook

There are already many project about search: - https://www.marginalia.nu/ - https://searchmysite.net/ - https://lucene.apache.org/ - elastic search - https://presearch.com/ - https://stract.com/ - https://wiby.me/ I think that all project are fun. I would like to see one succeeding at reaching mainstream level of attention. I have also been gathering links meta data for some time. Maybe I will use them to feed any... - Source: Hacker News / about 2 months ago

See also: Presearch, another decentralized search engine, claimed that it will be open source. No source code available at the moment though. https://presearch.com/. - Source: Hacker News / about 2 months ago

Just withdraw yourself from Social Media, use http://presearch.com, they don't give you ridiculous suggestions when you're searching, and don't bury your results in one whole page of advertisements and sponsored websites. Source: 12 months ago

I recommend searching with presearch.com or searxNG. Try "Arch Linux append text to file". The Wiki and Debian documentation are indispensable. Source: about 1 year ago

Consider using presearch.com or searxNG as you search engines. If you haven't already, do please scour the user guide top to bottom more than once, because it's all there. Here's one search result for some extra reading. Source: about 1 year ago

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