Программирование


Создать тред Создать тред


Программы и операционные системы обсуждаются в /s/. Воздержитесь от холиваров. Конференция доски в Телеграме - @pr2ch

<<
Тред про лучший в мире язык GO №3 /go/ Аноним # OP 07/03/19 Чтв 22:19:46 1360787 Ответ
1vHUiXvBE0p0fLR[...].gif (249Кб, 500x500)
500x500
sjJ4QNy.png (218Кб, 778x960)
778x960
lJA9gDmoo3A5B2f[...].jpg (78Кб, 700x695)
700x695
GO (а также Golang, Пщ или просто Го) — современный язык с зелеными потоками на уровне синтаксиса и крутой стандартной библиотекой. Так как делать пакеджи несложно, гитхаб полон пакеджами для абсолютно всего. Батарейки почти как в питоне.

Дженериков нет, эксепшенов нет, просто смирись.

Обработка ошибок получается охуенно через http://github.com/pkg/errors | в приложениях обычно можно просто паниковать на ошибках.
HTTP-сервер для убер максимального маня-хайлоада: https://github.com/valyala/fasthttp
С версии Go 1.11 наконец-то появится официальный менеджер зависимостей vgo

Для вката в Go читай Донован, Керниган "Язык программирования Go", https://www.golang-book.com/, книги из списка https://github.com/dariubs/GoBooks, а также смотрим видео https://www.youtube.com/channel/UC_BzFbxG2za3bp5NRRRXJSw

Вкатываемся в эпоху докера, микросервисов и адово кошерной сетевухи.

Предыдущий: >>1314918 (OP)
нумерация утеряна, так что перезапуск нумерации
Пропущено 178 постов
17 с картинками.
Пропущено 178 постов, 17 с картинками.
20/04/19 Суб 23:40:59 1385138
>>1385016
>Но в этом-то и плюс!
>он уже сейчас мне нравится больше конкурентов.
Потому что ты кроме жс и пхп ни с чем не знаком.

мимо-капитан
Аноним 21/04/19 Вск 13:11:33 1385311
>>1385138
Джава и плюсы тебя устроят?
21/04/19 Вск 15:36:44 1385847
>>1385311
Примерно то же самое, а во многих моментах даже хуже. После жавы и плюсов и жс покажется удивительно выразительным языком.
Python 3.7.2 /python/ Рэймонд Хаттингер 13/04/19 Суб 03:08:20 1380111 Ответ
1427617543183.jpg (113Кб, 984x927)
984x927
prGnido.png (1640Кб, 1920x1080)
1920x1080
classic.png (66Кб, 597x255)
597x255
Пропущено 203 постов
25 с картинками.
Пропущено 203 постов, 25 с картинками.
Аноним 21/04/19 Вск 12:13:15 1385279
>>1385268
>элемент singleton не входит во множество ООП
а то
Аноним 21/04/19 Вск 12:47:50 1385305
>>1384133
Звучит как что-то мертвое.

Какая у него поддержка? Асинхронность? Генераторы? Кодовая база?
Аноним 21/04/19 Вск 12:55:33 1385307
>>1384709
Надмозг увидел ещё одну обёртку для работы с domом и усмехнулся.

Добро пожаловать в 2к17, все крутые ребята уже давно пишут на clojure script + reagent
Здесь есть тру-электронщики?Ну я просто не ебу как на owen logic запрограммировать эту схему без ,блять, описания!!! Аноним 21/04/19 Вск 12:03:16 1385274 Ответ
1.jpg (248Кб, 1366x768)
1366x768
Здесь есть тру-электронщики?Ну я просто не ебу как на owen logic запрограммировать эту схему без ,блять, описания!!!
Аноним 21/04/19 Вск 12:11:50 1385276
бамп шаражный
Аноним 21/04/19 Вск 12:19:49 1385289
/ra/
Аноним 21/04/19 Вск 12:24:16 1385295
Scala /scala/ тред RISC-V edition /scala/ Аноним 05/09/18 Срд 08:49:49 1259320 Ответ
изображение.png (49Кб, 602x537)
602x537
изображение.png (131Кб, 900x900)
900x900
изображение.png (108Кб, 600x387)
600x387
Очередной тред про самый лучший язык для JVM.

