Viewing profile — 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…

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 …

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 produ…

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 function…

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 appro…

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