Bril：一种用于编译器教学的中间语言 (www.cs.cornell.edu)
Bril是一种面向编译器教学的中间语言，它优先考虑易于上手、易于混合和匹配组件以及简单的语义。它采用JSON格式，并提供文本形式以方便阅读。Bril的设计特点包括：核心opcode包含print指令，强制A-normal form，以及可扩展性。尽管Bril在设计上存在一些缺陷，例如SSA的改造问题，但它在编译器教学中提供了实践经验，并拥有丰富的工具生态系统。
PLDB Explorer (pldb.io)
PLDB Explorer 是一个网站，提供对 PLDB（编程语言数据库）中排名前 1000 的编程语言功能、创建者、事件、播客、扩展、采访和博客的访问。 该网站还提供 CSV 扩展，允许用户下载和分析数据。
脾气暴躁的游戏玩家 - 为什么冒险游戏很糟糕 (grumpygamer.com)
这篇文章是游戏设计师Ron Gilbert在1989年写的，探讨了冒险游戏设计中常见的问题，并提出了改进建议。他认为，糟糕的谜题设计、缺乏明确目标和糟糕的叙事节奏是导致冒险游戏失败的主要原因。Gilbert主张游戏应该以故事为导向，谜题应该合理且服务于剧情，玩家应该始终清楚自己的目标，并且游戏应该提供足够的线索和选项，避免玩家陷入困境。
NASA利用太空激光与国际空间站进行通信 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25544503/illuma_t_to_lcrd_003.jpg)
美国宇航局NASA利用太空激光技术成功将4K视频从飞机传输到国际空间站，并返回地面。这一壮举证明了NASA可以在Artemis登月任务期间提供月球登陆的实时直播。NASA通常使用无线电波在太空和地面之间传输数据，但激光通信使用红外线，可以比无线电快10到100倍。
SQLite 比文件系统快 35% (sqlite.org)
本文通过一系列测试对比了 SQLite 和直接文件系统 I/O 的性能。结果表明，对于读写小块数据（如缩略图），SQLite 的速度比直接使用 fread() 或 fwrite() 操作文件快 35%。此外，存储 10KB 数据块时，SQLite 数据库占用的磁盘空间比存储在单个文件中少约 20%。文章还探讨了不同操作系统、硬件配置和测试方法对性能的影响，并建议开发者根据实际情况选择合适的存储方案。
Linux网络性能终极指南 (ntk148v.github.io)
这篇文章是关于Linux网络性能优化的详细指南。它涵盖了从Linux网络栈的基础知识到高级主题（如多队列NIC、RSS、RPS、RFS、XDP等）的广泛内容，并深入探讨了网络数据包的接收和发送过程，以及如何针对吞吐量和延迟进行网络调优。文章还介绍了一些用于监控和分析网络性能的工具和技术，例如/proc/net/softnet_stat、/proc/net/sockstat、ethtool、ss、netstat和sysctl等，并提供了如何使用这些工具来识别和解决网络瓶颈的实用建议。
Twenty 招聘高级软件工程师 (www.ycombinator.com)
Twenty 是一家开源CRM公司，总部位于法国巴黎，目前正在招聘一名高级软件工程师。 该职位需要具备5年以上创业公司或领先科技公司的工作经验，并且对开源充满热情。 工作内容包括设计和实现权限系统、跨平台布局构建器等。 公司福利待遇优厚，包括35天带薪休假、100%医疗保险等。
带着收音机去露营 | 埃文·普拉顿 (ewpratten.com)
本文讲述了作者埃文·普拉顿带上自制天线和无线电设备去露营，并成功与世界各地取得联系的经历。文章详细描述了作者如何制作天线、选择露营地点以及使用不同频段和模式进行无线电通讯的过程，并展示了信号报告，最终实现了新的通讯距离突破。
Andrew Campbell的图像内容感知缩放算法：Seam Carving (andrewdcampbell.github.io)
本文详细介绍了Andrew Campbell实现的Seam Carving算法，该算法用于内容感知的图像大小调整。Seam Carving算法通过找到图像中重要性最低的接缝（seam）或路径，来自动移除或插入这些接缝，从而减小或扩展图像尺寸。文章还介绍了如何使用保护性遮罩来指定图像中不允许修改的区域，以及如何使用Seam Carving算法从照片中移除整个对象。此外，文章还讨论了向前能量函数的使用，该函数通过考虑移除接缝后插入的能量，改进了原始的梯度幅度能量函数，从而获得更好的结果。
美国国税局从高收入人群中追回10亿美元欠税 (apnews.com)
美国国税局宣布，已从高收入逃税者手中追回了10亿美元的欠税，这是一个里程碑式的数字。此举是为了展示该机构如何利用拜登政府于2022年签署成为法律的气候、医疗保健和税收一揽子计划中所收到的资金。国税局表示，这项运动的重点是年收入超过100万美元、已确认的税务债务超过25万美元的纳税人。
Guish：一款可以在命令行中使用 GUI 编辑器编写 shell 管道的工具 (github.com)
Guish 是一款开源的动态数据管道 UI 工具，允许用户直观地构建和执行复杂的命令行管道。它提供了一个直观的界面，可以将各种 Unix 命令和自定义插件链接在一起，从而更容易构建和理解数据处理工作流程。Guish 支持实时解析命令、自定义插件、多种输出显示格式以及代码编辑器集成等功能。
招聘是一场情绪的过山车 (reactiverobot.com)
这篇文章讲述了作者作为招聘经理的一次经历，以及他对招聘的感悟。作者认为招聘是一个建立真实连接的过程，需要平衡对候选人技能的判断和关系的建立。招聘也是一项高压力的活动，需要招聘经理时刻保持最佳状态，因为你永远无法知道如果选择了另一个候选人会发生什么。
我们不能把所有事情都打包成三个重点来作弊，从而获得12个目标 (rubenugarte.substack.com)
文章探讨了团队在制定战略时，经常难以将重点限制在三个以内的现象，并分析了造成这种现象的三个主要原因：过度高估短期能力、不断增加目标而缺乏删减以及想法过多。作者建议通过设定明确的工作量限制、分阶段实施目标、定期移除不必要的事项、以及建立有效的想法筛选机制等方法来解决这个问题。
NVIDIA开源Linux内核驱动程序性能与专有驱动程序不相上下 (www.phoronix.com)
NVIDIA 最近发布了开源 Linux 内核驱动程序，在性能上与专有驱动程序不相上下。 这款开源驱动程序适用于 Turing 及更新的 GPU，并将在未来的产品中成为默认选项。 除了性能提升外，开源驱动程序还提供了一些专有驱动程序所没有的特性，例如机密计算和 Magnum IO GPUDirect 存储等。
一切美好的事物终将结束... (forums.funtoo.org)
Funtoo Linux创始人宣布Funtoo Linux项目即将结束。他表示，Funtoo最初的理念是创建一个有趣的贡献者社区，但现在对他来说已经不再是如此了。Funtoo项目将在8月结束，届时将不再有继任者，也不会尝试寻找新的维护者。
深度学习面试题：数百道涵盖人工智能关键领域的已解决面试题 (arxiv.org)
《深度学习面试题》第二版涵盖了人工智能关键领域中数百道已解决的面试题，旨在帮助机器学习硕士/博士生以及准备面试的人员复习特定主题并提供该领域的全面概述。书中的问题极具挑战性，但以发人深省的问题和引人入胜的故事为框架，能够帮助读者提升技能、自信地回答技术问题并深刻理解面试问题的目的和意义。
土地所有者的新烦恼：FCC 追究非法广播电台的责任 (www.jdsupra.com)
美国联邦通信委员会 (FCC) 近期警告纽约市地区的 13 位土地所有者，如果他们不阻止其房产内非法调频广播电台的运营，他们将面临高达数百万美元的罚款。根据 2020 年颁布的《通过执法防止非法广播滥用法案》(PIRATE Act)，FCC 有权对“海盗”广播运营商以及允许在其房产上进行此类活动的土地所有者处以罚款。土地所有者每天的罚款最高可达 119,555 美元，最高限额为 2,391,097 美元。FCC 敦促土地所有者采取措施，阻止其房产上的任何非法广播活动，否则将面临巨额罚款。
17世纪女学生遗失的剪纸在萨顿宫被发现 (www.nationaltrust.org.uk)
英国萨顿宫发现了近350年前的女学生剪纸作品。这些剪纸作品是在20世纪80年代的翻修工作中发现的，直到最近才被整理出来。这些剪纸作品可以追溯到17世纪后期，当时剪纸在英国还处于起步阶段，是非常罕见的文物。
17 世纪女学生剪纸作品在伦敦萨顿庄园地板下被发现 (www.smithsonianmag.com)
/https%3A%2F%2Ftf-cmsv2-smithsonianmag-media.s3.amazonaws.com%2Ffiler_public%2Fcc%2F4a%2Fcc4a033a-02c5-43cb-bfe7-92457f64dcf9%2F1_credit_national_trust_images-james_dobson.jpg)
近期，在伦敦萨顿庄园（Sutton House）的地板下发现了一批 17 世纪的剪纸作品。这些剪纸作品被认为是当时在这所寄宿学校就读的女学生们创作的，包括一只小狐狸、一颗星星和一只母鸡等图案。这些剪纸作品以及数百件其他文物在 20 世纪 80 年代的翻修期间被发现，直到去年才被志愿者团队整理出来。专家们对这些脆弱的剪纸作品能够完好保存感到惊讶。萨顿庄园将从 7 月 19 日起公开展示这些剪纸作品。
GitHub - joshuacline/windick: Windows 部署映像自定义工具包 (github.com)
Windick 是一款原生命令行 Windows 映像部署工具，它提供了自定义 Windows 部署映像的功能，并包含教程和相关资源，方便用户学习和使用。
贝叶斯统计学: 三种文化 (statmodeling.stat.columbia.edu)
文章讨论了贝叶斯统计学中的三种文化: 主观贝叶斯、客观贝叶斯和实用贝叶斯。作者认为，实用贝叶斯方法，也称为“迭代设计”，是一种标准的操作程序，尤其在工程和机器学习领域。实用贝叶斯方法强调建立完整的概率模型，根据观察数据进行调整，并评估模型拟合度及其预测结果。作者认为，这种迭代的设计过程比纠结于先验或似然的选择更为重要，并主张采用基于知识而非信念的先验和似然方法。
Gym Class招聘资深/主管/首席后端工程师 (www.ycombinator.com)
Gym Class VR是Meta Quest平台上排名第一的体育游戏，拥有数百万玩家。该公司由顶级科技和体育投资者支持，包括Andreessen Horowitz、Y Combinator、NBA、金州勇士队以及凯文·杜兰特、丹尼·格林等顶级球员投资者。Gym Class正在招聘资深、主管或首席后端工程师，负责VR、移动和Web的后端工程，与联合创始人合作制定路线图，并与客户端工程师和设计师合作发布产品。
掌握Ruby代码导航：2024年上半年Ruby LSP的主要增强功能 (railsatscale.com)
2024年上半年，Ruby LSP在代码导航方面取得了重大进展，这得益于其索引器的改进。本文深入探讨了Ruby LSP在代码导航方面的重大改进，包括对单例方法、局部变量、继承和混合、Ruby核心类和模块以及Rails插件的增强功能。此外，还介绍了祖先层次结构请求和猜测类型等实验性功能。
用最智能的“笨蛋”手表在手腕上显示TOTP动态码 (blog.singleton.io)
本文介绍了如何使用Sensor Watch改造卡西欧F-91W手表，使其能够显示TOTP动态码。作者详细介绍了替换逻辑板、配置双因素身份验证密钥以及编写新的心率计表盘的过程。文章还包含了代码示例，方便读者自行尝试。
逆向工程我的扬声器API以获得合理的音量控制 (jamesbvaughan.com)
作者新买的JBL音响音量过大，难以进行微调。为了解决这个问题，作者尝试通过逆向工程音响的API来实现更精确的音量控制。作者发现音响提供了一个未公开的Web界面和HTTP API，可以读取和设置音量等参数。作者尝试利用API设置最大音量限制，但未能成功。最终，作者选择搭建一个自定义的网页界面，通过该界面控制音响音量。
俄罗斯因谷歌拒绝遵守审查要求而降低YouTube速度 (www.yahoo.com)
因谷歌拒绝遵守俄罗斯当局的要求，俄罗斯将在下周末前将 YouTube 加载速度降低 70%。俄罗斯国家杜马信息政策委员会负责人亚历山大·辛恩斯坦声称，此举“并非针对俄罗斯用户，而是针对一家外国资源的管理部门，该部门仍然认为可以不受惩罚地违反和无视我们的立法”。
GitHub项目: Patchwork (github.com)
Patchwork是一个开源项目，旨在利用大型语言模型（LLM）自动化软件开发流程，例如代码审查、补丁修复和文档生成。该项目提供可重复使用的步骤、可定制的提示模板以及预定义的流程，并支持本地CLI、IDE和CI/CD集成。