Three ways formally verified code can go wrong in practice

https://buttondown.com/hillelwayne/archive/three-ways-formally-verified-code-can-go-wrong-in/

#HackerNews #formally_verified_code #code_quality #software_development #programming #cybersecurity

Reading through https://georgiker.com/blog/is-ai-leaving-python-community-behind/ (thanks for promoting it, @hugovk !), I'm starting to wonder if I should be more pro-active and try to create mentoring opportunities for juniors and wannabe-OSS contributors (especially #Python).

Let's start right now: if you're reading this and looking for general help with learning Python, contributing to open source projects, or would like to chat about all-things #packaging, #testing, #code_quality... drop me a line ! (I'll do it for free)

TDD: разработка быстрее и качественнее

Все мы стремимся создавать более качественное программное обеспечение и делать это быстрее. Я считаю, что разработка через тестирование предлагает нам путь к этой цели. Все еще боитесь использовать этот подход? Тогда я приглашаю вас обсудить советы и приемы помогающие раскрыть преимущества TDD!

https://habr.com/ru/articles/925446/

#tdd #test_driven_development #software_development #testing #agile #unit_testing #code_quality #refactoring #test_first

#programming #tips #python #code_quality

If you want to change your print statements to logging semi-automically you can use the regex

`print\(\s*"([^"]+)"\s*,\s*((.+)\))`

and replacement string

`logger.info(f"$1=\{$3\}")`

(PyCharm) to automatically convert e.g. print("len(stream_process_table)", len(stream_process_table)) to logger.info(f"len(stream_process_table)={len(stream_process_table)}"

🧵 Found a discussion about #code_quality in game dev, so I thought it would be interesting to leave here my thoughts. Disclaimer that I don't have a "successful indie game published" (yet!) so take it as you will. 🧵

#gamedev #advice

[Перевод] PHP Typed: Маленький Composer пакет, который нарушает PHP правила ради вас

Звучит слишком громко? Давайте уточним, чтобы избежать обманутых ожиданий: этот пакет использует немного магии вне Хогвартса, и будет действительно полезен любителям строгой типизации в PHP.

https://habr.com/ru/articles/868640/

#php #laravel #wordpress #symphony #composer #cms #type_casting #code_quality #best_practices