Guix 全源码构建之探秘:真的名副其实吗?

2024-06-23

这篇文章深入探讨了 Guix 操作系统声称的“全源码构建”是否属实。作者以机器学习框架 PyTorch 为例,分析了其依赖链,并解释了 Guix 如何通过构建所有依赖项来确保软件的可信度。文章详细介绍了 Guix 的引导过程,从最初的二进制种子 bootstrap-seeds 到构建 stage0-posix 软件包,再到最终构建出 PyTorch。作者还指出了当前引导过程中需要信任的二进制文件,并探讨了如何进一步减少对这些二进制文件的依赖,以及解决 Haskell 和 OCaml 等语言引导问题的方案。

阅读更多

微软推迟 Windows Recall 功能上线,Copilot+ PC 将缺少主要AI功能

2024-06-14
微软推迟 Windows Recall 功能上线,Copilot+ PC 将缺少主要AI功能

迫于公众压力,微软宣布将推迟 Windows Recall 功能的上线时间。Windows Recall 原定于6月18日作为 Copilot+ PC 的主要功能推出,但由于被发现以未加密状态存储用户敏感数据引发安全担忧,现决定延期发布。尽管缺少该功能,Copilot+ PC 仍将按计划上市,并提供其他 AI 功能,如实时字幕翻译、高级 Windows Studio 效果等。

阅读更多
未分类 Copilot+ PC

泄露文件揭示谷歌搜索如何把控互联网

2024-05-30
泄露文件揭示谷歌搜索如何把控互联网

一份泄露的2500页文件揭示了谷歌搜索的14000个排名要素,这些要素决定了网站在搜索结果中的排名。文件中提到了网站权威性、点击率等因素,以及一些谷歌此前否认使用的排名方式。这引发了业界对谷歌搜索透明度和公平性的质疑,尤其是对小型网站的影响,以及在人工智能时代,谷歌如何选择和呈现信息的重要性。

阅读更多
未分类 互联网信息

Upsetting Magazine 77 - 复古漫画杂志的回归

2024-08-13
Upsetting Magazine 77 - 复古漫画杂志的回归

漫画家Mark Domowicz推出了他的最新作品Upsetting Magazine 77,该杂志以复古漫画杂志的形式呈现,包含了他的旧作和新作,例如2020年的Inktober故事、89页的科幻史诗和24小时漫画日项目。杂志还包含了读者来信、社论、订阅表格以及真实和虚假的广告等元素。Mark Domowicz对印刷质量感到满意,并计划印刷限量版赠送给亲朋好友。

阅读更多
未分类

GitHub - TheAlgorithms/Go

2024-08-13
GitHub - TheAlgorithms/Go

TheAlgorithms/Go是一个GitHub代码仓库,提供用Go语言实现的各种算法和数据结构,旨在帮助初学者学习和理解算法。该仓库包含各种算法的开源实现,涵盖ahocorasick、armstrong、binary、cache等多种类别,并遵循MIT许可证。

阅读更多
50
未分类

无障碍的谎言:accessiBe公司被指控在全球无障碍宣传日利用虚假账户进行营销

2024-06-27
无障碍的谎言:accessiBe公司被指控在全球无障碍宣传日利用虚假账户进行营销

本文揭露了accessiBe公司在2023年全球无障碍宣传日利用大量虚假社交媒体账户进行虚假营销的行为。作者通过分析这些账户的活动轨迹、网站信息以及与accessiBe公司之间的联系,揭示了该公司为推广其产品而采取的不道德手段,并对accessiBe公司CEO此前发布的道歉声明的真实性提出了质疑。

阅读更多
未分类 虚假营销

lm.rs:使用 Rust 在本地 CPU 上进行最小化的 LLM 推理

2024-10-12
lm.rs:使用 Rust 在本地 CPU 上进行最小化的 LLM 推理

lm.rs是一个极简的代码库,用于在 CPU 上对语言模型(LLM)进行完整的推理,而无需使用机器学习库。它支持 Google 的 Gemma 2 模型和 Meta 的 Llama 2 模型,并提供了在本地 CPU 上运行这些模型进行文本生成的步骤。该项目还提供了使用量化模型的选项,以减少模型大小并提高推理速度。

阅读更多
35
未分类

音乐能让食物更美味吗?

2024-05-29
音乐能让食物更美味吗?

文章探讨了音乐与味觉之间的关系。研究表明,音乐可以影响人们的用餐体验,例如,较吵闹的餐厅音乐可能会促使顾客选择不健康的食物。文章还介绍了“声音调味”的概念,即通过特定的音乐来增强食物的味道,并列举了一些相关的研究和例子。

阅读更多
未分类 声音调味

困惑是灵感之源

2024-06-18

