数学家与选择任务

2024-05-19

本文比较了三组人解决“沃森选择任务”的表现:数学本科生、数学教职工和历史本科生(代表“一般人群”)。该任务是一个看似简单的逻辑问题。结果令人惊讶:只有不到三分之一的学生和不到一半的教职工给出了正确答案。此外,数学家似乎犯的错误与文献中最常见的错误不同。文章讨论了这些结果对我们理解数学思维的意义,并参考了错误检查的作用。

阅读更多

Common Lisp 中常见的数据结构

2024-05-19

本文介绍了 Common Lisp 中三种常见数据结构的实现:链表、可增长向量和哈希表。作者首先假设读者具备 Common Lisp 和 Big-O 符号的基本知识,然后逐步讲解了每种数据结构的构建过程,包括节点定义、添加元素、删除元素和遍历等操作。作者还讨论了每种数据结构的优缺点,以及在实际应用中的注意事项。

阅读更多
未分类

所有 Linux 厂商内核都不安全?一项新的研究说是的,但有修复方法

2024-05-19
所有 Linux 厂商内核都不安全?一项新的研究说是的,但有修复方法

CIQ 的一份新白皮书指出,Linux 厂商内核普遍存在安全漏洞,原因在于回溯修复的工程流程存在缺陷。虽然这可能会让一些人感到震惊,但这在 Linux 社区中是一个公开的秘密。Linux 稳定内核维护者、内核安全团队的杰出成员 Greg Kroah-Hartman 最近表示:“为了安全,你应该始终使用最新的长期稳定内核。” 这里面的关键词是“最新”。仅仅使用 LTS 是不够的。你必须使用最新的版本才能尽可能地安全。不幸的是,几乎没有人这样做。然而,正如谷歌 Linux 内核工程师 Kees Cook 解释的那样:“那么,供应商应该怎么做?答案很简单:如果痛苦:不断更新到最新的内核版本,无论是主要版本还是稳定版本。”

阅读更多
未分类 内核安全

如何退出 Vim

2024-05-19
如何退出 Vim

这篇文章介绍了如何退出 Vim 编辑器。文章详细解释了 Vim 的不同模式以及如何从这些模式中退出,包括命令模式、插入模式和可视模式。文章还提供了一些实用的技巧和快捷键,帮助用户快速有效地退出 Vim。

阅读更多
169
未分类 退出

Sophgo SG2000 RISC-V SoC (Milk-V Duo S SBC) 上的 Apache NuttX RTOS

2024-05-19
Sophgo SG2000 RISC-V SoC (Milk-V Duo S SBC) 上的 Apache NuttX RTOS

本文介绍了如何在 Sophgo SG2000 RISC-V SoC (Milk-V Duo S SBC) 上运行 Apache NuttX RTOS。作者首先介绍了 SG2000 SoC 的硬件架构和启动过程,然后详细讲解了如何修改 NuttX 内核以适配 SG2000,包括内存映射、UART 驱动、中断控制器等。最终,Milk-V Duo S 成功启动到 NuttX Shell,展示了 NuttX 在 SG2000 上的良好运行状态。

阅读更多

谋杀民谣的哲学

2024-05-19
谋杀民谣的哲学

本文探讨了谋杀民谣的音乐和歌詞之间的矛盾关系,作者认为这种音乐通常欢快,而歌词却描述了可怕的谋杀,这给听众带来了情感和认知上的不和谐。作者引用了一些研究,表明歌曲的音乐对听众的情绪影响更大,并提出了三种解决这种矛盾的方法:忽略音乐、忽略歌词或找到一种方式来理解这种紧张关系。作者还探讨了这种矛盾对听众产生的伦理影响,特别是当民谣基于真实事件,并可能以不公平的方式描绘受害者时。

阅读更多
未分类

Petosemtamab获FDA突破性疗法认定用于治疗复发或转移性头颈部鳞状细胞癌

2024-05-19
Petosemtamab获FDA突破性疗法认定用于治疗复发或转移性头颈部鳞状细胞癌

