搜索技巧 核手提箱 海洋云增白 Bliss AI 搜索答案 自由职业 policy 颈挂空调 Chumby 个人电脑 极端主义 世界 PostgreSQL AI工具 DirectX 防溢 DrawingPics 儿童读物 化学 代码审查 KDE 游戏测试 多动症 超级计算机 植物学 分析化学 Three.js 大会 残疾人学校 三菱电机 更多

理解 Python 闭包的怪异之处 (utcc.utoronto.ca)

这篇文章分析了一个 Python 闭包的特殊现象:在一个循环中定义并返回闭包函数,如果立即调用这些闭包,返回值会随着循环递增;但如果先收集所有闭包,最后再调用,则返回值都将是循环结束时的最终值。这是因为所有闭包都共享同一个外部变量,而闭包捕获的是变量的引用而非值。文章进一步解释了“立即调用”和“稍后调用”的区别,以及这种区别导致的结果差异。

C语言内联汇编实现Hello World (jameshfisher.com)

这篇文章介绍了如何在C语言中使用内联汇编来实现“Hello World”程序。不同于传统的调用printf函数,文章采用了直接调用系统调用的方式,通过寄存器传递参数并执行“syscall”指令来实现。文章还解释了如何在内联汇编中使用寄存器和指令,并提供了一个示例程序。

TinyLetter:回顾最简陋的Newsletter平台 (www.theverge.com)

TinyLetter,一个以简洁著称的Newsletter平台,于2024年2月29日正式关闭。TinyLetter曾以其简洁的界面和专注于个人写作的特点,在2012年至2016年间,为互联网上一些最引人入胜的写作提供了平台。文章回顾了TinyLetter的兴起和衰落,以及它如何捕捉到互联网文化中一个独特而短暂的时刻。文章还探讨了TinyLetter被Mailchimp收购,以及后者又被Intuit收购后的命运,以及Substack等平台的兴起如何改变了Newsletter领域。

模拟是一种反模式 (www.amazingcto.com)

这篇文章批判了软件测试中过度使用模拟(Mocking)的现象。作者认为,虽然模拟在某些情况下可以派上用场,但过度依赖模拟会导致测试覆盖率虚高,无法真正测试代码在真实环境中的运行情况,从而产生虚假的安全感。作者建议优先考虑其他测试方法,例如编写更多单元测试、简化IO操作、分离逻辑和IO、以及进行端到端集成测试。只有在其他方法都不可行的情况下,才应该考虑使用模拟。

AMD 首席执行官苏姿丰谈解决难题 (stratechery.com)

本文是对 AMD 首席执行官苏姿丰的采访。苏姿丰回顾了她在德州仪器、IBM 和飞思卡尔的职业生涯,并分享了她在这些公司学到的宝贵经验。她详细阐述了 AMD 在她领导下取得的显著成就,包括在 CPU 和 GPU 领域的技术突破,以及与索尼和微软等游戏机制造商的合作关系。苏姿丰还谈到了人工智能对行业的影响,以及 AMD 如何应对人工智能计算需求的激增。她强调了开放性和模块化设计的重要性,并对 AMD 在人工智能领域的未来充满信心。

GitHub - bazelbuild/starlark:Starlark 语言 (github.com)

Starlark 是一种类似 Python 的配置语言,用于 Bazel 构建系统等项目。它是一种动态类型语言,具有高阶数据类型、一等函数和垃圾回收机制。Starlark 旨在简单、安全、并行执行,并提供熟悉的语法。Starlark 解释器通常嵌入到更大的应用程序中,例如 Bazel,它使用 Starlark 来描述构建目标和扩展其功能。

我如何在短短15年内学会 Haskell (duckrabbit.tech)

本文讲述了作者学习 Haskell 编程语言的漫长历程。作者从大学时期开始接触 Haskell,中间经历了学习 Elm、使用 Shake 等 Haskell 库的阶段,最终在工作中找到了使用 Haskell 编写实用程序的机会,并成功完成了一个时间跟踪工具。