Лучшая книга по Скале: http://www.ozon.ru/context/detail/id/31921731/
Учебник по Скале на русском: http://twitter.github.io/scala_school/ru/index.html
Второй учебник по Скале на русском: http://twitter.github.io/effectivescala/index-ru.html
Курс по fp на Скале для слоупоков: https://www.coursera.org/course/progfun
Список годноты: https://github.com/lauris/awesome-scala
Презентации летнего ScalaDays: https://www.parleys.com/channel/53a7d269e4b0543940d9e535/presentations?sort=views&state=public
Два недавних форка компилятора, один от тайплевела и второй от баттхертнутого:
https://github.com/typelevel/scala (https://github.com/typelevel/scala/wiki/Differences)
https://github.com/paulp/policy

Завтра ищешь в интернете книжку Programming in Scala. Похуй если ничего не поймешь. Затем идешь на scala-lang.org и изучаешь стандартную библиотеку от корки до корки. Потом зубришь, именно, сука, вызубриваешь конвенцию по написанию скала кода - от EPFL естественно, чтобы от зубов отскакивало. Когда напишешь свой первый клон Twittera, по пути изучив основы дискретного и лямбда исчисления, скачиваешь и изучаешь любой асинхронный скала вебсервер, рекомендую Play!. Как переделаешь твиттер клон, чтобы выдавал по крайней мере 5 тысяч запросов в секунду, можешь идти дальше - тебя ждет увлекательный мир хайлоада. Apache Hadoop и Spark, сверхбыстрые асинхронные key-value хранилища, NoSQL и прочие мира открытого исходного кода приблуды. Отсос хиккующих питонистов / просто неудачников типа годаунов или рубифанбоев, сосут по жизни, не заставит себя ждать и уже через пол года ты будешь подворачивать штаны, есть маффины, запивая смузи и любая баба будет течь от упоминания твоей зарплаты.

Теперь, вдобавок к вышесказанному, ты можешь посрамить своими подвернутыми джинсами и своей великолепной ухоженной бородой ещё и замшелых ПЛИСоебов-свитеров в драных китайских ноунейм-джинсах и с неухоженными бородами старой закалки.

Ведь в твоем распоряжении Chisel - самый лучший HDL язык на основе Scala для разработки процессоров, видеокарт, майнеров криптовалют, машинного обучения и всего такого прочего.

https://chisel.eecs.berkeley.edu/

На этом языке написана реализация самого хайпового свободного процессора последних лет - RISC-V.

https://github.com/freechipsproject/rocket-chip
Пропущено 414 постов
19 с картинками.
Пропущено 414 постов, 19 с картинками.
Аноним 16/04/19 Втр 12:19:57 1382194
>>1382191
> без Spring Framework и Hibernate ты нихуя толкового не напишешь
Полагаю ты никогда и не вылезал за пределы своего манямирка, обмазанного толстым коричневым слоем джавы.
> Тут
Тут скалатред, а у тебя либо синдром утенка, либо просто толстишь.
> кто более неразборчивый скала код напишет
А вот теперь все понятно, очередной неосилятор. Иди еще поаннотируй на свой спринг.
Аноним 16/04/19 Втр 12:28:45 1382197
>>1382194
Ты просто не понимаешь как работает бинфактори вот и вертишься тут как уж на сковородке!
Аноним 21/04/19 Вск 12:12:07 1385278
>>1382073
А какой стек нужен, чтобы называться сеньором?
Nim /nim/ Аноним # OP 21/03/19 Чтв 20:19:13 1368123 Ответ
image.png (59Кб, 1187x900)
1187x900
Пропущено 11 постов
1 с картинками.
Пропущено 11 постов, 1 с картинками.
Аноним 20/04/19 Суб 23:39:25 1385137
>>1384933
clojure + go

А для души - раст.
Аноним 21/04/19 Вск 08:54:06 1385194
Аноним 21/04/19 Вск 09:51:16 1385212
>>1385194
Тогда вообще причем здесь нода и бидон?
SICP тред /sicp/ #5 Аноним 03/01/19 Чтв 05:13:45 1320096 Ответ
sicp.jpg (43Кб, 434x479)
434x479
Продолжаем обсуждение лучшей книги всех времен и народов, а так же одноименных лекций. Приглашаются сюда как новички, ломающие над ней голову, так и опытные ребята, прошедшие ее всю (или большую ее часть).

Где скачать SICP?
На русском: http://newstar.rinet.ru/~goga/sicp/sicp.pdf
ориджинал: http://web.mit.edu/alexmv/6.037/sicp.pdf
https://github.com/sarabander/sicp-pdf/raw/master/sicp.pdf

Где я могу писать свой код, для выполнения заданий?
Онлайн редактор, с поддержкой Scheme: https://repl.it/languages/scheme
IDE для racket подобных языков(но есть и поддержка Scheme, но её нужно включить) - https://racket-lang.org/

