微软正在与辅导机构可汗学院合作，为美国所有教师免费提供生成式人工智能助手。这款名为“可汗教师助手”的程序可以帮助教师备课、分析学生表现、规划作业，并为教师提供提升自身学习的机会。该程序已于周二向美国所有教育工作者免费开放。微软和可汗学院还计划通过微软Phi-3人工智能技术提供新的开源小型语言模型，为学生提供更多人工智能驱动的数学辅导。
阅读更多
这篇文章介绍了一种名为套娃表征学习 (MRL) 的技术，该技术允许在向量数据库中灵活调整嵌入大小，从而在效率和粒度之间取得平衡。通过 MRL，嵌入可以压缩成更小的维度，同时在检索和排序任务中保持性能。总而言之，MRL 在不影响多模态检索和排序任务性能的情况下实现了经济高效的灵活性。
阅读更多
本文介绍了Backblaze如何使用名为CVT Copy的内部应用程序来扩展其存储云，该应用程序用于大规模执行驱动器迁移。文章详细解释了CVT流程，包括选择要迁移的Vault、设置源Vault和目标Vault、启动迁移过程、读取和写入文件、验证迁移以及重定向读取。该文章还强调了CVT在数据密度、耐久性和环境可持续性方面的优势。
阅读更多
Match Group、Meta、Coinbase 等公司成立了名为“科技反诈骗”的新联盟，旨在合作预防网络欺诈和金融诈骗。该联盟将致力于打击诈骗者使用的工具，教育和保护消费者，并打击快速演变的金融诈骗。联盟成员将合作识别和预防网络欺诈，并利用各自在互联网上的不同影响力，更全面地了解威胁和最佳实践。
阅读更多
耶鲁大学管理学院的研究人员发现，社交媒体平台可以通过“影子禁令”来操纵用户观点或加剧两极分化。“影子禁令”是指在用户不知情的情况下，限制其内容的可见度，例如降低帖子在其他用户时间线上的出现频率。研究人员通过模拟社交网络发现，即使表面上对两方观点都进行“影子禁令”，平台也可以通过选择性地放大或屏蔽某些链接来实现操控舆论的目的。
阅读更多
本文介绍了一款名为CADmium的全新开源CAD程序，该程序旨在在浏览器中运行，采用本地优先的模式。CADmium基于一系列现代技术构建，包括用于3D视窗的Three.js、用于状态管理的Svelte、用于连接Svelte和Three.js的Threlte，以及用于本地运行的Electron。文章还探讨了CADmium的核心组件，包括2D约束求解器、B-rep内核、历史跟踪器、3D用户界面和文件格式，并强调了使用Rust编写的开源B-rep内核Truck的优势，以及使用JSON作为文件格式的益处。
阅读更多
Anthropic的研究人员成功地从大型语言模型Claude Sonnet中提取了数百万个特征，这些特征对应于各种概念，如城市、人物、科学领域、编程语法等，甚至还有一些抽象概念，如代码错误、性别偏见和保密。研究人员可以通过放大或抑制这些特征来观察模型行为的变化，例如，放大“金门大桥”特征会导致模型在回答问题时过度关注金门大桥，即使问题与金门大桥无关。这项研究为理解和提高人工智能模型的安全性提供了新的视角。
阅读更多
美国环境保护署敦促水务公司采取行动改善其数字防御，此前发生了一系列网络攻击。 该机构的“执法警报”称，最近对水务系统的检查发现，超过 70% 的水务系统未能达到基本网络安全标准，包括一些具有“关键”漏洞的系统，例如依赖尚未更新的默认密码和“容易受到攻击”的单点登录。此前，一个俄罗斯黑客组织声称对德克萨斯州和印第安纳州的水务站点进行了数字攻击。 去年年底，与伊朗有关联的 Cyber Av3ngers 集团声称对宾夕法尼亚州的一个水务局发动了攻击。
阅读更多
本文探讨了软件规模扩大后，罕见事件变得 commonplace 的现象。作者指出，随着服务器数量增加，即使单个服务器故障率很低，总体上每天都会发生故障。规模扩大还会导致客户支持、问题处理等方面的挑战。作者认为，自动化可以解决部分问题，但无法完全替代人工，特别是客户服务和罕见事件处理方面。文章最后强调了规模扩大带来的挑战，并建议公司在规划增长时要考虑到这些因素，包括人员配置、自动化和管理经验。
阅读更多
本文介绍了由Sabrina Ramonov开发的图形游戏。游戏内容未在文中详细描述，但根据标题推测可能与图论或网络结构相关。
阅读更多
John R. Mashey 分析了 128 位处理器出现的可能性。他认为，基于物理内存的需求，128 位处理器可能在 2043 年左右出现。但如果虚拟内存的需求增长速度更快，这个时间点可能会提前到 2020 年左右。他也指出，128 位处理器的实现存在一些技术挑战，例如芯片空间、布线和门延迟等问题。
阅读更多
这篇文章探讨了UI设计的密度问题，指出UI密度不仅仅是视觉上的密集程度，而是关于界面在一段时间内提供的信息量。作者引入了信息密度、设计密度和时间密度等概念，并结合案例分析了如何提高UI的价值密度。文章认为，UI密度最终目标是使用户在最短的时间和空间内获得最大的价值，速度、可用性、一致性、可预测性、信息丰富度和功能都在其中扮演着重要角色。
阅读更多
本文介绍了一个名为“Educator Tool Suite '87”的BASICA程序套件，由作者的父亲Mike Knox在20世纪80年代后期编写。该程序套件旨在自动化和简化八年级科学教学中的日常工作，例如评分测试、分配课堂和实验室座位、监控出勤率、评分测试和州立 Regents 考试等等。该程序套件包括用于评分测试、生成随机学生座位分配、处理出勤率和曲线评分的实用程序。
阅读更多
本文回顾了微软在 Satya Nadella 接任 CEO 后的发展历程，特别是在人工智能和云服务方面的战略转型。文章将微软与沃尔玛进行了类比，指出两家公司都成功地将新业务（电商和云服务）与传统业务（零售和 Windows）整合，实现了全渠道和差异化竞争。作者认为，微软通过 Copilot+ PC 和 Snapdragon X Elite 处理器等创新，为 Windows 带来了新的活力，使其在人工智能时代重新焕发生机。
阅读更多
美国许多城镇选择建设自己的宽带网络，因为私人网络供应商无法满足社区需求。然而，私人网络供应商并不甘心面对政府资助的竞争，他们试图说服选民，公共网络注定会成为无用之物。公共宽带倡导者表示，近年来，他们看到越来越多的“暗钱”组织攻击公共网络项目，这些组织通常是私人网络供应商资助的“社会福利”组织，他们利用法律漏洞隐藏捐助者信息，散布反对公共宽带的行业言论。
阅读更多
美国联邦贸易委员会（FTC）越来越关注联网汽车收集的大量敏感数据，例如生物识别、地理位置、视频和其他个人信息。FTC强调，公司没有免费许可将人们的信息货币化，其使用范围应超出提供其所请求产品或服务所需的用途，并且企业不应让商业模式的激励措施超过对有意义的隐私保护的需求。FTC将对非法收集、使用和披露消费者个人数据的行为采取行动，最近的执法行动已经证明了这一点。
阅读更多
这篇文章探讨了OpenAI的GPT-2语言模型，指出该模型生成的文本虽然表面上流畅自然，但缺乏逻辑连贯性。作者认为，人类在不集中注意力的情况下，容易被GPT-2生成的虚假信息所迷惑，而专注的逻辑思考能力才是区分人类智能与机器模仿的关键。文章还提出，在充斥着机器生成文本的世界中，人们应当默认对未理解的内容持怀疑态度，避免被虚假信息误导。
阅读更多
大约2200年前，西班牙比利牛斯山脉中部的Tossal de Baltarga发生了一场毁灭性火灾，将该定居点夷为平地，几乎摧毁了一切，只有一只隐藏的金耳环幸免于难。考古学家对G楼的挖掘揭示了一种因暴力而脱轨的生活方式：可能是迦太基与罗马之间战争中被遗忘的一幕。火灾如此猛烈，以至于屋顶、支撑梁和木质上层地板都塌陷了，但一些贵重物品在坠落中幸免于难。考古学家发现了一把铁镐和一只金耳环，藏在一个小罐子里。
阅读更多
人工智能的快速发展对计算能力提出了巨大需求，传统的电子芯片功耗高，效率低，难以满足需求。光基芯片以光子代替电子进行信息处理，具有带宽高、速度快、效率高等优势，在矩阵乘法等人工智能计算任务中表现出潜力。尽管光学计算仍处于发展初期，但其在特定应用领域的优势以及未来超越电子系统的可能性，使其成为人工智能领域备受关注的研究方向。
阅读更多
本文追溯了车载导航系统中箭头图标的起源。作者发现，谷歌地图中使用的箭头图标最初来自雅达利公司于1979年推出的街机游戏《小行星》。该游戏的灵感来源于1962年开发的太空战斗模拟游戏《太空大战》。作者认为，这种联系表明，即使是简单的设计元素也可能承载着丰富的历史和文化意义。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25454244/Screenshot_2024_05_18_at_12.02.42_PM.png)
新款 iPad Pro 非常轻薄却十分坚固，并且在可修复性方面也有所提升。iFixit 在拆解这款平板电脑时发现，iPad Pro 的 38.99Wh 电池很容易更换，这与过去的 iPad Pro 型号相比，可以节省数小时的维修时间。然而，其内部许多部件，包括逻辑板，都是用胶水粘合的，这使得拆卸扬声器会损坏扬声器，并且很容易意外弯曲平板电脑的子板。
阅读更多
尽管科技不断发展，但许多人开始抵制科技对生活的过度侵入，转而青睐老旧技术。例如，一些人用“哑巴”设备取代智能设备，用黑胶唱片机取代AirPods。年轻人重新发现了已被遗忘的一次性相机，享受着拍摄后等待显影结果的怀旧感和模糊美感。
阅读更多
Braindump 致力于探索在 LLM 和生成式 AI 的新时代，游戏创作的可能性。Braindump 提供一个完整的 AI 游戏工作室，包括程序员、艺术家等，帮助用户创建梦想中的游戏。用户可以通过简单的提示，构建自顶向下/2.5D 游戏或交互式世界，例如，输入“创建一个可以发射激光并投掷 BB-8 炸弹的星际战斗机”，就能生成 3D 模型、游戏数据和脚本，将用户的想法变为现实。用户可以立即玩游戏，甚至邀请朋友一起玩。文章还介绍了 Braindump 在设计提示 UX、为 LLM 设计游戏 API、协作编辑、基准测试等方面的挑战和解决方案。
阅读更多
Oracolo 是一款由 Nostr 驱动的极简博客，仅包含一个 HTML 文件，大小约为 140Kb。它甚至可以在没有网络服务器的情况下运行；例如，您可以通过电子邮件将其作为名片发送。它使用丑陋的哈希路由来实现功能齐全的永久链接，而无需任何额外的服务器级配置来捕获所有 URL。
阅读更多
本文详细记录了作者逆向工程 Apple II 游戏 Choplifter 的过程。作者详细介绍了工具、方法和思路，包括如何从键盘处理程序入手，逐步理解代码结构，以及如何利用全局变量、零页和跳转表等关键要素。作者还分享了调试过程中的心得体会，以及对游戏代码的评价，包括其代码风格、性能优化和潜在的改进空间。
阅读更多
gifski是一个基于pngquant的最高质量的GIF编码器。它使用pngquant的强大功能将视频帧转换为GIF动画，以实现高效的跨帧调色板和时间抖动。它生成每帧使用数千种颜色的动画GIF。它是一个CLI工具，但也可以编译成C库，以便在其他应用程序中无缝使用。
阅读更多
Eudyptula挑战是一系列针对内核开发的难度递增的任务，旨在帮助人们学习Linux内核开发。挑战者通过电子邮件与Little互动，完成构建、修改和运行内核等任务，并学习内核编程风格、提交补丁等知识。挑战涵盖了内核的众多领域，包括设备创建、调试文件系统、内核数据结构、内存分配、内核线程等。尽管挑战存在一些问题，比如文档分散、等待时间长等，但它仍然是学习内核开发的一种有趣且有效的方式。
阅读更多
文章介绍了一种名为“专家小组”的大语言模型提示方法，该方法通过模拟专家讨论来提高模型推理能力，解决LLM在复杂任务中可靠性不足的问题。作者详细介绍了该方法在代码文档审查中的应用，通过构建专家小组讨论代码更新对文档的影响，最终将错误率从40%降低到20%。文章还提到了该方法的成本效益，虽然成本有所增加，但性能提升显著，因此值得采用。
阅读更多
CodiumAI发布了Cover-Agent，它是Meta的TestGen-LLM的第一个开源实现。TestGen-LLM是一个完全自动化的工具，用于增加测试覆盖率，它首先生成大量测试，然后过滤掉那些无法构建/运行的测试，删除任何未通过的测试，最后丢弃那些没有增加代码覆盖率的测试。Cover-Agent 在实现TestGen-LLM的过程中遇到了一些挑战，例如处理 Python 中重要的空格、为 LLM 提供额外的上下文、处理复杂的代码需要多次迭代，以及无法在扩展现有测试套件时添加库导入。
阅读更多