Alexander
Сейчас я изучаю, Agda.
а с лиспом дружишь?
Денис
Сейчас я изучаю, Agda.
Понятно ) Какая-то ультра-специфическая штука для избранных )
Andrii
а с лиспом дружишь?
Не, и желания пока не было
Andrii
Понятно ) Какая-то ультра-специфическая штука для избранных )
Ну... просто программисты на Haskell решили, что Haskell иногда недостаточно функционален, и написали Agda, которая транслируется в Haskell, то с зависимыми типами и теоремами (изоморфизм Карри-Говарда).
Andrii
эзотерикой пахнет
Ну.. сейчас немного развивается. И для такого языка действительно нужна математика
Andrii
Звучит как что-то для подготовленных программистов )
Разве только математически. Во всяком случае мне интересно, отвлекает от ширпотреба на работе :)
Денис
Разве только математически. Во всяком случае мне интересно, отвлекает от ширпотреба на работе :)
Ну да, это и подразумеваю ) У нас вон много кодеров без образования, и ещё больше просто не хотят получать высшее, но хотят 300кк/нсек )
Денис
У меня нет высшего образования, и тоже не откажусь :)
А математика сама в голове нарисовалась? )
Andrii
А математика сама в голове нарисовалась? )
Всё в книгах есть, а преподы сам её не знают. Был один, который все знания положил между серым веществом и лобной костью, из года в год читал одно и то же, одними словами, хоть конспекты сверяй. При этом понимания особо не было :) На да, это мне надо было в библиотеку ходить, книги были дефицитом. Помню в читальном зале переписал всего Клини в три тетрадки по 96 листов. А сейчас любая книжка находится в интернете. Просто райские условия.
Andrii
Единственное что мне тут знаком так это математические знаки для множеств)
Квантор всеобщности? Ну... в матане есть. Ну а так стрелочки они везде, знак эквивалентности тоже часто используется.
Фитнес-клуб
Ребят, подскажите пожалуйста, как выполнить функцию, чтобы она прошлась циклом по всем заданным классам, а не закончилась сразу после первого
Идущий к мечте
Ребят👉👈 Короче я всех друзей нахер послал и серьёзно сел решать Пока об каждый камень спотыкаюсь, например: почему в HTML нельзя вставлять ссылку на картинку в <img> с сайта любого? Как в примере: https://vk.com/feed?z=photo-88245281_459977429%2Fwall-88245281_7885992 не бачит просто
Идущий к мечте
Я вже гуглив, но должного ответа не нашел
Идущий к мечте
Только скачанные картинки работают
Miron😈
https://roadmap.sh/frontend
Вот если что для JS, может кому пригодится) https://miro.com/app/board/o9J_kxm_io0=/
Miron😈
Сам только начинаю грызть гранит, очень вкусно(нет)
Идущий к мечте
Вот код, не бачит картинку выводить
Miron😈
Miron😈
Понимаю
Danya
Вот код, не бачит картинку выводить
а че за ссылка такая интересная
Danya
открой картинку в новой вкладке и эту ссыль возьми
Владислав
Вот код, не бачит картинку выводить
картинку лучше с гугла возьми юрлкой
Идущий к мечте
а это с коммов в вк под записью
Vladimir
Дядь
Vladimir
Ты выводишь не картинку
Vladimir
https://sun4-16.userapi.com/impg/HKIQ6qxwxw4a4PGlcrIjWSRD8D8oUi5hd-C4_Q/triIN1V4hjY.jpg?size=1080x930&quality=96&sign=2fcbb89bfed4e047f48e7a074ffd94ce&type=album Вот у тебя адрес картинки
Идущий к мечте
Спасибо большое, больше чем мой мозг
Miron😈
Неа. Но могу попросить у товарища, если у него есть, скинет. Эту он мне скинул, сказал что ему в своё время очень помогло, сейчас зарабатывает 160 в месяц
Ruslan
😁😁😁
Ruslan
Я не тебе...это так совпало)
Ruslan
Вот исправил
Andrii
{ℓ} {A : Set ℓ} ---- я об этом)
Это как раз заморочки Agda, больше из теории типов. А Agda каждый тип это значение некоторого другого типа. Проблема в том, что если описать тип всех типов, который включает сам себя, то возникает парадокс Рассела. Ну или бреет ли брадобрей сам себя? Поэтому все обычные типы (буленовские, натуральные) это значения типа Set 0. Ну а дальше Set 0 это значение типа Set 1, это в свою очередь значение типа Set 2 и так до бесконечности. Ну а тут просто добавлено общности немного, для любого типа любого порядка, ℓ как раз порядок. Ну а Set это не математическое множество, а просто тип типов так назвали
Ruslan
Хотя лежит у меня учебник по дискретной математике вот думаю учебу закончу и возьмусь))
Ruslan
Единственное полезное что получил в универе так это логическая математика и только)
Andrii
А что такое «логическая математика»?
Ruslan
Ruslan
Учусь не на русском просто)
Максим
Хотя лежит у меня учебник по дискретной математике вот думаю учебу закончу и возьмусь))
Как говорится "закончу Х и возьмусь за У" => никогда не случится 😂
Ruslan
Как говорится "закончу Х и возьмусь за У" => никогда не случится 😂
Какую то часть то уже знаем более менее просто нужно бы углубиться)) В знакомые воды заходить проще)
Andrii
Булевую алгебру имел ввиду)
Если говорить точнее, то таблицы истинности высказываний :)
Beginner
Подскажите пж
Beginner
Как ubuntu для веба?
Beginner
Или особой разницы нет
Beginner
Между другими дистрибутивами linux
Hasski
https://dou.ua/forums/topic/34991/?from=tgj&utm_source=telegram&utm_medium=social
Michael
Ребят, помогите. Хочу в фронтэнд, знаю, что нужен js, html и тому подобное, что начать учить первым? Где можно брать тз для практики и наработки опыта?
giorgio
Ребят, помогите. Хочу в фронтэнд, знаю, что нужен js, html и тому подобное, что начать учить первым? Где можно брать тз для практики и наработки опыта?
тут постоянно кидают, но если хочешь ответ проще, то: html, css, js + framework можешь брать макеты для вёрстки в тг канале, который могу тебе скинуть в лс и делать пет-проекты, могу тоже скинуть в лс
Clinton
привет всем кто знает почему не установляет pyowm что за ошибка
Napulione
Napulione
ты пробовал делать то что тут написано?
Vlad
привет всем кто знает почему не установляет pyowm что за ошибка
pyown и зависимости уже установлены. Предложено обновить pip, но это не ошибка
Никита
Всем привет, ох где вы раньше все были!) за один день просмотра видео от Алексея узнал больше, чем на разных сайтах обучения, но все же есть вопрос, как вы для себя решили какой язык хотите учить?
Никита
Как канал называется ?
Ты имеешь ввиду ютуб канал где смотрел видео?
Никита
https://youtu.be/Z9FvlPpSS3U
Никита
Алексей Корепанов