>>104035
Как при Педале!

>>104000
Свет всегда нужно гасить, когда не пользуетесь, так как непотушенная лампочка - лишний рубль в карман Чубайсу.

>>103493 (OP)
Сайт на домене .moe априори воспринимается, как анимешный и автоматически становится магнитом для притягивания разных аватарок, в основном анимешного спектра.
Моё видение нормальной имиджборды:
1. Она не должна иметь в названии что-то, намекающее на какой-либо Двач, Тиреч, Сосач, Нульч, но должна иметь цифру, например, "8chan" или "10chan". Ну, "ТЕНЧАН", звучит же, маскот - Десятка (Тен-тян, Тентян), а ещё тены - это нагреватлеьный элемент в электрочайнике или электросамоваре, что какбе намекает на "Два чаю".
2. Она не должна копировать дизайном Сосач, но дизайн должен быть лёгким и приятным глазу. То есть, всякие вырвиглазные Лолифоксы в пролёте, также обязана быть возможность поменять тему на Photon, Neuton, Autumn и прочие олдовые темки закрывшихся имиджборд (Двач, Нульчан), но как опция. И Photon должен быть Photon'ом, а не как на Лолифоксе со шрифтом "Times New Roman". Вот тут у вас хороший, годный Photon.
3. Она не должна намекать на анимешность. Хотите популярную борду - надо избегать анимешных названий и стилей, так как для нормального человека анимешная борда автоматически означает, что тут "пидорнутые", "конфобляди", и прочий fdc. Не нравятся те, кто не любит аниме - не делайте крупную имиджборду, всё равно не взлетит, тут априори будут анимехейтеры, которые будут гнать ваше аниме в /a/.
4. Должна быть свобода слова. Если твоё ёбаное аниме хуесосят - отвечай, терпи, но не удаляй тред. Удалять нужно то, что именно мешает свободе общения и отпугнёт ньюфагов, например, раз вы хотите альтернативу Сосачу, то нужно удалять расчленёнку, треды-дубли (например, если копипаста-гей вайпать начнёт или несколько ORMT висеть будет, лишние надо удалить) и тому подобное. Трипфагов и аватарок удалять не надо, это протекция имиджборды от школоты с Контакта, школота потом на Сосаче будет писать, что на условном "Тенчане" аватаркоцирк и агитировать другую школоту не ходить сюда.
Аватарки и прочие анимебляди, если им не давать расплываться на 100500 одинаковых тредах, генерят контент, они ведь часто художники, музыканты и прочие творческие личности, взгляните на Доброчан, там постоянно движ, а теперь посмотрите, какое уныние на Сосаче, где даже маскот нормальный нарисовать не могли. Кто у них там сейчас маскот? Хика-тян? Пиратка? Пиратку Абу вроде вообще купил у какого-то художник-куна.

Вот такое моё видение имиджборды-альтернативы Сосачику. И ещё, борда должна быть ламповой, как Двач, а не раковником с куклоцирком, как Тиреч, как старый Нульч, а не Нульч после разлива мочи.

>>104039

>>103472
Гайд для хомячков писать не буду, так как не считаю себя гуру, просто монотонное занятие, в которое я аутирую. Расскажу, как я раньше делал, и как делаю сейчас.

Откуда брать задачи: http://www.satcompetition.org/ (здесь больше всего образцов задач), либо google: запрос "satxxx.cnf" (где xxx - количество переменных в задаче SAT, например sat100.cnf, sat360.cnf) или uf20.cnf, uf50.cnf (для uniformly distributed SAT (переменные встречаются относительно равномерно) на 20 и 50 переменных).

Все задачи SAT там в формате 3-CNF (любую задачу о выполнимости булевой формулы можно привести в конъюнктивную нормальную форму, и, более того, в 3-конъюнктивную нормальную форму за линейное время путем преобразования Цейтина (цена: увеличение числа переменных в линейное число раз)). Парсер cnf-файлов пишется оч легко, большая часть формата: просто таблица чисел.