美国FDA授予双特异性抗体petosemtamab突破性疗法认定,用于治疗经铂类化疗和PD-L1/PD-1抑制剂治疗后疾病进展的复发或转移性头颈部鳞状细胞癌患者。这一决定基于正在进行的MCLA-158-CL01 1/2期试验的数据,该试验显示petosemtamab在包括复发或转移性头颈部鳞状细胞癌在内的晚期实体瘤中具有良好的疗效和可控的安全性。

阅读更多

是否存在一个正则表达式可以检测有效的正则表达式?

2024-05-19
是否存在一个正则表达式可以检测有效的正则表达式?

这篇文章探讨了是否可以使用正则表达式来检测有效的正则表达式。由于正则表达式本身不支持递归,因此无法使用标准正则表达式来匹配所有有效的正则表达式。文章中提出了几种方法,包括使用递归正则表达式、解析器以及利用编程语言的异常处理机制来验证正则表达式的有效性。

阅读更多
未分类

Go 浏览器包

2024-05-18

Go 浏览器包是一个简单易用的软件包,允许开发者识别向应用程序发出请求的浏览器、设备、平台或机器人。该软件包是独立的,不依赖外部依赖项,并且可以轻松集成到应用程序中。它不会给应用程序增加开销,并且设计得快速高效。该软件包提供了高度精确的基于正则表达式的匹配器,可以识别各种浏览器、设备、平台和机器人。该软件包会定期更新,以确保它与最新的浏览器、设备、平台和机器人信息保持同步。

阅读更多
未分类 用户代理

论英国的忧郁

2024-05-18
论英国的忧郁

本文探讨了忧郁的历史及其在英国的特殊表现形式。文章从古希腊时期对忧郁的理解入手,进而追溯了忧郁在英国的发展脉络,并将其与帝国和资本主义的兴起联系起来。作者引用了罗伯特·伯顿的著作《忧郁的解剖》,探讨了伯顿对英国人性格的分析,以及他对荷兰人勤劳品质的赞赏。作者还分析了托马斯·布莱克的一幅静物画,将其解读为英国资本主义的忧郁寓言。最后,文章探讨了忧郁与情感理论、种族资本主义之间的关系,并将忧郁与怀旧进行了比较,突出了忧郁的政治力量。

阅读更多
未分类 忧郁 资本主义

OpenAI 创建了一个团队来控制“超级智能”人工智能,但后来却任其衰落

2024-05-18
OpenAI 创建了一个团队来控制“超级智能”人工智能,但后来却任其衰落

OpenAI 成立了一个名为“超级对齐”的团队,旨在解决控制超级智能 AI 的核心技术挑战。然而,该团队负责人 Jan Leike 和 OpenAI 联合创始人 Ilya Sutskever 于本周辞职,原因是公司未能提供承诺的计算资源,并且安全文化和流程被产品发布所掩盖。尽管 OpenAI 首席执行官 Sam Altman 表示他们致力于解决这些问题,但“超级对齐”团队已被解散,相关工作将由分散在公司各部门的研究人员承担。

阅读更多
未分类 超级智能

残疾人现代主义

2024-05-18
残疾人现代主义

文章探讨了20世纪30年代美国现代主义建筑在残疾人学校设计中的应用。作者认为,尽管现代主义建筑常被批评忽视残疾人的需求,但在这一时期,一些建筑师和教育家利用现代主义的社会潜力,创造出更能满足残疾儿童需求的设计,例如洛杉矶的华盛顿大道矫形学校和丹佛的查尔斯·A·波切尔残疾儿童学校。这些学校的设计注重自然光线、通风、无障碍设施,并考虑了学生的实际生活体验。文章还介绍了WPA(工程进度管理局)在为残疾儿童改善教育体验方面所做的贡献,包括建造学校、提供特殊教育课程、制作和分发适合不同学习方式的教材等。

阅读更多

在apt-get升级过程中启动矮人要塞