Где посмотреть ответы на задачи?
http://community.schemewiki.org/?SICP-Solutions
https://github.com/qiao/sicp-solutions
https://wizardbook.wordpress.com/solutions-index/
Где посмотреть видео про книгу?
https://www.youtube.com/watch?v=a0YrCABCOEY
Предыдущий тред https://2ch.hk/pr/res/1271806.html
Пропущено 381 постов
32 с картинками.
Пропущено 381 постов, 32 с картинками.
Аноним 20/04/19 Суб 23:51:19 1385145
coding-drunk.jpg (45Кб, 500x597)
500x597
>>1384388
Одно другому не мешает.
Аноним 21/04/19 Вск 08:44:19 1385193
Короче ОП с завтрашнего дня наконец-то начнёт новую жизнь?
Аноним # OP 21/04/19 Вск 09:37:52 1385204
>>1385193
Ты бы хоть предыдущие сообщения прочитал. Пишу же -> >>1384144
>Сижу, бьюсь со структурами, что-то начало проясняться
И жизнь не новая, а та же самая, в которой все идет по намеченному плану.
C++ №86 /cpp/ Аноним 15/04/19 Пнд 21:30:04 1381995 Ответ
image.png (28Кб, 528x528)
528x528
Пропущено 186 постов
10 с картинками.
Пропущено 186 постов, 10 с картинками.
Аноним 21/04/19 Вск 00:19:24 1385150
>>1385001
Насколько я помню, параметры-ссылки надо вручную в std::ref оборачивать.
Аноним 21/04/19 Вск 00:58:26 1385155
>>1385045
C O P Y E L L I S I O N
O
P
Y
E
L
L
I
S
I
O
N
Аноним 21/04/19 Вск 09:17:49 1385197
моё нытьё и проблемы веб-разработки Аноним # OP 21/04/19 Вск 01:04:39 1385156 Ответ
154433541317773[...].jpg (203Кб, 700x851)
700x851
Сап, программач.
Не нашёл подходящий тред, создал свой.
Прошло не больше месяца, как я уволился с работы веб-разработчика, я отдохнул, во мне снова проснулся голод решения задач, я читаю статьи, смотрю видео доклады, с упоением, можно сказать заново постигаю свой любимый вебчик, и примерно на этом этапе у меня сгорела жопа из-за того, что сделать современное веб-приложение стало охуеть как сложно!
Знаю, мода жаловаться на количество фреймворков прошла вроде как год-два назад, и всё же.
Теперь, дабы считаться норм веб-макакой, уже недостаточно отлично знать что-то из js, css, php, как ещё в том же 2012.
Как было совсем недавно (почти вчера)? У тебя есть бэк на php, а если ты помоднее, то на Python или Ruby. Движок бэка отдаёт готовые страницы юзеру. А фронт нужен затем, чтобы вёрстка была красивой, ну а если ещё и будет какая-нибудь динамика без перезагрузки страницы с ajax, то это просто хай скилл. Рядом с бэком на серве лежит MySQL база для хранения, например, списка пользователей, сообщений и постов.
Что сейчас? Всё должно быть изолированно и независимо. У нас будет отдельно фронт-сервер, который отдаёт странички, отдельно бэк, который занимается данными и бизнес-логикой. Бэк мы теперь поделим на микросервисы, а на фронте будем использовать компоненты. Нам теперь недостаточно просто передавать на бэк введённую юзером форму, данные теперь мы будем хранить и на фронте, и рендерить мы теперь будем тоже на фронте, совокупность данных мы назовём состоянием, общаться с сервом теперь всё будет по REST API и вебсокетам. Нам понадобится фреймворк и кучка библиотек на подсосе, чтобы всё это функционировало и не ломалось. А чтобы вся эта монстрообразная структура помещалась на тоненьком айфоне и не тормозила, мы повозимся с компоновкой бандлов, повозимся с минимизацией количества ресурсов и прочей производительностью, а часть рендеринга загоним обратно на бэк.
Раньше достаточно было показать, что ты знаешь ООП и замыкания, теперь об event loop и механизме движка V8 спрашивают чуть ли не джуниоров. В наши дни знание всего этого требуется в каждой вакансии, а если ты сомневаешься в том, что, например, серверный рендер настолько необходим, то ты чмо и мы вам перезвоним.
Что такое облачные технологии, какой-нибудь Amazon Web Services или Microsoft Azure, а эти слова встречаю также в половине вакансий, мне даже страшно смотреть.
Читатель, понимаю, что ты подзаебался читать моё нытьё, так что на этом месте я его обрываю и перехожу к вопросам.
Когда всё стало настолько сложно, и почему я никогда прежде не считал себя настолько нулевым? У одного меня чувство, что оказался выброшен на обочину сегодняшней веб-разработки? Ну не в одном же синдроме Даннинга-Крюгера дело?
Аноним 21/04/19 Вск 03:28:32 1385172
жиза
Кубунту или Минт? Аноним 17/04/19 Срд 07:14:25 1382636 Ответ
EverlastingSumm[...].jpg (508Кб, 1920x1080)
1920x1080
Кубунту или Минт?
Пропущено 16 постов
1 с картинками.
Пропущено 16 постов, 1 с картинками.
Аноним 20/04/19 Суб 18:16:14 1384975
000028-linuksdo[...].jpg (54Кб, 595x539)
595x539
Аноним 21/04/19 Вск 00:21:51 1385151
>>1384975
Сидеть на винде зашкварно становится, будущее за линукс ибо майки загнутся рано или поздно - это факт
Аноним 21/04/19 Вск 01:22:59 1385158
/s/
НЕЙРОНОЧКИ И МАШОБ ТРЕД №14(не точно) /ai/ Аноним 02/04/19 Втр 10:24:08 1373612 Ответ
1.jpg (85Кб, 1000x563)
1000x563
2.jpg (32Кб, 640x353)
640x353
3.png (682Кб, 1032x724)
1032x724
4.jpg (92Кб, 889x500)
889x500
неОчередной тред про хипстерские технологии, которые не работают.

