Я прямо очень рад, что кто-то все это вместе собрал.

https://instances.vantage.sh

В начале XX века (в отличие от его конца, см. вчерашнюю карту) Россия вовсе не была для западных картографов какой-то terra incognita. Вот здесь все показано очень корректно: особо радуют Great Russia, West Russia, Little Russia и South Russia, образующие, надо полагать, Russia proper. Собственно говоря, русские современники так и воспринимали «Россию», являющуюся сердцевиной империи, и прекрасно чувствовали, где эта «Россия» кончается и начинается Сибирь или Кавказ.

Re: Why does a plastic-wrapped turkey sandwich cost $1...

This is a perfect example of an airport trying to have their cake and eat it too, and it's kind of diabolically clever.

On the one hand, airports need to make money, and with people buying cheap airline tickets, airports have found a solution by turning themselves halfway into malls, and charging businesses extremely high levels of rent, which the airport justifies because it's a captive audience that can't go anywhere else. Most of the $15 sandwich is ultimately going to the airport as rent, not to the CIBO food vendor as profit.

But at the same time, there's public outcry over the absurd pricing, so the airport has to mollify lawmakers by insisting it'll come up with a policy where they won't charge more than 10% for what would be comparable in Midtown. The airport is trying to blame those greedy vendors! But this is a trick. Who could ever define that? Sure you can compare Starbucks with Starbucks... but you can't compare a CIBO sandwich because it doesn't exist outside of airports, which is by design. That's the whole point, that easy comparables don't exist, and when a journalist tries to use a FOIA request to get at the comparables, they're stonewalled.

The airport is trying to insist it's preventing jacked-up prices, when in reality it's the airport charging rent that generates those jacked-up prices in the first place, and it tries to pretend like it plays no part. Evil, but clever.

crazygringo, 5 hours ago

Космическое импортозамещение здорового космонавта. С большим интересом прочел: по делу и обстоятельно.

Operations Planning TIMeline Integration System. Она используется и специалистами на Земле, которые планируют работы, внося их в эту систему. И, реплицируя эти данные на борт, их может видеть экипаж МКС.

В OPTIMIS в наглядном интерактивном виде предоставляются все данные по работам экипажа на текущий момент, на несколько последующих суток со всей связанной информацией – это и радиограммы, и описания работ, справочные данные, описывает Пётр Дубров. Вся эта информация сведена в единую систему, где удобно связана гиперссылками.

Удобство OPTIMIS, в том числе, в том, что и экипаж на борту может вносить в систему данные, которые синхронизируются с Землёй, и через некоторое время на Земле, в центре управления полётами, их тоже могут у себя увидеть.

Но поскольку это американская система и рассчитана она, в первую очередь, на американских астронавтов и работу на их сегменте МКС, то она интегрирована с американскими полётными процедурами, поясняет Пётр Дубров. Россияне эту программу тоже используют – в части отображения работ, передачи сообщений на Землю. Но если там ссылка на радиограмму, то её открывают уже другими путями.

«И отобразить этот формат, это расписание мы можем только на американских системах – либо на планшете, либо на лэптопе, которые они нам дают в пользование, - рассказал, отвечая на вопрос TAdviser, Пётр Дубров.»

У нас подобной программы пока нет.

«Хорошо, что мы можем этим пользоваться сейчас. Но если мы будем думать в сторону нашей, российской, орбитальной станции, которая уже не за горами, то, конечно, нам необходима своя подобная система, - отметил космонавт.»

Он также упомянул, что выход в интернет, который есть на МКС, тоже осуществляется с американских планшетов через американскую Wi-Fi сеть.

«Если мы подключимся к Wi-Fi подсети российского сегмента, то такого выхода в интернет у нас не будет, у нас будет только локальная связь с локальными системами, - объяснил Пётр Дубров.»

Хотя сейчас уже в работе и в космическом корабле, и на станции российские космонавты постоянно пользуются электронными планшетами, но, по большому счёту, как «читалками» – преимущественно для чтения радиограмм, которые поставляются на борт либо в формате DOC, либо в формате PDF. А в процессе работы они мало пока участвуют, хотя есть большие возможности по их интеграции, считает Пётр Дубров.

