俄罗斯数学家尤里·马宁的著作《数学家的数学逻辑课程》英文版第二版现在面向公众免费开放了 | #电子书

本书是为数学家提供的一本高级的数学逻辑教科书，涵盖了数学逻辑的重要发现，如连续统假设的独立性、可数集的丢番图性质以及一些古老问题的算法不可解性。

图解计算机网络、操作系统、计算机组成、数据库 | github | 在线阅读

共 1000 张图 + 50 万字

斯坦福新开设的一门教你如何利用LLM提高开发者的生产力的课程：现代软件开发者

课程还在更新中，会逐步放出PPT等资料。
在过去的几年里，大型语言模型引入了一个在软件开发中具有革命性的新范式。传统的软件开发生命周期正被人工智能自动化在每个阶段所改变，这引发了一个问题：下一代软件工程师应该如何利用这些进展，提升十倍生产力并为他们的职业生涯做好准备？

本课程展示了现代人工智能工具不仅能提高开发者的生产力，还能使软件工程更加普及，惠及更广泛的受众。我们将展示，软件开发已从零到一的代码创建，发展为一个迭代工作流程，包括计划、与人工智能协作生成、修改和重复。学生将掌握传统软件工程挑战背后的理论，以及当前通过前沿的人工智能工具解决这些问题的实践。

通过实际的工程任务和行业先锋的讲座，学生将获得使用人工智能辅助开发、自动化测试、智能文档编写和安全漏洞检测的实践经验。在课程结束时，你将清晰理解如何将先进的语言模型集成到复杂的开发工作流程中，并避免常见的陷阱。

构建一个真正有效的简单搜索引擎 | blog | #教程 #搜索引擎

“我知道你在想什么。“为什么不直接使用Elasticsearch？”或者“那Algolia怎么样？”这些都是有效的选择，但它们也带来了复杂性。你需要学习它们的API，管理它们的基础设施，并处理它们的各种怪癖。
有时候，你只想要一个：
※与现有数据库兼容的
※不需要外部服务的
※易于理解和调试的
※能够真正找到相关结果的

这就是我所构建的。一个使用你现有数据库的搜索引擎，尊重你当前的架构，并且让你完全掌控它的工作方式。

核心理念
这个概念很简单：将一切进行标记化（tokenize），存储起来，然后在搜索时匹配标记。

它的工作原理如下：
※索引：当你添加或更新内容时，我们将其分解为标记（单词、前缀、n-grams），并带有权重地存储它们
※搜索：当有人进行搜索时，我们以相同的方式对他们的查询进行标记，找到匹配的标记，并对结果进行评分
※评分：我们使用存储的权重来计算相关性分数

其中的关键在于标记化和加权。让我给你演示一下我的意思。”