Я ничего не понимаю, что делать? Либо в тупую import slesarplow as sp по туториалам, либо идти изучать математику курсы MIT тебе в помощь. Не нужно засирать тред вопросами типа "что такое сигма?".
Какая математика используется? В основном линейная алгебра, теорвер и матстат, базовый матан calculus многих переменных.
Что почитать для вкатывания? http://www.deeplearningbook.org/ | Николенко и др. "Глубокое обучение" На русском, есть примеры, но уже охват материала
В чем практиковаться нубу? http://www.deeplearning.net/tutorial/ | https://www.hackerrank.com/domains/ai | https://github.com/pytorch/examples
Где набрать первый самостоятельный опыт? https://www.kaggle.com/ | http://mltrainings.ru/
Где работать? https://www.indeed.com/q-deep-learning-jobs.html
Где узнать последние новости? https://www.reddit.com/r/MachineLearning/ | http://www.datatau.com/ На реддите также есть хороший ФЭК для вкатывающихся
Где посмотреть последние статьи? http://www.arxiv-sanity.com/
Где ещё можно поговорить про анализ данных? http://ods.ai/
Нужно ли покупать видеокарту/дорогой пека? Если хочешь просто пощупать нейроночки или сделать курсовую, то можно обойтись облаком. Иначе выгоднее вложиться в 1080Ti или Titan X.

Список дедовских книг для серьёзных людей:
Trevor Hastie et al. "The Elements of Statistical Learning"
Vladimir N. Vapnik "The Nature of Statistical Learning Theory"
Christopher M. Bishop "Pattern Recognition and Machine Learning"
Взять можно тут: http://libgen.io/

Напоминание ньюфагам: немодифицированные персептроны и прочий мусор середины прошлого века действительно не работают на серьёзных задачах.

Предыдущий:
https://2ch.hk/pr/arch/2019-03-14/res/1315967.html

Архивач:
http://arhivach.tk/thread/412868/
Остальные в предыдущих тредах

