pipask 是 pip 的替代品，它在安装 Python 包之前进行安全检查，以提高安全性。它优先使用 PyPI 元数据，尽量避免下载和执行代码。如果需要执行第三方代码，pipask 会先征求用户同意。所有检查完成后，它会向用户呈现一份格式化的报告，并请求同意。如果用户批准，pipask 会将安装任务交给标准 pip 完成。pipask 执行的检查包括：代码库流行度、包和版本的年龄、已知的漏洞、PyPI 下载次数以及元数据验证等。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25820684/Screenshot_2025_01_06_at_11.08.31_PM_1_2_.png)
Nvidia在CES 2025上发布了名为Digits的个人AI超级计算机，售价3000美元。这款桌面级系统基于全新的GB10 Grace Blackwell超级芯片，能够运行参数高达2000亿的复杂AI模型。它拥有128GB统一高速缓存和高达4TB的NVMe存储，并可与另一台Digits系统连接，处理参数高达4050亿的模型。Digits预装Nvidia AI软件库，支持多种主流框架，方便开发者本地开发和测试AI模型，并能轻松部署到云服务或数据中心。
阅读更多
近期，两个独立的宇宙学家团队分别发现暗能量可能正在减弱，这与之前的宇宙加速膨胀模型相悖。这一发现基于对数百万星系运动的观测数据，其可靠性随着数据量的增加而增强。如果这一结论成立，将彻底改变我们对宇宙最终命运的理解，甚至可能需要修正爱因斯坦的引力理论或引入新的物理学理论。这不仅挑战了暗能量是空间本身能量的传统观点，也暗示着宇宙中可能存在某种未知的成分或粒子。
阅读更多
开源社会大学 (OSSU) 提供了一个完整的免费计算机科学教育课程，涵盖了本科计算机科学专业的所有核心内容，课程来自哈佛、普林斯顿、麻省理工等顶尖大学。该课程分为入门、核心和高级三个阶段，大约需要两年时间完成，每周学习20小时。所有课程资料几乎都是免费的，但部分课程的作业评分可能需要付费。学生可以自主安排学习进度，并通过GitHub等平台与全球学习者交流互动，最终完成一个毕业项目。
阅读更多
本文作者表达了对LLM过度依赖的担忧。他认为，虽然LLM可以辅助编程，提高效率，但过度依赖LLM会削弱程序员的独立思考和问题解决能力，特别是对于初学者而言，这将阻碍他们对编程基础知识的掌握和编程思维的培养。作者还指出，LLM生成的代码质量参差不齐，容易出现错误，且缺乏创造性和艺术性，最终可能会导致代码质量下降，甚至引发学术不端行为。作者呼吁对LLM的使用进行规范和限制，尤其是在教育领域，避免其对学生学习和创造力的负面影响。
阅读更多
本文作者从生成式AI的巨额成本出发，质疑其商业模式的可行性。数千亿美元的风险投资和巨头公司的巨额资本支出，引发了作者对未来收益的担忧。在代码编写、教育和专业沟通三个领域，作者分别分析了生成式AI的应用现状和潜在问题。作者认为，虽然在代码编写方面，生成式AI展现出一定的辅助作用，但在教育领域则弊大于利，而其在专业沟通领域的应用前景则令人怀疑。最终，作者表达了对生成式AI未来发展前景的悲观态度，并指出其高昂的碳排放成本对环境的巨大负面影响。
阅读更多
本文重新审视了Erlang编程语言的核心思想。作者认为，Erlang的成功并非仅仅依赖于其轻量级进程和消息传递机制，更重要的是其独特的“行为”（behaviours）模式。行为模式类似于其他语言中的接口，它提供了一组预定义的函数签名，开发者只需实现这些签名即可获得并发、容错等高级功能。这使得开发者可以专注于业务逻辑，而无需处理底层并发细节。文章通过gen_server、gen_event、supervisor等行为模式的例子，阐述了其在构建可靠分布式系统中的重要性，并探讨了如何在其他语言中借鉴Erlang的行为模式思想，最终提升软件的可靠性和可测试性。
阅读更多
每年有1500万人因中风而死亡或致残。新西兰Wellumio公司研发了一种名为Axana的便携式MRI扫描仪，旨在解决中风诊断的及时性问题。Axana体积小巧，易于操作，无需复杂的培训，可在急诊室直接进行头部扫描，缩短诊断时间，提高治疗效率。它利用不同频率的磁场来成像，无需脉冲梯度线圈，降低了成本和复杂性。虽然目前分辨率较低，但足以进行大体解剖分析，未来版本将提升分辨率。Axana的出现有望为偏远地区和医疗资源匮乏的社区带来福音，彻底改变中风诊断与治疗的现状。
阅读更多
Google的Gemini应用新增了图片转视频功能，用户只需上传一张照片，就能生成逼真的Veo 3视频。这项功能无需额外付费，但仅限于Google AI Pro和Ultra订阅用户使用。此前，Veo 3已能根据文字描述生成包含语音、音乐和背景音效的视频，其逼真度令人咋舌。如今，通过参考照片生成视频，用户能更轻松地控制视频效果，而无需冗长的文字描述。此功能此前仅限于Google的Flow AI工具，现已集成到Gemini应用和网页界面。
阅读更多
Meta首席执行官扎克伯格在2022年曾提出一个“疯狂”的计划：重置所有Facebook用户的社交关系。这一计划在反垄断诉讼中曝光。由于担心Facebook失去文化影响力，扎克伯格建议清除所有用户的好友列表，让用户重新建立连接。此举引发了Facebook内部高管的质疑，最终并未实施。该事件突显了Facebook演变为更注重内容发现和娱乐平台的现状，以及Meta面临的反垄断诉讼，该诉讼指控Meta通过收购Instagram和WhatsApp来维持其垄断地位。
阅读更多
美国社会安全局（SSA）的核心系统仍然依赖于过时的COBOL代码。一个名为DOGE的组织正计划在数月内将数百万行COBOL代码迁移到现代编程语言，但这一计划引发了严重担忧。迁移过程可能导致系统故障，影响数百万受益人的支付。专家警告说，此举风险极高，可能导致系统崩溃，因为SSA系统复杂且脆弱，类似于用胶带和铁丝拼凑起来的“积木塔”。DOGE计划利用人工智能辅助代码转换，但测试和解决所有可能的异常情况需要数年时间，而非数月。
阅读更多
AtomVM是一个为物联网设备设计的轻量级Erlang虚拟机，它实现了Bogdan Erlang抽象机(BEAM)的一个子集，能够执行从Erlang或Elixir编译的字节码。AtomVM支持BEAM指令集和Erlang/OTP标准库的子集，并针对微控制器进行了优化。使用AtomVM，你可以用函数式编程语言和actor模型编写物联网应用，使其更易于编写和理解。它支持进程生成、监控、消息传递、抢占式调度和高效的垃圾回收，并能与GPIO、I2C、SPI和UART等外设和协议接口。一些设备（例如Espressif ESP32）甚至支持WiFi网络。所有这些功能都可以在价格低至2美元的设备上实现。
阅读更多
Kan是一个开源的项目管理工具，旨在成为Trello的强大替代品。它提供了看板视图、成员协作、Trello导入、标签过滤、评论、活动日志等功能，并计划推出模板和集成。该项目代码已开源，欢迎贡献！
阅读更多
Meta首席执行官马克·扎克伯格宣布Meta将回归言论自由的初心，并用“社区笔记”功能取代事实核查机制。这一转变旨在简化平台政策，更加关注核心价值。这意味着Meta将减少对信息的中心化控制，更多地依赖用户社区来识别和标记不准确或具有误导性的内容。此举引发了关于内容审核、信息真实性和平台责任的广泛讨论。
阅读更多
中国公司DeepSeek发布的DeepSeek-R1大型语言模型，性能可与OpenAI的模型媲美，且采用开放权重和MIT许可证。这引发了市场对美国科技公司股价的抛售，并凸显了几个重要趋势：中国在生成式AI领域迅速追赶美国；开源模型正在使基础模型层商品化，为应用构建者创造机会；规模化并非AI进步的唯一途径，算法创新正在迅速降低训练成本。DeepSeek-R1的出现，不仅预示着AI技术竞争格局的转变，也为AI应用的开发提供了新的机遇。
阅读更多
经过46年的努力，中国成功在塔克拉玛干沙漠周围建成了1900英里的绿色屏障。该项目始于1978年，旨在对抗沙漠化，减少沙尘暴的影响。该项目结合了太阳能防沙技术和植树造林，并在新疆和田县完成了最后阶段的种植。绿色屏障的建成预计将保护基础设施，为当地社区创造经济机会，并促进可再生能源发展，为全球类似项目提供示范。
阅读更多
本文探讨了一种新型日历——草图日历，它试图结合纸质日历的灵活性与数字日历的便捷性。传统数字日历功能强大，但缺乏个性化和对非正式计划的支持；而纸质日历虽然灵活，但缺乏数字日历的同步和分享功能。草图日历以数字笔记为基础，通过添加少量结构，力求在保留纸质日历的个性化表达的同时，实现数字日历的便捷功能，例如创建互联的日、周、月视图，以及整合手绘注释和正式日历事件。该项目正在探索如何在半结构化系统中实现共享日历和日历邀请等功能，并允许用户添加自定义动态行为，如习惯追踪器或时间追踪器。
阅读更多
本文讲述了作者如何将OCaml程序编译到TI-84+ CE计算器上运行的历程。作者利用Js_of_ocaml，一个原本用于将OCaml编译成JavaScript的工具，巧妙地将其改造成一个生成C代码的后端。由于TI-84+ CE的资源限制，作者自行编写了一个简单的垃圾回收器，并通过编写必要的C函数来实现与计算器硬件的交互。最终，作者成功运行了一个简单的OCaml程序，展现了其方法的可行性。
阅读更多
文章探讨了优秀工程师和普通工程师之间的能力差异。优秀工程师能够完成普通工程师无法完成的任务，例如解决复杂的bug、改进遗留代码以及进行重大的架构调整。而能力较弱的工程师，即使有充足的时间，也难以胜任这些任务。文章指出，优秀工程师并非只是效率高，而是拥有解决复杂问题的能力，而能力较弱的工程师则几乎无法完成任何工程任务。文章还对如何与能力较弱的资深工程师合作提出了建议，强调要友善但也要保护自己的时间，避免被过度消耗。
阅读更多
人工智能正在指数级地提升知识工作的生产力，然而，我们的决策工具和流程却停滞不前。这导致从代码审查到路线规划等各个环节都出现了瓶颈。AI擅长生产，但最终人类却要面对海量任务进行评估、审批或修改，成为新的瓶颈。这不仅带来了工作满意度下降的问题，更重要的是，现有的工具无法应对AI带来的工作量激增。我们需要重新设计工作流程，将重点放在高效率的决策上，而不是单纯的生产，否则，我们将被淹没在AI生成的无尽任务中。
阅读更多
文章探讨了莱特定律，即随着技术累积产量增加，其价格以恒定速率下降。以太阳能为例，文章指出其价格每翻一番，就会下降20%。这与摩尔定律不同，摩尔定律关注的是时间函数，而莱特定律关注的是经验函数。莱特定律解释了技术进步的指数级特性，许多技术都遵循这一规律，例如计算机和电池。文章强调，理解莱特定律对于预测未来技术发展至关重要，忽视它可能导致严重误判。
阅读更多
本文为内向者提供了一个系统的方法，帮助他们在社交场合建立人脉。文章强调了事前准备的重要性，包括吃饱喝足，准备一些话题，了解活动信息等。在活动中，建议内向者控制自己的肢体语言，展现自信，并使用一些技巧，例如“延迟的温暖”式的微笑，来开启和维持对话。文章还建议关注细节，记住与他人谈话中的重要信息，并在活动结束后及时跟进，建立更深层次的关系。总而言之，本文的核心思想是：内向者不必为了拓展人脉而改变自己，只需要展现自信，认真倾听，留下深刻的印象即可。
阅读更多
Pigz，一个 Unix 风格的压缩工具，其 Windows 移植过程出乎意料地顺利。文章详细描述了移植过程中遇到的挑战，例如 pthreads 线程库和 dirent 函数库的差异，以及一些 C 库函数名称的细微差别。作者巧妙地利用现有的兼容性补丁和 Premake 构建系统解决了这些问题。Premake 的使用简化了 Visual Studio 项目文件的创建和维护，最终实现了 Pigz 在 Windows 系统上的成功运行。
阅读更多
谷歌于2024年5月推出的AI网页摘要功能，虽然增加了搜索印象，却导致网站点击率下降了30%。这意味着更多人使用谷歌搜索寻找答案，但访问原始网站的意愿却降低了。研究显示，AI摘要功能缺失时，点击率显著上升。这引发了众多网站发布商的担忧，因为他们赖以生存的搜索流量锐减，广告和订阅收入下降。数据显示，谷歌、OpenAI和Anthropic等AI公司抓取网页内容与推荐访问量的比例失衡，例如谷歌已从2:1飙升至18:1。这种行为导致网站发布商纷纷提起诉讼，质疑AI公司是否应该为其训练模型而消耗的网站资源付费。尽管谷歌仍占据搜索市场主导地位，但其行为可能正在蚕食自身发展的根基。
阅读更多
墨尔本大学的研究人员受到光合作用的启发，开发出一种新型光催化剂，能够利用可见光从多光子吸收能量，驱动能量需求高的化学反应。这项技术利用简单的烯烃和胺类化合物作为原料，在温和条件下合成复杂的分子，例如抗组胺药。该方法比传统方法更环保、更安全，具有工业化应用潜力，为绿色化学开辟了新途径。
阅读更多
作者基于对间隔重复学习软件Mochi使用的SM-2算法改进版的理解，用Rust语言实现了该算法。该算法的核心在于根据卡片的记忆效果（通过用户评分确定）动态调整复习间隔，以优化学习效率。文章详细介绍了算法的原理，包括易化因子EF的计算、复习间隔的确定以及用户评分对算法参数的影响。作者还给出了Rust代码实现，并解释了代码中关键部分的设计思路。
阅读更多
由前谷歌DeepMind研究员创立的AI初创公司Reflection AI获得1.3亿美元的早期融资，估值达5.55亿美元。公司致力于开发“超级智能”，首个目标是构建一个能够自动化大部分计算机工作的自主编程工具。该工具将利用大型语言模型和强化学习技术，并探索新型神经网络架构，以提高效率和降低内存使用。Reflection AI计划利用数万张显卡进行模型训练，并自动化代码漏洞扫描、应用内存优化和可靠性测试等任务。
阅读更多
大型语言模型（LLM）在高自主性任务中的能力显著提升，但应用于高价值场景（如客户支持）时，可靠性和一致性同样关键。研究发现，高自主性代理在理想环境下表现出色，但在处理客户支持任务时，由于知识缺口、用户行为不可预测和时间限制等因素，可靠性下降。为解决此问题，研究人员提出了一种新的度量方法pass^k，并通过模拟真实用户交互进行测试，结果表明，高自主性代理在复杂任务中的可靠性较低。为提高可靠性，研究人员开发了“Give Fin a Task”代理，通过限制代理自主性，采用分步式指令，将复杂任务分解为更简单的模块，从而显著提高了可靠性，为LLM在客户支持领域的应用提供了新的方向。
阅读更多
1982年，英国诞生了一款名为Jupiter Ace的小型家用电脑。它与众不同之处在于ROM中内置了Forth语言而非BASIC。这篇文章探讨了在当时BASIC在ROM中如此重要的原因，以及用Forth替代BASIC是否是Jupiter Ace失败的关键。虽然Forth在技术上更优秀，运行速度更快，更适合专业软件开发，但其较高的学习门槛和Jupiter Ace本身落后的硬件配置（3KB RAM，无彩色图形）最终导致了它的市场失败。比起编程语言，大多数用户更关心的是游戏和内存。
阅读更多
Artie，一家专注于数据库到数据仓库/数据湖复制的自动化平台公司，现招聘首位业务运营主管。该职位将直接向首席运营官汇报，负责GTM、财务、安全和运营等方面的战略举措。理想候选人应具备2-4年的战略或运营经验，能够处理各种跨职能任务，并推动公司高速增长。工作地点位于旧金山金融区，需要全职到岗。
阅读更多