Search
Write a publication
Pull to refresh
-9
@gpyraread⁠-⁠only

User

Send message
Прикольно! Пойду куплю Threadripper
Пора немного продвинуть позицию 19 (Haskell). Сайт моего друга написан на Haskell. Осторожно, NSFW! p0n4ik.tk
Но что, если он сменит имя и вместо Ивана станет, например, Олей

Не пугайте так. У нас не Европа все-таки
И даже не обязательно учить Python, всё можно сделать на родном JavaScript

Для кого родной, а для кого и нет
Так как язык ориентирован именно на доказательство теорем, то большой необходимости запускать функции нет

А ну т.е. это еще одна система для доказательств. С Idris тогда нечего сравнивать, он как general purpose язык вне конкуренции :D
Почему так мало комментариев под новостью? Это действительно важная веха!
Мне не нравится иметь несколько компов, еще и синхронизации между ними делать
В офисе сижу по 8 часов, поэтому дома ноут. Хочу сижу, надоело убивать позвоночник, ложусь с ноутом.
А значит опять шум и перегрев, если дискретка в ноуте

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

макпро 2008 года

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

Я ставил на сяоми линейку, потому что надоел китайский миуи, гемора было ноль потому что следовал инструкции

По умолчанию используется sandbox сборка. Этот каталог не будет виден билдеру

Ты прав. И реализовано на значительно более серьезном уровне.

Интерфейс сильно устарел на сегодня.

Information

Rating
Does not participate
Registered
Activity