On the Fediverse also as @mapto@qoto.org

Можете да намерите и като @mapto@masto.bg

Abito in Italia @mapto@feddit.it

  • 39 Posts
  • 42 Comments
Joined 5 months ago
cake
Cake day: January 12th, 2024

help-circle








  • So much wrong about this chart. It is factually correct, but it answers the wrong question.

    This chart makes it way too easy to optimise for cheap protein, which is misleading. It is not this what it takes to have a healthy organism. It takes a varied diet, with balanced quantities of liquids (see milk), vitamins (see sprouts), fatty acids (see salmon), minerals (see shrimps, eggs, walnuts), actually carbs (potatoes, rice, spaghetti), and much more…



  • ГЕРБ предложиха отлагане на доклада на ПП/ДБ/СС с мотив, че темата за софийската Централна баня била “много чувствителна”. “Ако беше толкова лесно да се вземе решение, то вече щеше да е взето. За банята е работено много в предишните години и темата трябваше предварително да се обсъди. Очаквах по-голяма екипност от ПП/ДБ"СС”, коментира Анна Стойкова от ГЕРБ, която е общински съветник от Банкя. Бившият шеф на комисията по екология Лорита Радева предложи докладът да бъде спрян и да се направи работна група, която да обсъжда бъдещето на северното и източното крило. “Да се разсъждава и да се търси решение за обновяването на ЦМБ е изключително важно, но е и много чувствителна тема. Нека го направим в диалог”, коментира тя.





  • If you do that, nothing will actually be checked. You need to explicitly run pyright in CI.

    Are you suggesting that you prefer to do the type validation upon execution? I’d like to have the checks done beforehand, be it in the IDE during coding or in CI. This way the feedback loop is shorter.

    Then, backwards compatibility is a big thing in python, unlike node. So when typehints were introduced in 3.5 with PEP 484, they had to be optional.

    At least Typescript defines the semantics of its type hints. Python only defines the syntax! You can have multiple type checkers that conflict with each other!

    It is a bit more complicated than that. Here’s a quote the above-mentioned PEP (3.5 was back in 2015, we’re at 3.12 now and typehints have evolved):

    Note that this PEP still explicitly does NOT prevent other uses of annotations, nor does it require (or forbid) any particular processing of annotations, even when they conform to this specification. It simply enables better coordination, as PEP 333 did for web frameworks.

    https://peps.python.org/pep-0484/