-
Killed by Google is the open source list of dead Google products, services, and devices. It serves as a tribute and memorial of beloved services and products killed by Google.Pricing:
- Open Source
Google Cloud will shutter its IoT Core service next year Google's bad habit of killing services without much care is hitting our field this time. Even though they give a one-year notice, that's one more signal to avoid Google services for anything long term.
#Website Directory #Google #Failed Products Directory 1164 social mentions
-
Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...Pricing:
- Open Source
Formally Verifying Rust's Opaque Types An article that is a lot more academic than usual. The author is using Coq to prove a fundamental property of the Rust type system.
#Programming Language #OOP #Technical Computing 46 social mentions
Discuss: Embedded Systems Weekly #114
Related Posts
Top 5 Most Liked and Hated Programming Languages of 2022
analyticsinsight.net // about 2 years ago
The 10 Best Programming Languages to Learn Today
ict.gov.ge // over 4 years ago
Top 10 Rust Alternatives
blog.back4app.com // about 2 years ago
Python vs. Node.js: Which WillAmeliorate Your ProjectBetter?
konstantinfo.com // over 5 years ago
Killed By Google is a digital graveyard of the company's dead products
thenextweb.com // about 5 years ago