-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Embedded Template Library The ETL is a header only library specifically designed for embedded systems. The main goal of the library is to replace the C++ standard library parts that are not embedded friendly. Among the "main" features, containers like those in the STL but without dynamic memory allocation and frameworks for message routing, finite state machines or task scheduling.
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.
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.