Brioche是一款全新的软件包管理器和构建工具，它借鉴了Nix、Homebrew和Cargo等其他软件包管理器的优秀理念，使用TypeScript编写，并利用其进行类型检查和自动完成。Brioche目前处于技术预览版阶段，仅限于x86-64 Linux，软件包数量有限，性能和语言服务器协议方面存在问题，但已经可以用于测试和反馈。
阅读更多
麻省理工学院的衍生公司Quaise Energy正在开发一种利用回旋管钻探技术来获取地热能的方法。该技术利用强大的微波蒸发岩石，可以钻探到20公里深，比以往任何时候都更接近地核。与传统钻探方法相比，该技术速度更快、成本更低，有望克服地热能开发面临的挑战。
阅读更多
本文是Martin Fowler所著《领域特定语言》一书的概要总结，并探讨了如何使用领域特定语言（DSL）来简化电商应用程序中的产品定制代码。文章首先介绍了DSL的定义，包括内部DSL和外部DSL，以及使用DSL的优势。然后，文章概述了实现外部DSL的七个主要步骤，包括实现语义模型、设计领域语言、定义语法、使用解析器生成器、生成抽象语法树、填充语义模型等。文章最后指出，将在第二部分中详细描述如何使用DSL来配置数据和元数据，从而将产品导航和定制代码从电商应用程序的其他代码库中分离出来。
阅读更多
Photon 是一款专为 Mac 设计的微型相机，拥有超长续航能力，一次充电可拍摄 5 万张照片。它主打安全和隐私，不支持蓝牙、WiFi 或蜂窝网络，照片只能通过物理访问设备才能导出，有效防止远程攻击和数据泄露。 Photon 还支持定时拍摄、移动侦测、RAW 格式输出等功能，硬件和软件均开源。
阅读更多
Cirkoban 是一款结合了推箱子和 Wireworld 细胞自动机的益智游戏，由 Spritely Institute 使用 Scheme 语言开发。玩家需要扮演一只猫头鹰，在一个充满奇特电路的秘室中解谜，通过精确移动方块来修复电路并到达顶层。游戏使用了 Goblins 分布式编程库和 Hoot Scheme-to-WebAssembly 编译器，展示了 Spritely 的技术实力，特别是 Goblins 的回滚功能，允许玩家撤销之前的操作。
阅读更多
本文解释了为什么要将 GTK 和设计语言分离，并介绍了 Libadwaita 的由来、功能和优势。GTK 作为一个跨平台工具包，应该专注于提供通用的部件，而 Libadwaita 则作为 GNOME 桌面的平台库，提供符合 GNOME 人机界面指南的自定义部件和样式。文章还介绍了其他平台库，如 Granite 和 Libhelium，它们分别针对 elementary OS 和 tauOS 进行了优化。
阅读更多
马里兰大学的一项新研究表明，任何常见的口罩都能有效阻挡新冠病毒，而N95口罩在减少感染者病毒排放方面最有效。研究发现，被称为“鸭嘴兽”的N95口罩效果最好，能捕获98%的呼出病毒。研究人员还发现，布口罩的表现优于测试的特定品牌的KN95口罩。虽然外科口罩在四种口罩中的表现垫底，但也能阻挡70%的病毒。
阅读更多
ModRetro 是一家销售复古风格电子游戏和游戏机的网站，网站提供游戏、博客、支持和联系方式等信息，用户可以选择不同的国家和地区进行购物体验。
阅读更多
Chrome团队致力于让浏览器始终保持快速。文章探讨了团队如何通过调查Chrome在所有网站上响应用户交互的现场数据，最终提高网络性能来为核心网络指标做出贡献。团队发现，一个特殊原因是反复同步调用从网络服务获取当前网站的cookie。经过研究和测试，团队引入了一种称为“共享内存版本控制”的新范式，减少了与cookie相关的进程间消息，并使document.cookie访问速度更快，最终改善了所有平台上最慢交互的速度，并使更多网站通过了核心网络指标。
阅读更多
自2004年首次在英国海滩发现微塑料以来，这种微小塑料颗粒已遍布全球各个角落，从南极洲到珠穆朗玛峰，从人体血液到婴儿粪便，甚至云层和食盐中都发现了它们的踪迹。虽然微塑料对生态系统和人体健康的确切影响尚不清楚，但近期研究表明，它们可能导致老鼠行为改变、人类心脏问题，甚至可能导致人类不育。
阅读更多
Y Combinator总裁兼首席执行官Garry Tan解释了其公司最近访问华盛顿特区的原因。他强调，随着人工智能的崛起，政策制定者需要听取小型科技公司和初创企业的意见，而不仅仅是大型科技巨头。Tan概述了Y Combinator对人工智能政策的立场，包括优先考虑开源模型、促进市场竞争和消除不公平的竞争，例如禁止所有员工的竞业禁止协议。他认为，这些政策将为小型科技公司创造公平的竞争环境，并确保美国在人工智能领域的领导地位。
阅读更多
这篇文章探讨了一个地理谜题：如果你从美国西雅图出发，始终朝正东方直线前进，你会到达哪个国家？答案是澳大利亚。作者解释说，由于地球是球体，在地球表面上直线行走意味着沿着一个大圆行走。虽然在大多数地图投影上，这条路径看起来是弯曲的，但它实际上是连接两点之间的最短距离，也被称为测地线。
阅读更多
阿拉斯加州最高法院在州诉麦凯尔维案中裁定，根据阿拉斯加宪法，执法部门在使用飞机拍摄私人后院之前必须获得搜查令。法院认为，尽管小型飞机普遍存在，但人们有理由期望政府不会利用它来监视他们。这一裁决被视为阿拉斯加州人民隐私权的重大胜利，与美国最高法院20世纪80年代的几项裁决形成对比。该裁决强调了技术进步对隐私权的影响，并呼吁其他法院效仿，以确保隐私权不会成为技术进步的牺牲品。
阅读更多
本文探讨了消费电子产品控制的发展历程，特别是 HDMI 和 CEC 的演变。作者首先回顾了音频传输在家庭影院中的衰落，指出 HDMI 逐渐成为通用的视听连接方式，类似于 USB 在计算机领域的角色。接着，作者深入探讨了 HDMI 的历史渊源，从 DVI 到 SCART，以及 CEC 的发展历程。文章详细介绍了 CEC 的功能，包括其在电视、家庭影院接收器和条形音箱中的应用，以及它如何被媒体公司用来控制用户体验。最后，作者还探讨了 CEC 的一些潜在应用，例如通过 HDMI 连接多台计算机并进行通信。
阅读更多
本文介绍了如何使用现代 CSS 功能（如 Grid 和 Flexbox）创建灵活且可复用的布局，而无需依赖外部框架。文章详细讲解了四种 CSS 工具类的构建方法，包括“重复网格”、“重复弹性布局”、“流动网格”和“流动弹性布局”，并解释了如何使用 CSS 变量、容器查询和 Subgrid 等技术来自定义布局、实现响应式设计以及增强布局的控制能力。
阅读更多
Trellis 是一家专注于非结构化数据处理的初创公司，获得YC孵化器支持。公司正在招聘创始后端工程师，负责构建类似Snowflake的数据库，将非结构化数据转换为SQL兼容的表格。工作地点位于美国旧金山，要求具备3年以上全栈开发经验，精通Python、Go等编程语言以及机器学习库。
阅读更多
本文介绍了Mamba-2模型的核心，即结构化状态空间对偶性（SSD）模型。SSD模型是对Mamba-1的改进，通过将递归矩阵A限制为标量-恒等结构，在保持高效性的同时，可以使用矩阵乘法进行计算，从而显著提高了训练速度。与Mamba-1相比，Mamba-2允许更大的状态维度，并在多查询关联回忆等合成任务上表现更出色。
阅读更多
PostHog 是一款开源平台，提供产品分析、会话录制、功能标记和 A/B 测试等功能，用户可以自行托管。它支持手动或自动捕获事件，提供数据可视化、SQL访问、会话回放、热图、功能标记、A/B 测试、相关性分析、问卷调查等功能。PostHog 还提供数据基础设施工具，例如数据导入/导出、库、数据仓库集成等。
阅读更多
根据官方数据和商业数据的新分析表明，由于太阳能和风能发电量的增长以及建筑活动的减少，中国2024年3月的二氧化碳排放量下降了3%，结束了自2022年底该国“清零”政策结束后经济重新开放以来连续14个月的飙升。这强化了这样一种观点，即中国的排放量可能在2023年达到峰值。如果清洁能源的建设速度保持在去年的创纪录水平，那么中国的二氧化碳排放量在2023年达到峰值是可能的。
阅读更多
16、17世纪的英法两国，富人们热衷于建造华丽的鸽子塔，作为身份的象征。这些鸽子塔设计各异，规模宏大，彰显着主人的财富和地位。鸽子肉是当时冬季重要的肉食来源，但饲养鸽子的权利仅限于贵族阶层。然而，随着封建制度的瓦解和平民获得饲养权，鸽子塔的建造热潮逐渐消退。18世纪，根茎类蔬菜的引进为冬季提供了新的食物来源，鸽子肉不再是必需品，鸽子塔也逐渐退出了历史舞台。
阅读更多
本文报道了美国联邦调查局对大型企业房东Cortland Management进行突击搜查的事件。Cortland被指控与软件和咨询公司RealPage合谋，通过协调房东定价决策和控制公寓供应来提高全美范围内的租金。据称，RealPage与至少21家大型房东和机构投资者合作，涵盖了全美70%的出租公寓楼和1600万套住房。该事件引发了人们对租金上涨和房地产市场垄断行为的关注。
阅读更多
File-Tunnel是一个可以通过文件隧道传输TCP连接的工具。它可以在Windows和Linux系统上运行，并提供可移植的可执行文件。该工具可以用于绕过防火墙或通过RDP隧道传输TCP连接，例如SSH隧道。其工作原理是启动一个TCP监听器，并将接收到的TCP数据写入文件，然后由对应程序读取该文件，建立TCP连接并转发数据。
阅读更多
索尼互动娱乐宣布，将于 8 月 7 日起推出 PlayStation VR2 PC 适配器，允许玩家在 PC 上体验 SteamVR 游戏。适配器售价约为 59.99 美元，需要配合 DisplayPort 1.4 线缆使用。玩家届时可畅玩《半条命：爱莉克斯》、《辐射 4 VR》等热门 VR 游戏。但需要注意的是，部分 PS VR2 的核心功能，如 HDR、眼球追踪和触控反馈等在 PC 上将无法使用。
阅读更多
Dzero是一个完全托管的无服务器SQLite数据库，旨在实现生产规模。它可以将数据库即时分发到全球的边缘节点，无需额外成本。用户可以通过任何环境或框架查询数据库，并使用表格编辑器轻松管理数据库。Dzero提供高可用性、低延迟和全球分布式特性，并通过Cloudflare D1实现。
阅读更多
Ogma是一种基于符号序列建模范式的可解释通用问题求解模型，旨在解决需要可靠性、复杂分解且避免幻觉的任务。该技术能够进行数学求解、自然语言理解、不确定性解析、目标导向任务分解和自我解释，并具有一定的基准性能。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25472383/decoder.png)
Zoom CEO 袁征在接受 The Verge 采访时表示，Zoom 将大力投入人工智能，目标是让用户可以派出自己的“数字孪生”参加会议，甚至代表自己做决定。袁征认为，人工智能可以将人们从繁琐的工作中解放出来，让人们有更多时间陪伴家人、专注于更具创造性的事情。他还表示，Zoom 将致力于解决人工智能带来的隐私和安全问题，并采取负责任的态度逐步推出人工智能功能。
阅读更多
本文总结了经济历史学家Robert Allen的著作《英国工业革命的全球视角》的主要内容。Allen认为，需求因素，特别是高工资和廉价能源，是英国工业革命的主要驱动力。他以蒸汽机、棉纺织和焦炭冶铁为例，论证了这些技术在英国的采用时间和地点与它们在这些因素下的盈利能力直接相关。文章还探讨了Allen对供给侧因素的回应和批评，并对Allen的观点进行了分析和评价。
阅读更多
Linux Mint 项目发布了月度简报，重点介绍了基于 Ubuntu（和 Debian）的桌面 Linux 发行版最近取得的进展。5 月份，他们对 Linux Mint 的软件管理器进行了改进，并继续优化其软件包存档托管。Linux Mint 的“mintinstall”软件管理器加载速度比以前更快，现在默认禁用未经验证的 Flatpak。如果用户选择使用未经验证的 Flatpak，管理器还会显示警告，提醒用户注意安全风险。
阅读更多
