本文探讨了公元前4200年至公元前3600年间，位于黑海北部草原的特里波利耶巨型遗址的兴衰原因。作者利用38个遗址约7000栋房屋的面积计算了基尼系数，以此评估家庭间的不平等程度。结果表明，巨型遗址的社会不平等程度暂时降低。几代人之后，社会分化再次加剧，这可能解释了后来巨型遗址的废弃。研究结果表明，社会复杂性的增加不一定与社会分层的加剧相关，人口的大量聚集至少可以在一段时间内找到减少不平等的机制。
阅读更多
Great Question是一家由Y Combinator支持的客户研究平台，正在招聘一位全栈Rails工程师。该公司正在构建一个企业级一体化研究CRM，该CRM具有运行和分析客户访谈、调查和原型测试所需的工具。他们正在寻找具有丰富Ruby on Rails应用程序构建经验的杰出人才，以提高其工程和产品组织的标准。这是一个获得早期经验、解决有趣问题、对早期公司的技术和文化产生巨大影响并塑造团队如何通过研究构建软件的未来的绝佳机会。
阅读更多
科学家们最近发现，人体内存在着数千种能够控制人体的活性RNA分子。长期以来，人们一直认为DNA是生命的主要遗传物质，而蛋白质是执行生命功能的工具。然而，ENCODE项目的研究表明，多达75%的基因组会被转录成RNA，其中很大一部分是非编码RNA（ncRNA）。ncRNA不编码蛋白质，但参与其他分子进行生化任务，例如调控基因活性、形成细胞器、参与免疫系统等。这一发现颠覆了我们对遗传编程的理解，表明RNA可能在生命活动中扮演着比之前认为的更重要的角色。
阅读更多
本文介绍了使用coq-of-rust工具将Rust核心库和分配库翻译成Coq形式验证系统的过程。作者详细阐述了如何克服翻译过程中遇到的挑战，包括处理标准库中的原生结构、拆分生成的大型Coq代码文件以及修复模块名称冲突等问题。作者还提供了一个unwrap_or_default方法的翻译示例，并解释了如何证明其与简化函数代码的等价性。最后，作者总结了该工作的成果和未来的目标，即简化验证过程并提高验证效率。
阅读更多
本文作者认为，随着树莓派发布了官方的 M.2 HAT+，微型 SD 卡在 SBC 中的时代即将结束。因为M.2 NVMe SSD 比 microSD 卡速度更快、可靠性更高。作者预计未来会有更多 SBC 厂商采用 M.2 作为主要存储方式。
阅读更多
Pinterest宣布弃用HBase，这是一个始于2013年的NoSQL数据存储。Pinterest曾是全球最大的HBase生产部署者之一，拥有约50个集群、9000个AWS EC2实例和超过6 PB的数据。Pinterest决定弃用HBase的原因包括高昂的维护成本、缺少的功能、高系统复杂性、高昂的基础设施成本以及行业使用率和社区支持的下降。为了替代HBase，Pinterest选择采用TiDB，这是一个分布式NewSQL数据库。
阅读更多
本文介绍了数学家如何推翻了一个关于曲率和形状之间关系的主要猜想——米尔诺猜想。米尔诺猜想认为，如果一个完备流形的里奇张量处处非负，那么它就不能有无限个洞。然而，数学家们构建了一个七维光滑分形雪花，它在每一点都具有非负里奇曲率，但却拥有无限个洞，从而推翻了米尔诺猜想。这一发现表明，具有非负里奇曲率的形状比数学家们预期的更加灵活，也更加复杂，这使得我们对局部几何性质和全局拓扑性质之间的关系的理解变得更加复杂。
阅读更多
美国司法部周二表示，波音公司违反了2021年的一项协议，该协议使其在两起737 Max灾难导致346人死亡后免于刑事起诉。司法部认为，波音公司未能“设计、实施和执行合规和道德计划，以防止和 détecter 其运营过程中违反美国欺诈法的行为”。政府尚未决定是否对波音提起诉讼，但遇难者家属的律师表示，他们希望看到此案的进一步行动。波音公司表示已收到司法部的通知，并计划做出回应。
阅读更多
文章指出，由于AI工具的普及，比如Ultracode和Cheetah，求职者可以使用这些工具轻松解决面试中的难题，导致面试难度大幅提升。作者举例说明了2024年科技公司面试中出现的难题，并指出这些难题即使对于有经验的开发者来说也难以在规定时间内解决。作者认为，这种现象会导致真正学习的人才被淘汰，并提出唯一的解决方案是进行线下现场面试。
阅读更多
parseback是一个纯Lua库，用于解析LuaJIT的FFI ctype对象。由于LuaJIT的FFI缺乏内省功能，parseback通过分析ffi.typeinfo()提供的信息，以Lua table、C声明和Graphviz图表的形式重建ctype对象的描述。
阅读更多
文章比较了AirGradient和Purple Air两款空气质量监测仪。Purple Air是低成本PM监测仪的先驱，其数据已被广泛研究和应用。AirGradient使用与Purple Air Classic相同的Plantower PMS5003模块，因此两者的精度非常相似。Purple Air的优势在于其功能丰富的应用程序、SD卡存储和RGB LED（Flex型号）。AirGradient Open Air的优势在于其额外的传感器模块（例如CO2传感器）、开源和开放数据许可，以及更低的价格。
阅读更多
这篇文章讨论了是否应该在OpenBSD操作系统中禁用Nagle算法。Nagle算法旨在通过合并小数据包来提高网络效率，但它也会增加延迟。作者指出，在现代网络环境中，Nagle算法的优势不再明显，而且它与延迟确认机制相互作用，可能会降低性能。文章提议添加一个新的sysctl选项来全局禁用Nagle算法，并将其作为未来OpenBSD版本中的默认设置。
阅读更多
根据最新的研究，2023 年北半球的夏季气温是至少 2000 年来最高的。研究人员通过对比树木年轮数据和气温记录发现，2023 年夏季气温比 1850-1900 年的平均气温高 2.3 摄氏度，比公元 246 年的最高气温还要高 1.2 摄氏度。这项研究表明，近期的全球变暖趋势是史无前例的。
阅读更多
西雅图和水牛城的研究表明，停车规定是住房建设的约束性因素。在停车改革后，60%到70%的新住房得以合法建设，这些住房原本因停车规定而无法建造。虽然并非所有建筑都选择完全不提供停车位，但大多数新住房都受益于停车规定的灵活性，这表明停车改革对缓解住房短缺具有重要意义。
阅读更多
本文分析了名为Dmitry Yuryevich Khoroshev的俄罗斯男子在网络犯罪论坛上的活动轨迹，以及他作为恶意软件作者长达14年的职业生涯。文章通过追踪Khoroshev在网络上的各种身份，包括NeroWolfe和Putinkrab，以及他与勒索软件开发和销售相关的活动，试图解释美国当局是如何将他认定为LockBit勒索软件集团头目的。文章还指出，当局可能掌握了更多未公开的情報，例如加密货币地址和银行账户信息，这些信息可能最终将Khoroshev与LockBit联系起来。
阅读更多
言情小说作家K. Renee因其作品被谷歌标记为“不当内容”而被禁止访问她在谷歌文档上的内容。Renee是一位创作曲棍球爱情小说的作家，她在谷歌文档上的多个文件和文件夹中保存了超过222,000字的内容。谷歌认为她的作品过于露骨，违反了谷歌云端硬盘的服务条款，尽管谷歌的服务条款对教育、艺术和新闻目的的内容有例外规定。其他言情小说作家也报告了类似的事件，谷歌文档在2017年就曾因违反政策而将用户锁定在他们的内容之外。目前尚不清楚，如果作家创作的内容被谷歌认为不合适，他们将来是否还能使用谷歌产品。
阅读更多
康卡斯特将于本月晚些时候推出一项名为StreamSaver的三方捆绑服务，其中包括Peacock、Netflix和Apple TV+，并提供大幅折扣。康卡斯特首席执行官Brian Roberts表示，该捆绑服务将对所有康卡斯特宽带和电视用户开放。他还表示，这三项流媒体服务的定价将“远低于目前市场上的任何产品”，但他没有透露任何定价细节。其目标是“为消费者增加价值”，同时“从”其他公司的流媒体业务中“分一杯羹”，同时加强康卡斯特的宽带服务产品。
阅读更多
谷歌在I/O开发者大会上推出了名为Project Astra的“下一代人工智能助手”。Astra不仅可以理解语音指令，还能通过手机摄像头或智能眼镜识别物体和场景，并用自然语言进行对话。这款多模态AI模型由Gemini Ultra驱动，与OpenAI的GPT-4o类似，经过音频、图像、视频和文本的训练，能够以所有这些格式处理数据。谷歌认为，纯文本聊天机器人只是一个过渡阶段，多模态AI助手才是未来发展方向。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25447441/Google_Veo_knitted_elephant_demo.jpg)
谷歌在 I/O 开发者大会上发布了最新的生成式 AI 视频模型 Veo，该模型可以根据文本、图像和视频提示生成高质量的 1080p 分辨率视频，时长超过一分钟，并支持多种视觉和电影风格。Veo 拥有对自然语言的理解能力，能够理解“延时摄影”或“风景航拍”等电影术语。谷歌表示，Veo 生成的视频更加一致和连贯，能够更逼真地描绘人物、动物和物体的运动。
阅读更多
皮尤研究中心一项针对1453名13至17岁美国青少年的调查显示，有四分之一的青少年表示他们在VR头戴设备上玩游戏。按性别划分，32%的男孩和15%的女孩表示他们在VR头戴设备上玩游戏。该调查并未询问他们是否拥有头戴设备，因此这其中也包括那些使用兄弟姐妹或父母头戴设备玩游戏的人。
阅读更多
文章指出，根据美国国会预算办公室的最新基线，2024财年美国利息支出预计将达到8700亿美元，而国防支出总额为8220亿美元。这是自1940年以来从未出现过的情况。文章还指出，净利息支出从2020财年的3450亿美元增加到2023年的6590亿美元，几乎翻了一番。占GDP的比例也从2020年的1.6%增长到2023年的2.4%。
阅读更多
这篇文章揭露了网络垃圾信息的泛滥现象，以虚构人物“朱迪”为例，她拥有各种头衔，从3D打印专家到营养学家，无所不能。作者指出，这些虚假人物的背后是大型联盟链接农场，他们利用搜索引擎优化、电子商务等手段，以获取点击和佣金为目的，制造了大量低质量的网页内容，污染了互联网信息环境。作者认为，“死亡互联网”理论并非空穴来风，网络欺诈和广告诱饵的盛行，源于平台监管的缺失，以及某些地区利用信息不对称进行剥削的现象。作者呼吁，未来互联网需要建立身份认证机制，以遏制网络垃圾信息的蔓延。
阅读更多
本文讲述了《万智牌》的创造者理查德·加菲尔德对这款游戏的现状感到失望。他认为，随着卡牌数量的激增和稀有卡牌的过度强大，游戏失去了其最初的“魔力”。加菲尔德更怀念早期版本中，玩家只能使用有限卡牌进行对战，这使得每张卡牌都显得更加珍贵和独特。他还批评了《万智牌》线上平台Arena，认为其缺乏面对面对战的社交性和生物性，无法复制真实游戏中玩家通过表情和互动进行交流的体验。
阅读更多
Goldboot 是一款构建真实硬件机器镜像的工具，可以帮助用户实现接近不可变基础设施的目标。用户可以通过声明式配置文件定义机器配置，Goldboot 使用该配置在本地机器或 CI 平台上构建镜像，生成的镜像可以通过 USB 或 PXE 启动部署到硬件。Goldboot 类似于 Docker 和 Packer 的混合体，但它构建的是真实硬件的镜像，而不是容器或虚拟机。这些镜像包含操作系统、应用程序、软件补丁和配置，所有内容都打包在一个易于部署的包中。
阅读更多
VMware宣布其Workstation Pro和Fusion Pro桌面虚拟化产品将免费供个人使用。这两个产品允许用户在本地计算机上创建虚拟机，用于运行不同的操作系统或创建沙盒环境来运行特定软件。公司表示，免费版本和付费商业版本之间没有功能差异，唯一的视觉区别是免费版本会显示“本产品仅供个人使用”的文字。商业用户仍需购买付费订阅。
阅读更多
美国国家公路交通安全管理局（NHTSA）正在调查Waymo第五代自动驾驶系统出现的22起事故报告，其中17起涉及碰撞，但没有造成人员伤亡。事故包括撞上静止物体、违反交通信号等“意外行为”。NHTSA正在调查这些事故是否表明Waymo汽车存在安全风险，或者是否需要更新以防止故障。Waymo表示，他们正在与NHTSA合作，并将继续致力于提高其自动驾驶系统的安全性。
阅读更多
本文介绍了高级 RAII，一种利用只能在特定位置销毁的线性类型来保证特定操作被执行的编程技术。文章详细阐述了高级 RAII 如何解决缓存失效、并发错误、数据库一致性等七大常见编程问题，并分析了其在 C++、Rust 等语言中的实现挑战。文章还探讨了高级 RAII 对软件架构的影响，包括提高代码清晰度、增强 API 易用性、降低重构风险等，最后展望了线性类型和高级 RAII 在未来编程语言中的应用前景。
阅读更多
本文回顾了IBM在20世纪60年代如何通过设计改革塑造企业形象。IBM聘请了Eliot Noyes担任设计总监，Noyes简化了IBM的设计风格，使其更具现代感。他还召集了Charles和Ray Eames夫妇等知名设计师团队，通过展览、电影和书籍等多种形式，将计算机定位为人类理性的自然延伸，提升了公众对IBM的认知，也影响了美国社会对计算机技术的看法。
阅读更多