微软发布monitors4codegen：基于静态代码分析的代码语言模型监控解码 (github.com)
该文章介绍了微软在NeurIPS 2023发表的论文“基于代码库上下文静态分析的代码语言模型监控解码”的官方代码和数据。文章介绍了监控引导解码（MGD）方法，该方法利用静态代码分析来引导代码语言模型的解码过程，从而生成更符合语法和语义规则的代码。文章还介绍了用于评估代码语言模型的PragmaticCode和DotPrompts数据集，以及一个名为multilspy的语言服务器客户端库，用于获取和使用各种静态分析的结果。
科学家找到制造完全分解的藻类塑料的方法 (abcnews.go.com)
加州大学圣地亚哥分校的研究人员和材料公司Algenesis找到了一种利用聚氨酯制造塑料的方法，这种“生物基”聚氨酯聚合物可以在自然环境中堆肥和分解，而典型的石油基塑料聚合物通常无法进行生物处理。研究人员发现了一种堆肥中的细菌菌株，可以完全依靠聚氨酯塑料生存，这意味着这些材料是完全可生物降解的。这项研究表明，他们以植物为基础的聚合物可以在不到7个月的时间内生物降解到微塑料水平以下。
Emoji 历史：缺失的岁月 (blog.gingerbeardman.com)
这篇文章深入探讨了Emoji的历史，发现Emoji并非如普遍认为的那样起源于1997年的日本软银或1999年的NTT DoCoMo。作者通过研究上世纪八九十年代的日本电子设备，如夏普PI-4000 袖珍电脑、NEC PI-ET1，以及夏普的文字处理器和电子记事簿，发现这些设备中已经包含了Emoji。作者追溯了Emoji的起源，最早可追溯到1965年出版的一本排版符号书籍中出现的“带脸的满月”符号。文章还讨论了Emoji的定义，以及在移动手机普及之前，Emoji在寻呼机上的使用情况。
256字节的微型W8奇幻控制台介绍 (github.com)
文章介绍了一个名为Encounter的256字节的微型W8奇幻控制台介绍，它试图在有限的空间内带来电影般的体验。该项目使用了WebAssembly和CurlyWAS语言，通过精心编写的代码实现了水波、光影等视觉效果。作者还提供了视频演示和代码注释，方便读者理解其工作原理。
城市概念是否违背了人性？ 垂直与水平扩展——个人思考 (rufatmammadli.medium.com)
本文作者认为城市生活方式违背了人类的天性，高楼林立的城市环境不利于身心健康，人们更渴望亲近自然。作者主张采用水平扩展而非垂直扩展的城市规划理念，建造更多与自然融合的住宅，并呼吁降低住房成本，解决年轻一代的住房问题。
我们能让自行车再次变得可持续吗？ (solar.lowtechmagazine.com)
文章讨论了自行车可持续性问题。自行车曾经是最环保的交通工具，但随着时间推移，其生产过程的能源和材料消耗不断增加，使用寿命却在缩短，导致其对环境的影响日益严重。文章分析了造成这一现象的几个原因，包括从钢材到铝材等高耗能材料的转变、自行车制造业的规模化、零件兼容性下降和质量下降、电动自行车的兴起以及共享单车服务的使用。作者主张回归本土化、手工化自行车制造，提高零件兼容性以延长自行车使用寿命，并减少对共享单车服务的依赖，以实现自行车生产和使用的可持续发展。
B级片之王罗杰·科曼去世，享年98岁 (variety.com)
传奇B级片之王罗杰·科曼去世，享年98岁。科曼导演和制作了数百部低成本电影，并发现了杰克·尼科尔森、马丁·斯科塞斯和罗伯特·德尼罗等未来的行业明星。科曼的电影帝国以快节奏、低成本的类型片闻名，包括恐怖片、动作片、科幻片，甚至一些家庭片，他的公司成为各种主要人才的训练场，从尼科尔森和德尼罗这样的演员到弗朗西斯·福特·科波拉和斯科塞斯这样的导演。
Binius：二进制域上的高效证明系统 (vitalik.eth.link)
Binius 是一种新的零知识证明系统，它直接在二进制域上运行，从而实现比现有系统更高的效率。文章解释了小字段如何提高证明生成效率，以及二进制域的独特优势。Binius 使用多项式承诺方案，将计算轨迹表示为多维超立方体，并通过巧妙的编码和扩展技术将其转换为二维网格，以实现高效的证明生成和验证。
维基百科引用需求 (chromewebstore.google.com)
维基百科引用需求是一个Chrome浏览器扩展程序，它使用ChatGPT来查找维基百科中的引用。用户可以选择一段文本进行验证，扩展程序会在维基百科中搜索相关文章和引用，并返回结果，包括声明是否被维基百科支持、文章质量信号（如上次编辑日期和参考文献数量）。
Jellyfin 10.9.0 发布 (jellyfin.org)
Jellyfin 10.9.0 正式发布，此版本经历了两年多的开发，带来了大量新功能、改进和错误修复。主要变化包括：支持实时视频 scrubbing、改进的 DLNA 支持、AVIF 和 WEBP 图像支持、多字幕轨道支持、API 改进、.NET 8 升级、FFmpeg 升级、音频改进、硬件加速支持、扫描和资料库管理改进、投屏功能改进等。开发团队还计划加快发布节奏，目标是未来半年内发布 10.10.0 版本。
GitHub - Technion-Kishony-lab/data-to-paper：AI 驱动的科研 (github.com)
data-to-paper是一个人工智能驱动的科研框架，它以原始数据为起点，生成可验证的科研论文。该框架系统地引导大型语言模型和基于规则的代理，从注释数据开始，创建研究假设，进行文献检索，编写和调试数据分析代码，解释结果，最终逐步撰写完整的科研论文。
古埃及石材钻孔技术探秘 (www.penn.museum)
本文介绍了对古埃及石棺盖钻孔技术的研究，通过硅胶印模和扫描电子显微镜分析，并结合实验考古学方法，对学者Petrie和Lucas提出的两种不同观点进行了验证。研究发现，干砂石无法在花岗岩上产生同心圆切割线，而使用金刚砂、刚玉或钻石与水或润滑剂结合使用，则可以产生同心圆切割线。这一发现为理解古埃及石材加工技术提供了新的见解，并对进一步研究古代宝石加工技术具有重要意义。
Charlieplexing (en.wikipedia.org)
Charlieplexing是一种使用微控制器的三态逻辑能力来驱动大量LED、开关、微电容器或其他I/O实体的技术。它比传统的复用技术效率更高，每个I/O引脚都能够在逻辑1、逻辑0和高阻抗三种状态之间快速切换。这使得这些I/O实体可以连接在任意两个微控制器I/O之间，从而驱动比传统复用更多的LED。例如，使用4个I/O引脚，Charlieplexing可以驱动12个LED，而传统的复用只能驱动4个。Charlieplexing也有一些缺点，例如需要频繁的刷新率、峰值电流较高、需要三态逻辑引脚以及电路复杂度较高。
RHEL 9.4发布，RHEL和CentOS 7即将淘汰 (www.theregister.com)
红帽企业Linux 9.4 发布，同时红帽宣布延长RHEL 7 的支持，RHEL 7.9 将获得四年的扩展生命周期支持（ELS）。CentOS Linux 7将于2024年6月30日终止生命周期，CIQ为CentOS 7用户提供CentOS 7扩展生命周期软件包更新，以及针对CVSS 7及以上问题的安全更新，为期三年。
加拿大各地的永久性化学品污染问题 (www.ctvnews.ca)
加拿大北湾市自上世纪70年代以来，市政供水系统就一直存在全氟/多氟烷基物质 (PFAS) 污染问题。PFAS 是一种人造的潜在有毒化学物质，可在环境和人体中长期存在，并与肝脏、发育问题、癌症和妊娠并发症等健康风险相关联。北湾的 PFAS 污染源头是附近的杰克加兰机场，该机场使用的消防泡沫中含有 PFAS。加拿大许多其他城市也面临着类似的 PFAS 污染问题。PFAS 的使用范围广泛，从不粘锅到化妆品，难以避免接触。尽管近年来一些 PFAS 的血液浓度有所下降，但仍有许多其他类型的 PFAS 在使用，而且 PFAS 在环境中长期存在，对人类健康构成持续威胁。
暗物质的主要竞争理论已死？来自卡西尼号航天器和其他近期测试的坏消息 (theconversation.com)
星系自转速度比用牛顿万有引力定律预测的要快得多，为了防止星系解体，需要一些额外的引力，这就是暗物质概念的由来。然而，一项名为“修正牛顿动力学”（MOND）的竞争理论认为，星系差异是由牛顿定律的失效造成的。最近的研究表明，MOND理论遇到了麻烦。卡西尼号任务的观测结果表明，土星的轨道与牛顿的预期一致，而与MOND的预测不符。此外，对宽双星和太阳系外围小天体的研究也与MOND的预测相矛盾。因此，MOND理论不再被认为是暗物质的可行替代方案。
GitHub - vishapoberon/oberonbyexample: Oberon by Example (github.com)
Oberon by Example是一个使用示例介绍Oberon-2的实践指南。Oberon是一种由Niklaus Wirth于1986年创建的通用编程语言，Oberon-2是对Oberon的扩展，增加了有限的反射和面向对象编程工具、作为指针基类型的开放数组、只读字段导出等功能。该资源库包含hello world、类型、变量、常量、for循环、while循环、if/else语句、case语句、数组、过程、过程函数、VAR参数等示例，旨在帮助初学者更好地学习Oberon-2编程语言。
混合硬盘是个好主意吗？ (eclecticlight.co)
文章探讨了苹果公司推出的混合硬盘（Fusion Drive）的优缺点。作者指出，混合硬盘在SSD价格昂贵时，通过结合大容量硬盘和小型高速SSD，提供了一种经济高效的存储方案，提升了Mac的性能。然而，混合硬盘的寿命比SSD短，而且更容易出现故障。随着SSD价格下降和苹果T2芯片的推出，混合硬盘逐渐被淘汰。
天文学家正在搜寻戴森球 (www.universetoday.com)
一组科学家认为，我们可能已经从技术文明的戴森球体中检测到了技术特征，但这些特征隐藏在我们庞大的天文数据宝库中。戴森球是一个假设的工程项目，只有高度发达的文明才能建造。从这个意义上说，“先进”意味着一种几乎难以想象的技术实力，它将允许一个文明围绕一颗恒星建造一个结构。这些戴森球体将允许一个文明利用恒星的所有能量。一个文明只有在达到卡尔达肖夫等级的第二级时才能建造如此庞大和复杂的物体。
Flatpak - 两年后的安全梦魇 (flatkill.org)
本文回顾了两年前对 Flatpak 的批评，指出其三大主要问题：沙盒机制名不副实，应用程序和运行时缺乏安全更新，桌面集成问题。作者发现，尽管过去了两年，Flatpak 仍然存在这些问题，例如大多数应用程序仍然具有对主机系统的完全访问权限，运行时和应用程序中存在已知的安全漏洞，并且桌面集成方面的问题，如字体渲染和中文输入法支持，仍然存在。作者对 Flatpak 的安全性表示担忧，并建议继续链接系统库以避免这些问题。
Vertex公司因患者死亡暂停胰岛细胞研究 (www.medscape.com)
Vertex Pharmaceuticals公司暂停了其异体干细胞衍生的全分化胰岛细胞替代疗法 (VX-880) 的研究，原因是两名患者死亡。公司在一份声明中表示，这两起死亡事件均与VX-880无关。目前，一项针对1型糖尿病患者的1/2期研究正在进行中，14名患者接受了VX-880的移植。Vertex计划在即将召开的医学会议上公布完整的数据集。
何时才算一名优秀的反恐精英玩家？ (two-wrongs.com)
文章探讨了如何评估《反恐精英》游戏中的玩家技能。作者认为，仅仅依靠杀敌/死亡率并不能完全准确地评估玩家水平，更重要的是玩家对团队获胜的贡献程度。作者分析了Leetify评分系统，该系统通过统计玩家在游戏中的各种事件，并根据这些事件对获胜概率的影响来评估玩家水平。作者通过分析自己的比赛数据，发现击杀率和死亡率对Leetify评分的影响最大，并得出一个结论：如果玩家在与对手的交火中有至少54%的胜算，就应该选择交战，否则就应该选择撤退。
Fathom 招聘 AI 产品经理 (www.ycombinator.com)
Fathom 是一家发展迅速的 AI 会议助手公司，正在招聘 AI 产品经理。该职位负责利用大型语言模型优化现有功能，开发新的 AI 功能，并进行模型微调。 应聘者需具备提示工程经验、Python 编程能力和数据分析能力，并提交利用大型语言模型完成的项目演示。
轻量级浏览器Dillo 3.1版发布，近十年来首个新版本 (www.theregister.com)
轻量级浏览器Dillo发布了近十年来的首个新版本3.1，该版本包含了许多修复和改进，最重要的是增加了对传输层安全协议（TLS）的支持。Dillo是一款适用于类Unix操作系统的超轻量级图形网页浏览器，使用Fast Light Toolkit编写。它不支持框架、嵌入式媒体播放和JavaScript，因此无法访问大部分现代网站。但它可以在非常低端的硬件上运行，是Damn Small Linux等轻量级Linux发行版的首选浏览器。
柏林特斯拉抗议者称公民不服从是唯一选择 (www.dw.com)
柏林特斯拉工厂的抗议者表示，由于地区政客的背叛，公民不服从是必要的。他们抱怨特斯拉和勃兰登堡州政府在推进工厂扩建过程中没有关注公民的利益，并担心当地饮用水可能受到污染。抗议者还提到了阿根廷或玻利维亚等国家为开采锂矿而造成的环境破坏，锂是电动汽车电池所需的矿物。
陨石中发现DNA和RNA的所有碱基 (sciinsider.com)
科学家在陨石中发现了构成DNA和RNA的全部五种碱基，为生命起源于太空的假说提供了新的证据。研究人员使用温和的冷水提取技术，在四块陨石样本中检测到腺嘌呤、鸟嘌呤、胞嘧啶、尿嘧啶和胸腺嘧啶，以及其他几种与生命相关的化合物。虽然一些检测到的化合物的含量高于周围土壤，但胞嘧啶和尿嘧啶的含量在土壤中更高，这引发了关于地球污染的疑问。为了进一步验证这一发现，科学家计划分析来自小行星Ryugu和Bennu的原始样本。
ANIMAL WELL将于2024年5月9日发布 (www.animalwell.net)
ANIMAL WELL是一款超现实、互联的迷宫游戏，玩家需要收集物品，解谜，并努力在黑暗中生存。游戏拥有多个层次的秘密，玩家需要谨慎行事，评估哪些生物是安全的，哪些是危险的。游戏由定制引擎/渲染器构建，专门针对现代硬件上的像素艺术，灵感来自生存恐怖、冒险游戏以及任天堂经典游戏，如塞尔达传说和银河战士。