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. 🧵
[Перевод] PHP Typed: Маленький Composer пакет, который нарушает PHP правила ради вас
Звучит слишком громко? Давайте уточним, чтобы избежать обманутых ожиданий: этот пакет использует немного магии вне Хогвартса, и будет действительно полезен любителям строгой типизации в PHP.
https://habr.com/ru/articles/868640/
#php #laravel #wordpress #symphony #composer #cms #type_casting #code_quality #best_practices
Build systems, not heroes
https://vitonsky.net/blog/2024/10/11/system-approach/
#ycombinator #management #code_quality
Build Systems, Not Heroes
https://vitonsky.net/blog/2024/10/11/system-approach/
#ycombinator #management #code_quality
Trying out the Panel-of-Experts prompting strategy for LLMs
https://sourcery.ai/blog/panel-of-experts/
#ycombinator #code_review #code_quality #llm #prompt_engineering
Автоматическая проверка названий тестовых методов для Java
Без сомнений, автоматические тесты важны для поддержания высокого качества кода, снижения вероятности повторного возникновения ранее обнаруженных ошибок и уменьшения времени подготовки к релизу. Но также не менее важно обеспечивать качество и соответствие стандартам кода самих тестов. В ряде случаев для проверок можно использовать существующие инструменты проверки стиля кода (checkstyle, pmd, sonarqube), но кроме самого кода, хороший тест также должен иметь осмысленные названия тестовых методов и давать адекватное описание причины возникшей ошибки. В этой статье мы рассмотрим использование maven-плагина статического анализа jtcop для поддержания единого стандарта именований для тестового кода.
Is your codebase in need of a makeover? SOLID principles are your solution. Join us as we dissect these principles, learn how you can revamp your software development process.
Check out the full article👇
https://blog.lab.sa/what-are-solid-principles
#Software_Development
#Coding_Best_Practices
#Software_Design
#Programming
#Clean_Code
#Code_Quality
#SOLID_Principles
