发现并修复对程序行为的常见误解 (blog.brownplt.org)
本文介绍了标准语言模型 (SMoL)，它代表了多种流行编程语言（如 Java、C#、Python、JavaScript 等）的共同语义核心。SMoL 具有巨大的教学优势，因为它可以让学生掌握这些语言的核心概念，使其更容易在不同语言之间迁移知识。作者开发了一个 SMoL Tutor 工具，用于识别和纠正学生对 SMoL 程序行为的误解。Tutor 使用了一种名为“反驳文本”的教育方法，帮助学生理解错误并纠正他们的理解。作者还提出了“误解解释器”的概念，它是一种故意错误的解释器，用于模拟学生的误解。
Security engineer jailed for 3 years for $12M crypto hacks | TechCrunch (techcrunch.com)
该网站报道了一名安全工程师因对加密货币发起1200万美元的黑客攻击而被判处3年监禁。工程师利用其公司安全系统中的漏洞实施了攻击，并从受害者的加密钱包中窃取了资金。报道强调了网络安全的重要性，并指出加密货币盗窃案正在上升。
Apple removes the first iOS Game Boy emulator released under new App Store rules | Ars Technica (arstechnica.com)
Ars Technica Gaming报道了Apple从App Store中移除了一款名为'Delta'的iOS Game Boy模拟器，这是根据新App Store规则发布的第一款此类模拟器。这款模拟器是由Riley Testut开发的，他质疑Apple的决定，并指出该公司允许其他模拟器在App Store上架。
亚马逊冷酷的商业行为内幕，以及如何变成“碰不得的毒瘤” | 名利场 (www.vanityfair.com)
《名利场》这篇文章深入探讨了亚马逊的商业行为，揭示了其使用垄断力量压制竞争对手、优先考虑利润高于客户福利的做法。文章还揭示了亚马逊内部存在的不公平劳工行为和环境破坏做法。
Summers: Inflation Reached 18% In 2022 Using The Government’s Previous Formula (www.forbes.com)
福布斯网站的一篇新闻文章，讨论了根据美国政府以前的计算公式，2022年的通胀率为18%。文章引用了经济学家劳伦斯·萨默斯的观点，他认为过高的通胀率是由过度扩张的货币和财政政策造成的。文章还提供了其他经济学家的观点，并指出政府已经采取措施控制通胀。
麦哲伦航海记：第五章 启航 (analog-antiquarian.net)
本章讲述了麦哲伦舰队在西班牙启航后，前往加那利群岛途中的经历。文中详细描述了船上水手的日常生活、舰队航行的规则和信号，以及麦哲伦在特内里费岛做出的应对葡萄牙封锁的计划。作者将麦哲伦比作荷马史诗中的奥德修斯，暗示他是一个足智多谋、富有计谋的人。本章以麦哲伦发布的秘密命令结尾，留下悬念，引发读者对下一章内容的期待。
Senate passes reauthorization of key US surveillance program | AP News (apnews.com)
美联社报道，美国司法部长加兰德因特朗普政府时期FBI针对卡特·佩奇发出的监视令而任命特别检察官。监视令被指控包含虚假信息，用于证明监视佩奇的行为是正当的。加兰德任命的前马里兰州检察官特雷西成为特别检察官，将调查这一指控及相关事项。
苹果Vision Pro续作预计2026年末推出 (wccftech.com)
根据业内人士Ross Young的说法，苹果正在开发的下一代Apple Vision Pro显示器将于2026年末推出。这款显示器将配备27英寸mini-LED显示屏，具有ProMotion技术和HDR支持。
Almost every Chinese keyboard app has a security flaw that reveals what users type | MIT Technology Review (www.technologyreview.com)
该网站文章探讨了中文键盘应用程序在加密和数据安全方面的不足。文章指出，许多中文键盘应用程序会收集和传输用户在输入时的信息，包括个人信息和敏感数据，而这些信息未得到充分的保护。文章呼吁对这些应用程序进行更严格的安全审查，并提出建议，帮助用户保护他们的隐私，如使用端到端加密键盘或定期更改密码。
Carapace (carapace.sh)
Carapace是一个基于Rust语言的开源网络安全框架，旨在帮助安全研究人员、软件工程师和系统管理员解决网络安全问题。它提供了各种模块，包括网络扫描、漏洞利用、安全应用程序开发和信息收集，旨在帮助用户发现漏洞、执行攻击并防御网络威胁。Carapace易于使用且可扩展，用户可以根据需要添加和修改模块以满足其特定需求。
欢迎使用 Threlte (threlte.xyz)
Threlte 是一个基于 Svelte 和 Three.js 构建的 Web 3D 框架。它允许以声明式的方式使用 Three.js 的所有功能，通过 Threlte 的渲染组件组合场景，并利用 Svelte 组件的生命周期来订阅事件、处理状态变化等。Threlte 还集成了 Rapier 物理引擎、Theatre.js 动画库和 @threlte/gltf 工具，并提供了一系列有用的组件和实用程序。
</> htmx ~ A Response To "Have Single-Page Apps Ruined the Web?" (htmx.org)
该网站提供了一篇对《响应里奇·哈里斯》的评论，该评论阐述了作者对里奇·哈里斯关于无脚本编程的论点的回应。评论批评了哈里斯的论点，认为他的论点过于狭隘，没有考虑到无脚本编程的更广泛好处。评论还认为，哈里斯对无脚本编程的批评过于依赖轶事证据，而没有考虑更全面的数据。
GitHub - version-fox/vfox: A cross-platform and extendable version manager with support for Java, Node.js, Flutter, .Net & more (github.com)
该网站是由Version-Fox开发的开源项目，主要提供Vfox界面主题、Pro主题、和各类功能插件。其目标是美化和优化V2EX社区的视觉和功能体验。网站内容包括主题、插件、皮肤、教程等，供V2EX社区用户下载使用。
Nuberodesign > Blog > The Basics of Legibility (www.nubero.ch)
该网站提供有关数字化、可持续性和创新等主题的博文、文章和视频。它还举办在线研讨会和活动。
Prologue | Calculus Made Easy (calculusmadeeasy.org)
Calculus Made Easy是一个网站，提供免费的微积分视频教程、练习题、测试和讨论区，旨在帮助学生轻松理解微积分概念。该网站还提供额外学习资源，例如电子书和解决方案手册。
地球：再次对开普勒2-18b行星进行研究，确认存在生命活动产生的DMS气体 (www.earth.com)
该网站是一篇新闻文章，报道了科学家再次研究开普勒2-18b行星，并确认存在二甲基硫（DMS）气体。DMS气体只能由生命活动产生，因此这一发现为开普勒2-18b行星上可能存在生命提供了进一步的证据。科学家们对该行星进行了额外的观察，以确认DMS气体的存在，并排除了其他可能产生该气体的来源。这项研究增加了人们对开普勒2-18b行星上可能存在生命的兴趣，并为未来进一步的研究铺平了道路。
Depression Rates by Country 2024 (worldpopulationreview.com)
该网站提供了一个世界范围内国家抑郁症发病率的排名，数据来自世界卫生组织和世界银行。排名显示了不同国家抑郁症患病率的差异，以及影响抑郁症发病率的因素，如人均 GDP、预期寿命和文盲率。
对Ozempic滥用激增的担忧日益加剧 (curingaddiction.substack.com)
这份来自 Substack 的报道探讨了人们对 Ozempic 作为减肥药物被滥用的担忧日益加剧。作者采访了医疗保健专业人士，他们分享了他们对该药物使用过度的担忧，并提出了使用安全有效的减肥方法的重要性。
Boston Dynamics Retires Its Legendary Humanoid Robot - IEEE Spectrum (spectrum.ieee.org)
波士顿动力公司宣布其标志性的 Atlas 机器人已退役。Atlas 在过去十年中一直是机器人技术发展的先驱，展示了行走、奔跑和跳跃等先进运动能力。虽然 Atlas 已不再活跃，但其研究和设计遗产将继续激励下一代机器人工程师和研究人员。
GitHub - lkesteloot/turbopascal: Web-based Turbo Pascal compiler. (github.com)
GitHub上的Turbopascal是一个Pascal编译器的开源实现，它支持许多不同的平台，包括DOS、OS/2、Windows、Linux和macOS。该项目包含Turbo Pascal 7.0的完整源代码，以及从那时起对编译器所做的大量修改和更新。它还提供了有关如何编译、安装和使用编译器的详细信息。
Canonical 与高通合作将 Ubuntu 引入高通设备 (www.webpronews.com)
Canonical 和高通宣布合作将 Ubuntu 和 Ubuntu Core 引入高通设备，高通加入了 Canonical 的芯片合作伙伴计划。Canonical 的芯片合作伙伴计划确保 Ubuntu 与认证硬件的最大兼容性和长期支持。此次合作预计将推动人工智能、边缘计算和物联网应用的发展。
Biden to Unveil $7 Billion in Solar Power Grants | TIME (time.com)
美国总统拜登在 Earth Day 宣布新目标，计划到 2035 年将美国太阳能发电量增加十倍。此举旨在应对气候变化，创造就业机会，促进以清洁能源为主的经济。拜登承诺利用《两党基础设施法》和《通胀削减法案》等多项法案，提供税收抵免、贷款和其他金融工具来支持太阳能行业。根据拜登政府的太阳能发电目标，美国到2035年将提供足够的太阳能电力为所有美国住宅供电。
电脑降低效率：索洛悖论的案例研究 (scottlocklin.wordpress.com)
本文探讨了索洛悖论，即尽管计算机技术广泛应用，但生产力并未显著提高。作者以英国核潜艇设计中CAD的失败、金融服务业计算机化后的生产力下降等案例，佐证了计算机技术的应用有时反而降低了效率。作者认为，盲目使用计算机技术，而忽视传统方法的价值，会导致生产力下降，并呼吁在研发过程中限制计算机的使用，以提高效率。
Colorado Bill Aims to Protect Consumer Brain Data - The New York Times (www.nytimes.com)
《纽约时报》2024 年 4 月 17 日科学文章报道了科罗拉多州通过一项法律，保护捐赠用于研究的大脑组织和生物样本的隐私。该法律对研究和执法之间的关系制定了明确的规则，防止警方在未经同意的情况下获取捐赠的大脑和生物样本。这引发了关于个人隐私、医学研究和执法之间平衡的辩论。
克里斯维基：UNIX 外壳中的空格的重要性 (utcc.utoronto.ca)
该网站提供了有关在 Unix 外壳程序中使用空格的指南，重点介绍了空格在命令行解释中的作用，以及如何使用引号和反斜杠来控制空格。文章还提供了使用反斜杠转义特殊字符的示例。
处理用户输入的三种方式 (dubroy.com)
本文讨论了处理用户输入的三个常用方法：白名单、黑名单和数据验证。白名单和黑名单方法通过建立允许或禁止的输入列表来限制用户输入。数据验证方法通过检查输入是否符合特定的规则和格式来确保输入的有效性。本文详细介绍了每种方法的优点和缺点，并提供了如何使用这些方法的示例。
Greptile: Home (greptile.com)
Greptile是一个代码搜索引擎，允许用户在GitHub上搜索代码片段和函数定义。它提供高级搜索选项，如按语言、文件名、文件路径和许可证过滤。Greptile还提供代码预览、语法高亮和代码补全功能，以增强代码探索体验。
一个从未去过的地方，一个永远不会去的地方——雅各布·菲利普 (jacobfilipp.com)
雅各布·菲利普是一位软件工程师，他在博客中分享了有关 Java 编程，AWS 云计算和其他技术工作的经验和见解。