本文认为,困惑是学习和创作的灵感来源。我们不应该害怕困惑,而应该积极地探究困惑背后的原因。作者鼓励读者将自己遇到的困惑以及思考过程记录下来,并分享给他人,这将有助于加深理解和促进共同进步。

阅读更多
未分类

Modos 纸质显示器即将在 Crowd Supply 上预售

2024-05-21
Modos 纸质显示器即将在 Crowd Supply 上预售

Modos公司宣布其纸质显示器即将在Crowd Supply平台预售。该款显示器是一款13.3英寸、分辨率为1600 x 1200的单色或彩色电子墨水屏,刷新率高达60Hz,具有低延迟、多种图像模式、抖动选项以及灵活的屏幕更新控制功能。它可以通过HDMI和USB-C接口连接,兼容Linux、macOS和Windows系统。该公司还推出了开发者套件,包含6英寸和13.3英寸的单色或彩色面板,供开发者和创客使用。Modos公司致力于打造尊重用户时间、注意力和健康的科技产品,并倡导开源硬件和软件,鼓励实验、学习和创造。

阅读更多
未分类 电子墨水屏

超越6G:宾夕法尼亚大学工程师开启无线通信的未来

2024-05-27
超越6G:宾夕法尼亚大学工程师开启无线通信的未来

宾夕法尼亚大学的工程师们开发了一种可调节滤波器,可以防止信号干扰,这项技术有望彻底改变无线通信。这款滤波器只有硬币大小,能够在3.4 GHz到11.1 GHz的频率范围内进行调谐,涵盖了FCC开放的FR3频段的大部分频率。这项技术解决了现有滤波器体积大和频率覆盖范围有限的问题,为6G及未来无线网络的发展铺平了道路。

阅读更多
未分类 6G 滤波器

容器园艺指南

2024-07-03
容器园艺指南

这篇文章介绍了容器园艺的优势、技巧和植物选择。容器园艺适合空间有限的人,可以选择各种植物,包括花卉、蔬菜和香草。文章强调了选择合适的容器、土壤和肥料的重要性,并提供了充足的阳光和水分。此外,文章还推荐了一些适合容器种植的植物,如矮牵牛、西红柿、罗勒和迷迭香。

阅读更多

GitHub - trimstray/linux-hardening-checklist:GNU/Linux生产系统安全加固清单

2024-07-21
GitHub - trimstray/linux-hardening-checklist:GNU/Linux生产系统安全加固清单

本文提供了一份简单易用的GNU/Linux生产系统安全加固清单,旨在帮助用户降低系统漏洞,提高安全性。清单涵盖了分区、引导加载程序、内核、日志记录、用户和组、文件系统、权限、系统更新、网络等方面,并根据重要程度进行了优先级划分,方便用户按需实施。

阅读更多
49

墨西哥计算机:技术与历史简述

2024-06-10
墨西哥计算机:技术与历史简述

20世纪70年代初,微处理器的出现使得设计计算机不再需要像当时的大型计算机公司那样拥有雄厚的经济资源。此后不久,各种基于微处理器的计算机出现在美国和其他发达国家。与那些由大小公司开发大多数个人电脑的国家不同,墨西哥最早的基于微处理器的计算机是在学术机构内设计的。鲜为人知的是,那个时代的墨西哥计算机包括各种各样的系统,从用于特定用途的研究和教学型计算机到高性能个人电脑。本文的目的是详细描述在20世纪70年代末到80年代中期之间设计的这些墨西哥计算机中的一部分。

阅读更多
63
未分类 墨西哥

康拉德·楚泽

2024-05-20

本文介绍了康拉德·楚泽,他被公认为是世界上第一台可自由编程的二进制浮点计算机的发明者。他于1941年在柏林的工作室完成了这台名为Z3的机器,并于1942年至1945年间创造了世界上第一种编程语言Plankalkül。

阅读更多
未分类 康拉德·楚泽

内群体与外群体:社会认同如何影响人们

2024-06-20

文章详细探讨了社会心理学中的内群体和外群体概念,解释了人们如何根据国籍、种族、宗教等因素将自己归属于特定群体,并将其他群体视为外群体。文章阐述了社会认同理论,解释了内群体偏见产生的原因,即人们倾向于偏袒自己所属的群体,而对其他群体持有负面看法。文章还介绍了减少内群体偏见的方法,例如增强对该问题的意识、寻找群体间的共同点、建立共同的群体身份认同、增加群体间接触等。

阅读更多

麦当劳暂停测试AI点餐

2024-06-17
麦当劳暂停测试AI点餐

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

阅读更多
未分类 AI点餐

理解 acquire-release 语义

2024-05-11

文章详细解释了acquire-release语义,从线性化内存的误解开始,介绍了CPU如何重新排序指令以及这可能导致多线程代码出现问题。文章深入探讨了如何使用fence指令来强制执行内存顺序,并引入了acquire-release语义作为一种更灵活的内存排序保证。文章以一个使用acquire-release语义的无锁单生产者单消费者环形队列的C++实现作为示例,阐明了这些概念的实际应用。

