https://www.opennet.ru/opennews/art.shtml?num=54242 (thx2Vasiliy)
www.opennet.ru
Google представил рейтинг критически важных открытых проектов
Компания Google предложила систему для ранжирования открытых проектов по степени их важности для отрасли. Рейтинг поможет выделить критические важные проекты от которых многое зависит, и которым в первую очередь необходимо предоставить ресурсы на сопровождение…
https://nn-512.com is a compiler that generates C99 code for neural net inference
Forwarded from Anton Trunov
Трехдневный онлайн-семинар "Formal Methods for the Informal Engineer” (3-5 февраля 2021), требуется заполнить онлайн-форму для регистрации.
https://fmie2021.github.io/agenda.html
https://fmie2021.github.io/agenda.html
Forwarded from dd if=/dev/stuff of=/dev/tg
На канале HoTT-Lectures абсолютно внезапно через 5 лет после последнего ролика появилась серия лекций по HoTT. Начало здесь.
YouTube
Семинар по HoTT. Введение
Семинар по гомотопической теории типов. Вводная лекция.
Forwarded from TechFeed
50 shades of technical debt
Vladimir Pavkin goes into details on how to deal with tech debt
https://pavkin.ru/50-shades-of-technical-debt/
Vladimir Pavkin goes into details on how to deal with tech debt
https://pavkin.ru/50-shades-of-technical-debt/
Forwarded from Anton Trunov
“Волшебные сказки программистов мира”:
- Иван-Царевич и Языки-на-которых-нельзя-писать-плохо
- Красивый код и Чудовищный
- Синяя АйтиБорода
- Всё, что остается от вашего стартапа (Золушка)
- Код в сапогах
- Whitespace и Семь Языков (за Семь Недель)
- Красная Шапочка Enterprise Linux
- Гадкая Утиная Типизация
- Джек и Стебель Дяди Боба
- Чип Полины (Эльбрус-2020)
- Сестрица Алёна-С++ и Рыжий Иванушка
- Принцесса на Горутинах
- Волк и семь БД за семь недель
- Категорошек и попытки писать без него на ФП языках
- Ко-лобок
- Coq — Золотой гребешок
- Курочка Agda
- Гит-репка
- Жил-был PS5
- Иван-Царевич и Языки-на-которых-нельзя-писать-плохо
- Красивый код и Чудовищный
- Синяя АйтиБорода
- Всё, что остается от вашего стартапа (Золушка)
- Код в сапогах
- Whitespace и Семь Языков (за Семь Недель)
- Красная Шапочка Enterprise Linux
- Гадкая Утиная Типизация
- Джек и Стебель Дяди Боба
- Чип Полины (Эльбрус-2020)
- Сестрица Алёна-С++ и Рыжий Иванушка
- Принцесса на Горутинах
- Волк и семь БД за семь недель
- Категорошек и попытки писать без него на ФП языках
- Ко-лобок
- Coq — Золотой гребешок
- Курочка Agda
- Гит-репка
- Жил-был PS5
Олег Киселёв рассказывает про прошедший семинар, посвященный "Programming and Reasoning with Algebraic Effects and Effect Handlers"
http://okmij.org/ftp/Computation/index.html#Shonan-handlers
Здесь можно посмотреть слайды докладов: https://effect-handlers.org/events/shonan146.html
http://okmij.org/ftp/Computation/index.html#Shonan-handlers
Здесь можно посмотреть слайды докладов: https://effect-handlers.org/events/shonan146.html
Forwarded from Alex Gryzlov
а вот кстати полный плейлист с Lean Together: https://www.youtube.com/playlist?list=PLlF-CfQhukNnO8z3TcFcoKozif9gbl7Yt
YouTube
Lean Together 2021 - YouTube
https://www.pls-lab.org — вики теории языков программирования, отчасти похожая по стилю на nLab
#scala #tf
Опубликовали лекцию с рассказом и кодом о тэглесс файнал. Она адресована прежде всего тем кто не знает, что это такое, или изучавшим по твиттам Де Гуза, Трампа и роскомнадзора. Но полезна может быть всем.
Если вам интересна эта тема, хотите видеть продолжения, готовы поддержать лектора и его команду:
* Подписывайтесь на ютуп канал.
* Ставьте колокольчик.
* Задавайте вопросы в комментариях ютупа, в этом чате, в тофу чате.
* Пишите код на работе и в личных проектах, помогайте кодом и документацией чужим опен сорсам.
https://www.youtube.com/watch?v=ZNK57IXgr3M
Опубликовали лекцию с рассказом и кодом о тэглесс файнал. Она адресована прежде всего тем кто не знает, что это такое, или изучавшим по твиттам Де Гуза, Трампа и роскомнадзора. Но полезна может быть всем.
Если вам интересна эта тема, хотите видеть продолжения, готовы поддержать лектора и его команду:
* Подписывайтесь на ютуп канал.
* Ставьте колокольчик.
* Задавайте вопросы в комментариях ютупа, в этом чате, в тофу чате.
* Пишите код на работе и в личных проектах, помогайте кодом и документацией чужим опен сорсам.
https://www.youtube.com/watch?v=ZNK57IXgr3M
YouTube
Tofu club. Что такое tagless final?
Что такое TF на самом деле? Когда он нужен, а когда нет?
Документальный полнометражный фильм, который раскрывает тайну Олега Киселева и по пути проверяет готовность Dotty (Scala 3).
В главных ролях Олег Нижников и VS Code. Репозиторий с кодом https://…
Документальный полнометражный фильм, который раскрывает тайну Олега Киселева и по пути проверяет готовность Dotty (Scala 3).
В главных ролях Олег Нижников и VS Code. Репозиторий с кодом https://…