根据斯坦福大学教授Mark Z. Jacobson的追踪,截至5月21日,加州已经连续45天,以及过去75天中的69天实现了风能、太阳能和水力发电的总量超过了电网需求。 Jacobson教授指出,可再生能源供电超过需求的时间段为每天0.25-6小时,这表明可再生能源在日常供电中发挥越来越重要的作用。加州的目标是到2045年实现100%的清洁能源供电,并且有望提前实现这一目标。
阅读更多
Lem 是一款专为 Common Lisp 设计的编辑器/IDE,安装后即可开始 Lisp 开发。它提供基于键盘的操作方式,熟悉 Emacs 或 Vim 的用户可以快速上手。Lem 使用 Common Lisp 编写并支持扩展,体现了 Lisp 的强大能力。自2.0版本起,Lem 还提供了基于 SDL2 的 GUI 版本,支持图形界面、鼠标操作以及主题切换。Lem 功能丰富,包括支持多种语言的 LSP、完整的 REPL 和交互式调试器、项目树视图等。
阅读更多
文章讨论了威廉·詹宁斯·布莱恩在斯科普斯审判中反对教授进化论的复杂立场。布莱恩通常被描绘成一个顽固的保守派,但实际上他在许多方面持自由主义观点,支持妇女参政权、累进税制和社会福利。他反对教授进化论的原因是当时的一些教科书,例如《公民生物学》,利用进化论来宣扬优生学、选择性育种和对“不良分子”进行绝育。文章指出,虽然进化论是现代生物学的重要基石,但这些教科书中宣扬的优生学观点是令人憎恶的,布莱恩反对的是这些观点,而非进化论本身。
阅读更多
本文揭露了2024年再生元国际科学与工程大奖赛(ISEF)冠军Krish Pai涉嫌学术造假。Pai凭借其机器学习研究成果获得环境工程领域的冠军,但他被指控盗用他人图像、数据和设备,并伪造成自己的研究成果。文章详细列举了Pai造假的证据,并呼吁大赛组委会撤销其奖项,同时对这一严重失察行为进行调查。
阅读更多
Amber 是一种编译为 Bash 的现代编程语言,它提供了类型安全和运行时安全特性,帮助开发者在编译阶段捕获潜在错误。Amber 拥有现代化的语法,易于上手,并具备跨平台特性,支持 macOS 和 Linux 等 Unix 操作系统。
阅读更多
本文探讨了人类善良背后的进化基础,认为人类的许多社会行为都源于声誉管理,而声誉管理的微妙激励机制解释了为什么人类的利他主义既真诚又具有策略性。作者首先解释了善良是如何进化的,然后解释了“社会选择”——粗略地说,社会竞争和声誉管理——如何塑造了我们物种的进化。作者认为,为了在社会环境中生存和繁荣,我们的祖先必须培养出友好、公正、慷慨和值得信赖的声誉。然而,培养这种声誉的最佳方式是真诚地做到这些品质。
阅读更多
本文批判了微软利用 Copilot+ 和人工智能电脑加强对用户控制的行为。作者回顾了个人电脑从开放到封闭的转变历程,指出微软利用操作系统和人工智能助手的深度绑定,将用户锁定在其生态系统中,构成变相的垄断。文章还批评了科技巨头日益强大的游说力量,以及政府监管不力的现状。最后,作者呼吁用户支持开放硬件和软件,并鼓励像 FUTO 这样的组织继续开发尊重用户、去中心化的软件,以保障数字自由。
阅读更多
这篇文章是对学术政治的讽刺指南,将学术政治比作一个小宇宙,并将其分为五个主要派别:保守自由党、自由保守党、不赞成派、阿杜拉米特人和急于求成的年轻人。作者详细介绍了每个派别的特点,以及他们在学术决策过程中使用的策略和技巧,例如如何获得影响力、如何进行辩论和如何达成妥协。
阅读更多
Tillywork 是一个开源工作管理平台,旨在满足动态团队的需求。该平台提供三大模块:项目管理、销售 CRM 和敏捷项目管理,分别用于管理项目进度、资源分配和交付成果监控,以及客户关系管理、销售跟踪和绩效分析,以及产品路线图、冲刺计划和问题跟踪。Tillywork 采用直观的 Material 3 用户界面,并允许用户根据自身需求进行定制和扩展。
阅读更多
本文介绍了作者对游戏“洛克人/Mega Man”的源代码进行反汇编和分析的结果,并提供了可供参考的源代码文件,包括主要反汇编代码以及对游戏音乐和声音的注释和反汇编代码。
阅读更多
这篇文章介绍了 Common Lisp 的历史背景、特点以及学习路径。Common Lisp 是一种历史悠久、功能强大、可扩展性强的编程语言,拥有稳定的核心语言和丰富的库。学习 Common Lisp 可以从《Common Lisp: A Gentle Introduction to Symbolic Computation》和《Practical Common Lisp》这两本书籍开始,并逐步深入学习宏、面向对象编程、低级编程等方面。文章还介绍了 Common Lisp 的生态系统,包括包管理器、常用库等。
阅读更多
Neuralink公司首位脑机接口植入者Noland Arbaugh近日透露,植入其大脑运动皮层的64根线路中,约有85%已经完全脱落,并且他的大脑在其颅骨内的移动幅度是公司预期的三倍。尽管Neuralink已通过软件更新解决了最初的性能问题,但这一事件引发了人们对该公司备受争议的人体植入研究的担忧。
阅读更多
CodeCrafters,一家为经验丰富的软件工程师提供编程挑战的YC孵化公司,正在招聘网红合作经理。 该职位负责寻找合适的网红,优先进行推广,达成合作,回答他们关于产品的问题并提供想法,跟踪时间线,以及向团队汇报统计数据。 理想的候选人应具备优秀的英语书面和口语交流能力,3年以上市场营销、销售、合作关系、客户成功或业务发展方面的专业经验,并且熟悉软件工程师的需求和兴趣。
阅读更多
文章分析了全球算力访问的现状,指出算力资源分布不均,发达国家和地区占据明显优势,发展中国家和地区面临算力基础设施薄弱、技能差距等问题,形成新的数字鸿沟。报告建议新兴算力生态系统国家完善基础设施建设,加强机构能力建设,积极寻求资金和资源共享;发达算力生态系统国家建立公共人工智能基础设施,创建算力治理机制,支持后硅生态系统发展;国际发展机构设立算力发展基金,建立数字发展团队,创建新的算力外交模式。
阅读更多
1993年8月28日,英国皇家空军Weston-on-the-Green基地的一架安托诺夫An-28双涡轮螺旋桨飞机坠毁。这架飞机被皇家空军的一个跳伞俱乐部租用,用于运送跳伞运动员。飞机在起飞后不久,机组人员试图收回襟翼时,发生了异常故障,导致两台发动机同时失效。机长在几秒钟内做出了反应,将安托诺夫飞机安全迫降在附近的玉米地里,挽救了机上所有人的生命。 英国航空事故调查局(AAIB)对事故进行了调查,发现事故原因是襟翼操作电路和螺旋桨自动顺桨装置共用一个接地点,而该接地点的接地螺钉松动,导致电流流经顺桨电路,从而启动了两台发动机的顺桨装置。AAIB的报告还批评了安-28的电气系统设计,指出该设计不符合国际民航组织的标准。
阅读更多
Sonos Ace 无线包耳式主动降噪耳机终于面世,售价 449 美元,旨在与苹果和 Bose 等老牌市场领导者一较高下。Sonos Ace 拥有优雅纤薄的外观,提供黑色和“柔软”白色哑光两种饰面选择。轻巧的重量和精心设计的夹持力,以及巧妙的悬挂装置,使其佩戴舒适。这款耳机配备定制设计的 40 毫米动圈驱动器,提供 SBC 和 AAC 编解码器,并支持 ALAC 和 Qualcomm Snapdragon Sound aptX Lossless。Sonos Ace 还提供空间音频、主动降噪和长达 30 小时的电池续航时间。
阅读更多
微软在Build大会上推出了新一代Windows PC类别——Copilot+ PC,该类别拥有强大的AI能力,配备了性能卓越的NPU,可提供40+ TOPS的计算能力。微软还发布了Windows Copilot Runtime,为开发者提供了构建AI体验的软件工具,包括Windows Copilot Library,其中包含由Windows内置的40多个AI模型驱动的API,以及AI框架和工具链,帮助开发者将自己的模型引入Windows。此外,Windows Semantic Index重新定义了Windows上的搜索功能,并为Recall等新体验提供支持。
阅读更多
微软在Build大会上宣布,将在文件资源管理器中添加版本控制功能,通过集成Git等系统,用户可以直接在应用程序中查看新的更改和注释。此外,文件资源管理器还将支持7-zip和TAR文件格式的原生压缩,提供更高的压缩率。
阅读更多
这篇文章探讨了清晰易读的代码的重要性,作者通过自身的经历说明,过于“聪明”、简洁的代码虽然看起来高深,但在实际工作中却难以维护和理解。作者认为,清晰易懂的代码更易于调试和协作,即使在代码审查和绩效评估中显得“平庸”,也是更优的选择。文章还强调了代码规范和团队合作对代码质量的影响,建议程序员通过大量练习和经验积累来提升代码可读性。
阅读更多
本文介绍了如何在 FreeBSD Jail 中安装 Alpine Linux。作者详细介绍了两种方法:使用 bhyve 虚拟化技术和使用 Linuxulator 模拟器。作者最终选择了 Linuxulator,并逐步讲解了如何创建 Jail、下载 Alpine Linux 基础文件系统、配置网络以及启动 Jail。作者还建议安装 openrc 以模拟真实的 Alpine Linux 启动过程。
阅读更多
IGN娱乐公司收购了英国出版商Gamer Network旗下的一系列游戏网站,包括Gamesindustry.biz、Eurogamer、Rock Paper Shotgun、VG247和桌面游戏网站Dicebreaker。此次收购导致部分员工被裁,具体人数尚不清楚。此次收购发生之际,游戏媒体正经历着人工智能的兴起、谷歌的变化以及编辑策略的转变带来的巨大动荡。
阅读更多
本文讲述了OpenAI公司在其产品中使用酷似斯嘉丽·约翰逊声音的人工智能配音引发的争议。约翰逊拒绝了OpenAI的配音邀请,但该公司仍推出了与她声音极为相似的AI配音,引发了约翰逊的强烈不满和法律行动。OpenAI最终被迫暂停使用该配音。这一事件暴露了OpenAI CEO山姆·奥特曼在对待员工、运营公司和保守秘密方面的行为与其公开声明之间的矛盾,引发了公众对其可信度的质疑。
阅读更多
这篇文章简要介绍了如何使用raylib库开发网页游戏。raylib是一个简单易用的跨平台游戏开发库,支持多种编程语言和平台,包括网页。文章没有提供具体的代码示例或开发步骤,只是简述了raylib可以用于网页游戏开发。
阅读更多
这是一篇关于iTerm2软件功能的讨论,用户希望能够禁用所有与AI相关的功能,理由是担忧隐私、性能、内存、复杂性等问题,甚至还提到了对地球生态的破坏。
阅读更多
本文介绍了通过分析来自盖亚、2MASS 和 WISE 的光学和红外观测数据,对部分戴森球进行全面搜索。研究人员开发了一个流程,该流程采用多个过滤器来识别潜在的候选者并在 500 万个目标样本中剔除干扰源,其中包含一个卷积神经网络来帮助识别 WISE 数据中的混淆。最终,该流程确定了 7 个值得进一步分析的候选者,这些候选者都是 M 矮星,天体物理现象无法轻易解释其观测到的红外过量发射。
阅读更多
《简化嵌入式Rust》是一本面向嵌入式Rust开发初学者的入门书籍,它提供了一种无缝的学习体验,避免了传统嵌入式学习方法的复杂性,弥合了不断发展的Rust生态系统与稀缺的嵌入式教育资源之间的差距。该书提供标准库版本和核心库版本,分别适用于不同Rust基础和嵌入式开发经验的读者。书中包含丰富的示例代码,并定期更新以跟上Rust生态系统的最新变化。
阅读更多