Имея за плечами образование инженера-программиста и профильный опыт работы до отбора в отряд космонавтики, Пётр Дубров говорит, что уже в процессе полёта он начал доработку используемых для работы экипажем систем именно в плане интеграции различных, пока разрозненных элементов информационной системы в некую единую сеть. Сейчас радиограммы поставляются на борт отдельным массивом данных, и есть разные дополнительные информационные ресурсы – вспомогательные видео, фотографии и т.д. 

https://www.tadviser.ru/a/157755

Глянул. Теперь Пономаревым занялись инвесторы в его SPAC. Претензия: организаторы SPAC получали вознаграждение за сделку независимо от ее качества сразу по ее заключении, поэтому...

Два замечания: (1) это было известно по документам, по которым SPAC создавался, что ж ты раньше про это не подумал и (2) по-моему, все SPAC по другому не устроены и иначе не делаются.

Я походу выяснил еще и то, почему на SPAC соглашались советы директоров покупаемых стартапов. Дело в том, что от трети до половины денег SPAC шли на выкуп существующих акционеров. А значит, для PEVC это способ зафиксировать прибыль и выйти. А дальше пусть эта дохлятина на руках у акционеров SPAC умирает. "Продай коня, пока не сдох" - мудрость "ревущих двадцатых".

https://news.spacconference.com/2023/04/04/lottery-coms-spac-backers-accused-of-driving-disastrous-deal/

Hot rivet- the rivet shrinks as it cools making it even tighter.

Re: The Red Hat model only worked for Red Hat

(Note: I work for Red Hat)

I'm constantly amazed that people still don't understand why Red Hat makes money, and this article won't enlighten you as it doesn't understand it as well as being full of other incidental mistakes (like their description of CentOS is way off the mark).

Red Hat takes Linux and certifies it against all kinds of government, safety, privacy etc standardards, such as PCI and FIPS and numerous local ones. As a result if you are a government or many large companies you simply cannot download Linux and YOLO it. You are legally required to use the certified software so you take the path of least resistance and buy RHEL. That's it. It's why Red Hat makes piles of money, and Canonical or your SaaS does not. Understand what your big customers are required to have and provide it to them, even though it's boring and expensive to do.

rwmj, 5 hours ago

Re: MiniGPT-4

On a technical level, they're doing something really simple -- take BLIP2's ViT-L+Q-former, connect it to Vicuna-13B with a linear layer, and train just the tiny layer on some datasets of image-text pairs.

But the results are pretty amazing. It completely knocks Openflamingo && even the original blip2 models out of the park. And best of all, it arrived before OpenAI's GPT-4 Image Modality did. Real win for Open Source AI.

The repo's default inference code is kind of bad -- vicuna is loaded in fp16 so it can't fit on any consumer hardware. I created a PR on the repo to load it with int8, so hopefully by tomorrow it'll be runnable by 3090/4090 users.

