smellybigbelly

One vision in the article that stood out for me, was how formal proof assistants allow for large teams to collaborate on proving theorems. Imagine what we could achieve if we could do mathematics as a hive mind!

What books will get me started into understanding recent scientific publications? I’m interested in the theoretical side but even more in the engineering/hardware side.

I’m not sure how the discovery of new, exotic elliptic curves has security implications on curves used for cyber security.

I think part of the reason why 3 is special is because you get a lot of bang for your buck. Order 3 is a low order polynomial that is relatively easy to analyse, but already gives tremendous mathematical properties.

For example, the points of elliptic curves form groups. The operation of combining the points is described in the article (draw a straight line through two points and mirror in x-axis).

That means that all the theorems that are proven for Groups, are also true for elliptic curves.

But I think there are many more exciting properties

Amateur here (just studying abstract algebra for hobby). I’m also very curious for more reasons.

I wouldn’t upgrade major versions until the x.2 version is out. New major versions come with new bugs and I’d like to wait two minor versions until I start using the image in production.

Couldn’t you read in the book a bit smarter by deduplicating the io stream?

I wish they’d add a terminal app.

Could an expert strong man the argument that functional programming languages like Haskell could in theory be more performant than C because of the nice properties of pure functional languages?

I wonder how you view farming as the safest bet. Farming is quite challenging and the competition will drive any noob into the ground. Not just the knowledge but also capital.

Our team also suffered from the problems you described of public helm charts. There is always something you need to customise to make things work on your own environment. Our approach has been to use the public helm chart as-is and do any customisation with `kustomize —enable-helm`.

Can anyone give some advice on how they run TimeScale in Kubernetes? I’m seeing they dropped support for their Helm chart.