美国政府逮捕远程医疗公司高管,指控其过度开具阿得拉处方 (reason.com)

美国司法部逮捕了远程医疗公司Done Global的两名高管,指控其在新冠疫情期间过度开具阿得拉等处方兴奋剂,涉案金额高达1亿美元。Done公司被指控利用疫情期间放宽的远程医疗政策,在没有进行充分评估的情况下,为患者开具了大量阿得拉处方。讽刺的是,在Done公司被指控过度开具阿得拉处方的同时,美国却出现了阿得拉短缺的现象。

Answer.AI:政策制定者需要了解的关于人工智能的知识(以及如果他们不了解会发生什么) (www.answer.ai)

本文阐述了人工智能模型的训练和使用方式,以及如何制定有效的监管政策。文章重点讨论了加州SB 1047法案,该法案旨在规范人工智能,但由于缺乏对技术细节的理解,可能阻碍开源人工智能的发展,并最终损害人工智能安全。作者建议将监管重点从发布模型转向部署系统,并强调开源人工智能在安全和创新方面的关键作用。文章还讨论了人工智能模型的双重用途,以及如何平衡安全与创新的关系。

Meta迫于压力暂停欧盟AI训练计划 (www.theregister.com)

迫于欧洲监管机构的压力,Meta已同意暂停使用欧盟用户的Facebook和Instagram帖子来训练其AI模型的计划。这一举措意味着Meta AI在欧盟地区的推出将被推迟。此前,Meta曾表示将使用欧洲用户的公开帖子和评论来训练其模型,并承诺不会使用任何18岁以下用户的任何内容。但这一计划遭到了欧洲多个数据保护机构的投诉。Meta对此表示失望,称这将导致“人工智能的益处推迟到欧洲人民手中”。

谎言、该死的谎言和数据科学 (beabytes.com)

本文探讨了数据科学领域存在的潜在危机,类似于心理学研究中出现的可重复性危机。作者指出,数据科学家对统计方法的过度依赖和对机器学习模型的盲目应用导致了许多项目的失败。文章强调了数据科学家的责任,包括进行探索性数据分析、理解模型假设、使用可解释的人工智能方法以及遵循软件工程最佳实践。作者认为,只有建立科学严谨的实践,数据科学才能真正发挥其价值。

程序员的大脑:每个程序员都需要了解的认知知识 (yoan-thirion.gitbook.io)

《程序员的大脑》一书介绍了如何利用认知科学的原理提高学习和思考代码的方式。书中阐述了大脑在处理代码时的认知过程,包括短期记忆、长期记忆和工作记忆,以及如何通过组块、闪卡和精细化练习等技巧来优化记忆和学习效率。此外,还介绍了如何通过代码阅读技巧、变量角色理解、代码异味识别以及认知负荷管理等方法,提升代码理解和解决问题的能力。最后,探讨了如何通过有效的代码设计、团队协作和新人 onboarding 流程来构建更易于理解和维护的代码库。

D-Link发布安全公告修复多款路由器漏洞 (supportannouncement.us.dlink.com)

D-Link 发布安全公告,修复了 EAGLE PRO AI 系列和 AQUILA PRO AI 系列路由器中的多个漏洞,这些漏洞可能导致未经身份验证的攻击者读取任意系统文件或访问管理功能。D-Link 已经发布了修复这些漏洞的更新,并建议用户尽快安装更新。

城市空间秩序:街道网络的方向性、结构和熵 (appliednetsci.springeropen.com)

本文研究了全球100个城市的街道网络方向、结构和熵。研究发现,美国和加拿大城市的街道网络方向熵最低,其次是欧洲城市。研究还发现,街道网络方向熵与街道回路率、节点度和死胡同比例之间存在显著的相关性。作者认为,这些发现有助于更好地理解城市形态,并可以为城市规划者提供参考。

程序崩溃方程的暴政 (www.moderndescartes.com)

