量子化学和模拟助力揭示难以捉摸的第61号元素钷的配位化合物
美国橡树岭国家实验室的科学家们解开了钷元素长期以来隐藏的特征，为研究其他镧系元素开辟了道路。研究人员首次使用实验和计算机模拟相结合的方法，合成了钷的配位化合物，并对其进行了表征。该研究利用超级计算机Summit模拟了钷的电子结构，并结合X射线吸收光谱实验结果，成功地揭示了钷元素的电子结构和特性。
阅读更多超越框架：如果数据是个坏主意呢？
本文探讨了数据作为一种工具的潜在负面影响，特别是当它被用来代表和管理人类身份时。作者认为，数据固有的客观化特性会导致将人简化为可以被跟踪和操纵的对象，并引用了阿姆斯特丹人口登记处爆炸案作为数据控制的危险性的历史例证。文章进一步探讨了数据的集中化趋势如何赋予大型组织权力，使其能够以牺牲个人自主权为代价收集和利用个人信息。作者主张采用更加以人为本的数据管理方法，使数据更接近个人，并赋予个人对其数据的更大控制权，同时强调了实现这一目标的挑战。
阅读更多专家咨询平台Intro：按分钟收费的智慧分享
由Alexis Ohanian投资的初创公司Intro搭建了一个专家咨询平台，用户可以付费与各行各业的专家进行视频通话，获取专业建议。平台上的专家包括风险投资家、商业领袖、设计专家和播客主持人等，咨询费用从几百美元到数千美元不等。一些用户认为该平台提供的咨询服务物有所值，而另一些用户则对高昂的收费和专家的资质表示怀疑。
阅读更多GitHub - danielricci/solitaire: Remake of the Windows 95 Solitaire game from scratch to preserve its original authenticity.
此网站是经典单人扑克游戏Solitaire的实现，拥有各种版本，包括 Klondike、FreeCell 和 Spider。玩家可以通过 GitHub 网站玩这些游戏，无需下载任何软件。
阅读更多时间：它是一个维度，但不像空间那样
文章探讨了时间作为第四维度与空间维度的区别。文章指出，根据爱因斯坦的相对论，时间和空间并非所有观察者都认同的绝对量，而是相对的，取决于时空的曲率和观察者的运动。与空间维度不同，时间不能独立于空间维度，运动速度会影响时间的流逝。文章进一步阐述了时空区间的概念，它结合了时间和空间，并解释了时空间隔如何成为所有观察者都能认同的不变量。
阅读更多OpenAI涉嫌侵犯AI训练数据集的版权
OpenAI目前正因侵犯书籍作者的版权而面临诉讼。诉讼称OpenAI在未经作者许可的情况下，使用了受版权保护的书籍来训练其人工智能系统。作者们认为，OpenAI的行为侵犯了他们的版权，并要求赔偿。此案将于2024年5月开庭审理。
阅读更多GitHub - facebookresearch/searchformer：论文“超越 A*，通过搜索动态引导实现更高效的规划”的官方代码库。
Searchformer 是一个开源的自然语言处理模型，由 Facebook 研究团队开发。它是一个基于 Transformer 架构的大型语言模型，专门针对搜索任务进行了微调。Searchformer 通过以端到端的方式检索和排名文档，在问答和信息检索任务上实现了最先进的性能。该项目提供了代码、预训练模型和文档。
阅读更多Grafana Loki 查询优化 AWS Pod 启动时间
Checkly 团队通过优化 AWS ECS 容器的启动时间，成功将每个 pod 的启动时间缩短了 300 毫秒，每月节省了约 5500 美元的成本。文章详细介绍了他们如何使用 Grafana Loki 监控 pod 启动时间、发现 AWS SDK 版本问题以及通过统一版本号解决问题的过程。
阅读更多亚马逊高管或将为诱导用户注册Prime会员承担个人责任
美国联邦贸易委员会(FTC)起诉亚马逊涉嫌诱骗用户注册Prime会员，指控亚马逊设计了模糊的注册流程，并设置了繁琐的取消流程。FTC还指出，亚马逊高管在知情的情况下依然优先考虑利润，对“意外”或“非自愿”的Prime注册行为视而不见。法官驳回了亚马逊提出的驳回动议，认为FTC的指控成立，亚马逊高管或将为其行为承担个人责任。
阅读更多
自己动手写一个C编译器
这篇文章介绍了 Nora Sandler 的新书《自己动手写一个C编译器》。这本书将指导读者一步步地构建一个可以将C语言子集编译成汇编代码的编译器。书中涵盖了词法分析、语法分析、程序分析、代码生成和优化技术等主题，适合对编译器工作原理感兴趣的开发者阅读。
阅读更多人工智能工程师声称新算法可将AI功耗降低95%
BitEnergy AI的工程师开发了一种名为线性复杂度乘法（L-Mul）的新型人工智能处理方法，该方法用整数加法代替了浮点乘法。这种方法在使用更简单算法的同时，接近浮点乘法的结果，能够保持高精度，并有可能将人工智能系统的功耗降低多达95%。
阅读更多那些年，卖电脑的浣熊：PC Connection的传奇营销
本文讲述了PC Connection这家上世纪80、90年代的电脑邮购巨头，凭借其独特的浣熊主题广告，在竞争激烈的市场中脱颖而出的传奇故事。艺术家Erick Ingraham创作的温馨画面，配以David Blistein妙趣横生的文案，将这家位于新罕布什尔州小镇的企业塑造成了一个充满人情味的品牌，也使得其浣熊吉祥物深入人心。文章详细回顾了这些广告的创作历程、背后的故事以及PC Connection的发展轨迹，展现了其从小型企业到上市公司，最终被互联网浪潮改变的历程，以及其独特的品牌营销策略在如今已不复存在的原因。
阅读更多树莓派3快速启动：不到2秒
本文介绍了作者对树莓派3进行快速启动优化的过程，目标是从开机到Linux shell小于1.75秒，到Qt(QML)应用程序小于2.82秒。作者详细分析了树莓派的启动过程，并针对每个阶段进行了优化，包括使用精简版启动文件、禁用内核中不必要的功能、静态编译Qt应用程序等。文章最后还提供了一些更深入的优化思路，例如缓存用户空间应用程序、使用休眠机制等。
阅读更多Rust-Written LAVD Kernel Scheduler Shows Promising Results For Linux Gaming - Phoronix
Phoronix 网站上发表了一篇题为 "LAVD Scheduler 和 Linux 游戏" 的文章。文章探讨了 Linux 虚拟地址描述符 (LAVD) 调度器如何为 Linux 游戏带来显著的性能改进。LAVD 调度器是一项实验性补丁，它通过改进虚拟地址翻译 (VAT) 操作来减少 CPU 开销，从而增强了游戏性能。文章提供了基准测试结果，展示了 LAVD 调度器在提高帧率和减少延迟方面的显着优势。它指出，这些改进特别明显地体现在多线程游戏中。文章还讨论了 LAVD 调度器的未来发展和潜在采用。
阅读更多X平台抵制案胜诉几率超预期
本文分析了埃隆·马斯克的X公司起诉全球责任媒体联盟(GARM)的案件。X公司指控GARM组织广告商对其进行抵制，违反了反垄断法。作者 initially对X的胜诉几率表示怀疑，但分析了相关法律条文和案例后，认为X公司胜诉的可能性较高，因为集体抵制行为通常被视为违反反垄断法。文章还讨论了GARM可能提出的辩护理由，例如其行为是为了促进品牌安全，符合公众利益。最后，作者反思了集体抵制行为的利弊，以及法律在其中的界限。
阅读更多xMake - 一个现代化的 C/C++ 构建系统
xMake 是一个现代、跨平台且声明式的 C/C++ 构建系统，它提供了易于使用的语法、强大的规则引擎、增量构建支持和出色的性能。它旨在简化和加速 C/C++ 项目的构建过程。
阅读更多STAR：卫星跟踪和对准资源
STAR 是一款易于使用的网络应用程序，可使用手机的运动传感器和位置信息将天线与任何卫星对准。该应用程序由 Conor 开发，提供 ISS 演示以及用户指南。
阅读更多
35岁戒烟可延长8年寿命，75岁戒烟还有用吗？
一项新研究表明，无论是在35岁还是75岁戒烟，都能延长寿命。 这项由密歇根大学公共卫生学院进行的研究发现，与持续吸烟者相比，在65岁戒烟的人至少多活一年的几率为23.4%，在75岁戒烟的人多活一年的几率为14.2%。研究人员希望这项研究能鼓励更多吸烟者，尤其是老年吸烟者戒烟。
阅读更多Announcing py2wasm: A Python to Wasm compiler · Blog · Wasmer
Wasmer 是一款 WebAssembly 运行时和编译工具包。它允许开发者使用 Python、C/C++、Rust 和其他语言编写可以在 Web 上运行的高性能代码。Py2Wasm 是 Wasmer 的一个子项目，它是一个 Python 到 WebAssembly 编译器。它允许 Python 开发者将他们的代码编译成能在 WebAssembly 运行时上运行的高效 WebAssembly 模块。这使得 Python 代码可以在 Web 上或其他嵌入式环境中高效运行，而无需修改代码。
阅读更多利用 Kafka 估计圆周率
这篇文章提出了使用 Apache Kafka 连续流式生成 π 的近似值的新算法。该算法通过将随机数流转换为伯努利分布来工作，并利用中心极限定理来估计 π。文章展示了该算法在不同并发级别和流大小下的性能，并讨论了其在现实世界应用程序中的潜在用途。
阅读更多人工智能或可解释为何我们至今未发现外星人
一项新的研究表明，人工智能的快速发展可能是导致我们尚未发现外星人的原因。该研究认为，人工智能可能会进化成超级人工智能（ASI），而ASI可能会对生物生命构成威胁，甚至导致其灭亡。因此，ASI 可能是“大过滤器”—— 一种阻止智慧生命进行星际旅行并最终导致其灭亡的事件或情况。为了应对 ASI 带来的潜在威胁，研究人员建议人类应该加快太空探索的步伐，争取实现多星球生存，并同时加强对人工智能发展的监管。
阅读更多阿隆佐·邱奇：被遗忘的计算机智能架构师
本文介绍了阿隆佐·邱奇，一位对计算机科学发展做出重大贡献的逻辑学家。他提出了λ演算，为计算机科学奠定了基础，并在图灵机的理论完善方面发挥了关键作用。邱奇-图灵论题阐述了可计算函数的概念，对人工智能和算法领域产生了深远影响。此外，他还解决了Entscheidungsproblem（判定问题），证明了不存在一个通用的算法来判定所有数学陈述的真伪。尽管成就斐然，邱奇却鲜为人知，本文呼吁人们关注并纪念这位对现代计算和人工智能发展至关重要的科学家。
阅读更多Ladybird：一款崭新的独立网页浏览器
Ladybird 是一款全新的独立网页浏览器，由非营利组织开发，致力于打造一个以网络标准为先、性能优异、安全稳定的浏览器。该浏览器目前处于开发阶段，计划于 2026 年初发布首个 Alpha 版本。Ladybird 的独特之处在于其完全独立性，不使用其他浏览器的任何代码，并专注于构建网络浏览器本身，没有任何盈利模式。
阅读更多传苹果计划为 2024 年 iPad Pro 配备 M4 芯片和触觉 Apple Pencil
苹果可能会在 2024 年为其 iPad Pro 型号配备 M4 芯片和触觉 Apple Pencil。M4 芯片预计将基于 A16 仿生架构，提供更好的性能和能效。触觉 Apple Pencil 将允许用户使用触觉反馈进行更精确的绘图和书写。这些升级将进一步巩固 iPad Pro 作为专业级平板电脑的地位。
阅读更多构建 AI 游戏工作室：我们目前的收获
Braindump 致力于探索在 LLM 和生成式 AI 的新时代，游戏创作的可能性。Braindump 提供一个完整的 AI 游戏工作室，包括程序员、艺术家等，帮助用户创建梦想中的游戏。用户可以通过简单的提示，构建自顶向下/2.5D 游戏或交互式世界，例如，输入“创建一个可以发射激光并投掷 BB-8 炸弹的星际战斗机”，就能生成 3D 模型、游戏数据和脚本，将用户的想法变为现实。用户可以立即玩游戏，甚至邀请朋友一起玩。文章还介绍了 Braindump 在设计提示 UX、为 LLM 设计游戏 API、协作编辑、基准测试等方面的挑战和解决方案。
阅读更多RISC-V 与开源之争
RISC-V 指令集架构因其开源特性，陷入了中美贸易战的漩涡之中。美国政界担心中国公司会利用 RISC-V 绕过芯片制裁，RISC-V 则极力澄清其开源规范与开源硬件的区别，强调 RISC-V 芯片可以是开源或闭源的，并呼吁政府区别对待开源标准和特定产品，避免一刀切的制裁措施。
阅读更多Simon Tatham's Portable Puzzle Collection
该网站提供各种智力游戏，包括填字游戏、数独、数理谜题和其他逻辑谜题。它还提供交互式谜题生成器和解决技巧的在线教程。
阅读更多