Haskell 是一种深奥难懂的编程语言,常被认为是数学博士的专属语言。它以其简洁的语法和强大的功能著称,但也因其学习曲线陡峭而令人生畏。尽管 Haskell 在工业界应用有限,但其函数式编程范式对其他语言产生了深远影响,推动了编程语言的解放。Haskell 的独特魅力吸引了一批忠实的追随者,他们将其视为一种智力上的追求,而非实用工具。
本文评估了类地系外行星上硅制太阳能电池板作为一种潜在技术特征的可探测性。硅基光伏电池在紫外-可见光和近红外范围内具有高反射率,这属于像宜居世界天文台(HWO)这样的太空旗舰任务概念的波长范围。假设仅使用太阳能来提供2022年人类的能源需求,土地覆盖率约为2.4%,并根据各种增长率情景预测未来的能源需求,我们用一个8米HWO式望远镜评估了可探测性。假设是最有利的观测方向,并专注于紫外-可见光(0.34 - 0.52 微米)中的强吸收边缘,我们发现即使太阳能电池板覆盖了未来地球约23%的土地覆盖面积,也需要数百小时的观测时间才能在10秒差距处围绕类太阳恒星运行的类地行星上达到5的信噪比。
本文探讨了“荒野”的概念,批判了传统的将荒野视为与人类分离的自然状态的观点。作者认为,这种观点源于欧洲殖民主义对北美原住民文化和土地的误解和歪曲,导致了对原住民的不公正待遇。作者主张重新定义荒野,将其理解为未被人类驯化、污染和支配的自然状态,并强调在保护荒野的同时也要考虑原住民的权利和文化。作者以智利托普金斯夫妇捐赠土地建立国家公园为例,说明了荒野保护的复杂性和挑战。
美国拜登政府将动用《芯片法案》资金,向Polar Semiconductor提供高达1.2亿美元的资金,用于在未来两年内将其传感器和电源芯片的产能翻倍,并升级其制造套件,同时增加160个工作岗位。这笔资金还将用于支持一项私募股权投资,将Polar从一家多数外国拥有的内部制造商转变为一家多数美国拥有的商业代工厂,从而扩大美国芯片设计人员在国内创新和生产技术的机会。
Linux内核开发者最近开始为所有针对稳定内核的错误修复提供CVE,这引起了争议。第三方维护者长期以来一直要求内核标记所有安全修复,以便他们可以将这些修复移植到自己的内核中。然而,可靠地识别错误修复是否为安全修复非常困难。第三方希望内核开发者承担这项工作,但开发者没有义务为第三方免费工作。因此,为所有错误修复提供CVE可以被视为内核开发者的一种应对策略,将责任转移给了第三方。
本文揭露了美国国家公路交通安全管理局(NHTSA)在2017年发布的一份关于特斯拉Autopilot安全性的报告存在严重缺陷。该报告声称Autopilot可以将事故率降低40%,但这一结论是基于有缺陷的数据和方法得出的。一家名为Quality Control Systems(QCS)的小型研究咨询公司在经过两年的法律斗争后获得了NHTSA的原始数据,并发现其分析存在严重错误,导致Autopilot看起来比实际情况更安全。QCS的研究表明,对于那些拥有完整数据的车辆,启用Autopilot后,事故率实际上增加了59%。
本文介绍了作者使用 IndexedDB 构建向量数据库的实验,该数据库名为“Vector IDB”,旨在替代 Pinecone 等向量搜索服务。作者详细介绍了 Vector IDB 的 API 和使用方法,并指出该数据库目前缺乏索引优化、预过滤和后过滤等功能。作者希望通过这个项目,探索在浏览器中直接存储和查询 Open AI 等 API 生成的嵌入向量,而无需依赖托管解决方案。
约翰霍普金斯大学一项新的研究表明,聊天机器人提供的信息有限,强化了用户的意识形态,导致在争议性问题上的思维更加极化。研究发现,聊天机器人提供的答案往往反映了提问者的偏见或倾向,用户实际上是在获取他们想听到的答案,这使得人们更容易陷入“回音室”效应,加剧社会分化。
美国食品药品监督管理局(FDA)警告家庭测试用户、护理人员和医疗保健提供者不要使用Cue Health的COVID-19家庭和非处方(OTC)检测及其用于患者护理环境的COVID-19检测,因为假结果的风险增加。FDA在检查中发现该公司对这些检测进行了更改,这些更改降低了检测SARS-CoV-2病毒的可靠性,因此发出警告。FDA建议用户停止使用该检测,并与医疗保健提供者讨论检测结果。
Aider是一个终端AI编程助手,它与擅长编辑代码的LLMs配合使用效果最佳。GPT-4o在Aider的代码编辑排行榜上以72.9%的得分位居榜首,在重构排行榜上以62.9%的得分位居第二,优于GPT-4 Turbo模型。GPT-4o能够使用Aider既定的“diff”编辑格式,这种格式也被其他模型使用,如Opus和原始GPT-4模型。
文章分析了openAI最新发布的GPT-4-turbo模型的特点。作者认为,新模型着重于多模态、性能和情商方面的提升。文章重点探讨了多模态技术的进步,指出直接在多模态数据上训练模型的意义重大。作者还强调了新模型在情商方面的进步,认为这将改善openAI产品的用户体验。最后,作者赞扬了openAI在产品发布方面的出色表现,认为他们真实地展示了新模型的能力和局限性。
本文并非新款 iPad Pro 的评测,而是作者对 iPadOS 多年来使用体验的吐槽。作者认为,尽管 iPad Pro 硬件强大,但 iPadOS 在很多基础功能上仍然存在缺陷,例如缺少计算器、文本编辑器、文件管理器等应用程序,音频系统限制多音频流播放和录制,多任务处理功能混乱,Spotlight 搜索功能缓慢且不一致,后台进程和系统级工具的缺乏等等。作者呼吁苹果公司重视 iPadOS 的发展,使其能够真正发挥出 iPad Pro 的硬件潜力,而不是仅仅停留在“比 iPhone 大一点的手机”的阶段。
国际货币基金组织总裁Kristalina Georgieva表示,人工智能正在像“海啸”一样冲击全球劳动力市场。人工智能很可能在未来两年内影响发达经济体60%的工作岗位和全球40%的工作岗位。Georgieva强调,世界经济近年来更容易受到冲击,并指出全球疫情和乌克兰战争都是例子。尽管她预计会有更多冲击,特别是由于气候危机,但经济仍然具有显著的弹性。
这篇论文介绍了ZenDB,一个用于分析文档集合的系统。ZenDB利用大型语言模型和文档的语义结构来回答SQL查询。它可以高效地从模板化文档中提取语义层次结构,并使用一种新的查询引擎来利用这些结构进行准确且经济高效的查询执行。实验结果表明,与基于LLM的基线相比,ZenDB可以节省高达30%的成本,同时保持或提高准确性,并且在精度和召回率方面分别超过基于RAG的基线高达61%和80%。
在2024年国际超级计算大会上,英特尔、阿贡国家实验室和惠普企业宣布,Aurora超级计算机突破了百亿亿次计算障碍,成为人工智能领域排名最高的超级计算机,在高性能计算和人工智能融合方面处于领先地位。Aurora超级计算机速度达到1.012 exaflops,是世界上速度最快的专用于开放科学的人工智能系统,实现了10.6 AI exaflops。
本文介绍了德国的摄影法规,涵盖了拍摄人物、建筑物和车辆的法律规定。未经许可,不得拍摄侵犯他人隐私或展示其无助状态的照片,例如在家中、浴室或事故受害者。分享照片也需要获得许可,除非照片中的人物无法辨认或属于公共事件的一部分。在公共场所,可以拍摄、分享或出售建筑物和车辆的照片,但在私人场所需要获得许可。
本文作者表达了对Makefiles的厌倦,列举了Makefile的几大问题:Makefile复用困难、编译标志更改不会导致目标重建、重命名头文件后增量构建失败以及基于时间戳判断重建目标不可靠。作者最终决定学习Bazel,尝试新的构建工具。
Unitree G1是一款由AI驱动的通用人形机器人,具有超大关节运动空间和23至43个关节电机,能够模仿人类动作。G1配备了力控灵巧手,可模拟人手实现精确操作,并搭载了Unitree Robot Unified Large Model (UnifoLM),为智能机器人领域开创新纪元。
这是一篇关于逆向工程 F-15 SE2 游戏的博客文章。作者详细介绍了如何使用 Ghidra 等工具对游戏进行反汇编和反编译,以及在处理混合语言链接、远调用等问题时遇到的挑战。作者还分享了一些关于编译器和 16 位编程的见解。
本文分析了英特尔最新移动处理器 Meteor Lake 的 E 核架构 Crestmont,与前代 Gracemont 相比,Crestmont 在分支预测、重命名器、浮点除法器等方面进行了改进,但整体架构改动较小,属于保守升级。作者认为,Meteor Lake 采用了全新的chiplet设计,并引入了新的 NPU 和 iGPU 架构,这些变化给工程团队带来了巨大挑战,保守的 CPU 架构升级是合理的。文章最后指出,Crestmont 仍未支持 AVX-512,L3 性能欠佳,DTLB 容量和 L2 TLB 延迟也存在不足,期待未来 Intel 能充分利用其工程实力,在 Crestmont 的继任者上做出更大的改进。
文章介绍了游戏开发者Matt Sephton发现的早于软银1997年表情符号集和1995年Pocket Bell寻呼机的表情符号设计。最早的表情符号集发现于1988年10月发布的夏普PA-8500 PDA设备中,包含100多个表情符号。随后在1990年8月,NEC发布了他们的PI-ET1 PDA,包含130多个表情符号。这些发现修正了表情符号的历史,表明早在手机之前,PDA设备就已经开始使用表情符号。
这篇播客文章讨论了公司如何可能通过智能设备麦克风监听对话以定位广告。文章探讨了目前已知的相关信息,并提出了许多问题。文章还涵盖了斯坦福大学的一项新研究,该研究导致一个最重要的AI数据集下线,以及Facebook上大量AI生成艺术品被盗的事件。
日本的研究团队发布了名为“Fugaku-LLM”的大型语言模型,该模型利用日本超级计算机“富岳”进行训练,具有更强的日语能力。研究团队开发了分布式训练方法,包括将深度学习框架Megatron-DeepSpeed移植到“富岳”上,以优化Transformer在“富岳”上的性能。Fugaku-LLM拥有130亿个参数,比日本广泛开发的70亿参数模型更大,在日语MT-Bench上取得了平均5.5分的成绩,是日本使用原始数据训练的开放模型中性能最高的。Fugaku-LLM的源代码可在GitHub上获得,模型可在Hugging Face上获得,可用于研究和商业用途。
本文提供了一份开源视频游戏和商业视频游戏的开源重制版列表,涵盖了动作、冒险、商业、城市建设、第一人称射击、平台跳跃、解谜、竞速、即时战略、Roguelike、角色扮演、沙盒、弹幕射击、体育、第三人称射击、塔防和回合制策略等多种游戏类型,并提供了每个游戏的源代码链接。
gezgin是一款使用C++和raylib编写的简单路径查找可视化应用程序,可以直观地探索伊斯坦布尔的街道。它利用OpenStreetMap数据、Overpass API和Dijkstra算法进行寻路,并以60 FPS的速度渲染超过30万个节点和道路。该项目还涉及地理空间索引、标准化和缩放,并使用邻接表作为数据结构。
美国国家公路交通安全管理局(NHTSA)正在调查亚马逊旗下自动驾驶出租车公司Zoox,原因是该公司有两辆自动驾驶汽车突然刹车,导致后方摩托车追尾。这两起事故都发生在白天,事故车辆为配备自动驾驶技术的丰田汉兰达SUV,事发时处于自动驾驶模式。NHTSA将调查Zoox自动驾驶系统在事故中的表现,以及其在人行横道附近与行人和其他弱势道路使用者互动时的行为。Zoox表示,公司致力于与NHTSA合作,回答其问题。
本文介绍了建筑师和设计理论家克里斯托弗·亚历山大提出的整体性的十五个基本属性,包括尺度级别、强中心、厚边界、交替重复、正空间、良好形状、局部对称、深度互锁和模糊性、对比、梯度、粗糙度、回声、空隙、简单和内在的平静以及不可分离性。这些属性解释了物体和建筑物如何通过其组成元素的排列和相互作用来实现整体性。
接受基因改造猪肾移植手术的第一人Richard Slayman去世,享年62岁。Slayman在两个月前于波士顿的麻省总医院接受了移植手术,以治疗他的晚期肾病。医院声明表示,没有迹象表明他的死亡是移植手术的结果。移植外科医生曾表示,他希望移植器官至少能发挥作用两年。Slayman的家人感谢了医生的努力,并表示Slayman希望通过参与这项手术,为成千上万需要器官移植的患者带来希望。