riemann

He uses that work to show that, with continuity on a compact set and, thus, uniform continuity, the Riemann (Riemann-Stieltjes) integral exists.

I'm not familiar with riemann.io but the main differences seem to be that Riemann is clojure-based and would require external storage of some sort.

In fact it recommends pushing data out of Riemann and into Graphite to perform long term trend analysis.

You could pay for a NewRelic account, or invest the time in getting statsd+graphite or Riemann infrastructure set up.

Propositional logic is a very weak system; I don't think it can state the Riemann hypothesis.

The Riemann hypothesis is a statement about prime numbers, which numbers are prime is defined by the Peano axioms and the definition of multiplication.

As far as I know, the arxiv filters out proofs of P=NP, the Riemann Hypothesis, unified field theory and similar things.

...imagine you wake up one morning with your head full of a complete proof of the Riemann hypothesis.

I believe it's a mistake to put Riemann in the same sentence as statsd/graphite.

Similar to the notion that trying to prove the Riemann Hypothesis is hard to think of as a real pursuit, at best it's like a quixotic hobby.

Edit: I take that back: propositional logic definitely can't state the Riemann hypothesis.

Recently a modified Lagarias-Odlyzko method was used to compute the number of primes up to 10^25, although I believe it requires the Riemann Hypothesis.

Riemann, Kyle Kingsbury’s network event stream processing system written in Clojure, also enjoys prime time adoption in various production environments.

Riemann is a really flexible router/aggregator/alerter with realtime metric display and it can throw everything over to influx/grafana for dashboarding/time series analysis.

I still think something like Riemann/Influxdb/Graphana is the best bet for a roll your own type solution.