在提升抽象层次之前，先仔细研究具体例子的必要性
2024-12-08
文章强调了学习数学时，深入研究具体例子比直接学习抽象概念更重要。作者将直接学习抽象概念比作孩子阅读名言录就认为理解了人生，指出只有积累了足够的生活经验才能真正理解名言的含义。同样，数学学习也需要先建立大量的具体例子，才能理解抽象概念的意义和作用，否则只是流于表面。
阅读更多穿越永恒之旅：但丁《神曲》的世界
2024-12-03
本文探讨了但丁《神曲》经久不衰的魅力及其当代意义。文章分析了这部作品的复杂韵律、结构和丰富的典故，以及其对政治、历史、哲学和神学主题的深刻探讨。作者认为，尽管需要一定的背景知识才能理解，但《神曲》引人入胜的故事、鲜明的人物和对人性的深刻洞察力使其持续吸引读者。文章还介绍了但丁的生平、创作背景以及《神曲》对后世文化的影响，强调了这部作品的艺术成就和普世价值。
阅读更多
6
世界艾滋病日：有望终结艾滋病的注射剂能否惠及所有人？
2024-12-03
吉利德科学公司研发的名为Lenacapavir的艾滋病预防注射剂在临床试验中显示出100%的有效性。该公司将允许在120个艾滋病高发贫困国家销售廉价仿制药，但排除大部分拉丁美洲国家，引发担忧。尽管拉丁美洲艾滋病感染率较低，但呈上升趋势，专家认为该药对边缘化人群尤其有用。文章探讨了该药物的有效性、可及性以及围绕其公平分配的争议，并呼吁各国采取措施确保所有需要的人都能获得这种预防性药物。
阅读更多
6
未分类
药物可及性
Privastead：一个注重隐私的家庭安全摄像头解决方案
2024-12-01
Privastead是一个开源的家庭安防摄像头解决方案，主打隐私保护，采用端到端加密技术。它由摄像头集线器、手机App和不可信服务器三个组件构成。Privastead支持现有IP摄像头，使用OpenMLS实现的MLS协议进行端到端加密，并通过Rust语言实现。该方案假设本地运行集线器的机器和手机是安全的，服务器不可信，并对IP摄像头做最小信任假设。它保证只有集线器和手机App可以访问未加密视频，服务器无法解密，并提供前向保密和后妥协安全性。目前Privastead仍处于早期阶段，存在一些限制，例如App和集线器仅支持一个摄像头，且性能可能成为瓶颈。
阅读更多
8
未分类
家庭安防
用 Ruby 计算已知最大质数
2024-11-30
本文讲述了作者尝试用 Ruby 计算已知最大质数 2^136279841-1 的经历。在 Ruby 3.4.0-preview2 及更早版本中，这个计算会返回 Infinity。Ruby 3.4 解决了这个问题，但实际计算需要很长时间。作者发现，需要安装 GMP（GNU 多精度算术库）才能加速计算。最终，在安装 GMP 后，作者成功在 5 秒内计算出了这个拥有 41,024,320 位数字的巨大质数。
阅读更多
8
未分类
GMP
Snatched - 与AI角色一起玩派对游戏
2024-12-03
Snatched是一款派对游戏，玩家可以扮演外星人诱捕AI角色，或与现实朋友和AI角色组队进行游戏。目前仅支持桌面版，移动版即将推出。游戏提供单人模式和1-8人多人模式。
阅读更多
6
特斯拉拟招聘远程控制“自动驾驶”机器人出租车团队
2024-11-30
特斯拉计划招聘一个团队来远程控制其即将推出的机器人出租车车队。尽管马斯克承诺特斯拉将在未来几年推出“完全自动驾驶”汽车，并计划在2026年推出机器人出租车服务，但实际上，这些车辆仍需依靠远程人工协助进行故障排除。与其他机器人出租车公司如Cruise、Waymo和Zoox一样，特斯拉的这种做法揭示了“自主”产品仍依赖人工的现状。
阅读更多
8
未分类
机器人出租车
Guillaume Slizewicz - 碳技术结构
2024-12-02
该页面是一个名为 Vimeo 的视频网站，内容是 Guillaume Slizewicz 的碳技术结构视频。访问该视频需要进行人机验证，以确认访问者不是机器人程序。
阅读更多
7
BonBook测试版
2024-12-04
BonBook 是一款正在内测阶段的航班查询工具，用户可以通过发送邮件或使用网站提供的输入框来查询航班信息，例如搜索从旧金山到洛杉矶的航班。该工具承诺在 15 秒内给出回复，并提供了使用示例、航班真实性解释以及使用说明等信息。目前用户需要申请访问权限才能使用。
阅读更多
6
Modern Treasury招聘产品设计师
2024-11-15
Modern Treasury公司正在招聘产品设计师。该职位信息发布在公司网站上，但是需要启用JavaScript才能查看完整内容。
阅读更多
22
未分类
Modern Treasury
AI公司“停止雇佣人类”的广告牌宣传引发众怒
2024-12-10
一家名为Artisan的AI初创公司在旧金山发起了一场广告宣传活动，其标语是“停止雇佣人类”。该公司销售其所谓的“AI员工”，实际上是旨在协助客户服务和销售工作流程的软件。这一宣传活动引发了人们的愤怒，许多人认为这预示着人类劳动力时代的终结。Artisan的首席执行官为这一广告辩护，称其目的是吸引眼球，并承认广告带有反乌托邦色彩，反映了人工智能对未来就业的影响。
阅读更多
2
未分类
广告宣传
阿尔茨海默病研究表明酮体有助于清除错误折叠的蛋白质
2024-12-11
巴克研究所的科学家们在秀丽隐杆线虫和小鼠模型中进行的实验表明，酮体（包括β-羟基丁酸）可以直接与错误折叠的蛋白质相互作用，改变其溶解度和结构，使其能够通过自噬过程从大脑中清除。研究结果表明，酮体可能被认为是影响衰老和阿尔茨海默病大脑功能的强大信号代谢物，并为衰老和阿尔茨海默病的治疗发展提供了潜在的代谢相关机制靶点。研究人员通过在试管中测试蛋白质溶解度和结构的变化，以及在模型生物中研究酮体的影响，证实了酮体对大脑蛋白质组和蛋白质质量控有深远的影响。
阅读更多
未分类
关闭 Zen 4 的操作缓存：好奇心与趣味
2024-12-11
本文探讨了关闭AMD Zen 4 CPU微操作缓存对性能的影响。作者通过禁用微操作缓存和循环缓冲区，将Zen 4从6宽核心变为4宽核心，并使用SPEC CPU2017和赛博朋克2077进行测试。结果显示，高IPC负载（如SPEC CPU2017中的部分测试）受影响较大，而低IPC负载和游戏性能几乎不受影响。SMT性能下降更为明显，因为更高的IPC增加了对前端的需求。作者认为，尽管微操作缓存对Zen 4至关重要，但CPU性能还受其他因素影响，例如后端内存延迟。
阅读更多
未分类
微操作缓存
SpiderBasic：一款基于 BASIC 规则的 Web 客户端编程语言
2024-12-07
SpiderBasic 是一款基于 BASIC 规则的 Web 客户端编程语言，可用于开发复杂的窗口化 Web 应用程序，包括 iOS 和 Android 移动应用。它提供丰富的指令集，用于处理复杂的响应式 GUI、2D 游戏等。SpiderBasic 编译器生成优化的 JavaScript 代码，需要现代浏览器运行。它具有强类型和各种 JavaScript 不具备的检查，有助于构建健壮的代码。SpiderBasic 支持最新的 Web 技术，如 HTML5 和 WebGL，并使用强大的 JavaScript 库（如 DOJO、SoundJS 和 Pixi）。它易于使用，可在 Windows、Linux 和 OS X 上运行，生成的程序可在 Firefox、Chrome、Internet Explorer、Android 和 iOS 上运行。
阅读更多
未分类
日本科学家是人工智能的先驱，但却被排除在AI发展史之外
2024-12-07
本文探讨了日本科学家在人工智能领域的重要贡献，特别是在神经网络方面的开创性研究。文章指出，尽管像Shun’ichi Amari和Kunihiko Fukushima等日本科学家在神经网络和深度学习方面做出了 foundational 的贡献，但他们的贡献在主流AI历史叙述中 often 被忽视。文章以今年的诺贝尔物理学奖为例，该奖项授予了John Hopfield和Geoffrey Hinton，肯定了他们在神经网络领域的贡献，但忽略了日本科学家的早期研究。作者认为，这种历史的“片面性”会导致对人工智能的理解 incomplete ，并呼吁关注日本科学家在AI发展史中的作用，以构建更全面、更人性化的AI未来。
阅读更多
未分类
日本科学家
Java的史诗级重构：Valhalla项目最新进展
2024-12-17
历时十年的Java Valhalla项目正进入收尾阶段。该项目旨在修复Java类型系统中类和原始类型之间的裂痕。通过引入“像类一样编码，像int一样工作”的值类，Valhalla实现了扁平且紧凑的内存布局。Devoxx 2024上，Java语言架构师Brian Goetz介绍了该项目的最新进展，包括值类、空限制类型、增强的确定赋值分析和严格初始化等关键特性。
阅读更多
开发
值类
Swift新框架Forked：简化共享数据处理
2024-12-17
开发者Drew McCormack发布了新的Swift框架Forked，用于简化共享数据的处理，无论是单设备还是多设备协作。Forked灵感来源于Git的合并机制，它允许在单个文件中支持分支和合并，实现最终一致性。无需完整变更历史，只需保留足够版本以进行三方合并。Forked使用结构体而非类，支持Codable，并可与iCloud等云服务同步。它甚至能解决并发访问导致的竞态条件，并支持自定义合并逻辑或内置CRDT算法。通过简单的几行代码，即可轻松实现CloudKit同步。
阅读更多
开发
帕克切斯特——布朗克斯区
2024-12-08
本文讲述了布朗克斯区帕克切斯特的历史变迁。最初是Mapes家族的农场，后来部分被出售并更名为公园凡尔赛。1865年，纽约天主教保护协会在此建立了大型孤儿院，收容了大量无家可归儿童，并教授他们各种技能。1938年，大都会人寿保险公司买下这块地，并建成了当时美国最大的住宅区帕克切斯特，包含大量的公寓、商业空间和绿地。帕克切斯特的建筑特色是其红砖建筑和大量的赤土雕塑。该住宅区最初只对白人家庭开放，直到1968年才签署开放入住承诺。之后几经易手，如今的帕克切斯特在经历了翻修后焕然一新。
阅读更多
未分类
帕克切斯特
冷战时期地下大学如何传递西方思想
2024-12-08
本文讲述了冷战时期，牛津大学的哲学家们如何帮助铁幕后的持不同政见者。他们通过在南斯拉夫杜布罗夫尼克建立的大学间中心（IUC）以及秘密的地下大学进行学术交流，传递西方思想。这些活动涵盖了哲学、科学、生态、宗教、文学和政治学等多个领域，并通过走私书籍、复印机等物资支持地下出版。Jan Hus教育基金会的成立进一步扩大了这些活动的影响，但同时也面临着当局的严密监视和打压。文章以作者一次秘密运送物资和信息的经历为例，展现了当时紧张的政治氛围和学者们的勇气。文章最后反思了冷战时期学者们的行动对当今社会政治问题的启示，呼吁人们关注极权体制下知识分子的困境，并支持他们争取学术自由的努力。
阅读更多
(aeon.co)
3
未分类
地下大学
1914年勒芬之战：图书馆的焚毁与文化战争的爆发
2024-11-15
本文讲述了1914年一战期间，德军入侵比利时并焚毁勒芬大学图书馆的事件。作者将其置于更广泛的文化和政治背景下，探讨了这一事件如何引发了德国和英语世界之间的文化战争，以及知识分子群体在此期间的角色和立场。文章重点分析了“93人宣言”及其引发的国际反响，以及德国物理学家威廉·维恩对“英国化”物理学的抵制，最终联系到纳粹焚书的暴行，警示人们勿忘历史教训。
阅读更多
22
未分类
勒芬图书馆
Rust中受诅咒的线性类型
2024-12-01
本文探讨了在Rust中创建线性类型UseOnce 的方法，该类型强制实例被精确使用一次。作者借鉴了Jack Wrenn的思路，利用Rust的所有权和move语义，结合ManuallyDrop和MaybeUninit，实现了UseOnce。代码示例展示了如何创建、使用和销毁UseOnce 实例。作者还指出了这种方法的局限性，例如可以通过mem::forget绕过编译器检查，以及简单的函数调用就可能导致编译失败。文章最后讨论了如何通过consume和consume_mut方法限制对内部值的访问，并提到了使用Pin来防止内部值被移出引用的方法。
阅读更多
未分类
QEMU 中 Rust 的路线图
2024-12-03
本文概述了 QEMU 项目中使用 Rust 语言的路线图。QEMU 9.2 版本已初步支持 Rust，并通过了单元测试和迁移测试，但 Rust 支持尚未默认启用。路线图涵盖了构建系统改进、完善 pl011 设备的功能、避免未定义行为、安全的 QOM 类定义、QOM 方法调用、回调、追踪/日志记录、数据结构互操作性以及使用最新 Rust 特性等方面。文章还讨论了利用 Cargo 和 Meson 等构建工具改进 Rust 代码管理，并分析了与 C 代码交互和数据转换等方面的挑战。
阅读更多
6
未分类
Roadmap
极简NAS：基于Alpine initramfs的frood系统
2024-12-16
作者介绍了一种名为frood的NAS系统，其独特之处在于它是一个包含完整Alpine Linux系统的巨大initramfs镜像。这种设计使得系统启动迅速，并减少了对存储设备的磨损。配置管理简洁明了，所有文件都直接存放在镜像中，无需复杂的DSL或配置工具。系统状态通过Git进行跟踪，每次启动都相当于一次“擦除”，避免了累积的配置混乱。文章详细介绍了系统的构建过程，包括alpine-make-rootfs脚本的使用、常用软件包的安装和启动脚本的编写等。作者还介绍了使用qemu进行测试的方法和更新系统镜像的流程。总而言之，frood是一个轻量级、易于维护和部署的NAS系统，其简洁的设计理念值得借鉴。
阅读更多
开发
initramfs
高通DSP驱动程序中的多个漏洞引发安全担忧
2024-12-16
谷歌Project Zero团队发现高通DSP驱动程序中存在6个漏洞，其中一个已被证实存在于现实世界中的攻击中。这些漏洞源于对Amnesty International提供的内核崩溃日志的分析，并未获得实际的攻击样本。研究人员通过对驱动程序进行代码审查，发现了多个内存损坏漏洞，包括 use-after-free 和引用计数泄漏。攻击者可能利用这些漏洞结合inotify_event_info对象进行堆喷射，最终实现代码执行。该事件突显了Android第三方驱动程序安全性的重要性。
阅读更多
科技
DSP驱动程序
英伟达Meshtron：大规模高保真3D网格生成
2024-12-16
英伟达的研究人员开发了一种名为Meshtron的全新模型，能够以空前的规模和保真度生成高质量的3D网格。该模型采用自回归架构和滑动窗口注意力机制，通过将网格表示为一系列标记并利用Hourglass Transformer架构，有效地解决了现有方法在生成复杂3D模型时面临的效率和可扩展性问题。Meshtron生成的网格细节丰富，逼近专业艺术家水平，可控性强，支持多种控制输入，如点云、面数和创意程度等，为动画、游戏和虚拟环境等领域带来更逼真的3D资产生成。
阅读更多
AI
HTTP/3 发展现状：普及之路上的挑战与机遇
2024-12-16
HTTP/3 规范已完成，但正式发布仍需等待。目前服务器端支持率出乎意料地高，尤其是在顶级网站中。Cloudflare等大公司已启用HTTP/3，浏览器也普遍支持。然而，curl等客户端软件的HTTP/3支持仍不完善，主要受限于QUIC支持的TLS库发展滞后。OpenSSL的QUIC支持被推迟，而其他选择如BoringSSL和quictls则存在各自的局限性。虽然HTTP/3有望提升速度，但实际效果取决于网络环境。未来HTTP/3的广泛采用，仍依赖于规范发布和TLS库的成熟。
阅读更多
开发
Rust 的 Vec::drain 方法：巧妙利用 Drop 特性保障安全
2024-12-16
本文深入探讨了 Rust 的 Vec::drain 方法及其 Drop 实现，以此为例展示了所有权机制如何防止细微的内存错误。Vec::drain 通过保持对原始向量的可变引用，并仅读取和更新原始存储来优化性能。关键在于 Drain 结构体的 Drop 实现，它使用 DropGuard 来确保即使迭代器提前丢弃，也能安全地将未处理的元素移回原始向量，从而保障内存安全。这篇文章详细解释了 Drain 和 DropGuard 的实现细节，并讨论了零大小类型和指针来源等特殊情况的处理。
阅读更多