本文探讨了“类型驱动开发”的理念，作者通过在Heartbeat大型Typescript项目中的经验，阐述了如何利用Typescript的类型系统来简化复杂编程问题。文章的核心观点是：通过充分利用类型系统，让类型在应用的各个层面自由流动，从类型定义开始设计新功能，使非法状态不可表示，解析而非验证数据，并保持代码的诚实性和特异性，可以大幅减少bug，提高开发效率。作者还分享了如何利用纯函数作为类型桥梁，以及如何将类型系统作为代码内省工具的技巧，并指出在必要时可以适度地绕过类型系统约束。
阅读更多
MIT研究人员首次实现LED光输出功率超过电能消耗，效率高达230%。秘诀在于大幅降低电压至30皮瓦，此时LED效率随输出功率下降而上升。虽然目前仅限于低功率、微弱光线的LED，但这项突破利用了原子晶格振动产生的余热，为高能效电磁通信和新型固态冷却技术提供了新思路，挑战了传统LED效率与亮度成反比的认知。
阅读更多
本文介绍了如何使用CMake和Swift搭建Cute Framework 2D游戏项目。Cute Framework是一个基于C/C++的高效2D游戏框架，通过CMake构建系统，开发者可以使用Swift编写游戏逻辑，并利用C/C++的性能优势进行渲染等关键任务。文章详细讲解了项目结构的搭建、CMakeLists.txt文件的配置、Swift与C/C++互操作的设置，以及项目的编译运行。最终，读者将能够创建一个简单的Cute Framework游戏，并在此基础上进一步开发。
阅读更多
Deno Deploy，号称具有“大规模全球覆盖”的边缘计算平台，其服务器数量却从2024年初的35个区域骤减至2025年2月的6个，服务范围大幅缩水。作者亲身经历了Deno Deploy性能下降，并指出Deno的其他产品，如Fresh框架和Deno KV，也发展缓慢甚至停滞。文章表达了作者对Deno未来前景的担忧，并将其归咎于缺乏创新和对Node.js的盲目追赶。
阅读更多
BrowserBee是一款隐私优先的开源Chrome扩展程序，允许你使用自然语言控制浏览器。它结合了LLM强大的指令解析和规划能力，以及Playwright强大的浏览器自动化能力来完成任务。BrowserBee完全在浏览器内运行（LLM除外），可以安全地与已登录的网站（如你的社交媒体帐户或电子邮件）交互，而不会危及安全性或需要后端基础设施。它支持Anthropic、OpenAI、Gemini和Ollama等主要LLM提供商，并具有丰富的浏览器工具，包括导航、交互、观察和内存功能，可以记住常用的工具使用序列，提高效率。
阅读更多
本文预测，未来十年核能将在美国电力市场中占据主导地位，新增装机容量占比将超过30%。目前，可再生能源占据新增电力来源的98%，而核能仅占2%。但随着人工智能等技术的快速发展，能源需求激增，微软、亚马逊、谷歌等科技巨头开始大量购买核电，这将推动核能的复兴。作者对核能的未来发展持乐观态度，认为核能将成为未来主要的能源生产方式。
阅读更多
RPG in a Box是一款简单易用的游戏创作工具，无需编程或建模经验，即可创建RPG游戏和其他互动体验。它提供了像素编辑器、地图编辑器、可视化脚本编辑器、对话编辑器、相机系统、UI自定义、物品系统和音效生成器等功能，支持导出至Windows和MacOS平台。即使是新手也能轻松上手，创造属于自己的游戏世界。
阅读更多
本文探讨了韩国哲学家韩炳哲对现代社会的批判。韩炳哲认为，我们正生活在一个浅薄的成就社会中，人们被“能做什么”的压力驱使，追求极致的成功和自我满足，最终导致倦怠和精神疾病。他分析了这种社会机制如何导致爱、美和娱乐的危机，并批判了数字媒体的“平滑性”如何抹杀负面体验和真实性。韩炳哲呼吁人们摆脱成就的压力，拥抱不完美和负面体验，重新发现爱的本质和真正的娱乐。
阅读更多
从2009年开始，一位开发者持续构建个人项目，经历了项目售出、在线运行和悄然下线等不同阶段。他总结经验：专注于自己喜欢的项目，并坚持使用最熟悉的技术栈（WordPress、Laravel、React等），不必纠结于框架选择，用户关注的是项目本身，而非技术细节。
阅读更多
TigerBeetle数据库团队使用Jepsen测试发现了其查询引擎中的一个bug，令人惊讶的是，这个组件之前已经过四个fuzzer的广泛测试。调查发现，fuzzer的测试用例生成策略中存在盲点，导致某些类型的查询组合无法被覆盖。这个问题源于fuzzer在初始化时预先注册查询，这种方式虽然简化了工作负载，但却意外地限制了输入空间的多样性。最终，通过改进fuzzer，使其生成更随机的输入并进行更精确的验证，成功复现并修复了该bug。这个案例提醒我们，即使是精心设计的fuzzing策略也可能存在盲点，需要结合其他测试方法，才能更全面地保障软件质量。
阅读更多
《Cataphracts》是一款独特的异步实时战争游戏，其核心机制在于模拟战争的运作层面，而非单纯的战略或战术。游戏设定在1300年左右的伪黑海地区，玩家扮演指挥官，通过文字指令指挥军队，真实模拟行军、补给、通讯等环节。游戏强调信息的不对称性与延时，指挥官们只能依靠有限的情报做出决策，战略失误往往源于沟通不畅和信息滞后，而非军队实力的差距。这种机制催生了高度的玩家互动和角色扮演，即使是简单的计划也可能因后勤问题而失败，真正考验的是指挥官的协调能力和对战场态势的判断。
阅读更多
本文深入浅出地讲解了 Kolmogorov-Arnold 网络 (KAN) 的架构和训练过程。KAN 是一种与多层感知器 (MLP) 不同的神经网络架构，它通过将 MLP 中的权重矩阵向量乘法重新连接为函数应用来参数化激活函数。文章详细解释了 KAN 的工作原理，包括最小 KAN 架构、B 样条优化以及正则化技术，并提供代码示例和可视化结果。此外，文章还探讨了 KAN 的应用，例如在 MNIST 数据集上的应用，以及未来研究方向，例如提高 KAN 的效率。
阅读更多
一篇来自Cohere、斯坦福、MIT和Ai2的研究论文指控流行的AI基准测试平台Chatbot Arena（其背后的组织为LM Arena）偏袒头部AI公司，允许Meta、OpenAI、Google和亚马逊等公司进行秘密测试，并隐瞒低分模型的结果，从而操纵排行榜排名。研究人员分析了超过280万场模型对战，发现这些公司获得了更高的采样率，从而获得了不公平的优势。LM Arena回应称研究存在不准确之处，并表示将改进采样算法，但否认了故意操纵排名的指控。这一事件引发了人们对AI基准测试平台公平性和透明性的担忧，也凸显了大型科技公司在AI竞赛中的竞争策略。
阅读更多
传统间隔重复系统（SRS）忽略了卡片内容的语义信息，仅基于记忆模型预测记忆时长。本文介绍了内容感知记忆模型，它考虑卡片内容及语义关系，提升学习效率。这使得构建更灵活智能的学习工具成为可能，例如以概念为中心的记忆系统和基于AI的会话式间隔重复。作者还区分了调度器和记忆模型，并探讨了内容感知记忆模型的优势、挑战及未来方向，例如需要更多包含卡片文本内容和复习历史的大型公开数据集。
阅读更多
一名举报人揭露了DOGE团队可能窃取了与工会组织和劳动投诉相关的敏感劳动数据的细节。据称，DOGE团队在获得美国国家劳资关系委员会（NLRB）内部系统访问权限后，获取了大量数据，包括工会信息、正在进行的法律案件和公司机密等。他们还试图掩盖其行为，关闭监控工具并手动删除访问记录。举报人提供的证据包括大量数据外泄、可疑的俄罗斯IP地址登录尝试以及名为“NxGenBdoorExtract”的项目，该项目可能用于从NLRB内部系统提取数据。此事件引发了对数据安全和隐私的严重担忧，专家们认为此行为可能对工会、员工以及企业造成重大损害。
阅读更多
作者和朋友在内华达州沙漠骑行，远离拉斯维加斯的灯光，寻找黑暗的夜空。他们观察星座，学习夜空知识，并使用夜空质量仪测量光污染程度。文章探讨了光污染对观星的影响，以及在现代生活中重新连接自然和夜空的重要性。
阅读更多
作者厌倦了复杂的网站构建系统，例如Next.js，渴望一个更简单的方法来构建静态网站。他尝试了各种方法，最终发现了XSLT——一种将XML转换为HTML的语言。通过将网站数据存储为XML，并使用XSLT进行转换，他创建了一个无需额外构建工具的“客户端”构建系统。浏览器直接处理XSLT转换，生成最终的HTML页面，实现零配置的静态网站构建。虽然并非完美，但这为开发者提供了一个新的选择。
阅读更多
Recall.ai每月处理数百万小时的会议数据，其Postgres数据库因高并发写入而出现宕机。调查发现，LISTEN/NOTIFY功能在事务提交阶段会获取全局数据库锁，导致所有提交序列化，成为性能瓶颈。迁移到应用层处理后，问题解决。
阅读更多
联合国对全球人口增长的预测过于乐观，实际生育率下降速度远超预期。许多国家，包括一些中等收入国家，生育率已跌至远低于富裕国家的水平，这与传统的现代化故事相悖。例如，哥伦比亚2024年的出生率仅为44.5万，远低于联合国的预测。这种下降趋势对经济增长和退休前景构成严重威胁，因为越来越少的年轻人需要支持越来越多的老年人。日本就是一个警示案例，其低生育率导致经济增长放缓。如果全球生育率继续下降，世界经济将面临巨大的挑战。
阅读更多
你是否记得Windows 7？这款操作系统曾让微软重回巅峰。但鲜为人知的是，一个简单的编程错误导致使用单色壁纸的用户，系统启动需要30秒！罪魁祸首是背景图片就绪消息的代码位置错误，导致系统苦等消息超时。更令人啼笑皆非的是，“隐藏桌面图标”策略的加入，也因代码顺序问题加剧了这一问题。微软耗时数月才解决此bug，这段趣闻也从侧面反映了编程中可能出现的各种奇葩错误。
阅读更多
Sirius是一款原生支持GPU的SQL引擎，通过Substrait标准与DuckDB等数据库无缝对接，无需改写查询或大幅修改系统。在TPC-H基准测试中，Sirius在相同的硬件成本下，速度比现有CPU引擎快约10倍，非常适合交互式分析、金融工作负载和ETL作业。目前支持DuckDB和Doris数据库，并计划支持更多数据库。安装方法包括使用AWS镜像、Docker镜像或手动安装。尽管还处于积极开发阶段，但Sirius已展现出强大的性能潜力，为数据分析开启了GPU时代。
阅读更多
一位YouTube博主在评测Procolored UV打印机时，发现其配套软件携带恶意软件，引发安全警报。安全公司G Data调查发现，该软件包含窃取加密货币的恶意程序SnipVex，已盗取约10万美元比特币。攻击者利用剪贴板替换比特币地址，并感染可执行文件。Procolored公司回应称软件可能在传输过程中感染病毒，已下架软件并提供新的清洁版本。安全专家建议用户彻底检查系统，必要时重装系统。
阅读更多
使用模拟数据库进行测试虽然快速便捷，但作者认为其弊大于利。文章以创建用户为例，对比了模拟数据库和真实数据库测试方法。真实数据库测试能够及早发现潜在问题，例如唯一约束冲突、默认值处理和性能瓶颈等，从而节省调试时间，降低生产环境风险。此外，随着应用发展和数据库模式变更，真实数据库测试能更好地应对新验证、数据类型修改和时间戳精度变化等问题，确保代码与实际数据库模式一致。文章建议，对于数据访问层，真实数据库测试至关重要；而对于服务层，真实数据库测试能揭示业务逻辑与数据的交互方式；控制器层则可以模拟服务调用。平衡真实数据库测试和模拟测试，才能构建更可靠的应用。
阅读更多
一项基于110万瑞典男性的研究对长期以来健身与降低死亡率的关联提出了质疑。研究发现，青少年时期高健身水平者死亡率较低，但意外事故死亡率也同样较低，这暗示了高低健身水平人群可能存在其他重要差异。通过负控制结果分析和同胞比较设计，研究证实了这种关联可能存在偏差，高估了健身对降低心血管疾病和癌症死亡率的影响。研究强调，大规模干预措施应基于可靠的估计，避免因高估效应而产生无效期望。
阅读更多
谷歌新推出的AI搜索模式已在美国全面上线，但这对新闻出版商来说却是一场生存危机。新闻媒体联盟指责谷歌的AI模式“等同于盗窃”，因为它直接使用出版商的内容，而没有提供相应的补偿，损害了出版商的流量和收入。泄露的内部文件显示，谷歌曾考虑允许出版商选择退出AI模式，但最终放弃了这一方案，这使得出版商无法避免其内容被谷歌用于AI训练和搜索结果中。虽然谷歌辩称出版商一直可以控制其内容的可用性，但这一做法无疑正在扼杀高质量内容的创作，并可能导致互联网内容质量下降。
阅读更多
凯撒沙拉，这道风靡全球的经典沙拉，诞生于1924年的墨西哥蒂华纳。意大利移民凯撒·卡迪尼在餐厅因食材不足，临时起意制作，却意外获得巨大成功。其独特之处在于以罗曼莴苣、蒜香面包丁、以及由蛋黄、凤尾鱼、大蒜、第戎芥末、柠檬、盐和胡椒制成的酱汁为基础，再配以帕尔玛干酪。如今，凯撒沙拉在世界各地都有不同的演绎版本，从传统的桌边制作到创新融合，延续着它百年的传奇故事。
阅读更多
文化评论家伊兰·斯塔万斯认为，波萨达的作品充满哥特式、怪诞、魔幻和奇异的元素，死亡更是其主要主题，而非痛苦的死亡，而是不可逆转的、社会性的、平等的死亡。波萨达的宇宙充满了蝙蝠、狮鹫、骷髅、动物杂交体、蛇、爆炸、手枪、恶魔、鬼魂和畸形。与其将这些恐怖形象视为波萨达作品中的次要部分，不如认真对待它们本身的意义。
阅读更多
这是一门为期一天的课程，旨在快速学习虚拟机监控程序的内部工作原理以及编写用于高性能模糊测试的虚拟机监控程序的技术。课程涵盖硬件辅助虚拟化技术的基础知识，例如 VMCS/VMCB、访客-主机世界切换、EPT/NPT，以及有用的功能和技术，例如用于虚拟机自省的异常拦截以进行模糊测试。课程由讲座和动手练习组成，使用本目录中的材料以及Hypervisor-101-in-Rust/hypervisor目录下的源代码。
阅读更多
2023年国际数学与科学趋势研究（TIMSS）评估结果显示，美国四年级和八年级学生的数学成绩在2019年至2023年间大幅下降，而其他十几个国家的学生成绩有所提高。尽管美国学生在国际上仍处于中等水平，但其四年级数学成绩的下降幅度在参与国中名列前茅。成绩下降的主要原因是低分学生退步更大，这一趋势在疫情前就已经存在。此外，许多国家的性别差距也在扩大，男生在数学方面表现更佳。TIMSS结果与2022年美国国家教育进展评估（NAEP）的结果相呼应，后者也显示美国四年级和八年级学生的数学成绩大幅下降。
阅读更多
经过五年的开发，Couchers 社区正式推出 1.0 版本！新版本以打造更安全、更活跃的沙发客社区为核心，推出了全新设计的落地页、改进的核心功能以及一系列新功能，例如改进的参考功能、重新设计的搜索地图和通知中心等。Couchers 团队呼吁用户分享平台，共同壮大社区。
阅读更多