文章探讨了软件工程中程序崩溃现象的影响。作者指出,随着软件规模扩大,原本轻微的程序崩溃会导致运行时间呈指数级增长,这种现象被称为“程序崩溃方程”。文章分析了程序崩溃在持续集成、大型语言模型训练和开发环境中的表现,并提出了相应的解决方案,如测试级别重试、设置检查点以及选择稳定的组件等。作者强调,解决程序崩溃问题对于提升软件开发效率至关重要。

聊天机器人失去创造力:语言模型去偏见的代价 (arxiv.org)

大型语言模型(LLM)虽然革新了自然语言处理领域,但也存在偏见和生成有害内容的风险。文章研究发现,采用强化学习人类反馈(RLHF)等校准技术虽然能减少这些问题,但也会降低模型的创造力,即语法和语义多样性。文章通过对 Llama-2 系列模型进行的实验,揭示了校准后的模型在标记预测中熵值较低,嵌入空间中形成独特的聚类,并倾向于“吸引子状态”,表明输出多样性有限。

Meta如何维护大规模AI算力 (engineering.fb.com)

为了满足生成式AI模型训练所需的巨大算力,Meta对其GPU训练集群进行了大规模扩容和优化。文章详细介绍了Meta维护这些集群的挑战和解决方案,包括如何确保容量保证、减少中断、安全地进行软件和固件更新等。Meta采用了一种名为“维护列车”的技术,将一小部分服务器从生产环境中移除进行维护和升级,以保证集群的稳定性和可用性。此外,Meta还开发了OpsPlanner工作编排器,用于安全地协调和执行各种维护操作,确保集群的一致性和性能。

Banana Pi M7 测评:小巧强劲的ARM开发板 (taoofmac.com)

Banana Pi M7是一款小巧但功能强大的RK3588开发板,拥有4个A76/2.4GHz核心和4个A55/1.8GHz核心、Mali-G610 GPU、NPU、NVMe插槽、双2.5GbE端口、WiFi 6、HDMI 2.1和DisplayPort 1.4等丰富接口。文章对其进行了详细评测,包括硬件规格、系统支持、基准测试、散热和功耗等方面,认为其性能出色,是Raspberry Pi 5的有力竞争者。

《城市:天际线2》找到解决高租金的方法:摆脱房东 (www.wired.com)

模拟城市建造游戏《城市:天际线2》的开发商 Colossal Order 近期移除游戏中的房东机制,以此解决玩家长期抱怨的游戏内高租金问题。此次更新后,建筑维护费用将由所有租户平均分摊,租金也将根据家庭收入计算,而非固定值。Colossal Order 希望通过这一改变,使游戏更贴近现实,并为玩家提供更平衡的游戏体验。

我们是否可以信任人工智能?——来自Adam Unikowsky的观点(二) (adamunikowsky.substack.com)

本文作者Adam Unikowsky认为,人工智能Claude已经具备了像最高法院法官一样审理复杂案件的能力。作者通过将最高法院本学期已审结案件的辩护状输入Claude,并对其进行提问,发现Claude不仅能够准确地预测案件结果,还能像法律助手一样提供深刻的见解、草拟司法意见书、发现专家证词中的方法错误,甚至提出新颖的法律标准。作者认为,与人类相比,Claude在效率和准确性方面都更胜一筹,并且随着人工智能技术的不断发展,其法律能力还将进一步提高。

2024年上海SNEC光伏展上的商用钙钛矿太阳能组件 (www.pv-magazine.com)

中国钙钛矿公司Utmo Light在本周上海举行的SNEC光伏展上展示了其首款商用钙钛矿太阳能组件。该组件型号为UL-M12-G1,尺寸为1200毫米x600毫米,提供110瓦到130瓦四种功率等级。Utmo Light总裁余震睿表示,新型钙钛矿组件的首要目标将是建筑一体化光伏(BIPV)应用。与晶体硅组件不同的是,半透明的钙钛矿电池板可以染成任何颜色。该公司正在建设一条年产能1吉瓦的新生产线,预计今年将在中国无锡建成。

nsss:小型libc的安全NSS实现 (skarnet.org)

