西班牙警方在调查加泰罗尼亚独立运动相关人员时，从加密服务提供商Wire和Proton获取了信息，这些信息帮助当局识别了一名匿名活动家。Wire提供了与账户注册相关的电子邮件地址，而Proton提供了该Protonmail账户的恢复电子邮件地址，最终警方通过苹果公司获得了该活动家的完整姓名、家庭住址以及关联的Gmail帐户。
阅读更多
这篇GitHub文章介绍了斯坦福大学商学院举办的Julia经济学家训练营。训练营由Cameron Pfiffer主导，内容涵盖Julia基础、并行化、优化和自动微分、高性能Julia以及计算贝叶斯统计等主题，每个主题都有相应的课程记录、笔记和示例代码。
阅读更多
低地球轨道卫星在重返大气层燃烧时会释放氧化铝纳米颗粒，破坏臭氧层。随着“星链”等低轨互联网卫星快速增加，到2022年，重返卫星已使大气中的铝含量增加了29.5%。预计到本世纪末，每年将有约360吨氧化铝被释放到大气中，比自然水平增加646%，或将危及臭氧层的恢复。
阅读更多
由于地方新闻行业持续面临危机，美联社正在成立一个独立的姐妹机构，旨在为地方和州新闻报道筹集资金。该机构将寻求慈善捐款，用于支持美联社内部和外部机构的新闻报道。美联社总裁兼首席执行官黛西·维拉辛厄姆表示，他们认为有必要加大对地方新闻的支持力度，并正在与一些对地方新闻现状表示担忧的资助者进行初步谈判。
阅读更多
BigSearch 是一款功能强大的浏览器扩展程序，允许用户方便地使用多个搜索引擎，包括 Google、DuckDuckGo、YouTube 等。它支持自定义搜索引擎、键盘快捷键操作、搜索历史记录管理等功能。BigSearch 还具备 Vimium 类似的功能，可以通过键盘快速调用不同的搜索引擎。此外，它还支持对不提供 GET/POST 接口的网站进行搜索，并提供用户 JSON 高级自定义选项。
阅读更多
为了加速向内存安全编程语言的过渡，美国国防高级研究计划局（DARPA）正在推动TRACTOR的开发，这是一种程序化的代码转换工具。TRACTOR代表着将所有C语言代码转换为Rust。该项目旨在开发机器学习工具，自动将旧的C代码转换为Rust，以提高软件安全性。由于C和C++的内存安全问题已困扰行业数十年，软件工程界已达成共识，仅依靠漏洞查找工具是不够的，需要采用内存安全的编程语言。
阅读更多
qimgv 是一款快速、易用的图像浏览器，提供可选的视频支持。它具有简洁的界面、高质量的缩放、基本的图像编辑功能以及文件夹视图模式。用户可以通过快捷键进行操作，例如缩放、旋转、复制和移动图像。此外，qimgv 还支持运行自定义脚本、HiDPI、多种图像格式和视频播放。
阅读更多
本文探讨了以Meta为代表的科技巨头开源大型语言模型的原因，指出免费提供人工智能的背后是将人工智能算力资源商品化的商业策略。文章分析了Meta开源Llama模型的动机，认为Meta希望通过免费提供模型，推动用户生成内容，提升平台参与度，最终有利于其广告收入。此外，文章还探讨了人工智能基础设施建设的规模化效应，认为这将推动机器人、自动驾驶等领域的突破。
阅读更多
文章探讨了美国著名厨师茱莉娅·查尔德的厨房设计理念及其对无障碍设计运动的影响。查尔德的厨房注重功能性，而非外观华丽，这种实用主义的设计理念启发了以人为本的设计理念。文章详细介绍了查尔德夫妇如何将二战期间积累的组织和设计经验应用于厨房布局和烹饪流程，以及他们如何通过电视节目和书籍，将这种理念推广给大众。文章还介绍了查尔德与罗德岛设计学院合作的“通用厨房”项目，该项目旨在打造适合所有年龄和能力的人使用的厨房。
阅读更多
这篇技术文章讨论了 iOS 18 和 macOS Sequoia 测试版中 CFNetwork 对待 cookies 默认值的变化。该变化导致 WebKit 在将内部枚举 `Cookie::SameSitePolicy` 转换为 `NSHTTPCookieStringPolicy` 时，对 `SameSitePolicy::None` 返回 nil，CFNetwork 将其解释为 lax 而不是 none。为了解决这个问题，WebKit 应该在将 `WebCore::Cookie` 转换为 `NSHTTPCookie` 时显式返回 none。
阅读更多
一个有500年历史的数学问题探讨了圆在直线上滚动时所形成的轨迹形状。答案被称为“摆线”，并在各种科学领域中得到应用，例如咖啡杯中光线反射形成的形状。
阅读更多
Ready Player Mode是一款Emacs插件，方便用户在Emacs中快速浏览媒体文件。它提供类似于图片模式的便捷操作，允许用户使用n/p键浏览前后文件，并提供播放和使用外部应用打开的按钮。此外，它还支持显示基本元数据。
阅读更多
安全研究员马修·布莱恩特通过eBay等二手电子产品网站购买了一台时间胶囊，意外发现了苹果公司欧洲所有Apple Store在2010年代的主要备份服务器副本，其中包含服务票据、员工银行账户数据、公司内部文件和电子邮件等信息。布莱恩特还通过自己开发的计算机视觉分析系统，从二手市场上购买到了一部苹果内部开发使用的iPhone 14原型机以及一台疑似来自富士康质检生产线的Mac Mini，这些设备中包含了大量苹果公司和富士康的内部信息和凭证。
阅读更多
美国交通部发布了一项全国道路安全计划，旨在推动汽车之间实现通信。该计划希望通过广泛部署车联网 (V2X) 技术，减少道路交通事故死亡人数。V2X 技术可以让车辆与其他车辆、行人、骑行者、路边基础设施等实时共享位置、速度和路况等信息，尤其在能见度较低的情况下发挥作用。该计划计划到 2036 年在全国高速公路系统全面部署 V2X 技术，并预计该技术可预防数十万起交通事故。
阅读更多
Fedora Asahi Remix 40 发布，为搭载苹果M系列芯片的苹果硬件带来了桌面Linux体验。该版本支持更多硬件功能，预装了KDE Plasma 6桌面环境，并修复了大量错误。尽管Thunderbolt、USB4、内置麦克风、Touch ID以及USB-C显示器支持等功能仍然缺失，但对于主要将苹果笔记本电脑用作便携设备的用户来说，这是一个值得尝试的桌面Linux发行版。
阅读更多
文章详细介绍了如何使用 Git 底层命令（Plumbing commands）创建提交，而不是常用的高层命令。文章首先解释了 Git 的基础知识，包括文件的三种状态（已修改、已暂存、已提交）以及 Git 项目的三个区域（工作目录、暂存区、Git 目录）。 接着，文章解释了 Git 对象模型，包括 blob（存储文件内容）、tree（类似目录，存储文件名和指向 blob 或其他 tree 的引用）和 commit（包含指向 tree 的引用、作者、时间、提交信息等）。 最后，文章通过一个实例，逐步演示了如何使用 `git hash-object`、`git update-index`、`git write-tree` 和 `git commit-tree` 等命令创建 blob、tree 和 commit 对象，最终实现不使用 `git commit` 命令进行提交。
阅读更多
欧盟委员会提出了一项旨在防止和打击针对儿童的性暴力（聊天控制条例）的条例草案。该条例草案引发了对基本权利的严重担忧，因为它将要求互联网服务提供商监控私人通信，包括端到端加密通信。这将侵犯隐私权，并对言论自由产生寒蝉效应。此外，该条例草案还将要求互联网接入提供商阻止访问某些网站，这将需要对互联网用户进行监控。最后，该条例草案将要求年龄验证，这将危及青少年的言论自由和信息自由。
阅读更多
社交杂志应用 Flipboard 宣布与 ActivityPub 深度整合，允许用户关注联邦宇宙中的任何账户，包括 Threads、Mastodon 等。此举拓展了 Flipboard 的社交图谱，使其用户能够与更多平台的用户互动。Flipboard 此前已将部分内容和用户配置文件迁移至联邦宇宙，并计划在今年晚些时候允许所有用户启用联邦功能。
阅读更多
这篇文章探讨了人类侵略性的悖论，即我们既有能力表现出极端的残忍，也有能力表现出非凡的善良。作者Richard Wrangham认为，人类的自驯化过程，即早期人类群体通过集体杀戮侵略性强的个体来消除这种行为，是我们进化过程中变得相对和平的关键。文章深入探讨了人类侵略性的类型，包括反应性侵略和主动性侵略，以及语言在形成共谋和社会控制中的作用。作者认为，人类的道德感源于对社会 disapproval 的高度敏感性，这种敏感性在祖先环境中对于生存至关重要。文章最后探讨了群体间冲突的进化根源，以及我们如何利用对自身天性的理解来创造一个更加和平的未来。
阅读更多
Ubuntu 24.04 LTS现已可以通过开源项目Switchroot在任天堂Switch上运行。该项目允许Android和基于Linux的发行版在Switch上运行，尽管任天堂并不官方支持。Switchroot的最新版本为所有Switch型号提供基于Kubuntu和Unity桌面的L4T Ubuntu镜像。需要注意的是，该项目仍处于开发阶段，部分功能可能无法正常运行。
阅读更多
本文介绍了作者个人网站的技术细节，例如：网站运行在 Debian GNU/Linux 系统上，使用 Nginx 提供服务，并使用 Common Lisp 程序静态生成；网站的所有 HTML 和 CSS 代码均为手工编写，并使用 HTML Tidy 进行验证；网站使用 Common Lisp 和 Hunchentoot 实现了一些动态页面，例如评论和订阅表单；网站提供整合的网络订阅源，每个新页面都会出现在订阅源中；网站使用 MathJax 渲染包含数学公式的页面上的 LaTeX 代码片段等等。
阅读更多
九位数学家组成的团队证明了几何朗兰兹猜想，这是现代数学中最具影响力的范例之一的关键组成部分。该证明代表着三十年来努力的巅峰之作。朗兰兹纲领由罗伯特·朗兰兹在 20 世纪 60 年代提出，是对傅立叶分析的广泛概括。朗兰兹纲领主导着三个独立的数学领域：数论、几何和函数域。这三个领域通过一个类比网络连接起来，通常被称为数学的“罗塞塔石碑”。现在，一系列新的论文已经解决了“罗塞塔石碑”几何学栏目中的朗兰兹猜想。
阅读更多
本文揭秘了电影“华尔街之狼”中所使用的真实销售剧本，分析了其套路和话术，包括开场白、如何打断思维模式、如何应对拒绝、如何引导客户说“是”以及如何利用“公平”等词语。文章指出，虽然该剧本具有一定参考价值，但其中部分激进策略已不适用，建议销售人员在学习时需谨慎选择。
阅读更多
Impulse Tracker是一款DOS环境下的音乐追踪软件，该仓库开源了Impulse Tracker的完整源代码，包括声音驱动程序、网络驱动程序和一些辅助文档。代码使用汇编语言编写，并包含详细的代码注释和说明文档，方便开发者理解和学习。
阅读更多
本文介绍了TypeScript中品牌类型的概念和应用。品牌类型通过为现有类型添加标签来创建新类型，这个标签充当编译时验证器，确保值在其预期上下文中被正确使用。文章以生成哈希值的函数为例，说明了如何使用品牌类型来明确返回值的性质，防止误用。通过定义唯一的符号作为品牌，可以确保类型在代码库中的唯一性。品牌类型可以增强代码的清晰度和安全性，防止潜在的误用或混淆。
阅读更多
为应对员工逃避“重返办公室”政策，亚马逊公司采取措施，强制要求员工每次办公室打卡至少停留2-6小时。此举引发员工强烈不满，他们认为新政策过于严苛，且公司未进行任何解释。此前，亚马逊要求员工每周至少三天到岗，但未规定每次到岗的时长要求。
阅读更多
