技术,生活,随看 \随转
【新产品介绍】OpenObserve 是 Rust 开发的一站式 Logs, Metrics, Traces 可观测产品,去年该团队开发了 ElasticSearch 轻量级替代品 zincsearch 迅速获得 15000+ star,并获得 460 万美金种子轮融资,后来转型专注于新的可观测产品 ZincObserve,最近改名为 OpenObserve。
https://openobserve.ai/
https://openobserve.ai/
一个AI语音生成平台,可提供高质量的AI语音合成服务。
具有自然、专业的声音,支持100种语言。用户可以在创作中使用不同风格的声音,包括具有25+种情感表达的声音,还可以使用AI艺术生成器和AI写作功能。
LOVO已经获得50万+专业人士的支持,并拥有全球最大的声音库
AI Voice Generator: Best Text to Speech | LOVO AI
具有自然、专业的声音,支持100种语言。用户可以在创作中使用不同风格的声音,包括具有25+种情感表达的声音,还可以使用AI艺术生成器和AI写作功能。
LOVO已经获得50万+专业人士的支持,并拥有全球最大的声音库
AI Voice Generator: Best Text to Speech | LOVO AI
Google Play 游戏PC版, 在 PC 端也能畅玩手游~
下载地址: https://play.google.com/googleplaygames
加速器下载地址: https://www.ourplay.net/download/
—
Youtube: https://youtu.be/rcbVNfkLnug
哔哩哔哩: https://www.bilibili.com/video/BV1L8411f7Wc/
下载地址: https://play.google.com/googleplaygames
加速器下载地址: https://www.ourplay.net/download/
—
Youtube: https://youtu.be/rcbVNfkLnug
哔哩哔哩: https://www.bilibili.com/video/BV1L8411f7Wc/
#课程
继续我的类型系统(当前在阅读TAPL)自学之旅,找到几个以这本书为主要教材的课程及视频:
* 北大《编程语言的设计原理》:基本按照TAPL书上的内容来讲解的,可以认为划出了每章的重点。
* cornell的CS4110《Programming Languages and Logics》:有很多TAPL以外的内容,还讲了类型系统这部分内容的数理逻辑基础。
* cornell的CS6110《Advanced Programming Languages》:还没仔细看,不知道和CS4110有什么区别。
* 油管上的一个视频课程:内容挺好的,但是貌似没有继续更新了。
除此以外,暂时这类课程好像找不到其他视频类的教程了。
继续我的类型系统(当前在阅读TAPL)自学之旅,找到几个以这本书为主要教材的课程及视频:
* 北大《编程语言的设计原理》:基本按照TAPL书上的内容来讲解的,可以认为划出了每章的重点。
* cornell的CS4110《Programming Languages and Logics》:有很多TAPL以外的内容,还讲了类型系统这部分内容的数理逻辑基础。
* cornell的CS6110《Advanced Programming Languages》:还没仔细看,不知道和CS4110有什么区别。
* 油管上的一个视频课程:内容挺好的,但是貌似没有继续更新了。
除此以外,暂时这类课程好像找不到其他视频类的教程了。