Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

Prot Asks: Julien about Emacs, functional package managers, Nix, Guix, and reproducibility

Автор: Protesilaos Stavrou

Загружено: 2025-09-17

Просмотров: 1421

Описание:

In this video I talk with Julien Malka who is a PhD student on supply chain security. I have known Julien through Emacs, so we start our discussion with some comments on how Julien uses Emacs for note-taking and as a general purpose computing environment. We then shift our attention to the research area of Julien which involves, among others, functional package managers and reproducibility at-large. In this light, we cover Nix at length while commenting on its GNU counterpart, Guix. Nix is a functional package manager, a programming language, and can also be deployed as a fully fledged operating system. I learn from Julien about the different kinds of reproducibility and gain a better understanding of what kind of advantages we get by using a functional package manager for our system. The "recipes" that derive software packages in this world are written in a pure functional programming language and Julien explains what kind of advantages this design has. Julien explains that NixOS is quite different from other Linux distributions, in terms of how it does certain things. As such, those who want to use it should know what they are working towards and have the right expectations. Towards the end of our talk, I also ask Julien about academic life in France with regard to digital sovereignty and the kind of incentives researchers have for contributing to free and open source software.

Links from Julien Malka

my personal website: https://luj.fr
NixOS home page: https://nixos.org
Guix home page: https://guix.gnu.org/
reproducible-builds: https://reproducible-builds.org
bootstrapable-builds: https://www.bootstrappable.org
Eelco Dolstra PhD thesis: https://edolstra.github.io/pubs/phd-t...

About "Prot Asks"

In this new video series, I talk to anybody who is interested to have a video call with me (so do contact me if you want!). The topics cover anything related to Emacs, technology, and life in general. More here: https://protesilaos.com/prot-asks/.

Prot Asks: Julien about Emacs, functional package managers, Nix, Guix, and reproducibility

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

Prot Asks: Ekaitz about Guix, bootstrapability, FOSS advocacy, and the Basque country

Prot Asks: Ekaitz about Guix, bootstrapability, FOSS advocacy, and the Basque country

Прот спрашивает: Карлос об Emacs для инженеров, свободном программном обеспечении и Испании

Прот спрашивает: Карлос об Emacs для инженеров, свободном программном обеспечении и Испании

FUTURE PROOF Your Data Career with this Claude Code Deep Dive

FUTURE PROOF Your Data Career with this Claude Code Deep Dive

Prot Asks: Ovi about Clojure development and business, Emacs, and AI

Prot Asks: Ovi about Clojure development and business, Emacs, and AI

Prot Asks: Alex about LSP, Elisp programming, Guix, cycling, Go game, philosophy, and SwayWM

Prot Asks: Alex about LSP, Elisp programming, Guix, cycling, Go game, philosophy, and SwayWM

Learning About Swift Concurrency Global Actor Changes with a Zettelkasten

Learning About Swift Concurrency Global Actor Changes with a Zettelkasten

Emacs: современные пакеты минибуферов (Vertico, Consult и т. д.)

Emacs: современные пакеты минибуферов (Vertico, Consult и т. д.)

🤷 AI обучен на говнокоде! Разработчиков компиляторов, протоколов и СУБД не хватает, а LLM не может

🤷 AI обучен на говнокоде! Разработчиков компиляторов, протоколов и СУБД не хватает, а LLM не может

Илья Суцкевер: Мы переходим от эпохи масштабирования к эпохе исследований

Илья Суцкевер: Мы переходим от эпохи масштабирования к эпохе исследований

Prot Asks: Ag about Emacs, Lisps, LLMs, and story-telling

Prot Asks: Ag about Emacs, Lisps, LLMs, and story-telling

Во всем виноват любимый Зеленского?

Во всем виноват любимый Зеленского?

Принц Персии: разбираем код гениальной игры, вытирая слезы счастья

Принц Персии: разбираем код гениальной игры, вытирая слезы счастья

Prot Asks: Dimos about Emacs interconnectedness, collective work, and The Conspiracy Club

Prot Asks: Dimos about Emacs interconnectedness, collective work, and The Conspiracy Club

Почему я выбираю Guix, а не NixOS

Почему я выбираю Guix, а не NixOS

ВЕНЕДИКТОВ: Путин стал меньше пить. «Эхо Москвы», Абрамович, война с ФБК / МОЖЕМ ОБЪЯСНИТЬ

ВЕНЕДИКТОВ: Путин стал меньше пить. «Эхо Москвы», Абрамович, война с ФБК / МОЖЕМ ОБЪЯСНИТЬ

Canonical — враг или спаситель Ubuntu? | Спорные решения и заброшенные проекты

Canonical — враг или спаситель Ubuntu? | Спорные решения и заброшенные проекты

Мультиплатформа ВСЁ! ИИ победил?

Мультиплатформа ВСЁ! ИИ победил?

Что ЭТО было ? Размышлизм от 3.12.2025

Что ЭТО было ? Размышлизм от 3.12.2025

Котрикадзе - провал переговоров Уиткоффа и Путина, чего хочет Кремль, бессилие Европы

Котрикадзе - провал переговоров Уиткоффа и Путина, чего хочет Кремль, бессилие Европы

Россияне готовятся к шоку и уходят в кэш.. ЦБ запустил печатный станок || Дмитрий Потапенко*

Россияне готовятся к шоку и уходят в кэш.. ЦБ запустил печатный станок || Дмитрий Потапенко*

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: [email protected]