Там же можно найти треды 2016-2018 гг. по поиску "machine learning" и "НЕЙРОНОЧКИ & МАШОБЧИК"
Пропущено 253 постов
32 с картинками.
Пропущено 253 постов, 32 с картинками.
Аноним 20/04/19 Суб 18:07:29 1384968
Что с RL-то, почему все подряд сейчас говорят что не работает?
Аноним 20/04/19 Суб 18:12:04 1384972
Аноним 20/04/19 Суб 23:57:42 1385147
Elements of Statistical Learning очень сложная книжка. Неужели все двадцатилетние хипстерки, работающие в дата саенс, знакомы с материалом книги? Я не верю, что они смогли это освоить, не утратив молодости и шутливости.
Dlang официальный Аноним 06/04/19 Суб 12:50:00 1375912 Ответ
images.jpeg (4Кб, 225x225)
225x225
я нужен!
Пропущено 2 постов.
Пропущено 2 постов.
Аноним 09/04/19 Втр 11:08:18 1377598
>>1375912 (OP)
Потрудился бы в шапку накидать всякой инфы полезно про язык, а то выглядит не презентабельно. Пусть этот тред тонет, пересоздай новый нормально чтобы с первого взгляда была понятна значимость и божественность языка.
Аноним 20/04/19 Суб 14:38:14 1384812
>>1377592
Александреску скрывающий боль
Аноним 20/04/19 Суб 23:43:42 1385140
>>1377598
>значимость и божественность языка.
Так это же тред про ди.
МЫ ВАМ ПЕРЕЗВОНИМ #214 Аноним 19/04/19 Птн 08:58:22 1383853 Ответ
Experiments Lai[...].gif (1021Кб, 500x355)
500x355
Поясняем за московский стиль программирования, сочувствуем безработному кошкомальчику, делимся историями успеха, крутим деревья на скорость, си плюс плюс программируем, вкатываемся по пидор квоте в гугл и ждём, когда же нам всё-таки перезвонят.

https://github.com/jwasham/coding-interview-university - тут готовься к собесу (теория)
https://www.topcoder.com/ - тут готовься к собесу (практика)

Предыдущий тут: >>1382432 (OP)
Пропущено 467 постов
25 с картинками.
Пропущено 467 постов, 25 с картинками.
Аноним 20/04/19 Суб 21:55:23 1385090
>>1384775
Хочу купить эту книжку. Что скажете?
В книжном магазине по кудахтер-саенс только ебаные талмуды по 1500 страниц.

Но я-то знаю про правило 80/20 и что все говно оттуда мне не понадобится.
А эти 20% могут сыграть важную роль.
Аноним 20/04/19 Суб 21:57:04 1385091
>>1384782
>свои мемы, о том что айтишник однажды выдал
Ща бы думать, о чем там быдло разговаривает на кухне
Аноним 20/04/19 Суб 22:02:20 1385094
Двач, прописывал шрифты в css и задумался: нужен Аноним 20/04/19 Суб 20:48:56 1385044 Ответ
2019-04-2021-34[...].png (83Кб, 1440x860)
1440x860
Двач, прописывал шрифты в css и задумался:
нужен ли весь этот дроч с подключением шрифтов, как на скрине?
чем его заменить? про гугл фонтс знаю, но пока беру макеты с разных сайтов и верстаю их, а там часто попадаются шрифты, которых на фонтс нет.
21/04/19 Вск 09:12:07 1385195
>>1385044 (OP)
В настройках бровзера запретил любые шрифты. Теперь везде Ариал. Иногда настройка возвращается, чтобы работали некоторыепочти каждый первый, сука дегенератские сайты, использующие иконические шрифты без image-fallback.
Cicada 3301 2014. Liber Primus. Решен спустя 5 лет. mavic 05/04/19 Птн 20:26:49 1375610 Ответ
11.jpg (6967Кб, 2400x3600)
2400x3600
https://github.com/mavicmed/into_lp.git
Сперва я расшифровал hex код со страниц 57-58.
Что бы это решить нужно:
1. Строки развернуть, соединить последовательно от верхней к нижней.
2. Каждый символ перевести в двоичную систему. Взять два последних бита.
3. Биты последовательно записать в строку, затем строку разбить на байты и декодировать в utf-16.
4. Profit! Мы получаем на выходе слово на китайском, переводящееся как-то на подобие "ошибка". Но это полноценное слово, а значит мы угодали с алгоритмом :)
ASCII это числа в 60тичной системе. Переводим их в 16-ричную, дальше все схоже. На выходе получаем 対찒齭ꕥ藧밁끏莩풴訵䶥ω튢莾뱷䶚卸悕ꕡ㓘桒ᘊ෻褍㜽趤걹辳܅薡蠚Ѣ - Counter-measure ω wholesaler. Название математической функции, которую находим в гугле.
Итак, у нас есть алгоритм поиска бита и алгоритм поиска пикселя. Дальше это достаточно простая модель lsb стеганографии, на выходе получаем файлы которые залиты на гит.
Большинство файлов содержат мусор, но в некоторых гугл переводчик распознает разбросанные осмысленные фразы. К примеру такой файл 03, можете открыть его в хроме и запустить автопереод страницы.

