Eidos: Notion 的离线替代方案 (github.com)
Eidos 是一款可扩展的框架，用于在一个地方管理您一生的个人数据，是 Notion 的离线替代方案。该软件支持离线访问、AI 功能（即使在离线状态下也能使用）、可扩展性、开发者友好型 API 和 SDK 以及 Sqlite 标准化等功能。
我有点喜欢rebase (rednafi.com)
这篇文章讨论了作者喜欢使用Git rebase的原因和场景。作者认为rebase可以帮助他整理凌乱的提交历史，并将多个提交合并成一个，使提交历史更加清晰。文章还介绍了两种常见的rebase类型：将功能分支rebase到主分支和在功能分支上进行交互式rebase。作者详细解释了这两种类型的rebase的工作流程，并提供了一些实用的技巧，例如如何解决冲突、如何压缩提交、如何拆分提交以及如何在交互式rebase期间运行测试。
活到老学到老：斯坦福教育学院学生在80年教育生涯后获得硕士学位 (ed.stanford.edu)
105岁高龄的弗吉尼亚·希斯洛普终于在2024年获得了斯坦福教育学院的硕士学位，完成了她80多年前的梦想。希斯洛普于1936年进入斯坦福大学教育学院学习，1940年获得学士学位。然而，由于二战爆发，她不得不中断学业。此后，她一直致力于教育事业，担任过学校董事会成员、社区大学董事等职务。
AT&T无法摆脱固定电话用户，加州机构裁定 (arstechnica.com)
加州公用事业委员会(CPUC)驳回了AT&T公司提出的终止其固定电话服务义务的请求，并敦促AT&T将铜缆设施升级为光纤，而不是试图关闭其网络中过时的部分。AT&T认为VoIP和移动服务可以填补固定电话的空白，但CPUC认为AT&T没有证明有替代供应商愿意并能够作为最终承运商，也没有证明替代供应商符合最终承运商的定义。
Emerge Tools 招聘资深前端工程师 (www.emergetools.com)
Emerge Tools 正在招聘一位资深前端工程师，负责公司 web 平台以及官网、博客等页面的开发和设计。理想的候选人需要具备快速学习能力和自主工作能力，具有良好的设计感，并熟练掌握 Next.js、React、Tailwind 和 Typescript 等技术。Emerge Tools 是一家发展迅速的初创公司，致力于为移动应用开发团队提供工具和解决方案。
使用Rust打造解释器的体验 (ceronman.com)
本文讲述了作者使用Rust语言编写Lox语言解释器Loxido的经历和心得体会。作者详细介绍了在实现过程中遇到的挑战，例如内存管理、所有权和借用规则，以及如何通过优化哈希表、使用unsafe代码等方式提升性能。最终，Loxido的性能接近C语言实现的解释器Clox，但仍有提升空间。作者对Rust语言的安全性、工具链和社区赞赏有加，但也指出了其不足之处，例如类型系统和借用检查器。
鸡蛋数据库 (eggcorns.lascribe.net)
这篇文章介绍了“鸡蛋数据库”网站，该网站致力于收集英语中一种被称为“eggcorns”的不寻常拼写。“Eggcorn”一词源于一个名为“Language Log”的网站。该网站解释了“eggcorn”一词的由来，并提供了一些例子，例如将“hurtle”拼写成“hurdle”，将“death knell”拼写成“death nail”，以及将“ad hominem”拼写成“at hominem”。
约翰·卡洛斯·巴埃斯： “为什么我们称电子为‘负’而质子为……” - 数学世界 (mathstodon.xyz)
这篇文章讨论了为什么我们称电子为“负”而质子为“正”。约翰·卡洛斯·巴埃斯在数学世界平台上提出了这个问题，引发了人们对电荷命名约定的思考。
气候区：你所在的城市未来会是什么样子？ (pudding.cool)
本文介绍了柯本气候分类系统，该系统将全球划分为五个主要气候区。文章使用气候模型预测，到2070年，全球气候将发生显著变化，许多城市的气候类型将发生改变。例如，洛杉矶将从温带变成干旱气候，类似于今天的新德里；而哥本哈根将从寒冷气候变成温带气候。文章还指出，干旱和热带气候区将扩大，而寒冷气候区将缩小甚至消失。
HftBacktest: 基于 Rust 的高频交易回测和实时机器人 (github.com)
HftBacktest 是一个用 Rust 开发的框架，用于开发和运行高频交易和做市策略。它侧重于考虑馈送和订单延迟，以及订单队列位置以进行订单填充模拟。该框架旨在基于完整的订单簿和交易报价数据，提供更准确的基于市场回放的回测。您还可以使用相同的算法代码运行实时机器人。
巴塞罗那将在2028年全面取消旅游公寓 (www.theolivepress.es)
迫于当地居民的强烈反对，巴塞罗那市议会宣布将在2028年前取消所有旅游公寓的许可证，共计10,101套。此举将对Airbnb等平台造成巨大打击，但也受到了多年来饱受过度旅游和房价上涨困扰的当地居民的欢迎。市长表示，过去十年租金和房价分别上涨了70%和40%，迫使他们采取行动。政府计划将30%的新建住房用于社会福利住房，以缓解住房压力。
从Java 8迁移到Java 17：新功能全面指南 (igorstechnoclub.com)
本文详细介绍了Java 8到Java 17版本更新中引入的新功能，包括密封类、record类、instanceof模式匹配、switch表达式、文本块和局部变量类型推断等，并结合代码示例讲解了如何利用这些新特性提升代码可读性、可维护性和性能。
台积电探索全新芯片封装方法以应对AI热潮 (asia.nikkei.com)
全球最大芯片制造商台积电正在探索一种先进的芯片封装新方法，以应对人工智能对算力的需求。台积电正与设备和材料供应商合作开发这种新方法，但商业化可能需要数年时间。
如果世界买不起，再好的新药又有什么用？ (www.economist.com)
文章探讨了基因疗法和减肥药等新型药物的成本挑战。作者指出，尽管这些药物在治疗罕见病和肥胖症方面潜力巨大，但其高昂的价格可能会成为普及的障碍。作者呼吁政策制定者和制药公司采取措施，解决药物可负担性问题，以确保这些突破性的治疗手段能够惠及更多患者。
最新研究进一步证明“生态灭绝”理论在复活节岛并不适用 (arstechnica.com)
最新研究表明，复活节岛上的古代居民并没有像“生态灭绝”理论所描述的那样，因为过度砍伐树木而导致社会崩溃。研究人员通过分析卫星图像数据，发现岛上的岩石花园（一种利用碎石增加土壤肥力的耕作方式）比之前估计的要少得多，这意味着岛屿所能承载的人口数量远低于预期。这一发现支持了一种新兴的观点，即复活节岛的居民在欧洲人到来之前一直生活在一个可持续发展的社会中，他们通过适应有限的资源来维持生活。
1955年，一架奥斯特飞机在悉尼上空被击落 (navyhistory.au)
1955年8月的一个早晨，一架无人驾驶的奥斯特飞机在悉尼上空盘旋了三个多小时，引发了全城关注。这架飞机从班克斯镇机场起飞后不久发动机出现故障，飞行员被迫跳伞逃生，但飞机却奇迹般地继续飞行。在接下来的几个小时里，这架失控的飞机在悉尼上空盘旋，引发了人们对地面安全的担忧。澳大利亚皇家空军和皇家澳大利亚海军出动了多架飞机试图拦截，但由于各种原因，直到两架海怒式战斗机赶到才最终将其击落。
华为发布自研编程语言“仓颉” (gsmchina.com)
华为在2024年HDC开发者大会上发布了自研编程语言“仓颉”。华为称，“仓颉”语言具有原生智能、全场景、高性能和强安全等特点，并将集成到HarmonyOS生态系统中，为开发者提供友好的开发体验。“仓颉”采用AgentDSL框架，混合了自然语言和编程语言，支持函数式、命令式和面向对象编程风格。
《俄罗斯方块：通往10万分的解法（天之卷）》 (blog.gingerbeardman.com)
本文介绍了一本1989年出版的关于俄罗斯方块游戏的日文书籍《俄罗斯方块：通往10万分的解法（天之卷）》。这本书由石原恒和编辑，内容涵盖了游戏策略、历史以及对游戏的热爱。书中主要以Spectrum Holobyte的Macintosh版本为基础，但也提到了Amiga和其他家用电脑上的版本。此外，书中还收录了俄罗斯方块开发者瓦迪姆·格拉西莫夫和阿列克谢·帕基特诺夫的采访。
CRIU：Linux 容器的检查点/恢复工具 (criu.org)
CRIU 是一个 Linux 软件，用于实现 Linux 容器的检查点/恢复功能。它可以冻结正在运行的容器或应用程序，并将其状态保存到磁盘。保存的数据可用于恢复应用程序，并使其在冻结时的状态下运行。CRIU 可用于应用程序或容器的实时迁移、快照、远程调试等多种场景。
五名男子因运营大型非法流媒体服务 Jetflicks 被定罪 (variety.com)
近日，五名男子因运营大型非法流媒体服务 Jetflicks 被拉斯维加斯联邦陪审团定罪。Jetflicks 每月收费 9.99 美元，提供超过 18.32 万集电视剧，数量超过 Netflix、Hulu、Vudu 和 Amazon Prime Video 的总和。该服务通过从盗版网站下载并托管盗版内容获利，对版权方造成巨大损失。五名被告因违反联邦版权法被判处最高 48 年监禁和罚款。
程序员的秘密武器：隐藏在代码中的幽默 (techxplore.com)
软件开发是一项枯燥且压力大的工作，为了缓解单调乏味，开发者会在代码中加入幽默元素。研究发现，开发者倾向于在测试代码和代码提交信息中使用幽默，例如引用电影台词、文化符号等，这种隐藏的幽默有助于开发者之间建立联系，缓解工作压力，提升团队凝聚力。
Kraken交易所称黑客在300万美元漏洞攻击后利用漏洞赏金计划进行“勒索” (www.coindesk.com)
加密货币交易所Kraken表示，安全研究人员发现了平台上的一个漏洞，可以人为地夸大账户余额，并提取了近300万美元的资金。Kraken已修复该漏洞，但涉事研究人员拒绝归还资金，反而要求Kraken支付漏洞赏金，否则拒绝提供漏洞细节。Kraken认为这是“勒索”行为，并表示将与执法部门合作追回资产。
Racket 中的天际线问题 (jeapostrophe.github.io)
这篇文章介绍了如何用 Racket 语言解决天际线问题。天际线问题是指，给定一系列建筑物的坐标和高度，求出这些建筑物共同形成的天际线的轮廓。文章详细讲解了使用优先队列和事件驱动的方式来解决这个问题，并通过代码示例展示了具体的实现方法。
走进魔法森林 (dansitu.substack.com)
这篇文章探讨了如何利用嵌入式人工智能将我们周围的环境变得更加人性化和响应用户需求。作者将现代人被各种应用程序和设备所包围的生活方式比作是被困在一个缺乏生机的环境中，并提出了利用嵌入式人工智能将智能融入到各种日常用品中，从而创造出一个更加自然、便捷和舒适的生活环境。
Gravitics公司展示可容纳54人的8米太空舱模型 (www.gravitics.com)
航空航天制造公司Gravitics展示了其名为“StarMax”的8米太空舱模型，该模型可以容纳54人。这个1:1比例的太空舱模型展示了Gravitics对大型高效太空环境的愿景。该公司表示，单个8米模块提供的可用空间大约是整个国际空间站的一半。Gravitics还致力于与社区和行业合作伙伴合作，以确保地球上和地球外的可持续和协作的未来。
测试生成式人工智能在电路板设计中的应用 (blog.jitx.com)
本文测试了大型语言模型（LLM）在电路板设计中的实用性，重点关注GPT4o、Claude 3 Opus和Gemini 1.5等前沿模型在一系列设计任务中的表现。研究发现，LLM在构建技能、编写代码和从数据表中提取有用数据方面表现出色。Claude 3 Opus擅长回答跨领域问题，Gemini 1.5在从数据表中提取组件数据方面表现优异，而GPT-4o在所有测试类别中均未表现最佳。总体而言，LLM在电路板设计中具有潜力，尤其是在代码生成方面，但它们在需要复杂决策的领域仍有局限性，未来可作为辅助工具而非独立的设计师。
花费三个月时间，我用一行代码修复了一个存在7年的BUG (lemmy.world)
本文讲述了作者是如何花费三个月时间，最终用一行代码修复了一个存在7年的BUG的经历。该BUG存在于一款连接iPad的硬件配件中，会导致MIDI信息丢失，最终导致iPad认为琴键被一直按下。作者通过分析USB通信、调试固件以及优化代码，最终找到了问题所在：16位模运算在8位处理器上运行缓慢，导致数据包丢失。通过将16位模运算重写为三个8位模运算，作者成功解决了这个问题。
2的平方根如何成为一个数字 (www.quantamagazine.org)
这篇来自Quanta Magazine的文章探讨了无理数，特别是√2，是如何在数学中获得一席之地的。古希腊人认为所有数都可以表示为整数或分数，但√2的发现挑战了这一观念。文章详细介绍了Richard Dedekind如何利用“戴德金分割”来定义无理数，以及Georg Cantor如何通过有理数序列来定义它们。两位数学家的工作都为现代数学奠定了基础，并扩展了我们对数字和无限的理解。