作者痴迷于卡牌游戏Balatro，并尝试将其移植到任天堂Game Boy Advance的E-Reader外设上。E-Reader的限制，例如有限的屏幕分辨率、内存和数字处理能力，给移植工作带来了巨大的挑战。作者制作了一个原型，但它只包含了游戏核心玩法的一部分，并做了一些简化，例如简化计分系统和约简特殊牌的种类。作者详细分析了移植过程中遇到的各种技术难题，包括数字精度、精灵数量、内存空间以及文本显示等问题，并探讨了可能的解决方案。最终，作者决定不公开这个原型，除非得到原游戏作者的许可。
阅读更多
法国国民议会否决了一项旨在打击毒品交易，但却会破坏端到端加密的危险提案。这项提案试图强制通讯平台允许执法部门秘密加入加密聊天，这被安全专家谴责为会引入系统漏洞，破坏对安全通信平台的信任。议员们最终听取了数字权利组织和技术专家的意见，认识到加密保护着每个人的隐私和安全，最终投票否决了该提案，为数字权利和隐私保护取得了一场胜利。
阅读更多
彭博社Mark Gurman爆料，苹果计划在iPhone 20周年之际（2027年）发布一款“几乎全是玻璃的曲面iPhone”，没有显示屏缺口，并采用屏下前置摄像头。这并非孤例，此前已有报道称苹果正与显示器合作伙伴合作打造无边框iPhone。此外，Gurman还预测2027年苹果将推出首款折叠屏iPhone、智能眼镜、配备摄像头的AirPods和Apple Watch，以及一款拥有“AI助手个性”的桌面机器人。最后，苹果可能在2027年推出基于LLM的Siri和用于服务器端AI处理的新芯片。
阅读更多
一份针对LastPass Android应用4.11.18.6150版本的隐私报告揭示了其内置7个追踪器和36个权限。这些追踪器包括AppsFlyer、Google Analytics等，用于收集用户数据。权限涵盖位置信息、网络访问、读取存储等敏感内容。报告指出，部分权限级别较高，可能存在隐私风险。用户需谨慎评估其隐私影响。
阅读更多
faynoSync是一个基于Go语言的自动化客户端应用更新API服务器。它允许你将应用上传到S3，设置版本号，客户端应用则可以检查更新。如有更新，服务端返回更新链接，客户端显示提醒。该应用支持后台和按需更新，并提供详细文档、前端界面和示例客户端应用。部署需要配置环境变量，使用Docker简化过程，并包含丰富的单元测试确保功能完整性。
阅读更多
一位程序员Varun Raghu发文宣布告别“氛围编程”（vibe coding，指借助AI快速完成编码，而非深入学习的过程）。他反思到，虽然AI辅助能快速构建应用，但这种方式阻碍了自身对编程概念的深入理解和学习。他意识到编程的核心在于解决问题的过程和批判性思维，而非最终的产品。因此，他决定回归到编写“糟糕”代码的传统方式，通过缓慢而刻意的学习，来真正掌握编程技能。
阅读更多
大型语言模型（LLM）正在彻底改变软件开发，其影响程度堪比从汇编语言到高级编程语言的转变。作者认为，LLM不仅提升了抽象层次，更引入了非确定性，这与以往的编程范式截然不同。从Fortran到Ruby，编程语言的演进提升了效率，但其本质未变。而LLM带来的非确定性，要求程序员学习与之共存，这将带来新的挑战与机遇。
阅读更多
一款名为“What the Fork”的跨平台工具可以可视化任何构建系统的构建过程，帮助开发者识别并解决构建瓶颈。它通过监控系统调用来追踪进程的启动和终止，生成包含进程时间线、命令和参数等信息的交互式可视化界面。文章作者通过多个项目的构建过程示例展示了该工具的强大功能，例如识别缺乏并行性、冗余操作等问题，从而帮助开发者优化构建效率，特别是在CI构建中效果显著。
阅读更多
一位开发者抛弃了他用了五年的MacBook Pro M1 Max，转而使用了一台廉价的Lenovo ThinkBook 14 G7 AMD笔记本电脑，并安装了Arch Linux发行版Omarchy。一个月体验下来，他发现Linux系统虽然在一些方面不如macOS成熟（例如截图工具和备份），但其高度可定制性和灵活性带给他极大的满足感。他通过自定义快捷键、配置各种工具，最终实现了与macOS类似甚至更流畅的工作流程，并享受到了自由定制操作系统的乐趣。虽然电池续航和散热方面有所妥协，但他认为这完全值得。
阅读更多
俄勒冈州立大学（OSU）的开源实验室（OSL）正面临严重的资金短缺，其22年的历史可能面临终结。OSL为全球众多开源项目提供托管服务，曾为Gentoo、Drupal和Mozilla基金会等项目提供关键支持。资金短缺源于美国联邦政府的预算削减，OSU校长也对此表达了担忧。OSL目前寻求25万美元的资金以维持运营，开源社区对此表示强烈支持，许多受益者都表达了对其重要性的肯定。
阅读更多
TankerTrackers.com 利用卫星图像和油轮追踪数据，揭示全球石油市场不透明的一面。文章详细介绍了如何通过卫星图像测量石油储罐的直径和高度，并利用阴影变化估算储罐的石油占用率。通过比较不同日期的卫星图像，可以追踪储罐石油量的变化，从而帮助分析石油市场趋势。该方法巧妙地利用了公开信息和图像分析技术，为石油市场分析提供了新的视角。
阅读更多
本文探讨了小说批评的现状，追溯到亨利·詹姆斯对狄更斯等作家的犀利批评。詹姆斯认为，优秀的批评源于对作品的深入理解和独特的视角，而非泛泛而谈的赞美。文章指出，如今的书评常常流于表面，缺乏深度和批判性思维，这不仅损害了文学作品本身，也阻碍了文学的进一步发展。作者呼吁回归到詹姆斯式的批判精神，即以专业的态度和独特的视角去审视作品，从而推动文学的繁荣。
阅读更多
大型语言模型（LLM）彻底改变了代码编写方式，其便捷性甚至超过了互联网的出现。然而，这并未改变代码理解比编写更难的根本事实，每行代码都意味着技术债务。LLM的引入使得说服团队放弃旧的测试套件、技术决策变得更难，就像让幼儿放弃安抚奶嘴一样。LLM容易编写新的功能，导致代码库变得庞大且难以维护，这与追求“不重复自己”（DRY）原则相悖。高效的工程团队依赖于对工具链的深入专业知识，而LLM降低了编写代码的成本，导致代码库生态多样性爆炸式增长。未来，LLM或许能帮助我们改进代码可读性和推理能力，但目前，它带来的挑战不容忽视。
阅读更多
美国司法部针对谷歌的反垄断诉讼中提出的合约补救措施，可能意外地损害独立浏览器（如火狐）的营收，危及它们的生存和发展。这不仅影响单个浏览器公司，更关乎开放互联网络的未来。文章指出，虽然谷歌是火狐在美国的默认搜索引擎，但这并非排他性协议，火狐一直支持多种搜索引擎选择。减少独立浏览器的数量会降低搜索引擎竞争，不利于消费者选择和技术创新。文章呼吁法院考虑不会损害独立浏览器及开放网络的补救措施。
阅读更多
宾州州立大学的研究人员取得重大突破，利用仅一个原子厚的二维材料（而非硅）成功研制出能够执行简单运算的CMOS计算机。这项发表在《自然》杂志上的研究成果，标志着更薄、更快、更节能电子设备的重大进展。他们使用二硫化钼和二硒化钨两种二维材料分别制造n型和p型晶体管，克服了此前二维材料应用于复杂计算机的挑战。虽然目前运算频率较低，但这项研究为超越硅基芯片技术开辟了新的道路，预示着未来电子技术发展的新方向。
阅读更多
一个团队用自制的8位PJ5 CPU成功渲染了曼德勃罗集，速度远超预期，仅需3秒！这得益于16个寄存器、单周期指令和硬件8x8乘法器。他们还在开发快速ROM板，以替代现有的FPGA，并计划改进显示、音频和输入设备。18个月的努力终于有了令人瞩目的成果。
阅读更多
Qodo团队发布了Deep Code Bench，一个基于大型复杂代码库中真实问题的全新基准数据集。该数据集包含从代码拉取请求中提取的真实问题和答案，旨在更好地评估代码检索系统的性能。与现有基准不同，Deep Code Bench 的问题需要跨多个文件进行检索，更贴近真实的开发场景。研究人员使用了大型语言模型生成问题和答案，并采用了事实召回机制进行评估，最终结果表明Qodo的深度研究代理在事实召回率上表现最佳。
阅读更多
许多人梦想拥有一个小咖啡店，但作者提出“咖啡豆程序”：从咖啡豆来源到员工管理，逐一拆解开咖啡店经营的琐碎细节。这是一种“解包”思维，将理想化的职业幻想具体化，从而发现许多人对工作的真实内容缺乏了解。作者以此为例，指出大部分人对高阶职业的想象过于理想化，忽视了其中的艰辛和所需付出的巨大努力。只有那些足够“疯狂”、能够坚持不懈的人才能在这些领域取得成功。最终，作者鼓励人们“解包”自己的职业规划，找到与自身特质匹配的工作，并勇敢追求目标。
阅读更多
博主在文章中介绍了使用SMT求解器Z3解决“LinkedIn皇后”问题的过程，这是一种比SAT求解器更高级的方法。“LinkedIn皇后”问题类似于国际象棋皇后问题，但增加了区域限制。作者通过使用SMT的整数变量和约束，更简洁地表达了问题，避免了SAT中复杂的布尔编码。虽然SMT求解速度可能不如SAT求解器快，但其更易于使用的特性使其在解决此类问题时更具优势，这解释了为什么业界更倾向于使用编译到SAT的工具而非直接使用SAT。文章还包含了完整的代码和一些用于验证模型正确性的辅助代码。
阅读更多
作者探索了大型语言模型（LLM）与领域特定语言（DSL）结合的新方向。作者日常使用LLM编写脚本，发现LLM擅长生成“粘合代码”，即根据自然语言描述生成代码框架，而复杂的逻辑仍需手动编写。这引发了作者对DSL设计的思考：如何将这种LLM辅助的编程流程集成到DSL中？如何弥合正式代码与非正式自然语言描述之间的差距？作者设想DSL能自动生成自然语言规范，并与非正式文本无缝集成。
阅读更多
1999年，美国人Robert Bogucki独自一人徒步进入澳大利亚大沙沙漠，引发了一场国际救援行动。26年后，他重返澳洲，与当年参与营救他的人们重逢。这次重逢不仅是对一段惊险生存故事的回顾，更是对文化差异、信仰探索和人性的深刻反思。Bogucki的沙漠之旅曾引发巨大争议，但他最终与参与搜救的澳洲原住民建立了深厚友谊，这段经历也促使他重新审视生命意义。
阅读更多
作者为了满足64k页大小的需求，决定组装一台基于Ampere Altra的开发机器。他选择了AsrockRack ALTRA8BUD-1L2T主板，二手Q80-30处理器（80核心，3.0 GHz），Arctic Freezer 4U-M散热器，以及八条16GB SK Hynix HMA82GR7CJR8N-XN内存条。经过一些调试，系统成功运行。他还选择了一个合适的机箱和电源，并添加了NVME存储和显卡。最终花费约1800欧元，略高于预期。未来计划安装Fedora 42，创建RHEL和CentOS Stream虚拟机，并尝试使用不同显卡和作为桌面使用。
阅读更多
迪士尼将旗下流媒体多频道视频服务Hulu+直播电视与竞争对手Fubo合并，此举将重塑流媒体电视行业。合并后的公司将继续以Fubo的名义上市，但迪士尼将持有70%的股份并任命董事会多数成员。Fubo管理层将负责运营合并后的公司。此举将创建一个更大的虚拟多频道视频提供商（vMVPD），能够更有效地挑战市场领导者YouTube TV，并结束Fubo与Venu体育流媒体服务的法律纠纷，后者将有望继续发展。迪士尼、福克斯和华纳兄弟探索将向Fubo支付2.2亿美元，迪士尼还将提供1.45亿美元的定期贷款。
阅读更多
苹果公司首席运营官杰夫·威廉姆斯将于本月晚些时候退休，由资深副总裁萨比赫·汗接任。威廉姆斯将继续参与Apple Watch和健康项目，以及领导工业设计团队至年底，之后设计团队将直接向库克汇报。汗在苹果工作30年，被誉为“杰出的战略家”，他将带领苹果继续在全球供应链中保持领先地位。此次人事变动标志着苹果领导层的世代交替，也预示着苹果在Vision Pro时代以及硬件和服务整合方面将发生新的变化。
阅读更多
厌倦了臃肿的RSS阅读器？作者另辟蹊径，利用Deno和一个简单的文本文件构建了自己的RSS阅读器。它只显示最新三篇文章的标题和链接，无需本地存储全文或阅读标记，通过GitHub Actions每日自动更新。代码简洁，易于理解和扩展，是一个极简主义者的福音。
阅读更多
告别依赖后端服务器的传统Web应用！本地优先Web开发是一种革命性方法，将数据控制权交给用户。它允许用户在离线状态下访问应用，并自动同步数据。文章深入探讨了本地优先开发的核心原则、优势以及与传统云端应用的对比，并介绍了构建本地优先应用的步骤，例如将Vue SPA转换为PWA，使用SQLite等高级存储机制，以及实现同步和身份验证系统。未来文章将深入探讨数据冲突解决等更复杂问题。
阅读更多
本文深入探讨了BeeKEM，一种用于去中心化安全组消息传递的创新密钥封装机制。与传统的TreeKEM相比，BeeKEM通过允许同时存在多个组状态“纪元”来增强对冲突离线更新和网络分割的恢复能力。当成员收到冲突更新时，他们可以保留所有接收到的密钥，标记为“冲突”，从而继续解密和读取来自冲突纪元的消息。在进行更新时，只需将冲突节点视为空白即可。BeeKEM为构建具有更强隐私保护和自主性的本地优先应用程序带来了新的可能性。
阅读更多
许多游戏在 MacBook 带刘海的屏幕上渲染错误。这是因为游戏获取屏幕分辨率的方式（CGDisplayCopyAllDisplayModes）返回包含刘海区域在内的分辨率，导致游戏画面被压缩变形。文章分析了屏幕不同区域（完整屏幕、安全区域、AppKit 全屏区域）的区别，并提供了一种筛选分辨率的解决方案，但最终指出问题根源在于 Apple 的 API 设计。文章还列举了受影响的游戏和 Apple 可以采取的改进措施，例如更新 HIG、改进 CGDisplayMode 或创建新的游戏专用 API。
阅读更多
宾汉姆顿大学的Guy German教授及其团队研究了长期浸水后手指起皱的原因。之前的普遍认知是水使皮肤膨胀导致起皱，但研究发现，其实是皮肤下的血管收缩导致了皱纹的形成。更有趣的是，他们通过重复实验发现，皱纹的图案在多次浸水后保持不变，这与血管的相对稳定位置有关。这项研究甚至意外发现，患有正中神经损伤的人手指不会起皱。这项研究成果未来可能应用于法医领域，例如改进指纹识别技术。
阅读更多