Есть идеи как это можно расшифровать?
Пропущено 6 постов
2 с картинками.
Пропущено 6 постов, 2 с картинками.
Аноним 20/04/19 Суб 20:33:51 1385033
>>1385005
Ну в шифрах которыми были зашифрованы расшифрованные на сегодняшний день страницы для меня нет чего то сложного, как и в большинстве других задач от цикады. Я думаю здесь просто подвох в чем то ином.
Аноним 20/04/19 Суб 20:34:56 1385034
>>1385005
Да и согласитесь, задачи в большинстве своем достаточно простые были до LP
mavic 20/04/19 Суб 20:45:12 1385042
11.jpg (3960Кб, 2400x3600)
2400x3600
11.jpg (696Кб, 2400x3600)
2400x3600
Вот для примера обработанное изображение и не обработанное.
Пруверов тред #3 Аноним 17/04/19 Срд 16:36:48 1382928 Ответ
VladimirVoevods[...].jpg (66Кб, 260x315)
260x315
Coq8.5stdlibpro[...].png (108Кб, 640x400)
640x400
Blow them up.jpg (55Кб, 808x464)
808x464
Тред успешных хлебателей борщей.

Coq:
https://coq.inria.fr/

Lean:
http://leanprover.github.io/

Agda:
https://github.com/agda/agda

HoTT:
https://github.com/HoTT/HoTT
https://github.com/HoTT/HoTT-Agda
https://github.com/gebner/hott3

По теме: http://groupoid.space/.

Cubical Type Theory:
https://github.com/mortberg/cubicaltt
https://github.com/mortberg/yacctt
https://github.com/RedPRL/redtt
https://github.com/redprl/sml-redprl
https://github.com/JetBrains/Arend
Ну и agda --cubical (недавно релизнулась 2.6.0, кубики ушли в релиз).

По теме: http://cubical.systems/
Пропущено 6 постов
1 с картинками.
Пропущено 6 постов, 1 с картинками.
Аноним 20/04/19 Суб 18:25:12 1384980
ОП, ты случайно не няшный трапик с эрнстчана?
Аноним # OP 20/04/19 Суб 19:20:20 1384999
Аноним 20/04/19 Суб 19:35:05 1385002
Кластеризованный уникальный баз данных тред /sql/ Аноним 18/12/18 Втр 01:26:19 1312894 Ответ
Снимок.PNG (65Кб, 921x419)
921x419
И это опять баз данных тред.
Обсуждаем базы данных во всех возможных реализациях

Структуры данных, ER-модели, key-value, хранилища, снежинки, звёздочки,
Оптимизируем запросы, написанные криворукими аналитиками,
Создаем времянки с одной строчкой,
Колонизируем индексы,
Коммитим транзакции,
Проводим sql-инъекции,
Пиздим за кривую табуляцию в процедурах, функциях и вьюхах,
Рассказываем тупым студакам, как заджойнить 2 таблички, чтобы сдать очередную лабу преподу-старпёру при смерти.

Ну и, конечно же, проходим бесплатные курсы на sql-ex за полгода и устраиваемся в ДС на 100 000 без задней мысли.

Погнали.
Прошлый тут: https://2ch.hk/pr/res/1222346.html