nsss是一个用于小型libc的安全NSS实现,它提供对用户/组/shadow数据库的可配置访问。与glibc中使用的名称服务交换(NSS)不同,nsss通过Unix域套接字与守护程序通信来实现类似的功能,从而避免了动态模块加载和复杂决策引擎的开销。

流行文化已成寡头垄断 (www.experimental-history.com)

本文分析了电影、电视、音乐、书籍和电子游戏等流行文化领域出现的寡头垄断现象,即少数超级明星和系列作品占据了越来越大的市场份额。作者认为,造成这种现象的原因包括制作方的入侵、整合和创新,以及消费者在选择过剩时的从众心理。文章最后呼吁读者积极探索小众文化,摆脱对熟悉事物的依赖,培养独立思考的能力。

Linux 6.10 引入全新 DRM 恐慌处理机制:DRM Panic "蓝屏死机" (www.phoronix.com)

Linux 6.10 版本引入了一种全新的 DRM 恐慌处理机制,能够在内核崩溃时显示类似“蓝屏死机”的信息。该功能对于那些没有 VT/FBCON 支持的内核构建尤其重要,因为它提供了一种查看内核崩溃信息的途径。目前,DRM Panic 代码已经合并到主线,并为 SimpleDRM、MGAG200、IMX 和 AST 驱动程序提供了支持,未来将扩展到更多驱动程序。

漫游癖 (sophiefuji.com)

这篇文章探讨了作者对旅行的思考。作者自认为是一个漫游者,热衷于在世界各地旅行居住,并记录下了自己这些年的旅行数据。作者认为旅行是一种分心,会让人沉迷于新奇事物而变得难以忍受,并且旅行的预期比实际体验更令人愉快。作者主张在旅行中保持空闲状态,接受低效,感受当下,而不是被行程安排和过多研究束缚。

华硕警告:7款路由器存在严重远程身份验证绕过漏洞 (www.bleepingcomputer.com)

华硕发布安全更新,修复了7款路由器型号中存在的严重漏洞 (CVE-2024-3080),该漏洞允许攻击者绕过身份验证并远程控制设备。受影响型号包括:XT8、XT8_V2、RT-AX88U、RT-AX58U、RT-AX57、RT-AC86U 和 RT-AC68U。华硕建议用户尽快更新固件版本,并采取其他安全措施,如使用强密码、禁用远程访问等。

SQLite数据库浏览器 (github.com)

SQLite Studio是一款基于Rust语言开发的SQLite数据库浏览器,提供预编译的Linux、Windows和MacOS版本。用户可以通过Nix构建源代码或下载预编译版本使用。该项目采用MIT许可证,欢迎开发者贡献代码。

麦当劳暂停测试AI点餐 (www.theverge.com)

麦当劳宣布将暂停与IBM合作的AI点餐测试项目,该项目原计划利用AI聊天机器人在得来速车道为顾客点餐。尽管测试结果表明语音点餐将成为未来趋势,但麦当劳并未透露停止与IBM合作的原因。该公司可能考虑与谷歌合作开发类似技术,谷歌此前已与温蒂汉堡合作进行过AI点餐测试。

NumPy 2.0.0 发布说明 (numpy.org)

NumPy 2.0.0是自2006年以来的第一个主要版本,带来了大量新功能和改进,同时也包含一些重大改变。其中包括新的可变长度字符串数据类型StringDType、对float32和longdouble的支持、性能提升、API改进以及文档更新等。需要注意的是, NumPy 2.0包含一些向后不兼容的更改,升级前请仔细阅读发布说明和迁移指南。

如何从上下文无关文法枚举树 (arxiv.org)

本文介绍了一种简单算法,用于枚举上下文无关文法 (CFG) 生成的树。该算法使用配对函数在 CFG 推导和自然数之间形成双射,以便可以从计数中唯一地解码树。这提供了一种对自然逻辑语言中的表达式进行编号的通用方法,并且有可能扩展到其他组合问题。该算法还可以推广到更通用的推导形式,包括树上的 Lempel-Ziv 编码的类似物。

1 2 3 4 6 8 9 10 192 193