V
主页
善事利器:Nix与NixOS - “编程未来:函数式编程深度探索”系列讲座第一讲
发布人
2024年4月7日下午,人民大学计算机协会成功举办了“编程未来:函数式编程深度探索”系列讲座的首场——《善事利器:Nix与NixOS》。此次活动在立德楼502拉开帷幕,不仅吸引了众多热情的学生,更有来自北京国际数学研究中心的访问学者、EMQ前研发工程师董安杰老师担任主讲嘉宾,带领我们深入探索了函数式编程的奥秘。
打开封面
下载高清视频
观看高清视频
视频下载器
完整的 NixOS 指南:一个视频全搞定!!
NixOS简介 - 安装以及基本用法
函数式编程:理论、生态与实战 | “编程未来:函数式编程深度探索”系列讲座 第二讲
【中英字幕】CMU 15-150 函数式编程 Summer 2023 (附带资料) (Principles of Functional Programming)
[中文字幕]完整 Rust 编程课程
金枪鱼之夜:Nix - 从构建系统到配置管理
使用NixOS和NixVim两个月后的精神状态
从零开始的 Web 世界 | RUC 计算机协会课堂之外系列讲座 第4讲
NixOS简介 - Nix Flakes的用法
NixOS Setup Guide - Configuration / Home-Manager / Flakes
基于nix打造可重现环境,现代化打包与分发的最佳实践
【C++20】从0开始自制协程库,有手就行(上)
NixOS?这是什么?好用吗?对于它的一些小讨论,顺便聊聊其他发行版
[中文字幕]Rust 编程课程: 从初学者到专家
如何在Ubuntu或者在非NixOS上使用Nix
【Linux】一个在使用图形化安装器安装NixOS时使用国内服务器的办法
虎码·最好用的形码输入法
并不复杂的Typst讲座 [ITalk技术沙龙]
20231014 可逆计算原理与Nop平台实现介绍
NixOS & Plasma 配置摘注
NixOS使用漫谈
函数式编程(1)函数式入门
【PKU & THU Linux】发行版沙龙(一)肥猫:Arch Linux Ports
手机刷入NixOs,纵享丝滑
【第2期】零拷贝(Zero Copy)
黑客的专用Linux,发行版的尽头是NixOS,工作的尽头是.....
NixVim Dev IRL Be Like
编程的所有结局
零基础SICP-第7课-用高阶函数做抽象-lambda,let(计算机程序构造与解释)
【凛白】独立发行版NixOS简单体验
CatOS:更适合中国宝宝体质的Arch系发行版
完整的 NixOS 指南:您需要了解的一切都集中在一个地方!
诺丁汉大学 —— 函数式编程 Functional Programming
你真的了解回调函数(Callback)吗?
第1章: 我们在做什么? | 函数式编程指南 Mostly Adequate Guide to Functional Programming
【CMake第一讲】:编写CMake的最底层逻辑
当我在 nixos 上使用 KDE 并且应用了 macOS 主题再切换回 gnome 之后
4. 用“λ演算法”去理解,为什么函数式编程会有更少的bug
NixOS+Hyprland
我用WezTerm替代了kitty