Ну что же, мимо пыхконфа я со своей темой по изабельке и чуть чуть формальной верификации пролетел со свистом(Сергей, ждем от вас инсайды). Благо билет купил заранне и не придется брать его за какие-то конские деньги. Ну и раз рассказываться я ничего не буду, то тема по изабельке и доказательству программ будет здесь эксклюзивом. Про подход, которым не пользуется 99.9999% контор по разработке, и который заменит тесты, как только большая часть кода будет генерироваться, а не писаться, расскажу вам только я и только здесь.

А с конфами пока что стоп тотальный, рассказывать хочется что-то принципиально новое, что можно реально использовать в работе, а этого увы не так много в данный момент(особенно в пыхе, где рассказали буквально все)