Первоначально я вообще делал, как лох. Брал сводимость SAT к задаче SUBSET из книги Кормена/Лейзерсона/Ривеста/Штайна "Алгоритмы. Построение и анализ" глава 34.5, смотри скрин. Я переводил SAT в экземпляр задачи SUBSET и получал, что нужно набрать сумму вида 1111(n единичек)44444(m четверок, где m — число клауз, то бишь конъюнктов). Далее я переводил задачу SUBSET в "сопряженную" (начало 2 главы книги "Knapsack Problems" Martello и Toth, где рассматривается задача максимизации веса как задача, сопряженная к задаче минимизации веса, с учетом, что у нас SUBSET и вес = цене). То есть, если нам нужно x_i = 0, то в сопряженной задаче мы должны получить y_i = 1 То бишь набираем 22222(m двоек) и избавляемся от последних 2m чисел в задаче SUBSET и первых n разрядов. Таким образом, вместо SAT получаем минимизацию нормы суммы векторов с учетом следующих условий:
- либо 2i, либо 2i + 1 должен войти в сумму
- каждая координата вектора-суммы должна быть меньше или равна 2.

Удивительно, но такой "самопальный" дешманский метод позволяет решать задачи SAT в CNF вплоть до 50 переменных и 200+ коньюнктов.

Ну а дальше, от деревенщины все же придется ступать на тропу науки и смотреть, как решает задачу выполнимости алгоритм DPLL (Дэвиса-Патнема-Логемана-Лавленда):
https://ru.wikipedia.org/wiki/DPLL (либо смотри 2 скрин). На первый взгляд это обычный перебор всех значений формулы с возвратом, но нет, штука Unit propagation https://en.wikipedia.org/wiki/Unit_propagation позволяет решать задачи более 100 переменных в доли секунд (перебор 2^100 значений на ПК занял бы очень большое время). Это что-то типа эвристики, но точной на 100% эвристики: если в клаузе осталась одна неприсвоенная переменная, ее значение очевидно, и эту клаузу можно убрать из рассмотрения. А далее, мы проходимся по всем клаузам, присваиваем значение, и если клауза истинная, то убираем ее.

Потом нас ждут эвристики, которые ускоряют DPLL (я рекомендую эвристику Бома, она самая старая, но все равно самая быстрая). Эвристики определяют какой следующей переменной мы присваиваем значение True / False по определенному критерию. Например, как часто встречается переменная, насколько редко встречается, как часто встречается без знака отрицания, либо по определенной диковинной формуле (эмпирически выведенной).

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

>>103850
Говори, если есть что сказать.
Постеры были (на brchan'e).
Теперь нет.

>>103851
>Там иногда появляется

КТО, 228/666?

>>103032
Уже 20.000т и крематории развернули в городе с законом об обязательно сожжении тел на месте. Будет как при птичьем голове в китае, когда 30 млн населения под коврик замели будто и не было.

Как вам интеграл?

>>98256
>Научиться математике, всей хуйне
Лучше конкретизировать, математика бесконечна же.

>Изучить медицину может на уровне студента второго-третьего курса медицинского
Чем знания третьекурсника отличаются от знаний четверокурсника?

>типа чеченцев
У них очень сложный язык.

>Вкатиться в компьютер саенс
Опять же, что ты имеешь под этим имеешь ввиду.

>Сидеть пердеть пилить проги которые не приносят денег
Сам бы так хотел.

>>103404
А про стим я прочитал вот такое. Наверное, он немного разбирается в вопросе, если раскрывает рот и что-то советует. Получается, автор всё ещё может делать со своим кодом под gpl всё что захочет, и под gpl он публикуется.

И другая статья про законы для домохозяек это лишь подтверждает, помимо лицензии есть правообладатель, и у правообладателя есть дополнительные привилегии. Он может разрешать нарушать gpl3 в частном порядке или что-то вроде того. Релизы вполне сюда попадают.

А вот если ты где-то попробуешь опубликовать релиз, то вот тебе и нужно будет опубликовать ещё и все скрипты с мейкфайлами :3

>>103315
Там практически ничего нет.
https://telegra.ph/OP-catalogTuchi-02-11

>>94291
Ой, простите, отклеилось.
ты че такой буйный?