Пропущено 377 постов
32 с картинками.
Пропущено 377 постов, 32 с картинками.
Аноним 16/04/19 Втр 13:17:51 1382224
>>1382223
Курс, или книгу, или какие-то статьи. Покупать я разумеется ничего не буду
Аноним 20/04/19 Суб 18:38:40 1384987
Сап, датабазеры. Можно ли как-то сделать handler, который будет дёргаться каждый раз, когда происходит новый insert?
Аноним 20/04/19 Суб 19:21:38 1385000
Официальный 1С тред #28 /1s/ Аноним 12/01/19 Суб 17:42:03 1325574 Ответ
bgJD7kaZpCXHrHA[...].png (271Кб, 600x600)
600x600
Пропущено 396 постов
42 с картинками.
Пропущено 396 постов, 42 с картинками.
Аноним 20/04/19 Суб 18:40:17 1384990
>>1384976
У тебя регистр точно периодический?
Аноним 20/04/19 Суб 18:45:58 1384992
Безымянный.png (66Кб, 1414x769)
1414x769
Аноним 20/04/19 Суб 19:01:15 1384995
>>1384992
Ну показывай тогда как цену получаешь
Ищу партнера (ну можна и друга в принципе) Артем 19/04/19 Птн 22:17:02 1384433 Ответ
photo2019-04-19[...].jpg (15Кб, 400x401)
400x401
Ищу друга\партнера, который готов к кодеру-ламеру, которого придётся всему учить и т.д. Так вот если в этому готов, то тг @shabashabx. Рандом пикча
19/04/19 Птн 22:35:56 1384446
cute-boys-that-[...].png (107Кб, 500x441)
500x441
Аноним 20/04/19 Суб 05:22:51 1384539
Аноним 20/04/19 Суб 18:30:22 1384982
@Fetterr двачую опа. ищу себе ментора.
Логоса тред Аноним 03/04/19 Срд 14:50:32 1374302 Ответ
logos.png (327Кб, 724x474)
724x474
Последние несколько дней много думал о блокчейнах, языке и Витгенштейне. Первая важная вещь, которую я понял: так как консенсусные приложения (DLT) трансцендируют архитектуру большинства конкретных компьютерных систем, нет никакой нужды в сходстве языка этих приложений с архитектурой таких систем. Потом я понял еще одну вещь. На мой взгляд, самым наибольшим препятствием консенсусных систем на пути к всемирному господству, является полная несовместимость этих систем с нашими дискурсивными практиками. Люди смотрят и понимают мир посредством языка. Все механизмы нашей организации, общественные, корпоративные процедуры, практики, сформулированы посредством языка. Именно дискурс определяет логическую форму всех этих процессов. Тем не менее, консенсусные приложения не могут в дискурс. Solidity позволяет описать Тюринг-полную программу, но при этом она все равно остается программой. Я хочу напомнить, что программы это в точности то, что предназначено для компьютеров, а пишут их программисты. Но почему консенсусные приложения должны программироваться?

Я предлагаю описывать консенсусные приложения не в виде компьютерных программ, НО абстрактных символьных систем и диалектов, состоящих из выражений, определенных для этих символов этих систем. К сожалению, все известные мне доменно-специфические языки, а так же языки программирования, помешаны на теории типов, но игнорируют при этом логику построения выражений естественного языка. Следуя логике Витгенштейна, если мы хотим чтобы консенсусная система могла символизировать наши дискурсивные практики, ее структура должна иметь много общего со структурой дискурса.

>3.33. В логическом синтаксисе значение знака не должно играть никакой роли; должна быть
возможна разработка логического синтаксиса без всякого упоминания о значении знака; она должна
предполагать только описание выражений.
3.331. Исходя из этого замечания, мы пересмотрим расселовскую "теорию типов". Ошибка Рассела
проявилась в том, что при разработке своих символических правил он должен был говорить о
значении знаков.
3.332. Ни одно предложение не может высказывать что-либо о самом себе, потому что
пропозициональный знак не может содержаться в самом себе (это есть вся "теория типов").
(Витгенштейн 1921)

Не объекты, а символы.
Не типы (и функции), а выражения.
Из выражений составлять предложения.
Из предложений тексты.
Вот и фундамент для Логоса: нового языка для формального описания абстрактных символьных систем. Как побочный эффект — возможность описывать данные и дискурс. (Я подозреваю что в PL design есть 20 лет рисерча по этой теме, но google scholar по ключевым словам, Витгенштейну и тд — успехов мне не принес. Если есть что-то похожее, просьба подсказать.)

На практике, вокабуляр на логосе можно будет загрузить в виртуальную машину с транзакционным бэкендом в виде постгреса/блокчейна/твой_любимый_DLT. Для моделирования системы в реальном времени, можно использовать быструю распределенную графовую базу данных dgraph. Абстрактная символьная система без 5 минут граф! Любой Вася сможет развернуть в кубернетис Logos VM и загрузить в него вокабуляр своей системы с блекджеком и шлюхами. Production-ready blockchain solution за пять минут, лол!

Пример синтаксиса: https://pastebin.com/raw/68vLrJ0H

Прим.
:: оператор показать
:= оператор сказать
Пропущено 45 постов
3 с картинками.
Пропущено 45 постов, 3 с картинками.
08/04/19 Пнд 10:20:03 1377094
Все-таки наверное не IP, а PI (Philosophical Investigations)

:-)
Аноним 15/04/19 Пнд 00:21:56 1381581
Теория типов говно, парадокс Рассела выдуман, а пропозициональной логики достаточно чтобы описать любую формальную символьную систему.

Я окончательно в этом убедился... При этом большинство современных языков игнорируют семантику "человеческого" языка, используя "математический" язык взамен. Известно, что самой большой проблемой скорее всего окажется именно семантика: в нашем случае, допустимое множество возможностей для составление пропозиций и компонование из них предложений. Сейчас логос позволяет только объявлять пропозицию как бесмыссленное словосочетание, в которых некоторые символы могут определяться. Но что если предикатов дохуя? В данный момент можно определять пропозии вот так:

