smellybigbelly

3 ms·

1. 1.▲
   by smellybigbelly 2y ago

   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!
2. 2.▲
   by smellybigbelly 2y ago

   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.
3. 3.▲
   by smellybigbelly 2y ago

   I’m not sure how the discovery of new, exotic elliptic curves has security implications on curves used for cyber security.
4. 4.▲
   by smellybigbelly 2y ago

   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
5. 5.▲
   by smellybigbelly 2y ago

   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.
6. 6.▲
   by smellybigbelly 2y ago

   Couldn’t you read in the book a bit smarter by deduplicating the io stream?
7. 7.▲
   by smellybigbelly 2y ago

   I wish they’d add a terminal app.
8. 8.▲
   by smellybigbelly 2y ago

   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?
9. 9.▲
   by smellybigbelly 2y ago

   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.
10. 10.▲
    by smellybigbelly 2y ago

    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 c
11. 11.▲
    by smellybigbelly 2y ago

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