> Порадуете ссылочкой на багзиллу? Если захотите сослаться на боязнь деанона,Титул даденый мне вами тому не способствует.
> расскажите, куда заливали образ в пол гигабайта с битой файловой системой,
В моих случаях не требовалось: я как правило сам могу локализовать проблему на моей стороне, в том числе и сделав бисект, с точностью до комита. Кажется это способствует шустрому фиксу проблемы и приятным взаимодействиям. Это опенсорс как он задуман изначально.
Я слал немелкие образа, правда не девам а знакомым которым датарекавери делал, просто торентом Потому что поблочная верификация и докачка/перекачка битого для 500 гигз - аргумент. DHT-only, без трекеров и акаунтов. А чтоб левые это не скачали, сжал 7z с нормальным паролем, еще и образ раза в 2-3 сжимается заодно.
А полгига (вы же только метаданные сняли, если это не опечатка?) можно и просто на любой свой сервак залить.
> что бы его круто посмотрели спецы.
Для себя я считаю что это МОЯ проблема как мне обеспечить вон то. Это же мне надо а не спецам. Если у вас иначе - ну, удачи. Ну и спецы не глупые и после недолгих переговоров с ними в чатике или почте можно устроить кастомные договоренности как и чего. Разумеется трансфер штук на сотни гиг и терабайты оговаривается "штучно" исходя из технологически возможностей сторон.
> И каким образом заливали.
Так у btrfs в send есть режим send где он только метаданные снимает, спецом для дебага. Это еще и приваси сохраняет малость, содержимого файлов там нет.
> По умолчанию у среднестатистического пользователя нет запасного
> накопителя - он просто удаляет систему и ставит родную Бесяточку.
Ну он и идет в вон ту датарекавери лабу и платит, если данные надо. А если умничать попытался и таки не смог - получает кратное умножение ценика. За усложнение работ. Действия без понимания что и зачем имеют свойство делать хуже чем было.
Лично я и не собираюсь таких тянуть в линух. Если им десяточка лучше, пусть пользуются, для меня это ничего не меняет. Я btrfs советую только продвинутым личностям которые могут врубиться в азы путешествий во времени и мультивселенных. А лучше и в азы устройства этой фс. Так будет просто, логично, понятно, удобно. Без этого всего - это как дикарю дать звездолет, при том что он уверен что планета плоская. Куда он такой полетит?
> Априори программа на императивном языке содержит ошибки, её корректность
> требует доказательств.
Я бы сказал что штуки такой сложностью гарантировано содержат ошибки. Вопрос в их вредности и масштабе.
> Частные случаи вроде Вашего для обобщения требуют доказательств по индукции. Всему
> этому учат в школе.
У меня были более мощные учителя по части процессов вот именно разработки софта. Объяснившие некоторые эмпирические, но зато работающие в реальном мире соотношения. И это ИМХО работает лучше теоретических рассуждений. Со школьными знаниями вы никогда не разработаете мало мальски крупный и успешный софтварный проект. Да и с институтскими тоже. Потому что не рассказывают там вон то. Это можно только в большой корпе самому увидеть.