/https%3A%2F%2Ftf-cmsv2-smithsonianmag-media.s3.amazonaws.com%2Ffiler_public%2Fa4%2F26%2Fa426c7fb-e4cc-499d-81a3-de0eb2923e37%2Furn_cambridgeorg_id_binary-alt_20241019094932-63883-optimisedimage-png-s0003598x24001583_fig2.jpeg)
比利时一个火葬墓地出土了一具由至少八具不同时期人类骨骼拼凑而成的骨架，最早的骨骼可追溯到新石器时代晚期，距今约4445年，而头骨则属于公元三、四世纪的罗马女性。研究人员通过放射性碳测年和古代DNA测序技术确定了骨骼的来源，并推测这可能是罗马人在安葬自己死者时扰乱了旧墓葬，并用自己的头骨“补全”或替换了新石器时代骨架的头骨，也可能是他们特意拼凑了这具骨架。这种做法的目的可能是为了宣示土地所有权。
阅读更多
这篇文章介绍了GitHub上的一个名为pytudes的项目，该项目提供了一系列Python程序，用于练习和提高编程技能。
阅读更多
本文探讨了随机化在因果关系研究中的作用，并消除了两个常见误区。首先，随机化并非平衡混杂因素，因为实验研究中不存在混杂因素，只有协变量。随机化的作用在于使协变量的影响转化为可测量的误差，样本量越大，这种误差越小。其次，不应测试随机组之间基线差异的显著性，因为任何差异都是由随机性造成的。选择协变量进行调整应基于理论或先验证据，而非基线差异的显著性检验。文章最后提供了如何正确报告随机化过程的示例，强调透明和详细的描述，并建议心理学研究者学习其他学科的良好实践。
阅读更多
麻省理工学院机械工程系的研究人员开发了一种新的设计框架，用于控制超声波在微型声学超材料中的传播。该框架通过精确放置微型球体来调节超声波在三维微型超材料中的传播速度，实现波导或聚焦响应。研究人员通过实验证明了微型材料中可调谐的弹性波速，并展示了一个声学多路复用器。这项工作为超声成像或通过超声传输信息的微型设备和组件的开发铺平了道路，并推进了微型声学超材料的制造和表征能力。
阅读更多
宇宙中存在着数以亿计的恒星和行星，理论上应该存在许多外星文明，但我们却从未发现任何证据。这便是著名的费米悖论。文章探讨了一种新的解释：高级文明可能发展出一种可持续的模式，其科技与自然环境完美融合，以至于难以被我们探测到。这挑战了我们对科技发展和文明扩张的传统认知，也促使我们重新审视SETI项目以及对自身文明的理解。
阅读更多
dLine是一款命令行工具，它直接在终端显示重要数据，以日历的形式呈现。它可以监控关键日期、通过API简化事件添加，并计算各种事件类型的时间跨度。dLine专为开发者设计，无需离开终端即可简化事件管理和日程导航。它具有动态视图、静态视图和事件计算器视图，并支持多种数据管理功能，包括添加、删除、查看和清理事件。dLine还支持自定义颜色方案和用户翻译，可以与Google Calendar集成。
阅读更多
本文介绍了欧洲电网的可视化地图，其中绿色点代表电力输出，紫色点代表电力输入，三角形显示电力流向。该可视化基于pypsa-eur的研究数据，并使用优化算法模拟了欧洲电网的电力流动，旨在找到成本最低的电力生产方案。文章强调，虽然模型使用了真实的计算方法，但其基于的历史平均价格数据并非实时数据，因此结果并非完全真实。作者认为，通过将供暖和交通运输转换为电力，并确保以近零排放的方式发电，可以大幅减少发达国家的排放。此外，他还强调了智能地建设可再生能源的重要性，以确保所产生的能源能够被有效利用，而不是因为电网无法处理而被浪费。
阅读更多
这是一个简单的Jeopardy文字游戏，使用Python编写，并利用LLM（大语言模型）生成问题和答案。该游戏使用了Ollama和mistral本地部署。用户可以通过运行`poetry run python jeopardy_game.py`来启动游戏。游戏代码遵循Eclipse Public License 2.0开源协议。
阅读更多
本文介绍了CRUNCH，一个针对Scheme语言静态类型子集的新编译器。它基于CHICKEN Scheme系统，将Scheme代码编译成可移植的C99代码。CRUNCH旨在提供一个高性能、轻量级的Scheme编译器，弥补现有Scheme系统在性能和可移植性方面的不足，尤其适用于游戏、虚拟机和嵌入式系统开发。虽然CRUNCH对Scheme语言的功能有所限制，但它通过类型推断和多种优化技术，实现了高效的代码生成，并与CHICKEN Scheme系统无缝集成。
阅读更多
Diagrams是一个允许用户使用Python代码绘制云系统架构图的工具，主要用于在没有设计工具的情况下对新系统架构进行原型设计，也可用于描述或可视化现有系统架构。Diagrams支持主要的云服务提供商，如AWS、Azure、GCP、Kubernetes、阿里云和甲骨文云等，也支持本地节点、SaaS以及主要的编程框架和语言。需要注意的是，Diagrams不控制任何实际的云资源，也不生成云配置或Terraform代码，它仅仅用于绘制云系统架构图。
阅读更多
本文强调了理解AI模型提示与传统软件程序的共通之处至关重要。作者认为，将提示视为程序为编程语言和软件工程领域带来了新的机遇和挑战，并敦促这些领域开展新的研究。文章指出，聊天机器人在重复应用场景下的局限性可以通过将LLM交互嵌入到支持自动化和重用的软件系统（AI软件系统，AISW）中来克服。文中以一个具体的系统提示示例说明了如何像对待软件程序一样考虑提示的稳健性、安全性等方面。作者还探讨了如何将构建传统软件的知识和工具转移到创建稳健有效的提示上，并指出LLM的非确定性和快速发展给提示的编写、调试、部署和维护带来了挑战。最后，文章呼吁编程语言和软件工程领域关注提示研究，以构建更具表现力、有效性、效率和易用性的提示，并支持非专业开发人员利用LLM。
阅读更多
作者回顾了其二十年的博客生涯，从2004年在Sun公司鼓励员工博客的氛围下开始，到使用WordPress，再到如今迁移至自主研发的Oxide云平台。作者的博客记录了技术发展历程（DTrace、Solaris、ZFS、KVM、Manta、Triton、Hubris、Humility）、职业变迁（Sun、Joyent、Oxide），以及个人生活感悟。作者认为博客的价值在于记录和分享，并鼓励大家从内心出发进行写作。
阅读更多
Alyssa Rosenzweig在2024年X.Org开发者大会上介绍了苹果M1/M2 GPU开源驱动的最新进展。该驱动已实现OpenGL 4.6和Vulkan 1.3标准的兼容，并通过软件模拟方式克服了硬件Tessellation的限制。Rosenzweig还展示了该驱动在运行AAA游戏上的进展，通过结合DXVK、Wine、FEX-Emu以及一个运行4KB页面内核的虚拟机，成功在M1/M2 Mac上运行了Portal 2、The Witcher 3、Cyberpunk 2077等游戏。
阅读更多
2024年10月31日晚，数百人聚集在都柏林市中心的奥康奈尔街，准备参加一场在网上宣传的虚假“万圣节游行”。该虚假活动在社交媒体上发布并广泛传播，承诺从该市的北侧开始，一直到圣殿酒吧区。然而，实际上并没有这样的游行计划。数百人参加了这场不存在的活动，现在看来这是一场大规模的恶作剧。警方已要求人们安全离开该区域。
阅读更多
英伟达的研究人员开发了一种名为Meshtron的全新模型，能够以空前的规模和保真度生成高质量的3D网格。该模型采用自回归架构和滑动窗口注意力机制，通过将网格表示为一系列标记并利用Hourglass Transformer架构，有效地解决了现有方法在生成复杂3D模型时面临的效率和可扩展性问题。Meshtron生成的网格细节丰富，逼近专业艺术家水平，可控性强，支持多种控制输入，如点云、面数和创意程度等，为动画、游戏和虚拟环境等领域带来更逼真的3D资产生成。
阅读更多
美国食品药品监督管理局（FDA）提议将口服苯肾上腺素从非处方鼻塞药成分中移除。FDA审查现有数据后认为，口服苯肾上腺素对缓解鼻塞无效。尽管目前含有苯肾上腺素的药物仍可销售，但FDA正在征求公众意见，最终可能会发布最终命令，禁止其在鼻塞药中使用。FDA强调，这一提议是基于有效性而非安全性问题，并建议消费者与医生或药剂师讨论其他治疗鼻塞的方法。
阅读更多
一项新的研究表明，特斯拉汽车的致命事故率在所有汽车品牌中最高。该研究引用了美国国家公路交通安全管理局的数据，指出特斯拉的致命事故发生率高于起亚、别克、道奇和现代等品牌。尽管如此，该报告也承认事故率可能更多地反映了驾驶员行为，而非车辆设计本身。此前也有其他报告对特斯拉的安全性得出相互矛盾的结论，例如，EpicVIN的报告称特斯拉驾驶员的致命伤害率最低。
阅读更多
英国歌手莉莉·艾伦近日透露，她在OnlyFans上出售自己脚部照片的收入超过了她在Spotify上的歌曲播放收入。她表示，尽管她在Spotify上拥有近800万月活跃听众，但每月从1000名订阅她OnlyFans的用户那里获得的收入更高。艾伦每月在OnlyFans上收费10美元，这意味着她每月的收入至少为1万美元。相比之下，Spotify每条流媒体仅向艺术家支付约0.003至0.005美元。
阅读更多
日本初创公司Sakana AI研发了一种名为“通用Transformer内存”的新技术，通过特殊的“神经注意力记忆模块”（NAMM），可有效优化大型语言模型（LLM）的内存使用。NAMM像一位精明的编辑，能识别并剔除冗余信息，保留关键内容，从而将LLM的内存成本降低高达75%，同时提升性能。该技术适用于多种模型和任务，为企业应用LLM带来了巨大的成本和效率优势。
阅读更多
2024年10月19日，国际通信卫星组织（Intelsat）旗下的Intelsat 33e卫星在静止轨道上解体并失去动力，导致欧洲、非洲和亚太部分地区的客户通信服务中断。美国太空部队报告称，正在追踪与该卫星相关的约20块碎片。Intelsat正在努力将客户转移到其机队中的其他卫星或第三方运营的航天器。Intelsat 33e于2016年8月发射，原计划寿命为15年，但由于推进器问题，实际寿命缩短至约11.5年。
阅读更多
本文深入探讨了类型理论，解释了类型检查的必要性及其带来的抽象能力。文章首先阐述了类型提供的结构信息、错误检测、构建优化和程序员理解代码等方面的作用。接着，文章定义了类型，并将其与集合进行比较，解释了类型如何根据属性对数据进行分类。文章详细介绍了基本类型（any 和 never）、类型的组合（交集和并集）、参数化类型、特殊根类型（元组、对象、函数）、条件类型和类型层级。此外，文章还讨论了类型操作，包括子类型化、不相交性、属性读取、函数调用和类型参数替换，以及类型检查过程、上下文、类型注释、类型推断、反射和类型表示等内容。最后，文章简要提及了依赖类型和未来将要探讨的更高级的类型理论主题。
阅读更多
Algol-68是20世纪60年代末期设计的一种编程语言，旨在成为一种通用语言，涵盖Cobol和Lisp等语言的功能。然而，由于其过于复杂和晦涩难懂的设计，以及难以实现编译器，Algol-68最终并未获得成功。一些专家，例如Hoare和Dijkstra，批评该语言放弃了Algol-60的简洁性。尽管Algol-68在苏联等地得到了一定程度的应用，但它并未像Fortran、Cobol、Pascal和C等语言那样流行。
阅读更多
本文简要介绍了Java类文件API（JEP 484），该API提供了一种解析、生成和转换Java类文件的标准方法。文章以一个简单的示例程序为例，演示了如何使用该API生成JVM字节码，创建新的对象，并基于随机数进行分支。作者详细解释了如何使用API的各种方法和类，例如ClassDesc、MethodTypeDesc、ConstantDescs等，来构建类文件、字段、构造函数和方法。同时，文章还提到了javap工具的使用，以及JVM作为栈基虚拟机的基本原理。
阅读更多
29岁的栃木县那须町无业男子薄井信明因涉嫌持有具有杀伤力的电磁枪“线圈枪”而被警方逮捕。他曾在视频网站上发布了制作线圈枪的视频，被警方在网络巡逻中发现。经鉴定，该线圈枪能够发射实弹并具有杀伤力。嫌犯供述称线圈枪是其高中时期制作的。由于法律修订，线圈枪将于明年3月起被禁止持有，警方呼吁民众将持有的线圈枪上交至附近警署。
阅读更多
德国、法国、波兰、意大利、西班牙和英国六国外长在华沙举行会议，讨论欧洲安全挑战，并发表联合声明。声明谴责俄罗斯对乌克兰的侵略战争，指出俄罗斯的修正主义和持续侵略行为挑战了欧洲及跨大西洋地区的和平、自由与繁荣。六国决心加强团结，共同应对安全挑战，加强北约和欧盟的合作，增加安全防务支出，支持乌克兰，并对俄罗斯实施制裁。
阅读更多
苹果公司发布了关于其私有云计算 (PCC) 平台的安全研究报告，该平台旨在保护用户隐私的同时，满足苹果智能功能对计算密集型请求的需求。报告详细介绍了PCC的架构设计，并提供了安全指南、虚拟研究环境 (VRE) 和部分源代码，以供安全研究人员和其他感兴趣人士检查和验证PCC的安全性和隐私保护措施。此外，苹果还宣布将PCC纳入其安全奖励计划，为发现PCC安全或隐私漏洞的研究人员提供高额奖励。
阅读更多
