Devyce 是一家专注于什么的公司，该公司正在 Y Combinator 的支持下招聘一名高级业务拓展经理。
阅读更多
这篇文章解释了什么是安全启动高级目标 (SBAT) 以及为什么最近它引起了广泛关注。SBAT 是一种安全机制，旨在通过要求引导链中的每个组件都声明一个安全生成号来解决安全启动中存在的漏洞。最近，微软推送了一个Windows更新，该更新阻止系统信任安全生成号低于特定级别的grub版本，这导致一些Linux发行版无法启动，因为它们的grub版本没有及时更新。这篇文章指出了微软和Linux发行版都存在问题，并对因此给用户带来的不便表示歉意。
阅读更多
AMD斥资6.65亿美元收购了芬兰人工智能初创公司Silo AI，以加强其人工智能领域的实力，试图与英伟达展开竞争。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25626332/GM___NACS_1.jpg)
通用汽车宣布更新了其电动汽车软件，允许车主使用特斯拉超级充电网络。车主需要通过品牌APP购买225美元的适配器才能立即使用。未来通用汽车将在车辆上直接安装特斯拉充电端口。此举将使通用汽车车主可以使用17800个特斯拉超级充电桩。此前，福特、Rivian等汽车制造商已宣布采用特斯拉充电标准。
阅读更多
Comic Mono是一种等宽字体，基于Shannon Miwa的Comic Shanns（版本1）进行修改。所有字形都已调整为具有完全相同的宽度，并调整了字形度量，使其与系统字体（如Cousine）一起显示效果更佳。该字体还提供了粗体版本，并以MIT许可证开源。
阅读更多
本文介绍了作者如何为个人RSS阅读器feedi添加Kindle集成功能。作者详细描述了使用Python从网站提取文章内容、将其打包成EPUB文件以及通过电子邮件发送到Kindle设备的过程，并分享了过程中遇到的挑战和解决方案。
阅读更多
高阶公司推出了一种名为Bend的并行编程语言，旨在简化多核CPU/GPU的并行编程。Bend语言基于HVM并行运行时，该运行时源于Yves Lafont在1997年提出的交互组合器并发计算模型。HVM编译器和评估器能够自动实现近乎理想的加速，最高可达1000多个线程。Bend语言使用户无需深入了解C/CUDA等底层技术，即可轻松编写并行代码，其体验类似于Python，并且能够自动处理并发编程中的复杂问题，例如锁、互斥体和原子操作等。
阅读更多
FutureRack 是一款家用服务器机架产品，旨在将数据中心的强大功能带入家庭环境。它提供了一种新的生活方式，可以管理家庭网络、存储数据、运行应用程序等，并可以通过不同的配置和设置进行个性化定制。
阅读更多
本文探讨并比较了 Rust 中几种进程间通信方法，包括管道、TCP、UDP 和共享内存，并通过“乒乓”测试评估其性能。结果表明，共享内存的速度最快，但实现复杂且存在安全风险；其他方法性能接近，但远低于共享内存。作者建议根据实际需求选择合适的通信方式，并提供了代码示例和测试结果分析。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25589997/STK207_STK085__PAVEL_DUROV_TELEGRAM_D.jpg)
Telegram首席执行官Pavel Durov在法国被捕后，宣布对应用程序进行一系列更改，包括禁用一些“过时”的功能，如内置博客文章和基于位置的“附近的人”功能。 Durov试图扭转Telegram作为犯罪活动的温床的声誉，该声誉是宽松的审核政策导致的结果。 他承认平台上的犯罪活动给Telegram带来了负面形象，并承诺将改进审核机制。
阅读更多
本文探讨了利用基因技术创造“超级婴儿”的可能性，分析了当前的技术瓶颈和未来方向。作者首先介绍了多基因评分在预测个体特征方面的应用，然后探讨了胚胎选择、迭代胚胎选择和体外诱导减数分裂等技术在筛选和创造具有特定基因特征胚胎方面的潜力。文章还讨论了体外配子发生、基因编辑、超级SOX因子以及表观遗传印记等技术挑战，强调了在伦理和安全性得到充分保障之前，这些技术不能用于创造“超级婴儿”。
阅读更多
乔姆斯基-许岑贝格尔枚举定理是诺姆·乔姆斯基和马塞尔-保罗·许岑贝格尔推导出的关于由明确的上下文无关文法生成的给定长度的单词数量的定理。该定理提供了形式语言理论和抽象代数之间的一个意想不到的联系。该定理指出，如果一种语言可由明确的上下文无关文法生成，那么描述该语言中具有给定长度的单词数量的生成函数是满足特定多项式方程的代数函数。
阅读更多
这是一款模拟经典 Windows 98 磁盘碎片整理工具的软件。它可以让你重温整理不同磁盘驱动器的怀旧体验，并提供可视化的碎片整理过程和进度显示。
阅读更多
这篇文章回顾了19世纪美国语法学家如何使用句子结构图来分析和理解英语语法。从James Brown的括号法到Frederick A. P. Barnard的象形符号，再到Stephen Watkins Clark的气球图和Alonzo Reed与Brainerd Kellog的线条图，这些先驱们试图将句子的内在逻辑和结构可视化。他们将语法视为一门可以教授和学习的科学，并相信通过分析句子的组成部分，学生可以更好地理解语言的运作方式。
阅读更多
Unify 平台允许用户与其聊天界面上的多个大型语言模型 (LLM) 聊天并直接比较它们。该平台提供实时性能基准测试、API 文档、有关 LLM 部署基础架构的博客、AI 新闻通讯、前沿 AI 研究论文解读以及有关 AI 领域的深度讨论。
阅读更多
NVIDIA发布了Nemotron-4 340B，这是一系列开源模型，开发者可以使用这些模型生成合成数据，用于训练针对医疗保健、金融、制造、零售等各个行业的商业应用的大型语言模型（LLM）。Nemotron-4 340B系列包括基础模型、指令模型和奖励模型，它们构成了生成用于训练和优化LLM的合成数据的管道。
阅读更多
MPA Archive 是一款多页面应用程序归档工具，能够将多页面应用程序抓取到一个 zip 文件中，并从该文件中提供服务。它使用 Puppeteer 进行无头抓取，支持多线程下载、站点地图抓取、断点续传等功能。此外，MPA Archive 还可以生成站点地图、保存源代码映射，并提供一个简单的服务器来托管归档后的应用程序。
阅读更多
本文介绍了 AT 协议，一种用于构建开放式社交网络的去中心化技术。它从传统 Web 后端的局限性开始，探讨了如何通过采用最终一致性、NoSQL 数据库和事件日志来实现可扩展性。文章进一步解释了 AT 协议如何将这些组件去中心化，允许任何人加入并贡献数据和处理能力。它引入了用户数据存储库的概念，并详细说明了数据如何在应用程序、存储库和事件日志之间流动，从而实现可扩展和开放的应用程序网络。
阅读更多
截至2024年4月，英国风力发电量首次超过天然气发电量，占总电力需求的32%，标志着英国主要电力来源的转变。这得益于风力发电量的增长和天然气输出的减少。英国成为全球第六个以风力发电为主要电力来源的国家。
阅读更多
Yi-1.5是Yi的升级版本，经过5000亿token的高质量语料库持续预训练，并在300万个不同的微调样本上进行了微调。与Yi相比，Yi-1.5在编码、数学、推理和指令跟随能力方面表现更出色，同时仍然保持了在语言理解、常识推理和阅读理解方面的出色能力。Yi-1.5提供三种模型尺寸：34B、9B和6B。
阅读更多
Mynewsdesk 团队耗时 7 个月，基于 Kubernetes 构建了一个平台以替代 Heroku，用于其 SaaS 产品。结果是成本降低了 90%，性能提高了 30%，部署时间缩短，工具更快、更容易访问，从而显著改善了开发体验。现在，团队开源了整个堆栈，旨在帮助其他开发者在几天内实现同样的目标。
阅读更多
大型语言模型在实际应用部署中，面临着巨大的内存消耗瓶颈，其中，Transformer架构中注意力机制的键值（KV）缓存消耗了大量内存。本文提出一种新型层压缩KV缓存方法，仅计算和缓存少量层的KV，显著节省内存消耗并提升推理吞吐量。实验证明，该方法在大型语言模型上实现了高达26倍的吞吐量提升，并在语言建模和下游任务中取得了具有竞争力的性能。
阅读更多
Core 是一个实验性的动作角色扮演游戏制作工具、引擎和属性编辑器，旨在简化游戏开发流程。它采用简单的组件系统，使用 Clojure 向量和映射来表示游戏实体和状态。游戏中的副作用被视为类似于 Datomic 结构的组件，例如 [:tx/foo param]。整个游戏状态存储在一个名为 app/state 的原子中，实体是该原子内的原子。所有应用程序内容都存储在 resources/properties.edn 中，并使用 Malli 模式进行验证，并可通过 GUI 进行编辑。
阅读更多
这篇文章介绍了一款名为“UNIX管道纸牌游戏”的教育类纸牌游戏。该游戏旨在帮助儿童学习如何通过管道组合UNIX命令，并提供了详细的游戏规则、任务示例以及卡牌样式。此外，文章还推荐了其他几款类似的教育类纸牌游戏，涵盖了编程、算法、计算机体系结构等方面的知识。
阅读更多
本文介绍了代码高尔夫挑战，要求用尽可能少的代码生成元胞自动机规则 30 的前 32 行。规则 30 是一种特殊类型的元胞自动机，它展示了简单规则、混沌和随机性产生的复杂性，并且是不可计算约简的。
阅读更多
本文介绍了如何在嵌入式开发中使用LLVM/Clang编译器工具链来构建更好的固件。LLVM/Clang相比GCC的优势在于模块化架构、丰富的静态分析功能以及跨平台编译能力。文章详细介绍了如何将基于GCC的ARM Cortex-M项目迁移到LLVM/Clang, 并利用Clang的静态分析工具scan-build检测内存泄漏、死锁等问题。此外，文章还介绍了Clang线程安全分析器，用于检测多线程应用中的竞态条件。最后，文章总结了LLVM/Clang在嵌入式开发中的优势，并鼓励开发者尝试使用。
阅读更多
高通于2024年7月9日发布了期待已久的Oryon CPU核心，用于其Snapdragon X Elite芯片。该核心源自高通于2021年收购的初创公司Nuvia的设计。Oryon是一款8宽核心，具有强大的乱序执行能力和大型缓存，旨在在笔记本电脑市场上与AMD和英特尔的芯片竞争。虽然基准测试显示Oryon在运行原生应用程序时表现出色，但它仍然面临着软件兼容性、平台碎片化和价格等挑战。
阅读更多
本文是比尔·盖茨对萨尔·汗的新书《勇敢的新词》的评论。盖茨高度评价了萨尔·汗在教育领域的创新，特别是他在人工智能教育方面的远见。盖茨认为，人工智能将彻底改变学生的学习成果和教师的教学体验，并 usher in a future where everyone has access to a world-class education。
阅读更多
数学家们近期证明了“几何朗兰兹猜想”，这一猜想的证明长达1000页，被认为是数学界的一项重大成就。然而，证明过程极其复杂，即使是其他数学家也很难理解。几何朗兰兹猜想是朗兰兹纲领的一部分，该纲领旨在连接数学的不同领域，并被称为数学界的“大统一理论”。
阅读更多