«Санітарія – моя пристрасть» — шепочу я собі, миючи 67-му пляшку пива, щоб підготуватися до Дня розливу

nvm це гірше

maxminmaxmin (14)

Ви відкриваєте випадаюче меню і тягнете вниз Поверхневий натяг на рідкому склі розривається, і воно починає виливатися під скло екрану Пункти меню ліниво дрейфують у безладді Через кілька тижнів ви все ще помічаєте, що вільні команди застрягли в кутах інтерфейсу користувача

Отже, цікавий факт виявляється, що ви можете експоненціально вмістити багато (нормалізованих) векторів у список таким чином, що попарний внутрішній добуток будь-яких двох різних векторів дорівнює ≤ eps

Ви можете прочитати більше про розумовий процес у дописі в блозі: Або спробуйте (принесіть свій ключ)

Боже, я люблю дні пивоваріння

З Днем старої доброї Америки

Треба уявити собі Гілья постійно щасливим

Сьогоднішня смішна дрібниця в Julia: реалізація (простої!) формальної верифікації міні-PL за допомогою типів Julia він навіть може перевірити, що 1+1=2 з аксіом Пеано!