wieiner_ - Москвин, хаскель, λ-исчисление, язык комбинаторов [игры]
June 7th, 2025
10:47 am

[Link]

Previous Entry Add to Memories Tell A Friend Next Entry
Москвин, хаскель, λ-исчисление, язык комбинаторов
давно хотел, много раз начинал и бросал, но наконц добрался

до лекций Москвина про Хаскель и λ-исчисление

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


также я скачал книгу, упоминаемого в лекциях, Барендрегта с его доказательствами теоремы
о неподвижной точке и теоремы Черча-Россера (diamond property thrm) и вообще Барендрегт, там самый барин,
из тех кто приезжает и рассуждает. вобщем Барендрегт:



всего исписал законспектировал пока 37 страниц тетрадки, в основном слайды и комментарии.
Что-то я уже знал, когда раньше брался за матлогику, "за Барендрегта", но все равно много новой терминологии приходится запоминать. аппликативная и нормальная стратегии. нормальная форма -- это я уже слышал. слабая головная нормальная форма. я помню читал еще Книгу красного дракона и по теории компиляции, но это было давно знания надо обновить, поскольку это мое все. вот нашел себя в этом всем, просто. Прожект компилятора для L4 (для логики 4-ех состояний) у меня есть, надо чтобы все было правильно по λ-науке,
хочу еще посотрудничать
с [info]ketmar уважаемым, поскольку он накопил большую экспертизу и в том числе в кодогенерации под разные платформы, там COFF-формат , всякий и такое еще у линукса свой есть.


оно же в википедии


итак, у меня два таких ответвления : четверологическое ИИ-компиляторостроение и геймдев, прекраснейший (это на Шройбере)


______________________
additional track to current music
https://www.youtube.com/watch?v=-_4WQB5O9kM

Current Mood: amused
Current Music: https://www.youtube.com/watch?v=5XWV_IZ1FzU

(15 комментариев | сказать)

Comments
 
From:(Anonymous)
Date:June 7th, 2025 - 09:43 am
(Link)
Свинер, не еби мозги, у тебя все равно ничего не получится.
From:(Anonymous)
Date:June 7th, 2025 - 09:50 am
(Link)
свинер здесь тьі, мразота гебешная , чорта брат и люцифера секретарь.
куда вы, свиньи, Антона дели? не сожрали же его.
From:(Anonymous)
Date:June 7th, 2025 - 10:08 am
(Link)
Какого Антона, свинер?
Могу тебе своего антона положить тебе на нос.
[User Picture]
From:[info]wieiner_
Date:June 7th, 2025 - 10:15 am
(Link)
я не свинер не путай себя со мной,
потому что я не такой как ты дебич,
а Антона ты должен был бы знать, неуч ты и говно зеленое,
бесперспективное. Иди Тома Хаоса читай, Люцифера секретар

получится у меня компилятор ИИ написать, потому что я его вдеталях разработал. а абстрактное дерево трансляции и кодогенерацию знаю откуда взять.
да в той же джаве (в ацком джевиле) полно библиотек AST, но я хочу на С++,
христаинском язьіке
From:(Anonymous)
Date:June 7th, 2025 - 10:53 am
(Link)
Ты - глупый свинер, поэтому компилятор ИИ у тебя будет глупый и свинячный.
[User Picture]
From:[info]wieiner_
Date:June 7th, 2025 - 11:33 am
(Link)
нет ви только посмотрите, какая у нас глюкозка тут,а ?
https://www.youtube.com/watch?v=Ev3WCu0swHo

твой комплилятор, да? свинский анон, абсолютно свинячий, ха-ха.

альhгебра еще скажи тебе!
From:(Anonymous)
Date:June 7th, 2025 - 12:13 pm
(Link)
Альбемута, свинер, Альбемута.
[User Picture]
From:[info]wieiner_
Date:June 7th, 2025 - 12:40 pm
(Link)
о, будет что хоть посмотреть вечером, фильмец зв Свободу радио Альбемута.
эхты поросенок. копытца совсем поди стер каменты свои тут питчить. Ну да ладно, это лирика.

у меня был-есть нереализованый проект Альбатроникс на Си-шарпе.
но он морально устарел не успев выйти, поэтому ситуация такова, что теории мои развиваются быстрее чем кодобаза . последняя итерация w0rn compiler и проект StellarLucrum еще актуальны, но опять же, их надо адаптировать к моим продвигам в компании (до Lesta games), где я создал поистине свою "операционную систему" на хендлерах, управляемых сообщениями.

тоесть теперь у меня есть хорошая годная глобальная инфраструктура, на которой я могу написать большую годную систему с IDE и нейрорантаймом.

