技术,生活,随看 \随转
一个在线知识库 WaytoAGI.com

搜刮了网络上大量的一手信息源,包括书籍、名词解释、深度好文、入门指南、最新动态等等,基本上长期保持活跃更新。
这是一门关于操作系统设计的在线课程,课程包含了文档、幻灯片和视频等内容,是计算机科学与工程基础的重要课程之一。

这门课程一共30集,44讲。关注操作系统的基础知识,包括操作系统结构、进程和线程、CPU调度、进程同步、内存管理、文件系统、I/O系统和安全性。

它有一个相当大的实验部分,涉及到一个名为BLITZ的玩具操作系统的简化组件。这门课程的实验作业假设你已经具备基本的编程语言(如C)的工作知识,一些基本的调试技能,以及在Linux操作系统(一个UNIX变体)中使用命令行工具的能力。

传送门 | 课程纲要
一个AI语音生成平台,可提供高质量的AI语音合成服务。

具有自然、专业的声音,支持100种语言。用户可以在创作中使用不同风格的声音,包括具有25+种情感表达的声音,还可以使用AI艺术生成器和AI写作功能。

LOVO已经获得50万+专业人士的支持,并拥有全球最大的声音库

AI Voice Generator: Best Text to Speech | LOVO AI
Media is too big
VIEW IN TELEGRAM
Plane 是一个简单的、可扩展的、开源的项目和产品管理工具。它允许用户从一个基本的任务跟踪工具开始,逐步采用各种项目管理框架,如 Agile、Waterfall 等。

该产品还集成了 GPT,让你更快的处理各种项目文档问题、迭代周期、模块细节等。 ​​​

Plane | #工具
#课程
继续我的类型系统(当前在阅读TAPL)自学之旅,找到几个以这本书为主要教材的课程及视频:

* 北大《编程语言的设计原理》:基本按照TAPL书上的内容来讲解的,可以认为划出了每章的重点。
* cornellCS4110Programming Languages and Logics:有很多TAPL以外的内容,还讲了类型系统这部分内容的数理逻辑基础。
* cornellCS6110Advanced Programming Languages:还没仔细看,不知道和CS4110有什么区别。
* 油管上的一个视频课程:内容挺好的,但是貌似没有继续更新了。

除此以外,暂时这类课程好像找不到其他视频类的教程了。
Back to Top