2024-05-18
在apt-get升级过程中启动矮人要塞

这篇文章讨论了在Ubuntu 17.04机器上运行apt-get upgrade时,有时会自动启动Dwarf Fortress游戏的问题。 作者解释说,这可能是因为Dwarf Fortress的可执行文件名为df,与系统工具df(用于显示磁盘空间使用情况)的名称相同,从而导致冲突。当脚本试图检查是否有足够的可用空间来解压存档时,它可能会启动Dwarf Fortress而不是系统工具df。

阅读更多

“史无前例”的谷歌云事件抹去了客户账户及其备份

2024-05-18
“史无前例”的谷歌云事件抹去了客户账户及其备份

澳大利亚养老基金UniSuper的谷歌云账户被意外删除,包括存储在该服务上的所有备份。尽管UniSuper在其他供应商处有一些备份,并能够恢复其数据,但此次事件导致了长达两周的停机时间。谷歌云首席执行官托马斯·库里安确认,此次中断是由一系列前所未有的事件引起的,这些事件导致UniSuper的私有云订阅被删除,并表示已采取措施确保此类事件不再发生。

阅读更多
未分类 数据丢失

家具可以成为一种成熟的模糊艺术形式

2024-05-18
家具可以成为一种成熟的模糊艺术形式

文章探讨了家具作为一种艺术形式的模糊性,它既具有实用功能,又能表达思想和情感。文章追溯了家具史,从早期文明的象征性家具到现代主义的功能主义,再到超现实主义者对家具神话般的诠释。作者还分析了当代设计师如何挑战艺术与设计的界限,创作出既实用又发人深省的家具作品。文章认为,最成功的家具作品能够超越功能性,与身体产生对话,并引发观者的思考和情感共鸣。

阅读更多
66
未分类

立法者批评八家汽车制造商分享联网汽车数据

2024-05-18
立法者批评八家汽车制造商分享联网汽车数据

八家汽车制造商因在没有法院命令或搜查令的情况下向警方提供车辆位置数据而受到立法者的批评。这些公司声称,他们只在收到传票、紧急情况或征得客户同意的情况下才会分享数据。然而,参议员Ron Wyden和Ed Markey对这种做法表示担忧,并致函联邦贸易委员会,敦促其展开调查。他们认为,汽车制造商违反了十年前签署的《消费者隐私保护原则》,该原则规定汽车制造商只有在持有法院签发的搜查令或命令的情况下才能提供数据。

阅读更多

一次修复一个画框,重塑国家美术馆

2024-05-18
一次修复一个画框,重塑国家美术馆

本文介绍了伦敦国家美术馆的装裱主管Peter Schade如何通过修复画框来改变人们对艺术品的观感。Schade致力于用古老的材料和技术,为画作寻找最合适的画框,以还原其历史风貌,并提升其艺术价值。他认为合适的画框应该“隐形”,让观赏者将注意力集中在画作本身。文章详细介绍了Schade修复梵·艾克的《阿尔诺芬尼夫妇像》、波提且利的《圣塞巴斯蒂安的殉难》等画作的案例,并探讨了画框对艺术品的影响。

阅读更多
未分类 画框

hoot,启动——wingolog

2024-05-18

这篇文章主要介绍了Hoot Scheme-to-WebAssembly编译器的开发历程,作者详细阐述了从最初的纸上设计到实现完整Guile语言的过程。作者重点介绍了Hoot的启动过程,包括时间轴上的发展以及功能的逐步完善。文章还讨论了Guile模块系统的静态语义,以及Hoot如何实现与Guile的兼容性。最后,作者展望了Hoot的未来发展方向,即与Guile合并,为用户提供更强大的WebAssembly开发体验。

阅读更多
未分类

哈希模理论

2024-05-18
哈希模理论

