5 марта умер сэр Тони Хоар
Некролог: https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html
Post #470
1.45K
- Sep 3, 2026Finding bugs across the Python ecosystem with Claude and property-based testing We develop…
- Jul 9, 2026A collaborative bibliography of papers related to property-based testing https://github.co…
- Jul 7, 2026В Github UI появился автоматический дедупликатор тикетов, во время создания нового тикета,…
- Jun 13, 2026CirrusCI всё: Cirrus CI will shut down effective Monday, June 1, 2026. Перейдут под крыло…
- Jun 4, 2026Интересная статья про использование сравнительного тестирования для приложений с состояние…
- Apr 23, 2026Раньше ведь как было: изучаешь теорию языков программирования и формальные методы, формаль…