一个从未去过的地方，一个永远不会去的地方——雅各布·菲利普 (jacobfilipp.com)
雅各布·菲利普是一位软件工程师，他在博客中分享了有关 Java 编程，AWS 云计算和其他技术工作的经验和见解。
智能插头：欧纳普智能插座评测 (ounapuu.ee)
欧纳普智能插头是一款易于使用且功能丰富的智能家居设备。它可以轻松远程控制电器，并提供电量监测和定时功能。该插头设计精巧，适用于各种插座，并且具有出色的安全功能。
宇宙就是一台计算机，约翰·阿奇博尔德·惠勒——量子教皇 (dabacon.org)
该网站提供天体物理学家约翰·阿奇博尔德·惠勒(John Archibald Wheeler)的演讲，题为“宇宙作为一台计算机”。惠勒认为，宇宙本身就是一台计算机，它不断处理信息，并通过“参与者”的观察来塑造其自身。该演讲探讨了量子力学、信息论和宇宙学的交集，提出了一个引人入胜的宇宙本质的观点。
U.S. Justice Dept. Sues Apple, Claiming iPhone Monopoly in Antitrust Case - The New York Times (www.nytimes.com)
纽约时报上的一篇新闻文章报道了苹果公司因其反竞争行为而面临美国司法部的诉讼。文章详细介绍了针对苹果的反垄断指控，包括其 App Store 政策、以及对竞争对手的限制措施等。文章还讨论了诉讼可能对苹果及其行业产生的潜在影响。
NSA Publishes Guidance for Strengthening AI System Security > National Security Agency/Central Security Service > Press Release View (www.nsa.gov)
美国国家安全局 (NSA) 发布了关于加强人工智能 (AI) 系统安全的指导意见。该指南旨在帮助组织管理 AI 系统的风险并增强其安全性。它涵盖了 AI 系统生命周期的所有阶段，从设计和开发到部署和维护。该指南强调了创建强大安全控制、跟踪和管理 AI 算法以及进行定期安全审查的重要性。通过遵循这些指南，组织可以提高 AI 系统的安全性并降低相关的风险。
$500 drone calculates its position with camera, Google Maps (dronenr.com.au)
本文是关于使用 Google 地图在无人机上使用 GPS 和摄像头定位的的分步指南。它涵盖了使用 Google Earth Pro 创建飞行任务、使用 DJI Ground Station Pro 导入 KML 文件、设置无人机摄像头以及将照片上传到 Google Drive 的分步说明。指南清晰易懂，配有截图。
弗拉姆红河节原子化组织 (thentrythis.org)
这个网站上有一篇博文，介绍了 2023 年 11 月 17 日在英国康沃尔郡雷德鲁斯举行的 Flamm 音乐节上组织原子乐队的信息，其中包括日期、时间、演出阵容和购票链接。
RubyJS-Vite | Docs (filipvrba.github.io)
该网站展示了有关用 Ruby 和 JavaScript 构建应用程序的教程和文章。它提供了有关 Ruby 和 JavaScript 基础知识、HTTP、数据格式、后端和前端开发以及部署的指导。它还包括代码示例和练习。
TSMC to charge premium for making chips outside of Taiwan, including its new US fabs, CEO says | Tom's Hardware (www.tomshardware.com)
台湾积体电路制造股份有限公司 (TSMC) 首席执行官魏哲家表示，公司将对在台湾以外（包括新在美国的晶圆厂）制造的芯片收取额外费用。TSMC 将在所有制造中实施这些额外费用，包括其为半导体代工服务的客户设计和制造的芯片。魏哲家表示，此举是为了提高台湾的产能，并降低该公司对台湾生产的依赖性。该公司希望通过将其部分制造转移到其他地区，减少其对台湾的依赖。魏哲家还表示，TSMC 也在提高其制程技术的产能，并计划对其位于亚利桑那州和德克萨斯州的新晶圆厂进行扩张。
Why Dolphin Isn't Coming to the App Store - oatmealdome.me (oatmealdome.me)
该网站是一篇博文，探讨了为什么开发人员决定不将他们的游戏《Dolphin》提交到苹果应用商店。作者认为，苹果对游戏内容的严格审查和高昂的费用是阻碍他们提交游戏的主要原因。博文还讨论了作者对苹果应用商店政策的更广泛看法，以及他认为苹果如何通过其审查流程扼杀创新。
程序合成 - 维基百科 (en.wikipedia.org)
程序合成是指构建一个可证明满足给定高级形式规范的程序的任务。与程序验证不同，程序是要被构建而不是给定的；然而，这两个领域都利用了形式化证明技术，并且都包含了不同程度自动化的途径。与自动编程技术相比，程序合成中的规范通常是非算法的陈述，用适当的逻辑演算表示。程序合成的主要应用是减轻程序员编写满足规范的正确、高效代码的负担。然而，程序合成也适用于超级优化和循环不变量的推断。
Future of Food: This Company Just Opened the World’s First “Air Protein” Factory — Species Unite (www.speciesunite.com)
科学家们开发了一种从空气中提取蛋白质的创新方法，并创建了世界上第一个蛋白质工厂，为人类和地球提供了一种可持续的营养来源。这家位于芬兰的公司通过将空气中的二氧化碳转化为可食用蛋白质，为解决不断增长的人口带来的粮食安全挑战提供了一种有前途的解决方案。该工厂使用微生物将空气中的二氧化碳转化为蛋白质，为食品、饲料和材料行业提供可持续、高营养的成分。
谷歌威胁在加州提议付费给媒体后切断新闻链接 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/24016886/STK093_Google_03.jpg)
谷歌正在测试一项针对一小部分加州用户的短期测试，移除加州新闻网站的链接。此举是为了回应加州即将出台的《新闻业保护法案》（CJPA），该法案要求谷歌向加州用户提供新闻链接付费。谷歌表示，如果该法案获得通过，可能会导致谷歌向加州用户提供的服务和向加州出版商提供的流量发生重大变化。此外，谷歌还将暂停对加州新闻生态系统的进一步投资。
Patching requests for fun and (concurrent) profit (blog.borrego.dev)
这篇博客文章讨论了如何使用 patch 请求来并发地修改多个请求，以提高效率和通过轻松更正错误来节省资金。这是一个有关使用 Python 中的 `requests` 库进行并行编程的教程。
The Apple Jonathan: A Very 1980s Concept Computer That Never Shipped – 512 Pixels (512pixels.net)
该网站展示了苹果 Jonathan 模块化概念手机概念设计，探索了未来的智能手机设计可能性，包括模块化更换摄像头、电池和显示屏。设计巧妙，具有可持续性和可定制性特点。
Rabbit R1 AI设备实质上是一款安卓应用 (www.androidauthority.com)
Rabbit R1是一款AI驱动的掌上设备，旨在提供类似智能手机的AI交互体验。然而，评测者发现R1的功能几乎都能在安卓手机上实现，且其界面似乎是由一个安卓应用控制的。事实证明，R1的启动器APK可以在安卓手机上安装和运行，这表明该设备实际上是一个运行安卓系统的定制设备，其AI功能通过云端提供。
纽约大都会运输署被禁止使用面部识别来执行逃票行为 (gothamist.com)
纽约大都会运输署（MTA）已被禁止使用面部识别技术来执行逃票行为。这项禁令是由美国纽约州最高法院的一项裁决做出的，该裁决认为MTA在未经乘客同意的情况下收集生物识别数据，侵犯了乘客的隐私权。这项禁令是全国范围内首次禁止政府机构在公共交通系统中使用面部识别技术。
[2404.07738] ResearchAgent: Iterative Research Idea Generation over Scientific Literature with Large Language Models (arxiv.org)
arXiv.org是康奈尔大学图书馆的一个开放获取电子印刷品收藏和电子档案库，包含物理学、数学、计算机科学、数学物理学、非线性科学、生物和定量金融等领域的学术论文。它由一个由科学家和学者组成的志愿者团队运营，他们负责筛选、分类和分发提交的论文。arXiv.org目前包含超过200万篇学术论文，每天都会收录新论文。它是一个重要的研究工具，为研究人员和学者提供了一个及时了解最新研究成果的平台。
Senator Elizabeth Warren claims TurboTax ‘relentlessly’ upsells customers in letter to FTC - The Verge (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/24511277/STK417_H_Herrera_Money_03.jpg)
此网站文章报道了麻塞诸塞州民主党参议员沃伦对英特尔 TurboTax 软件的批评，此前有报道称该软件诱导客户支付不必要的费用。沃伦致信联邦贸易委员会 (FTC)，要求该机构调查 TurboTax，并指控其使用“欺骗性”和“掠夺性”的商业行为。
THE HUMANISE CAMPAIGN | CALL FOR AN END TO BORING BUILDINGS (humanise.org)
本文批评人工智能在修复历史建筑中使用，认为人工智能不能抓住建筑的灵魂。人工智能虽然可以复制建筑物的外观，但它无法复制建筑物背后的背景、历史和文化意义。作者认为，人工智能应该增强建筑师的能力，而不是取代他们。
A2RL打造自动赛车，参加F1阿布扎比站 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25422612/Screenshot_2024_04_27_at_3.40.41_PM.png)
A2RL公司研发出自动赛车，并计划于2024年参加F1阿布扎比站比赛。该赛车配备了先进的人工智能算法和传感器，使之能够在赛道上自主导航和做出战略决策。A2RL表示，这项技术旨在推动赛车运动的发展，并探索自动驾驶汽车的可能性。
Fwupd Switches From XZ To Zstd Compression: More Trust & Slightly Better Performance - Phoronix (www.phoronix.com)
Phoronix是一家技术新闻网站，报道Linux和开源软件领域的最新消息。最近的一篇文章讨论了Fwupd固件更新守护程序切换到Zstandard(Zstd)压缩格式，以提高固件更新的效率。Zstd是一种无损数据压缩算法，比之前的Zip算法速度更快、效率更高。文章还提供了关于Fwupd如何利用Zstd以及切换如何影响固件更新时间和大小的技术细节。
Jonathan Haidt Wants You to Take Away Your Kid’s Phone | The New Yorker (www.newyorker.com)
纽约客采访了乔纳森·海德特，他是一位社会心理学家和作家，研究道德、政治和宗教。他认为，父母应该通过禁止社交媒体和电子设备的屏幕时间来保护孩子的情感和心理健康，并重建家庭纽带。
GitHub - nasa/openmct: A web based mission control framework. (github.com)
NASA OpenMCT是一个开源的、可扩展的、基于Web的命令和控制系统，用于监测和控制航天器。它提供了一个全面的界面和一系列工具，允许用户创建和管理任务、遥测和控制系统。OpenMCT还支持任务规划、模拟和数据分析。
All-cash offers, wealthy buyers push SoCal home prices to a record - Los Angeles Times (www.latimes.com)
洛杉矶时报的一篇文章报道称，由于富裕买家的全现金出价，南加州的房屋价格创下历史新高。这使得首次购房者和中等收入家庭更难买到房子。文章引用了多位专家和房地产经纪人的观点，他们指出，全现金出价使富裕买家在竞争中占据了优势，并推高了房屋价格。文章还探讨了这种趋势对当地经济和社会的影响，包括无家可归和经济不平等的加剧。
Etleap招聘客户主管 (etleap.com)
Etleap公司正在招聘一位客户主管，工作地点位于旧金山。该公司提供具有竞争力的薪酬和福利待遇，以及与公司共同成长的机会。理想的候选人应具有5年以上B2B软件销售经验，并拥有成功的销售业绩记录。
The Simple Beauty of XOR Floating Point Compression | Clemens' Blog (clemenswinter.com)
这篇文章深入探讨了异或浮点压缩 (XFC) 的基本原理，展示了它如何通过有效地消除浮点数字的冗余位来显著减少内存占用。作者对 XFC 的算法、优点和限制进行了详细的解释，并提供了使用示例，以帮助读者理解其工作原理和实际应用。
Ruby元编程：一切皆关乎Self (yehudakatz.com)
这篇文章探讨了Ruby元编程的核心概念——self。文章通过多个代码片段展示了在Ruby中，所有代码都与特定的self相关联，并解释了self在类定义、元类操作和方法定义中的作用。文章还深入解释了Ruby的元类机制，以及class << self、class_eval和instance_eval等方法如何通过控制self来实现元编程。