本文探讨了在存在等价关系的情况下如何进行哈希运算。作者分析了三种主要方法:规范化、同态和不变量/指纹。规范化涉及将结构转换为规范形式并对其进行哈希运算,同态寻找尊重数据结构对称性的整数运算符,而指纹则利用不完全描述结构但有助于解决冲突的不变量。文章还探讨了将这些技术应用于各种数据结构和数学对象的示例,包括集合、多重集、树和alpha可重命名项。

阅读更多
未分类 哈希

Claude 提示工程互动教程

2024-05-18

这篇文章介绍了 Anthropic 的 Claude 提示工程互动教程,该教程旨在帮助用户掌握 Claude 模型的提示工程技巧。教程共分为 9 个章节,涵盖了从基础的提示结构到高级的预认知和示例学习等内容,并配有练习和附录,帮助用户逐步提升提示工程能力。教程使用了 Claude 3 Haiku 模型,并提供了交互式练习环境,方便用户实践和学习。

阅读更多
未分类 提示工程

恐慌的迷思

2024-05-18
恐慌的迷思

本文探讨了灾难应对中对“恐慌”的迷思。作者认为,长期以来,精英阶层对大众在灾难中的恐慌存在过度担忧,这种担忧源于对群体行为的负面刻板印象。作者通过分析历史上的灾难事件和社会学研究,指出恐慌很少真正发生,相反,人们在灾难中往往表现出团结、互助和理性。作者批评了一些政府和媒体在灾难应对中过度强调防止恐慌,反而忽视了及时、透明地向公众传递信息,导致错失了有效应对灾难的机会。

阅读更多
未分类 灾难 恐慌

沉迷拼字游戏

2024-05-18
沉迷拼字游戏

作者坦白自己沉迷于Scrabble拼字游戏,并将其与过去的酗酒经历进行比较。作者详细描述了Scrabble游戏的规则和策略,以及他对该游戏的痴迷程度,如何影响他的日常生活。文章还记录了作者第一次参加纽约拼字游戏俱乐部的经历,从最初的恐惧和焦虑到最终的放松和被接纳的感受。

阅读更多

休斯顿,我们找到了解决方案

2024-05-18
休斯顿,我们找到了解决方案

本文探讨了美国休斯顿市在土地使用规划方面的成功经验。休斯顿市通过改革建筑法规,允许土地所有者在满足一定条件的情况下自动获得建造联排别墅的许可,同时允许当地居民选择退出这些改革措施。这种模式促进了城市更新,提高了步行友好性,并抑制了房价上涨,为其他城市提供了借鉴。

阅读更多
未分类 休斯顿

负面情绪的自然选择(第一部分)

2024-05-18
负面情绪的自然选择(第一部分)

文章探讨了公众情绪与统计数据之间的差距,即使统计数据表明世界正在变得更好,但公众情绪却越来越悲观。作者认为,这是因为人们倾向于更多地谈论问题,以便解决问题,导致负面信息被过度代表。文章使用一个简单的模型模拟了这一现象,并预测随着信息时代的到来,这种负面情绪会加剧,因为人们有更多的话题可供选择,从而更有可能选择负面话题进行讨论。

阅读更多

Julia微积分

2024-05-18

这份笔记旨在帮助你使用Julia语言学习微积分。Julia是一个开源的编程语言,语法易学,非常适合这项任务。笔记借鉴了多个来源,涵盖了从微积分预备知识到微分、积分、ODE,再到向量微积分的各个方面,并通过Julia语言进行了图解和数值说明,还提供了一些练习题以供自测。

阅读更多
未分类 微积分

伦敦网络摄像头

2024-05-18

文章介绍了伦敦各个景点的网络摄像头,包括威斯敏斯特桥、皮卡迪利广场、哈罗德百货商店、议会广场、丽兹酒店、绿园、苏格兰角、布朗普顿路、牛津街、牛津广场、阿尔伯特桥、巴特西公园、肯辛顿商业街和伯爵府路。文章详细描述了每个摄像头的位置、拍摄方向以及周围的景点,并提供了一些关于伦敦交通和街道的信息。

阅读更多
未分类 景点
1 2 978 979 980 982 984 985 986 1084 1085