но для этого нужно перетащить в нее всю кодобазу. но и это еще не все.
L4 -- теоретические исследования достаточно бурно движутся и сейчас получилась ситуация, когда теория и записи-мемуары не успев выйти
в печать -- обветшали и требуется еще более новая структура вместо прежней,
годной добротной , но уже устаревшей за последние лет 5 -7. что в этой связи делать я не знаю. какое-то болото. еще и сожгли все материалы три года назад плюс переезды. мне нужен год где-то чтобы переработать всю теорию, при этом нужно фигачить соединение кодобаз "хендлерной ос" и проектов по L4. ко всему к єтому нужно поддерживать уровень по компьютерсайенсу (стандартьі С++) и в математике хотябы. Потом продолжать вести какую-то минимальную исследовательскую работу
(там хорошо идет), чтобы не остановилос, не забылось, чтобы не остаться за бортом своих же наработок. нужна своя лаборатория и аспиранты, чтобы они тоже были носителями этих знаний. бля, как оно все трудное какое. Еще надо где-то работать. Дворником или мясником лучше -- там еда. мясо. Свиньи. Бекон
From:(Anonymous)
Date:June 7th, 2025 - 02:08 pm
(Link)
Кто о чем, а свинер о жрате. В РиЖ за РиЖ!
[User Picture]
From:[info]wieiner_
Date:June 7th, 2025 - 04:07 pm
(Link)
конечно же, основные, я бы даже сказал, краеугольные аксиомы и теорема логики четырех состояний незыблема и неизменна. также я не добавил пожалуй ничего нового за прошествие последних 20 лет в аксиоматику, не раздувая ее.

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

сейчас я говорю уже о гиперболизации L4. фактически изгибая и спекулятивно сегментируя логику L4, подобно лучам, проходящим через линзу. но и эта парадигма, безусловно математически мощная не предел. логику можно свести также к поворотам одной специально определенной сборки относительно другой.
фактически вся логика -- это безумный танец ансамбля взаимных проекций и отражений. а работу нейросети , как и трансляцию компилятора можно свести к алгоритмам поворотов бесконечнго вложенных друг в друга Кубов Рубика -- есть прямое соответствие между ассемблером новой логики L4 , преобразованием и трансляцией его кодов , их переносами и свертками и алгоритмами сборки Кубов Рубика.
на самом деле то.
єто еще более новая и абсолютно безумная Мысль постепенно захватывает свои обширные территории єтого ногвого Континента Знаний об L4.

Сейчас фактически передо мной стоит задача описать єто уже в терминах кубистов Рубика. Прямой переход и connection между
топологическим компилятором L4 и алгоритмами сборки Рубика. Именно поэтому я так увлекся сборкой кубиков разной разрядности.
(самый большой собрал 9х9. 11х11 пока не получается не хватает формул в свободных интернет-источниках. как его собирать,
но и 9х9 уже не хватало знаний но удалось собрать по формулам для меньшей разрядности).
From:(Anonymous)
Date:June 7th, 2025 - 07:49 pm
(Link)
Свинер, ты там не сдох еще?
Запомни, свинер, хороший математик должен быть конституционально тщедушным, то есть доходягой. Только в этом случае все питательные вещества доходят до мозга.
А если ты жирный свинер жиртрест, то какая тебе математика?! Прекрати себя обманывать! Ты не математик, а жирный свинер. То есть элементарное кю!
[User Picture]
From:[info]wieiner_
Date:June 7th, 2025 - 08:51 pm
(Link)
вот ты все не угомонишься, потому что не понимаешь, что у доходяг кишка тонка на пробивные вещи. нужен бульдозер понимаешь, чтобы пробить барьеры бесмыссленности и бюрократии. я вообше думал над этим и пришел к выводу, что субстрат на котором вырастает древо математической культуры неважен.
разные люди разной генетики, расы и надеюсь планет могут разделять общие Ценности Математической Культуры, если в них заронена искра божественного света. это все в наших глазах и пульсации вен. так сказать серебряное яйцо Альбемута, или как его.
From:(Anonymous)
Date:June 7th, 2025 - 10:51 am
(Link)
"уважаемым"?
ну ты и ублюдок
From:[info]phantom
Date:June 7th, 2025 - 11:07 am
(Link)
Это хорошо, да.
[User Picture]
From:[info]wieiner_
Date:June 7th, 2025 - 11:35 am
(Link)
немного примитивно для уровня лжр , но надо же привести свое кастомное handmade исчисление к стандартам Хаскеля Карри и Алонзо Черча и иже с ними.
Powered by LJ.Rossia.org