Blitzar：旨在加速SQL操作的零知识证明，提供了CPU和GPU上的加速密码学零知识证明算法的C++库，支持多标量乘法、广义Pedersen承诺和多指数运算等密码学原语，能在单个GPU上以极快的速度运行Proof of SQL，同时提供了CPU支持，用于测试。
Hi Echo：网易有道新推的一款主打虚拟人的口语练习App，搭载子曰教育大模型，其设计理念体现了大模型个性化服务的精髓：用户可以根据自己的口语水平和学习阶段，选择不同难度的练习，确保了各种水平的学习者都能得到适合的训练。

Hi Echo在内容层面也很出色，语料库非常丰富，使得与AI的对话几乎没有话题限制，相较于传统真人外教大幅拓宽了知识面。雅思考试已经和Hi Echo达成官方合作，也是对这款虚拟人AI产品能力的认可，标志着语言学习进入了一个新时代。

Hi Echo不仅仅是一款口语练习工具，更是对个性化学习的创新和探索，代表了AI在语言教育领域的前沿进展。

Hi Echo连续包月68元/月，年度会员698元/年，连续包年498元/年。这意味着，用户只需要一节外教课的费用，就可以利用Hi Echo练习一整年英语口语。
Hi Echo 全球首个虚拟人口语私教.webm
25.2 MB
关于学习数据科学的新版路线图，包括深入学习Python编程语言，统计学，数据库，机器学习，深度学习，自然语言处理以及MLOPS(机器学习运维)，提供了广泛的学习资源和实际项目实践，是学习数据科学的理想指南。

Perfect Roadmap To Learn Data Science In 2024 | #数据科学 #路线图
数据科学 路线图
南京大学编译原理课程课件 | github | 教学视频
Zen 是一款适用于 Windows、macOS 和 Linux 的开源系统级广告拦截器和隐私保护程序。

它的工作原理是设置一个代理，拦截来自所有应用程序的 HTTP 请求，并阻止那些投放广告、跟踪监控你的行为、恶意软件和其他不需要的内容的脚本。

通过在系统级别运行，Zen 可以防御浏览器扩展无法防御的威胁，例如嵌入桌面应用程序和操作系统组件中的跟踪器。Zen 附带了许多预装的过滤器，而且还允许你轻松添加主机文件和 EasyList 样式的过滤器，让你能够根据特定需求定制保护。
阿里巴巴最近在 Hugging Face 平台上推出了一个可提供超高质量的内容替换体验的新工具。

ReplaceAnything | #工具
工具
介绍了一些音频等工具的使用 | blog
Kimi Chat：国内 Moonshot AI 团队出品的类 Perplexity 产品。支持在回答问题之前，先从搜索引擎爬取最新资讯，整合后再给出更精准有效的回答，很大程度解决了大模型推理的幻觉问题。

支持用户在单次 Chat 中上传 50 个小于 100Mb 的文件，而且没有设置文件储存量的上限，目前免费。

Kimi Chat 最突出的亮点在于长文本处理，它支持在单轮对话中塞入 20w 字，这种长度的上下文，扔给 GPT-4 和 Claude 会直接报错。；有用户还做了一个“大海捞针”实验，从结果来看，在长文本对话中，Kimi Chat 对失忆问题的优化明显强于 GPT-4 和 Claude，这个价值还是蛮大的。

在之前体验的各类 AI 产品中，对 PDF 的输入总是有着各种限制，例如页数不能超过 50 页，或者文件大小不能超过 50Mb，稍长一点的论文就没法利用 AI 进行 summarize 了，还得靠自己硬着头皮从长篇论文中找答案；Kimi Chat 解决了这个问题，它的单文件上限是 100Mb，甚至支持一次性扔 50 个文件进行对话，归纳出来的结果也十分精准，这对有大量数据处理诉求的用户来说算是个福音。

Kimi Chat 还提供了一个微信小程序，这也是为啥高频使用它的原因，入口做的够通用；它支持将聊天文件导入到 Chat 中进行归纳总结，还是非常方便的。你也可以使用它提供的 API 将它的长文总结能力接入到自己的产品中，它提供了文件上传 API 和 Chat API，支持 10Gb 免费空间进行文件管理，还是很大方的。| 作者原帖
Netflix版《三体》剧集正式预告
中国的文学流派，历史起源、代表人物、代表作品
Before
After
Back to Top