模拟城市:一个反乌托邦的杰作
一名菲律宾建筑系学生Vincent Ocasla耗时一年半,在模拟城市3000中创造了一个名为Magnasanti的反乌托邦城市。这个拥有600万人口的城市,以其严密的秩序和压抑的社会结构令人震惊。Ocasla受Koyaanisqatsi的启发,通过游戏表达了他对社会控制和权力滥用的看法,Magnasanti的市民在高度管控下,生活在贫困和压抑之中,寿命只有50岁。这并非简单的游戏,而是对现实社会深刻的批判和反思。
阅读更多
一名菲律宾建筑系学生Vincent Ocasla耗时一年半,在模拟城市3000中创造了一个名为Magnasanti的反乌托邦城市。这个拥有600万人口的城市,以其严密的秩序和压抑的社会结构令人震惊。Ocasla受Koyaanisqatsi的启发,通过游戏表达了他对社会控制和权力滥用的看法,Magnasanti的市民在高度管控下,生活在贫困和压抑之中,寿命只有50岁。这并非简单的游戏,而是对现实社会深刻的批判和反思。
阅读更多
Ubiquiti推出了UniFi OS Server抢先体验版,旨在为MSP和企业IT团队提供改进的UniFi管理体验。它允许在自有硬件上运行UniFi Network和部分UniFi应用(如InnerSpace和Identity),无需Dream Machine或Cloud Key。虽然它支持一些新的云功能,例如InnerSpace、Site Magic和UniFi Identity,但仍存在一些限制,例如不支持Cloud Gateways和缺乏完整的组织管理功能。对于已经自托管UniFi Network的用户来说,它是一个有用的补充,但对于期待彻底改变MSP控制面板的用户来说,它还不能完全满足需求。
阅读更多
亚马逊工程师分享了他们如何使用Rust和WebAssembly重构Prime Video客厅设备UI的历程。面对客厅设备(机顶盒、游戏机等)性能差异巨大、硬件能力参差不齐、原生代码更新困难等挑战,他们采用了一种混合架构:使用Rust和WebAssembly构建低层UI引擎,业务逻辑代码则使用React和JavaScript编写,并通过消息总线进行通信。为了进一步提升性能和响应速度,他们最终将UI层完全迁移到Rust,并开发了一个新的Rust UI SDK。新的架构显著降低了输入延迟,并实现了以前无法实现的动画效果。虽然WebAssembly生态系统仍处于发展阶段,存在一些挑战,例如panic处理,但整体结果令人满意,开发者效率也有所提高。
阅读更多
Svader是一个用于创建GPU渲染Svelte组件的库,它利用WebGL和WebGPU片段着色器实现高性能图形渲染。开发者可以使用片段着色器编写程序,自定义像素颜色,并通过参数传递控制渲染效果。该库支持Svelte 4和Svelte 5,提供了WebGL和WebGPU两种渲染模式,并包含丰富的内置参数,例如分辨率、缩放比例和时间等。Svader还提供易于使用的组件,简化了GPU渲染的开发流程,即使在不支持WebGL或WebGPU的环境下,也能通过回退机制提供基本的渲染功能。
阅读更多
最近,越来越多的网站使用Anubis这个反爬虫系统,它用类似挖矿的方式来验证访问者身份,要求用户进行SHA-256运算来获得访问权限。作者质疑Anubis的有效性,因为它对拥有强大计算能力的AI爬虫来说成本微不足道,却给普通用户带来不便。通过计算,作者发现即使有上万个网站部署Anubis,破解其验证机制的成本也几乎为零。作者最后提供了一个简单的C程序来绕过Anubis的限制,并指出Anubis系统存在漏洞。
阅读更多
Capsul,这个小型云服务平台,有着一段传奇的诞生故事。它起源于一个名为Cyberia.club的社区,最初的服务器“贝加尔湖”(Baikal)甚至是由一群人在公寓楼顶组装而成。历经从手动创建虚拟机到拥有自助服务的web界面,以及服务器宕机、支付系统中断等危机,Capsul团队始终坚持初心,不断改进,为小型社区提供更优质的服务。如今,他们拥有新的服务器“鼠窝”(Rathouse),并致力于将Capsul打造成一个真正优秀、易用且可靠的云平台,而非简单的逐利项目。
阅读更多
资深程序员antirez分享了他一年半来使用Gemini 2.5 PRO和Claude Opus等大型语言模型辅助编程的经验。他认为,目前的LLM更适合作为程序员的强大助手,而非独立完成项目的工具。通过清晰地描述问题,并进行有效的沟通和迭代,LLM可以帮助程序员消除bug,快速探索想法,进行结对设计,甚至学习掌握超出自身专业领域的技术。然而,antirez强调,要充分发挥LLM的潜力,需要提供足够的上下文信息,选择合适的模型,并始终保持对代码的控制,避免依赖自动化代理。只有这样,才能保证代码质量,并最大限度地提高效率。
阅读更多
一个管理全球数百万设备日志的网站,十年间经历了从正常的报表页面到完全开放的SQL注入服务的蜕变。起初,简单的报表功能满足需求,但一次次的“小改动”累积了技术债,最终演变成开发者自己都无法维护的“SQL注入即服务”。最终,一位新工程师试图修复,却因删除数据导致系统崩溃,被公司解雇,留下一个警示:技术债务和安全漏洞的累积,最终会导致灾难性的后果。
阅读更多
苹果公司向用户推送苹果钱包应用的F1电影广告引发强烈争议。文章指出,这一举动破坏了苹果钱包致力于打造的隐私和信任形象。将广告推送至钱包应用,如同在用户的物理钱包中植入广告一样荒谬,这与苹果努力营造的“安全可靠”的品牌形象严重冲突。此举可能让用户误以为苹果钱包正在追踪他们的兴趣和活动,从而损害用户对苹果钱包的信任,并对其隐私产生担忧。作者甚至建议应该解雇授权这一广告投放的人。
阅读更多
本文探讨了在构建应用时,需要同时考虑三种界面:用户界面(UI)、应用程序接口(API)和用户代理界面(UAI)。作者强调,随着AI代理的兴起,UAI设计变得至关重要。为了确保应用功能在三种界面中的一致性和可用性,关键在于将核心业务逻辑与界面特定的呈现和交互模式区分开来,并将功能定义抽象到底层应用逻辑中,从而避免在添加新功能时意外降低任何界面的可用性。
阅读更多
宾州州立大学的研究人员取得重大突破,利用仅一个原子厚的二维材料(而非硅)成功研制出能够执行简单运算的CMOS计算机。这项发表在《自然》杂志上的研究成果,标志着更薄、更快、更节能电子设备的重大进展。他们使用二硫化钼和二硒化钨两种二维材料分别制造n型和p型晶体管,克服了此前二维材料应用于复杂计算机的挑战。虽然目前运算频率较低,但这项研究为超越硅基芯片技术开辟了新的道路,预示着未来电子技术发展的新方向。
阅读更多
本文深入探讨了 Janet 编程语言中 PEG (Parsing Expression Grammars) 引擎的实现。作者从 PEG 的基本概念出发,逐步讲解了如何用简洁的代码实现一个功能强大的 PEG 解析器。文章重点介绍了核心匹配函数 `match-peg` 的设计与实现,以及如何通过添加操作符和递归来扩展其功能,最终实现对 ISO 8601 日期格式的解析。虽然该实现并非完美,但它清晰地展现了 PEG 的核心思想和实现方法,对于学习 PEG 和编译原理的读者具有重要的参考价值。
阅读更多
Google在I/O 2025上详细展示了Android XR眼镜的日常应用。这款眼镜将配备摄像头、麦克风和扬声器,可选配“透镜显示屏”提供信息。它能与手机协同工作,无需掏出手机即可访问应用。Gemini AI将理解你的语境,提供所需信息,并支持Google Calendar、地图等应用。Google正与Warby Parker和Gentle Monster等品牌合作,打造时尚的日常佩戴眼镜。此外,Google还与三星合作开发Android XR眼镜的软件和参考硬件平台,开发者今年晚些时候即可开始开发。隐私方面,Google正在进行用户测试收集反馈。另一款与XREAL合作的Android XR头显设备也即将推出,面向开发者提供开发版。
阅读更多
墨西哥瓦哈卡州天堂般的海滩近期发生了一系列令人震惊的失踪案。10名来自特拉斯卡拉州的年轻人,年龄在19至29岁之间,在瓦哈卡州的齐波利特和瓦图尔科失踪,其中9人的尸体在一个废弃的汽车内被发现,地点距离失踪地点数百公里。事件揭露了当地潜在的毒品交易、房地产开发以及警方可能存在的牵连,以及政府试图掩盖真相的企图。这一系列事件不仅冲击了当地旅游业,也引发了人们对墨西哥安全问题的担忧。
阅读更多
作者参与了Prospero挑战,目标是快速渲染莎士比亚《暴风雨》名言的1024x1024图像,该图像由一个包含7866个运算的数学公式生成。作者尝试了多种优化方法,包括使用Quadtree递归细分图像、区间分析简化公式、以及“所需信息”优化等。通过RPython和C语言实现,作者比较了不同优化策略的性能,其中“所需信息”优化显著提升了渲染速度,最终C语言实现结合该优化方法取得了最佳性能。
阅读更多
这款应用将跑步与植物养成游戏结合,鼓励用户坚持锻炼。用户安装应用后,创建自己的虚拟花园并设定每周目标。每次跑步,应用会根据跑步距离奖励用户不同的植物,越长距离解锁越稀有的植物。坚持跑步就能扩展花园,用户可以选择分享进度或将其作为私人空间。简单易用的界面专注于跑步本身,而非复杂的指标,让用户轻松养成跑步习惯。
阅读更多
作者长期使用Cursor,但发现其性能不稳定,有时惊艳,有时令人沮丧。最近尝试了Claude 3.7 MAX模型,起初惊艳,但很快崩溃,如同纸牌屋。相比之下,Windsurf凭借其更好的产品体验,正在逐渐取代Cursor。作者认为,虽然所有AI IDE都基于VS Code,切换成本极低,但Windsurf的易用性使其脱颖而出。作者将继续在两者之间切换,寻找最合适的AI IDE,并指出AI IDE需要建立护城河才能在竞争中立于不败之地。
阅读更多
这段代码实现了一个在三维球面计算两点之间路径的算法。它首先将起点和终点向量转换为局部坐标系,然后利用四元数插值计算路径上的多个点,最后生成一条连接两点的曲线。该算法巧妙地利用了三维向量和四元数的特性,高效地计算出平滑的球面路径,适合用于三维场景中的路径规划和动画制作等应用。
阅读更多
长期使用电脑键盘导致手部疼痛后,作者尝试了Maltron和MoErgo Glove80两种人体工学键盘。Maltron的拇指键布局更符合人体工学,尽管外观老旧;而Glove80虽然可定制,但拇指键布局和按键延迟问题影响了使用体验。最终作者回归Maltron,并呼吁键盘设计师重视拇指键设计的重要性。
阅读更多
Demodesk,一家提供AI驱动销售辅导、日程安排自动化及视频会议平台的科技公司,正在全球范围内招聘人才。他们倡导远程友好型工作环境,提供灵活的工作条件和丰厚的福利,包括股票期权、医疗保健、通勤补贴等,并注重员工成长和发展。加入Demodesk,一起塑造销售的未来!
阅读更多
瑞士苏黎世联邦理工学院的研究人员发现了一种新型CPU漏洞,攻击者可通过巧妙利用CPU指令执行顺序的模糊性,绕过用户权限保护,以每秒超过5000字节的速度读取内存内容。该漏洞并非个例,属于一系列利用推测执行技术的漏洞之一,类似于2017年的Spectre和Meltdown漏洞。虽然Intel已采取措施,但这凸显了该架构的根本性缺陷,需要持续的修补工作。
阅读更多
DictionaryGames是一款结合游戏和学习的英语词汇应用,提供免费的趣味小游戏版本和付费的学习版本。免费版无需注册和追踪,即玩即体验;付费版(2025年春季上线)则采用先进的闪卡技术,根据用户水平和兴趣定制学习内容。此外,它还提供教师版(2025年秋季上线),每月10美元,为英语老师和学生提供定制的练习题。用户评价褒贬不一,有人沉迷其中,有人感叹其难度,也有人担忧学生会讨厌它,展现了这款应用的独特魅力。
阅读更多
GitHub上开源了Commodore 64版经典游戏Elite的完整源码,并附带详细注释。该项目包含了四个版本的源码,涵盖了不同硬件平台和构建方式。开发者不仅可以浏览经过详细注释的源码,了解Elite的运行机制,还可以使用提供的Makefile在现代计算机上编译出可运行的D64磁盘镜像,在模拟器或真实硬件上运行游戏。该项目旨在帮助人们更好地理解这款8位时代标志性游戏,具有极高的教育意义和收藏价值。
阅读更多
DNS最初缺乏安全机制,易受缓存投毒、中间人攻击等威胁。DNSSEC通过数字签名和信任链验证增强了DNS安全性,但普及率仍面临挑战。国际化域名(IDN)则解决了DNS对ASCII字符的限制,促进了全球互联网的多语言支持。近年来,DoH、DoT、DoQ和ODoH等加密DNS协议进一步提升了用户隐私和性能,但在网络可见性和运维复杂度方面也带来了新的权衡。
阅读更多
英国考古学家马克·霍顿领导的研究团队,通过在哈特拉斯岛发现的铁屑(锤鳞),揭开了困扰历史学家400多年的罗阿诺克殖民地消失之谜。这些铁屑证明了16世纪末期,英国殖民者掌握的铁器锻造技术的存在,而当时的北美原住民并不具备这项技术。这表明,殖民者并未被消灭,而是与当地的克罗阿通人融合,并繁衍生息。这一发现,虽然不能完全终结这个古老的谜团,但为这段历史提供了强有力的证据。
阅读更多
互联网档案库Internet Archive (IA)因其“伟大的78转项目”面临音乐出版商的版权诉讼。出版商认为项目中包含的歌曲已广泛流传,无需IA的存档。然而,档案管理员和协会则指出,78转唱片已非常罕见,许多唱片并未以商业形式再版,IA的项目对保存历史和提供长期访问至关重要,其保存的不仅仅是音频,还有唱片标签、版权信息等元数据,具有重要的研究价值。这场纠纷的核心在于如何平衡数字时代下文化遗产的保护与版权的限制。
阅读更多
本文介绍了一种在Haskell中重载lambda抽象以构建嵌入式领域特定语言(EDSL)的方法。作者通过巧妙地利用`Port`类型和`encode`、`decode`函数,将Haskell函数转换为自定义类别中的态射,从而实现了简洁直观的语法,避免了繁琐的Arrow抽象和proc notation。这种方法无需任何元编程或编译器插件,仅需少量Haskell代码即可实现。作者以流程图DSL为例,展示了该方法的应用,并讨论了避免重复和处理副作用等问题。
阅读更多
一家初创公司尝试利用AI模型进行代码安全漏洞扫描,发现自去年六月以来,尽管模型的基准测试分数不断提高,但实际应用效果提升有限。作者认为,大型语言模型的进步并未体现在经济效用和泛化能力上,这与公开报道存在差距。这引发了对AI模型评测方法的质疑,以及对AI实验室可能夸大模型能力的担忧。作者呼吁关注模型的实际应用能力,而非单纯的基准测试分数,并强调在AI应用于社会治理前需完善评估体系。
阅读更多
一项新的研究表明,TikTok的算法可能更有利于传播支持中国共产党的观点,而非批评性内容。研究人员发现,即使批评性内容的互动率更高,TikTok仍然推送更多支持性内容。此外,该研究还显示,TikTok用户比其他平台用户对中国的评价更为正面。这一发现正值美国最高法院即将审理是否禁止TikTok的案件之际,进一步加剧了对TikTok作为中国政府宣传工具的担忧。
阅读更多