Почему borrow checker не принимает код (cannot borrow `v` as immutable because it is also borrowed as mutable)
let mut v = vec![0];
v[v.len() - 1] = 1;
в то время как код, в который по идее должен бы скомпилиться приведенный выше
use std::ops::IndexMut;
*v.index_mut(v.len() - 1) = 1;
работает как положено
Моя знакомая купила сертификат и мы никак не можем его поставить на хостинг с помощью панели управления, ругается на публичный ключ. С ним вообще происходит нечто странное. Сайты декодеры и IIS его декодируют нормально и проверка вместе с закрытым ключом проходит успешно, но OpenSSL выдает странную ошибку:
openssl x509 -in <file> -text -noout unable to load certificate 3124:error:0906D064:PEM routines:PEM_read_bio:bad base64 decode:.\crypto\pem\pem_lib.c:805:
То же самое происходит и с сертификатом той конторы у которой покупали. Сам ключ вот:
-----BEGIN CERTIFICATE----- MIIFFjCCA/6gAwIBAgIQR7z4nKqN1YWriiCOlO4M2zANBgkqhkiG9w0BAQUFADBzMQswCQYDVQQGEwJHQjEbMBkGA1UECBMSR3JlYXRlciBNYW5jaGVzdGVyMRAwDgYDVQQHEwdTYWxmb3JkMRowGAYDVQQKExFDT01PRE8gQ0EgTGltaXRlZDEZMBcGA1UEAxMQUG9zaXRpdmVTU0wgQ0EgMjAeFw0xMzAxMjQwMDAwMDBaFw0xNDAxMjQyMzU5NTlaMFoxITAfBgNVBAsTGERvbWFpbiBDb250cm9sIFZhbGlkYXRlZDEUMBIGA1UECxMLUG9zaXRpdmVTU0wxHzAdBgNVBAMTFm9ubGluZS1tYWdhemluZS5jb20udWEwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQCopP/sRIBx74g33Etss5QXSyld07Y2+vfs19PrgeJDJsLIhla2UNlehPt4ulueSlNu7E7CCviYMHz5vBxDwA4x3Auj9DI05h7Ev9Rvjsc4YavvXhRy7E0BNJr+jZLRp/xoswRN5MlKK716wfQ51Au5GYKmvMfxWC5TGpGSoEg1+2pelQVBR13S8y0qCvguukrq9hcPEDkJnl8jzaKJR85gl7MKyXB0c/ZKBM6xK/74JQYKgS5kRagHYR+kMHHBPQS5m02f2UFHkv0XeW+ZUeXw33dDXJmiXgRsYpdjahk83Vgah3NasxFSazICbIlJYJXTb9EaIKmjAjZIs4BO6CHvAgMBAAGjggG9MIIBuTAfBgNVHSMEGDAWgBSZ5EBfaxRePgXZ3dNjVPxiuPcArDAdBgNVHQ4EFgQUrNiLmE35viE5QsiL4LQORT/D+cswDgYDVR0PAQH/BAQDAgWgMAwGA1UdEwEB/wQCMAAwHQYDVR0lBBYwFAYIKwYBBQUHAwEGCCsGAQUFBwMCMFAGA1UdIARJMEcwOwYLKwYBBAGyMQECAgcwLDAqBggrBgEFBQcCARYeaHR0cDovL3d3dy5wb3NpdGl2ZXNzbC5jb20vQ1BTMAgGBmeBDAECATA7BgNVHR8ENDAyMDCgLqAshipodHRwOi8vY3JsLmNvbW9kb2NhLmNvbS9Qb3NpdGl2ZVNTTENBMi5jcmwwbAYIKwYBBQUHAQEEYDBeMDYGCCsGAQUFBzAChipodHRwOi8vY3J0LmNvbW9kb2NhLmNvbS9Qb3NpdGl2ZVNTTENBMi5jcnQwJAYIKwYBBQUHMAGGGGh0dHA6Ly9vY3NwLmNvbW9kb2NhLmNvbTA9BgNVHREENjA0ghZvbmxpbmUtbWFnYXppbmUuY29tLnVhghp3d3cub25saW5lLW1hZ2F6aW5lLmNvbS51YTANBgkqhkiG9w0BAQUFAAOCAQEAVRWH++fylGHRmjvU10kLS9vXI/lmJ5WpGvnnGGe5Tdb0wToiGVibDLFFHfq5FXCH6qsIv7CtaV/r656oHjBIch5XR7tonSi1TFD/nc3d5oO1zHwxlEqvZvptJC4fqe4rSF8c/k+W4RSbg0O11FVD5KJWx/JDBkuIANEcQ/Jbb7FJKVfhTXnL7tKegTF+ZzLpuV3vaW3+hh26M0LvKFzoKjz4+OVZLLSNtPgvsDFYQk4OT7SJlERKCYBPZiY3bfyjh0chmVSqZB5K+4oqwmkLChSL7ee9MMPJEYodMQrpQkSU8UvzGW2m1MiyzwVm3M36y2fUMvT2J3pmeFMzWo5ryA== -----END CERTIFICATE-----
Скачал сборку gtk3 под виндовс с http://www.tarnyko.net/en/?q=node/13 и вижу убитые шрифты http://imageshack.us/f/62/gtkfail.png/. В gtk2 с той же сборки шрифты нормальные. Собственная сборка gtk3 тоже имеет эту проблему, кроме того она еще валится на assertion при попытке ресайзить окно.
Большинство программ, с которыми я сталкиваюсь, занимаются простой и нудной работой с ОС, железом и другим софтом и не нуждается в строгой верификации кода (и даже в строгой типизации ЯП). Интересно, существуют ли задачи, в которых необходимость формальной верификации существенна из тех, к которым есть доступ обычного программиста, а не работника научных организаций. Необходимо чтоб у задачи было четкое условие, метод решения был точным (непонятно как доказывать свойства рандомизированных решений) и по возможности длинным в реализации, чтобы была большая вероятность понаделать труднообраружимых ошибок.
Пока что придумалось только 2 направления: компиляторы/оптимизаторы и решатели математических задач. Какие у кого есть соображения по этому поводу?
Для тех кто не видел