Symbol := void // сначала был символ
prop of Symbol := // "prop" и "of" бессмысленые слова
Symbol? := // суффиксный синтаксис для явного описания правда-функции
Symbol = Symbol := Symbol pair // и дальше идет определение (в табулированной секции)
Аноним 20/04/19 Суб 18:22:04 1384978
ОП, то что ты описываешь в блокчейне называется проблемой оракула:
https://ethereum.stackexchange.com/questions/57071/what-is-the-oracle-problem-definition-exactly-and-briefly
Самое красивое решение, имхо, у проекта Аугур:
https://medium.com/kleros/kleros-and-augur-keeping-people-honest-on-ethereum-through-game-theory-56210457649c
Но это скорее не математический/логический подход, как у тебя, а скорее инженерный/статистический/теории_игр.
Внимательно прочитай резюме человека с прилагающейся фотографии Аноним 08/04/19 Пнд 22:09:12 1377376 Ответ
141561981872622[...].jpg (132Кб, 1080x1202)
1080x1202
Внимательно прочитай резюме человека с прилагающейся фотографии: http://vmchale.com/static/resume.pdf

Можешь ли ты представить себе, как эта женщина плачет и набирает дрожащими пальцами телефон какого-то невнятного бодишопа, чтобы рассказать о своём опыте на Java EE? Можешь себе представить, что она пропускает пары, делая сайты-визитки? А что она работает полгода тестировщиком, чтобы накопить стаж на джуниор-девелопера? Ты видишь в ней человека, который стесняется сказать родителям, что на свой двадцать четвертый день рождения она хочет доказать теорему Нётер для варианта вариационного исчисления с производными высших порядков?

Теперь прочитай её резюме еще раз. Видишь ли ты в нём стильные питоновские фреймворки? Может быть оно покрыто вздувшимся мидлваре и толстыми пачками платных сертификатов? Она обладает внешностью тимлида или сеньор-девелопера? Сзади неё стоит 10 лет опыта работы в пристижном интеграторе?

Прочитай резюме этой женщины и спроси самого себя, что с ним не так? Почему вместо Scala там Haskell, вместо С++ - ATS, а вместо Ассемблера - VHDL?
Пропущено 328 постов
48 с картинками.
Пропущено 328 постов, 48 с картинками.
Аноним 20/04/19 Суб 16:58:06 1384929
Аноним 20/04/19 Суб 17:02:48 1384936
>>1384929
> я dark metal слушаю
Ловите говноеда.
Аноним 20/04/19 Суб 17:18:48 1384941
>>1384936
большинство тру-кодеров таки тяжелую музыку слушают
МЫ ВАМ ПЕРЕЗВОНИМ #213 Аноним 16/04/19 Втр 20:36:39 1382432 Ответ
ba9710ca2c65ef7[...].gif (1018Кб, 500x281)
500x281
Вспоминаем школу, поем блатные песни, сочиняем стихи, обсуждаем 13-ти летних разработчиков приложений и ждём, когда же нам всё-таки перезвонят из универа и примут на должность ассистант профессора.

https://github.com/jwasham/coding-interview-university - тут готовься к собесу (теория)
https://www.topcoder.com/ - тут готовься к собесу (практика)

Предыдущий тут: >>1380144 (OP)
Пропущено 503 постов
28 с картинками.
Пропущено 503 постов, 28 с картинками.
Аноним 20/04/19 Суб 14:24:08 1384793
>>1383822
Ты тупой долбоёб, не умеющий изъясняться?

>Решил запилить свой SaaS проект. За основу решил взять идею Travis CI, Circle CI и прочих CI серверов в облаке.

Если твоя идея ещё один CI то слушай >>1383759

Если идея в чём-то другом то читай первую строку этого комментария
Аноним 20/04/19 Суб 16:30:49 1384897
Почему считается, что все банки для кодера говно? В России есть нормальные банки кроме конторы олега тинькова и дойчебанка, где без навыков жонглера деревьями и переворачевателя списков даже хрюша не напишет?
Аноним 21/04/19 Вск 14:46:50 1385648
>>1384897
>Почему считается, что все банки для кодера говно?

Потому что при написании софта для банкинга думать не надо
Настройки X
Ответить в тред X
15000 [S]
Макс объем: 40Mб, макс кол-во файлов: 4
Кликни/брось файл/ctrl-v
Стикеры X
Топ тредов
Избранное