еще одно серьезное замечание This redesign feels so aimless. All the info on pages 2-4 exists on page 1. Pointless complexity
а ведь рили

мимими

хоть я и админ зиг канала по историческим причинам, зигом особо не пользовался

ну и в чем они не правы

Добавил в LSP ошибки
В начале эти inc inc тут как демонстрация отзывчивости шо каждая следующая на следующем i появляется

ну и где обещанный интеллект?
зы моделька локальная

ктото куда то репостит посты про ниву


продолжайте ^_^

Чтобы AI не путали с AI, Apple ID переименовывают в Apple Account(у эпла теперь есть эпл интеллидженс)

#макмакич
не работает блять клавиши мыши назад вперед(4 5) в местном проводнике, и вообще проводник кал говна

Если открылась папка из какого то приложения попасть назад(`/..`) нельзя, клавиши вперед назад отвечают только за историю, а тк кк папка открылась из приложения история чистая

Можно ли тыкнуть сверху в путь чтобы попасть на папку выше как в винде и лине? НЕТ КОНЕЧНО

долги возвращают в криптовалюте
Are we in the future yet?

пасаны, лучший источник энергии сейчас холодный термоядерный синтез, with the only drawback of a very small amount of them

Тонский сделал видос!
https://youtu.be/srvFRG5tdg8

Просто забавный ничего не значащий факт, одна и таже консоль живет на андройде 5 часов а на линуксе 8
думайте...

В опросе языков могущих в proof assistant(в основном это значит типы первого порядка) с большим отрывом побеждает Lean

Вот определение натуральных чисел на нем

inductive nat : Type
| zero : nat
| succ : nat → nat

def Nat.add : Nat → Nat → Nat
| n, Nat.zero   => n                      // n + 0 = n  
| n, Nat.succ m => Nat.succ (Nat.add n m) // n + succ(m) = succ(n + m)

логика тут в рекурсивности, шото вроде либо это 0 либо оно само + 1, получается если много делать succ то можно получить любое натуральное число, а сам факт того шо они натуральные следует из того шо тут нет вычитания

Главная цель когда делаешь в яп эксепшоны, сделать их оутпут минимальным и понятным
zero bullshit principle