本文讲述了作者在重写RizinOrg的C++反汇编器rz-libdemangle的过程中，如何解决上下文无关文法(CFG)中左递归和互斥左递归的问题。文章首先解释了左递归和互斥左递归的概念，并通过简单的例子和状态图演示了如何将左递归文法转换为右递归文法，避免无限递归。随后，作者分享了其在Itanium ABI反汇编器中遇到的实际问题，展示了复杂的左递归和互斥左递归的语法，以及如何使用宏定义和巧妙的语法转换来解决这些问题，最终避免了栈溢出错误。
阅读更多
这个开源项目提供了一系列开关抖动行为的示波器波形数据，包含各种类型开关（摇杆开关、按钮开关等）在不同压力和速度下的测试结果。数据以CSV和PWL格式提供，方便用户用于电路和固件的去抖动算法设计与仿真。该数据集涵盖了多种开关型号，并详细记录了测试方法和设备，具有很高的参考价值。
阅读更多
1981年，Commodore旗下MOS Technology的工程师们秘密研发了Commodore 64的核心图形和声音芯片。不到一年，这款配备64KB内存（远超当时标准）的家用电脑以595美元的惊人低价面世，迅速席卷市场。然而，其成功背后隐藏着仓促的设计、质量控制问题（“sparkle”缺陷）、以及令人诟病的慢速磁盘驱动器。尽管存在缺陷，Commodore 64凭借超低价格和超越同侪的图形及声音效果，成为一代经典，也深刻地影响了家用电脑行业的发展。
阅读更多
本文作者分享了在构建AI智能体过程中六个重要的经验教训。作者强调清晰的指令、精简的上下文管理、稳健的工具接口和自动化的验证循环的重要性。文中指出，现代大型语言模型需要直接详细的上下文，避免使用技巧性提示。通过将大型语言模型与工具和基本控制流运算符相结合，可以构建强大的AI智能体。作者还建议采用两阶段算法，其中一个阶段负责生成结果，另一个阶段负责验证结果，并通过迭代改进和错误分析不断提升智能体的可靠性和可恢复性。
阅读更多
谷歌正在研发名为“Web Guide”的新搜索功能，它利用定制版的 Gemini AI 模型，将搜索结果按类别组织，并提供额外的上下文和见解。Web Guide 会将网页链接分组，并在链接前添加标题和摘要，方便用户查找信息。它适用于开放式和多句式详细查询，能够更好地呈现用户可能未曾发现的网页。目前，该功能已在 Search Labs 中推出，用户可以在“Web”标签下体验。
阅读更多
这个项目利用AWS Lambda函数和NAT穿透技术构建了一个无服务器QUIC代理。通过S3协调和UDP穿透，它无需专用服务器即可创建加密的代理连接。该系统分为三个阶段：协调阶段（客户端通过STUN协议发现公网IP，将会话信息写入S3），NAT穿透阶段（客户端和Lambda函数互相发送UDP数据包，创建双向NAT孔），以及QUIC隧道建立阶段（客户端启动QUIC服务器，Lambda函数作为客户端连接）。最终实现浏览器通过SOCKS5代理连接到互联网，Lambda函数充当出口节点转发流量。
阅读更多
Xenon是一个功能强大的C++游戏作弊框架，支持创建内部和外部作弊程序。它采用模块化设计，易于实现ESP、Aimbot、Radar等功能，并支持虚幻引擎和Unity等多种游戏引擎。该框架提供内部（DLL注入）和外部（独立应用程序）两种作弊方式，并包含自动DLL注入系统（尚在开发中）。无论你是想开发针对虚幻引擎还是Unity游戏的作弊程序，Xenon都能简化你的开发流程，让你专注于游戏逻辑的实现。
阅读更多
OpenPrompt 是一款便捷工具，用于将文件夹和文件快速序列化成 XML 格式，以便轻松地将代码导入 Claude、GPT-4、Grok 等大型语言模型。它支持多种操作系统，并提供可执行文件下载。用户只需选择目录、设置过滤器、选择文件并添加指令，即可生成 XML 提示并复制到剪贴板，方便代码审查、文档生成、重构建议、错误查找、学习新代码库以及架构分析等多种用途。
阅读更多
加利福尼亚州一个非营利组织正在帮助曾服刑的消防员克服就业障碍，并以此扩展消防员队伍。该组织为他们提供认证培训、求职指导和技术支持，甚至协助消除犯罪记录。文章讲述了该组织创始人Royal Ramey的经历，他本人曾是服刑人员，通过在狱中学习消防技能，最终成为一名消防员。他认为，解决消防员短缺问题需要打破行业固有偏见，吸纳更多来自不同背景的人才，并呼吁政府加大对相关非营利组织的资金投入。
阅读更多
Cerebras Systems近日宣布，其系统在Meta的Llama 4 Maverick 400B参数模型上实现了超过2500个token/秒的推理速度，远超Nvidia的1000个token/秒，创下新的世界纪录。这一速度提升对于需要快速响应的AI应用，例如智能体、代码生成和复杂推理至关重要，能够显著缩短等待时间，提升用户体验。Cerebras的解决方案无需特殊内核优化即可实现这一性能，并即将通过Meta的API服务提供给所有用户。
阅读更多
亚马逊AWS将于2025年7月15日彻底改革其免费套餐。新的信用额度系统将取代传统的12个月免费模式，为新用户提供最高200美元的信用额度，并可通过完成特定活动赚取额外信用。但新系统也带来限制：免费账户使用期限最长6个月，到期后将自动关闭，且服务访问受限。现有用户不受影响，将继续享受12个月免费套餐。建议有意使用AWS的用户在7月15日前注册，以获得12个月的免费试用期；之后注册的用户，则应根据自身需求选择付费或免费方案，并密切关注信用额度使用情况，避免账户关闭。
阅读更多
Harry Brearley，一个从小对钢铁痴迷的Sheffield男孩，在机缘巧合下，意外发现了不锈钢。最初，他只是为了解决枪管腐蚀问题，却在一次偶然的实验中，发现了一种不生锈的铬钢。尽管最初并未引起重视，但Brearley的坚持和对细节的执着，最终让这种改变世界的材料走进了千家万户。这是一个关于好奇心、坚持和意外发现的故事，也展现了科技发展中，偶然与必然的奇妙结合。
阅读更多
作者在安全课程中发现虚拟机更新文件（*.gpg）包含用于提交答案的令牌。通过分析更新程序installUpdate，发现其使用GPG解密，并依赖于`/root/.vmPassphrase`和`/root/.gnupg`文件。作者通过挂载虚拟磁盘，获取这些文件，成功解密更新文件，提取令牌并提前完成作业。更新文件包含Java代码，用于生成基于AES加密的令牌。作者指出，这种攻击方式依赖于对虚拟机磁盘的完全访问权限，并提出了使用远程虚拟机的改进方案。尽管提前完成作业，作者仍然强调学习过程的重要性，并表示最终仍需认真完成课程作业。
阅读更多
本文尝试在Lisp中编写一个“真相预言机”，一个能够判断任意数学命题真假的程序。作者介绍了Curry-Howard同构，解释了逻辑证明如何对应于类型化函数式编程中的表达式。通过巧妙运用Racket的call/cc函数（与皮尔士定律同构），作者试图实现一个与排中律同构的程序。然而，实验结果出乎意料：预言机总是返回假，直到尝试访问一个不可能存在的类型值时才返回真。这揭示了经典逻辑与构造性逻辑的差异，以及call/cc函数非正常的控制流机制。最终，作者用一个“恶魔的交易”比喻解释了这种奇特的现象，展现了call/cc函数背后的时间旅行般的机制。
阅读更多
沃尔玛和Alphabet旗下的无人机公司Wing正在扩大其无人机送货合作，将服务扩展到美国五个新城市：亚特兰大、夏洛特、休斯顿、奥兰多和坦帕。顾客可以在线订购商品，并选择无人机送货上门。自2021年启动以来，沃尔玛已完成超过15万次无人机送货，Wing也已完成超过45万次住宅送货。此次合作将进一步提升送货效率和便捷性，并探索更环保的物流解决方案。
阅读更多
KDE社区决定停止Plasma的长期支持(LTS)版本发布，转而延长错误修复和功能版本的支持周期。此举旨在解决社区期望不一致、开发者不愿维护旧版本以及 Frameworks 和 Gear 应用的 LTS 支持不一致等问题。未来，Plasma 将每年发布两次功能版本，并增加一个错误修复版本，以提高稳定性。此举旨在为用户提供更好的桌面体验。
阅读更多
研究人员发现，未加密的HTTP/2协议可以绕过中国和伊朗的网络审查。尽管浏览器不支持未加密HTTP/2，但研究人员发现高达6.28%的网站支持该协议。他们开发了一个工具来检测网站对未加密HTTP的支持，并认为这项发现为目前的审查规避技术提供了补充。需要注意的是，未加密HTTP/2并不安全，不应传输敏感数据。
阅读更多
本文深入探讨了Bill Benter如何通过在香港赛马中押注赚取10亿美元的传奇故事。Benter于1994年发表了一篇题为《基于计算机的赛马让分和投注系统：一份报告》的学术论文，其中详细介绍了一个成功的赛马投注模型。虽然该模型因公开发表而过时，但论文仍然具有深刻的洞察力，它罕见地展现了数学在非常规领域的应用，尤其是在当时的硬件和软件限制条件下。文章对论文进行了注释，并补充了代码块和注释，重点介绍了模型校准表、公共赔率估计的改进以及使用PyTorch从头开始拟合调整因子的过程。通过比较1986-1993年、1996-2003年、2006-2013年和2016-2023年的数据，展示了模型的改进和演变。
阅读更多
谷歌正在开发名为“Desktop View”的全新Android桌面模式，该模式将带来持久任务栏和可调整大小的自由窗格等功能，为用户提供类似PC的多任务体验。这标志着谷歌在挑战三星DeX，为非三星Android手机用户提供更强大的桌面体验方面迈出了重要一步。虽然目前仍处于开发阶段，但其功能已相当完善，包括持久任务栏、可调整大小的自由窗格以及应用间的拖放功能，有望在未来成为Android系统的重要组成部分。
阅读更多
《Cataphracts》是一款独特的异步实时战争游戏，其核心机制在于模拟战争的运作层面，而非单纯的战略或战术。游戏设定在1300年左右的伪黑海地区，玩家扮演指挥官，通过文字指令指挥军队，真实模拟行军、补给、通讯等环节。游戏强调信息的不对称性与延时，指挥官们只能依靠有限的情报做出决策，战略失误往往源于沟通不畅和信息滞后，而非军队实力的差距。这种机制催生了高度的玩家互动和角色扮演，即使是简单的计划也可能因后勤问题而失败，真正考验的是指挥官的协调能力和对战场态势的判断。
阅读更多
Signal 桌面版为 Windows 系统新增了“屏幕安全”设置，默认在 Windows 11 上启用，以防止微软 Recall 偷偷截取 Signal 聊天截图。Recall 会每隔几秒钟截取应用屏幕，存储到可搜索数据库中。尽管微软在公众强烈抗议后下架并重新发布了 Recall，但它依然对 Signal 等隐私应用构成威胁。Signal 的新设置利用 DRM 标记阻止截图，但同时也带来了一些可用性问题。Signal 呼吁操作系统厂商提供更完善的开发者工具，避免隐私应用不得不采取额外措施来保护用户隐私。
阅读更多
长期使用电脑键盘导致手部疼痛后，作者尝试了Maltron和MoErgo Glove80两种人体工学键盘。Maltron的拇指键布局更符合人体工学，尽管外观老旧；而Glove80虽然可定制，但拇指键布局和按键延迟问题影响了使用体验。最终作者回归Maltron，并呼吁键盘设计师重视拇指键设计的重要性。
阅读更多
网络安全公司SentinelOne公开披露了其遭受来自朝鲜IT人员、勒索软件运营商和中国国家支持的组织等多方攻击的经历。攻击手段包括伪装求职、探测平台漏洞以及针对合作企业。SentinelOne强调了安全厂商自身也是重要攻击目标，并分享了其通过内部协作、情报驱动防御等手段应对挑战的经验，呼吁业界加强合作，共同提升安全防御能力。
阅读更多
Windows 10即将停止支持，微软希望你购买新电脑。但别急着扔掉你的老机器！安装最新的Linux操作系统，能让你的旧电脑（2010年后购买的）焕发青春，继续使用数年。安装过程或许看似复杂，但别担心，社区支持和专业服务能助你一臂之力。选择Linux，意味着节省硬件和许可证成本，增强隐私保护，减少碳排放，并获得更好的用户控制权。让你的旧电脑重获新生吧！
阅读更多
麻省理工学院的一项最新研究表明，使用AI聊天机器人完成任务实际上会降低大脑活动，并可能导致事实记忆力下降。研究人员让三组学生撰写文章，一组不借助任何工具，一组使用搜索引擎，另一组使用GPT-4。结果显示，使用LLM的组大脑活动最弱，知识保留最差，甚至在后续测试中表现不佳。研究提示，过早依赖AI可能导致浅层编码，损害学习能力，建议推迟AI的使用，直到学生进行足够的自主认知努力。
阅读更多
比亚迪发布了新的电动汽车超级快充平台，其充电速度堪比加油，并宣布将在中国建设充电网络。该平台充电功率高达1000千瓦，5分钟可为车辆补充400公里续航里程，远超特斯拉的500千瓦超级充电桩。比亚迪计划建设超过4000个超快充桩，以解决用户里程焦虑，这标志着行业充电功率首次达到兆瓦级别。新平台将率先应用于汉L轿车和唐L SUV两款车型。
阅读更多
GitHub 为了增强平台安全性及稳定性，正在更新未经身份验证请求的速率限制。此举针对通过 HTTPS 克隆仓库、匿名访问 REST API 和从 raw.githubusercontent.com 下载文件等操作。最近 GitHub 发现 API 刮取活动增多，此更新旨在保护平台，确保全球开发者都能稳定可靠地使用 GitHub。未经身份验证的用户可能会遇到新的速率限制，但已认证用户将继续享有更高的速率限制。GitHub 建议使用身份验证以获得更一致和可靠的服务访问。
阅读更多
OmniParser 是一个用于将用户界面截图解析成结构化易于理解的元素的综合方法，这显著增强了 GPT-4V 生成可准确落地到界面相应区域的动作的能力。最近更新的 OmniParser V2 实现了在 Screen Spot Pro 基准测试中 39.5% 的最新技术水平，并推出了 OmniTool，允许用户通过选择的视觉模型控制 Windows 11 虚拟机。该项目提供了详细的安装说明和演示，模型权重可在 Hugging Face 上获取。
阅读更多
谷歌悄然更新了Gboard键盘，将按键形状从方形改为圆形，并调整了按键位置。此举引发用户强烈不满，部分用户抱怨新设计影响打字效率和舒适度，认为谷歌未经预告就更改界面设计令人反感。虽然用户可以在主题设置中关闭按键边框，但这并不能完全解决问题。此次更新凸显了用户习惯的重要性以及未经用户许可更改默认设置的风险。
阅读更多
Mosaic，一款基于AI的节点式视频编辑工具，在Google Gemini Kaggle竞赛中脱颖而出，荣获冠军。现招募创始工程师，参与核心视频编辑算法的开发和可扩展性管道的构建，需要扎实的技术功底和第一性原理思维。团队由前特斯拉工程师组成，目标是将视频编辑时间从小时缩短到秒级。
阅读更多