阅读更多

联邦法院裁定:举报人有权获得未来薪酬损失赔偿

2024-06-27
联邦法院裁定:举报人有权获得未来薪酬损失赔偿

美国联邦巡回上诉法院在Perlick诉退伍军人事务部一案中裁定,如果举报人因被解雇而损害了未来的收入,他们有权获得赔偿金。该裁决确立了一个先例,即联邦举报人如果因被解雇而损害了其未来的收入能力,则可以获得补偿性赔偿。法院认为,2012年国会更新举报人保护法时,其意图是确保为员工提供“使其恢复原状的救济”,其中包括未来收入损失。

阅读更多
未分类 赔偿 联邦法院

“门的问题”

2024-06-14

本文以“门的问题”为例,生动有趣地阐释了游戏设计是一个需要各部门协同合作的复杂过程。作者列举了游戏设计中关于“门”的各种细节问题,以及不同部门如何处理这些问题,突出了游戏设计需要考虑的方方面面,并非只是天马行空的创意,更需要对日常实际问题的关注和解决。

阅读更多
未分类 团队合作 细节

Emerge Tools 招聘资深前端工程师

2024-06-21
Emerge Tools 招聘资深前端工程师

Emerge Tools 正在招聘一位资深前端工程师,负责公司 web 平台以及官网、博客等页面的开发和设计。理想的候选人需要具备快速学习能力和自主工作能力,具有良好的设计感,并熟练掌握 Next.js、React、Tailwind 和 Typescript 等技术。Emerge Tools 是一家发展迅速的初创公司,致力于为移动应用开发团队提供工具和解决方案。

阅读更多
未分类

茶酒,鸡尾酒鼻祖

2024-06-12
茶酒,鸡尾酒鼻祖

茶酒,一种由茶、烈酒、糖和果汁混合而成的饮料,被认为是现代鸡尾酒的鼻祖。它起源于17世纪的英国,由于当时葡萄酒和啤酒在亚洲的英国商人前哨站十分稀缺,所以用烈酒和茶等当地原料混合,创造出一种可以饮用的饮料。茶酒在17世纪中期传入英国后,在富有的航海家和其他买得起进口原料的人群中流行开来。随着这些原料变得更容易获得,茶和茶酒都成为了人们的主要饮品。到了18世纪后期,朗姆酒取代了烧酒成为茶酒的首选烈酒。然而,随着19世纪中期现代酒吧文化的兴起,茶酒逐渐被边缘化。

阅读更多
未分类 茶酒 鸡尾酒

Pixel 手机被曝预装秘密远程维护软件

2024-08-16
Pixel 手机被曝预装秘密远程维护软件

自2017年发布以来,数百万部Pixel手机应Verizon的要求预装了一款远程维护软件。该软件虽然默认不活动,但一旦被激活,便可被用于下载不安全代码,构成安全风险。该软件由Smith Micro开发,Verizon曾用其在销售点演示Pixel手机功能。Google表示,激活该软件需要物理接触设备并输入用户密码,目前该功能已停用,且没有被滥用的证据。Verizon正与所有受影响的原始设备制造商合作,计划通过更新移除该软件。

阅读更多

Radxa X4:售价60美元起的低成本、信用卡大小的英特尔N100单板机

2024-07-19
Radxa X4:售价60美元起的低成本、信用卡大小的英特尔N100单板机

Radxa X4是一款搭载英特尔N100处理器的信用卡大小的单板计算机(SBC),售价约60美元起。该x86 SBC提供许多与Raspberry Pi 5相同的功能,包括双micro HDMI输出、四个USB 3.2/2.0端口、以太网和WiFi网络,以及通过Raspberry Pi RP2040微控制器处理的40针GPIO接头。与面向Pi 5的PCIe HAT相比,网络连接速度更快,支持2.5GbE和WiFi 6,内置M.2 SSD支持,速度提高了四到八倍,USB 3.2端口能够提供10 Gbps的速度。

阅读更多

自压缩神经网络

2024-08-05
自压缩神经网络

本文介绍了一种名为“自压缩”的神经网络压缩方法,旨在减少神经网络的大小,从而降低其执行时间、功耗、带宽和内存占用。该方法通过一个通用损失函数来最小化网络的整体大小,同时实现两个目标:移除冗余权重和减少表示剩余权重所需的比特数。实验结果表明,该方法能够在保持浮点精度的同时,将网络的比特数减少到3%,权重数量减少到18%。

阅读更多
52
未分类

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

2024-06-17
华硕警告:7款路由器存在严重远程身份验证绕过漏洞

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

阅读更多
未分类 路由器漏洞
1 2 102 103 104 106 108 109 110 1084 1085