I also developed a toy discord bot (https://github.com/152334H/MiniGPT-4-discord-bot) to show the model to some people, but inference is very slow so I doubt I'll be hosting it publicly.

152334H, 6 hours ago

Re: Aztec monks with 1/55 HP no longer die when p...

> The formula was probably `return new_maxhp * (old_hp / old_maxhp);` ...

> Due to floating point rounding errors, convert_hp(1, 55, 55) equals 0.999999940395355224609375, which is less than 1, which means the unit dies.

Ahh. The old "Multiplying and dividing is associative... for the set of reals, not for the subset that you can actually afford to compute with." So it should have been `(new_maxhp * old_hp) / old_maxhp`. ffmpeg has a whole AVRational class for the same type of problem when converting timestamps accurately between 2 timebases.

Reminds me of the TF2 ammo boxes that give 40 metal on Linux and 41 on Windows https://www.youtube.com/watch?v=QzZoo1yAQag&pp=ygUfdGYyIGhlYWx0aCBwYWNrIDQxIGhlYWx0aCBsaW51eA%3D%3D [https://www.youtube.com/watch?v=QzZoo1yAQag&pp=ygUfdGYyIGhlYWx0aCBwYWNrIDQxIGhlYWx0aCBsaW51eA%3D%3D]

Apparently the compiler used on Linux chose a less-accurate multiply instruction for 0.2 * 200.

Two wrongs make a right - After being less accurate but rounding up where you don't need to, the Linux binary correctly arrives at 40, and the Windows binary arrives at 41.

For percents (and dollars) I always do everything in cents and divide by 100 at the very end. "20 * 200 / 100" can be done with pure ints, and f32 can represent i16 exactly.

ReactiveJelly, 2 days ago

Re: The early days of Linux

>> One day, Linus accidentally attempted to use his hard drive to dial the university, resulting in his master boot sector starting with "ATDT" and the university modem-pool phone number. After recovering from this, he implemented file permissions in his kernel.


Now this nugget made my day. I love Finnish deadpan humor.

lb1lf, 2 days ago

В том, что я предпочитаю музыку на физических носителях, ничего удивительного нет (особенно для тех, кто давненько читает этот канал). Но у меня есть одна привычка, о которой я никогда особо не распространялся. Это цифровой музыкальный плюшкинизм.

Привычка очень старая. Свою цифровую фонотеку я собираю с начала нулевых, и все эти годы за ней слежу — периодически обновляю, упорядочиваю или проряжаю. Как-то так вышло, что этой привычки-атавизма я всегда немного стыдился, а в последние годы она вообще тяготила — какой смысл заморачиваться и постоянно держать в актуальном состоянии 3 терабайта музыки, если она и так доступна на стримингах? После ухода мейджоров, прихвативших с собой все свои каталоги, оказалось, что смысл всё-таки есть. Конечно, можно пользоваться обходными путями — например, в Apple Music, подписку на который до сих пор можно оплачивать, хотя бы бэк-каталоги доступны. А вот в поисках новинок нужно либо очень сильно заморачиваться, буквально всучивая свои кровные токсичные деньги в руки правообладателей, либо сдувать пыль с треуголки и идти на торренты.

Вся эта свистопляска навела меня на мысль. Раз уж теперь от офлайнового прослушивания музыки никуда не деться, может, стоит и о музыкальном портативе вспомнить? Несмотря на то, что это крайне геморно (бывшие и нынешние владельцы старых айподов, заработавшие ID3-теговую профдеформацию, меня поймут), в этом есть плюсы. Об одном из них (как мне кажется, самом главном) я уже рассказывал. Как минимум ещё один — удобство, которое заключается в наличии отдельного устройства, заточенного конкретно под музыку (с отдельным ЦАПом определенного уровня и соответствующими органами управления).

Ну и, что уж греха таить, ностальгия по тем временам, когда приходилось вручную набивать память плеера любимой музыкой, тоже никуда не делась.

Если бы я остановился на том, что музыку можно просто скинуть в телефон, здесь бы этот пост и закончился. Проблема в некоторых сложностях, которые приносит с собой это решение — начиная тем, что, например, iPhone до сих пор не переваривает FLAC (то есть весь lossless придётся конвертировать, ибо в ALAC лично я практически ничего не храню), заканчивая нерезиновостью памяти современных телефонов (слушать на них музыку вряд ли придётся чаще, чем снимать фото и видео). Опять же, не забываем о том, что универсальность устройства предполагает ещё и универсальность управления (по этой же причине любители ретро-игр покупают под это дело отдельные консоли — никакой мультитач не заменит физических кнопок). Что остаётся? Правильно, остаётся искать отдельный плеер, способный удовлетворить нехитрые текущие потребности, а также с запасом закрыть потенциальные. Как в старые-добрые времена, только в 2023 году.

Иии… его нет.

Как оказалось, пока мы тут спорили, превосходит ли винил цифру (спойлер: нет), есть ли смысл платить корпорациям за временный доступ к музыке и грядёт ли очередной (какой там уже по счёту) кассетный ренессанс, произошло непоправимое — MP3-плееры просто исчезли. Сначала они убили потребительский портатив, заточенный под физические форматы, а теперь и сами уступили место стримингам, причём помогли этому мы, проголосовав рублём за удобство и алгоритмы. Конечно, «исчезли» — слишком громкое слово, они-то на самом деле есть, но как будто перешли в разряд «зомби-категории» (ранее примерно то же самое произошло со сдавшимися под натиском смартфонов компактными фотокамерами).

Почти все именитые производители решили, что бороться уже нет смысла, поэтому в 2023 чаще всего мелькающие марки плееров потребительского сегмента — это Sony, у которых для пролетариев есть полторы очень грустных модели, и Digma, которые вроде как пытаются добавлять в свои плееры хорошие фичи вроде поддержки FLAC, да только реализация хромает (ибо это Digma). За ними идут подхватившие падающее знамя китайцы, предлагающие плееры с какими-то баснословными характеристиками за мелкий прайс (к реальности эта баснословность отношения почти не имеет, а если и имеет, то всё напрочь убивается «чудесностью» софта). Всё, что доступно простому обывале — это либо entry-level плееры («флешки», идейные продолжатели iPod Shuffle и так далее), либо то, что во времена оные называлось «MP4» (то есть почти то же самое, но с цветным экраном), частенько выдающее себя за Hi-Fi, видимо, чтобы обосновать конские ценники. Ну а «верхушки» у потребительского сегмента как бы и нет — сразу после него идёт категория Hi-Fi-монстров.

И тут мы снова приходим к аналогии с фотоаппаратами. Сейчас ситуация такова, что если тебе не нравится то, как снимает твой телефон, единственный выход — покупать серьёзный (пусть и «любительский») фотоаппарат. А вот если тебе не нравится звук и музыкальный UX смартфонов, тебе придётся покупать «серьёзный» (не сказать «профессиональный») плеер — чтобы Hi-Res переваривал, высокоомные наушники раскачивал, умел выступать в роли ЦАПа и так далее. И в этом есть проблема.

Когда-то подобные плееры делались с закосом под iPod (шоб с колёсиком), но технологии не стоят на месте, iPod Classic морально устарел и ушёл в историю, поэтому вскоре референсом стал iPod Touch. Так появились монструозного вида железки (это какой-то отдельный симптом визуальной аудиофилии), ворочащие самый настоящий Android. Вкупе с этим, нафаршированность функциями, которые грех не иметь «серьёзному» (пусть и портативному) устройству, приводит к тому, что на полном заряде эти монстры живут примерно день. И стоят как чугунный мост по этой же причине.

Обычному человеку, просто желающему слушать музыку через чуть более качественный тракт dedicated-устройства и паравозом не страдать из-за отсутствия органов управления воспроизведением, такие железки просто не нужны — он не будет использовать их на все деньги. А проблема как раз заключается в том, что бездна, образовавшаяся между средненькими и слишком хорошими плеерами, ничем не заполнена. Та же Sony не предлагает чего-то из разряда «просто плеер, но качественный» — сразу после грустных устройств идёт то, что можно было бы назвать лоу-эндом категории Hi-Fi. Как полагается, судя по отзывам, с соотношением цены и качества там всё невесело.

Оказалось, что я внезапно очнулся на излёте эпохи цифрового портатива (хотя, чего там, это уже даже не «излёт»). Остаётся либо переплачивать за металлический кирпич с избыточной функциональностью и недолгим временем работы от одного заряда, либо использовать смартфон — многозадачное устройство, в которое даже при наличии расширяемой памяти не факт, что запихнут хороший ЦАП (а в худшем случае и мини-джек), а на отдельные органы управления воспроизведением уж точно никто не заморочится. Потому что да, плеерофоны тоже умерли, причём гораздо раньше обычных MP3-плееров. Даже живут смартфоны столько же, сколько и тяжеловесные Hi-Fi-монстры, тут ты ничего не выигрываешь. Единственный плюс — смартфон у тебя уже есть.

Получается, что слоёв превозмогания в попытках более вдумчиво слушать музыку (которую у тебя, к тому же, точно не отберут) выходит как-то уж слишком много. Невольно задумываешься о том, что проще сдаться и всё-таки всучить гордым правообладателям деньги за подписку, чем пытаться бежать за ушедшим поездом и решать нерешаемую проблему, которой, судя по всему, на самом деле не существует.