там побольше глав

в личку плз

https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v0.4.1/category-theory-for-programmers.pdf

еще лучше

unironically хорошее

я думал что теория категорий это высшая математика, а эти иллюстрации напоминают демонологию

> высшая > математика

а почему не почитать "теорию категорий для программиста"?

Ты про Милевски?

Там в чатике есть в закреплённых

Ты про Милевски?

Ага

кстати кто-нибудь может примерно сказать что такое высшая математика? просто сложилось впечатление что так называют матан (тоже не особо ясный термин) на экономических факультетах

Высшая математика включает обычно аналитическую геометрию, элементы высшей и линейной алгебры, дифференциальное и интегральное исчисления, дифференциальные уравнения, теорию множеств, теорию вероятностей и элементы математической статистики.

хм, ну есть пересечение с тем что у нас матаном называлось

видимо просто рандом

вышматом традиционно называют все из математики что учат в университете

причём множества рассказывали на дискретной. это была отдельная дисциплина. ну различие прослеживалось: в матане преймущественно про непрерывные функции рассказывали

Вышматом называют математику, изучаемую в высшей школе. Ваш КО

Нам на дискретке булеву алгебру давали :/

О, а тут Брагилевский. Ожидаемо, но всё равно внезапно

Нам на дискретке булеву алгебру давали :/

Ну тоже неплохо

последним из дискретки я помню краткое введение в криптографию

Хотя бы до СКНФ/СДНФ доходили?

Хотя бы до СКНФ/СДНФ доходили?

Ну само собой

Нам на дискретке булеву алгебру давали :/

ну да было такое. на самом деле оно дало некоторую интуицию над теоркатовскими тайпклассами. ну там конечно их не было. были всякие решётки, свойства эквивалентности, но они как бы были отрешены от какой-либо предметной области и ты оставался наедине с этим вопросом - зачем оно. зачем давать свойства и не использовать их

ну да было такое. на самом деле оно дало некоторую интуицию над теоркатовскими тайпклассами. ну там конечно их не было. были всякие решётки, свойства эквивалентности, но они как бы были отрешены от какой-либо предметной области и ты оставался наедине с этим вопросом - зачем оно. зачем давать свойства и не использовать их

Именно. Нам это давали применительно к цифровой электронике, скорее. 2И-НЕ, карты Карно, вот это всё...

меня в свое время позабавило как нас заставляли умножать матрицы на листочке

и ставили за это оценки

меня в свое время позабавило как нас заставляли умножать матрицы на листочке

Тю, ну а что такого? Все так делали. И миноры считали, тож на листочке

так и дифуры на листочке решали

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

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

А листочек тебе зачем? ?

это как бы на самом деле помогает. то есть я будучи недостаточно усердным не мог усвоить ничего кроме того что на практике закрепляли (практика это когда задачки порешал)

дифуры и матан ладно - я хотя бы могу работать построчно и вычислять то что нужно, а тут в глазах от чисел рябит и гнетет невыносимая бессмысленность происходящего

это как бы на самом деле помогает. то есть я будучи недостаточно усердным не мог усвоить ничего кроме того что на практике закрепляли (практика это когда задачки порешал)

У меня наоборот. Теорию послушал, и хватит

ну ладно с матрицами нудно на самом деле было

так что дальше я просто получал на руки методы решения задач и автоматизировал то что можно было внятно автоматизировать через какие-никакие численные методы

не ну численные методы это читы

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

числа не нужны

а что нужно?

вроде ж нигде кроме линейной алгебры и т.п. тонн чисел не возникает

в работе с текстом

ыы

а везде функции и буковы всякие

где ты руками с текстом работаешь?

ну да. ну там интегралы на заданном промежутке хотя всё равно можно выдать с буквами задание

ну я не знаю за всё время обучения в универе много цифр было в очень редких предметах, которые были на первых курсах

Тю, ну а что такого? Все так делали. И миноры считали, тож на листочке

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

Самое смешнок. что получалось

у нас на алгебре препод любил руками показывать множества

два пасса - у нас кольцо

еще два - вот и поле

/me получал непрофильное образование и кучу разных математик не изучал :(

не философ случайно?

/me зато умеет эпитаксиально наращивать на кремний проводники и полевые транзисторы фотолитографией легировать...

Конструктор-технолог микроэлектронной аппаратуры

в домашних условиях?)

а у микроэлектроников что ли нет математик?

Есть, но в основном линейка

и буль

Буль, это уже к схемотехникам

Наше дело - аналог

а точняк

ERROR: S client not available

Ну основы то схемотехники у нас были, конечно

Но и повыбирать рабочие точки у транзисторных каскадов приходилось :)

у меня схемотехника странно шла вот логические элементы - вот транзистор - а вот процессор 8086

я ее невзлюбил потому

"Дана подложка из кремния, завтра принесите операционник с описанием всего техпроцесса", такое

Для тех, что булеву логику любит и хочет понять в цифровую схемотехнику, есть отличный курс "NAND2Tetris" - написание тетриса на самописном высокоуровневом макроассемблере/псевдо-Си для самописного же ассемблера для самодельного же процессора на самодельной же логике (из элементарных NAND) в доме, который построил Джек :)

а потом уезжают в Интел и миникс в процессоры встраивают

Неплохой вариант!

миникс не в процессоре, а в чипсете, но кому до этого есть дело?

в процессоре

и это важно

15 КОД!!

Intel ME это огромная дыра, которая позволяет удаленно (и локально) управлять пекарней

на уровне -3 кольца

кольцо -3, а сжимается самое первое

кольцо -3, а сжимается самое первое

Вот этот господин неплох

у меня вообще 3 класса церковно-приходской. И ничего, даже я могу на хаскеле писать. язык для идиотов же.

хорошо тебе

а на JS небось не можешь?

но ведь для таких уже изобрели пюрскрипт

у меня вообще 3 класса церковно-приходской. И ничего, даже я могу на хаскеле писать. язык для идиотов же.

Ну да. Что там такого сложного-то? Обычное лямбда-исчисление

обычный теоркат и монадные эндофункторы

у меня вообще 3 класса церковно-приходской. И ничего, даже я могу на хаскеле писать. язык для идиотов же.

Я помню как @qnikst во время первой нашей встречи начал хвастаться, что он вообще php-шник, который случайно освоил Хаскель.

purescript-haskell-postgresql, популярный стек

обычный теоркат и монадные эндофункторы

Теоркат -- это уже, чтобы обосновать связь с внешним миром

а на JS небось не можешь?

Я не могу

purescript-haskell-postgresql, популярный стек

Purescript вроде малость ограничен по сравнению с Haskell

В чём-то ограничен, в чем-то - наоборот

товарищи, а с persistent можно как-то имена столбцов при select * достать?

Народ, а как между собой соотносятся Conduits, machines и Pipes?

machines медленные, для кондуитов больше всего либ