Llama2.c64:在1982年硬件上运行的AI
Maciej Witkowiak 的 Llama2.c64 项目成功将 Llama2 的 260K tinystories 模型移植到 1982 年的 Commodore 64 上。尽管性能有限,但该项目展现了在老旧硬件上运行 AI 的可能性,生成的故事如同孩童般天真烂漫。这不仅是一项技术壮举,更体现了对低功耗 AI 的探索。
阅读更多
Maciej Witkowiak 的 Llama2.c64 项目成功将 Llama2 的 260K tinystories 模型移植到 1982 年的 Commodore 64 上。尽管性能有限,但该项目展现了在老旧硬件上运行 AI 的可能性,生成的故事如同孩童般天真烂漫。这不仅是一项技术壮举,更体现了对低功耗 AI 的探索。
阅读更多
新加坡-麻省理工学院联盟(SMART)的研究人员开发出一种突破性的近红外荧光纳米传感器,能够同时检测和区分活体植物中的两种铁形式——Fe(II)和Fe(III)。该传感器实现了对植物铁吸收、运输和不同形式之间变化的实时、无损监测,为精确施肥和提高作物产量提供了新的工具,有助于更可持续的农业发展。这项技术有望应用于各种植物物种,并扩展到环境监测和健康科学领域。
阅读更多
摄影师新作《纽约街头日记》记录了新冠疫情期间纽约的景象,与作者之前的作品《街头》截然不同。《街头》展现了作者十年间作为名流摄影师所拍摄的纽约街景和人物;而《纽约街头日记》则更具边缘性,充满悲伤的情绪。它记录了疫情期间空荡的街道、警笛声、以及每天公布的死亡人数,展现了纽约在疫情冲击下令人心碎的一面,包括商店被盗和破坏的景象。作者试图真实地描绘疫情期间纽约的真实生活。
阅读更多
Y Combinator 推出了一个新的招聘平台,帮助创业公司寻找合适的员工,以及求职者找到理想的创业工作。平台提供各种职位,包括软件工程师、设计、产品经理、销售、市场营销等,并按职位类型和地点进行分类,还提供远程工作机会。无论你是经验丰富的工程师还是初入职场的毕业生,都能在该平台上找到适合自己的机会,加入充满活力的创业公司。
阅读更多
一位程序员在博客中列举了多个OAuth提供商(GitHub、Facebook、TikTok、Strava、Naver等)的API接口问题,例如错误状态码、非标准错误响应格式、参数命名不规范以及token过期时间格式错误等。作者呼吁这些提供商修复这些问题,并对Naver的API设计逻辑表示不解。文章还提及了HTTP Basic认证方式的支持问题,并最终更新说明OAuth 2.1标准中该方式为可选,但由于大多数提供商未支持PKCE,因此均不符合规范。
阅读更多
本文探讨了贝尔实验室的辉煌历史及其最终衰落的原因。贝尔实验室以其开放的创新文化和对天才的信任闻名,孕育了无数科技突破,如晶体管和激光。然而,现代的考核机制和对短期效益的追逐扼杀了这种自由探索的环境。作者认为,缺乏对长期研究的投入和对人才的信任,是如今难以再现贝尔实验室奇迹的主要原因。文章呼吁企业和学术界重新思考创新模式,为科学家提供更多的自由和时间,才能激发真正的突破性创新。
阅读更多
本文追溯了先锋戏剧家理查德·福尔曼的艺术生涯,他以独特的戏剧形式,挑战传统戏剧的界限。他摒弃了传统剧本,采用即兴创作和不断重塑的排练方式,将戏剧变成了一台持续运转的“艺术机器”。福尔曼的作品融合了超现实主义、黑色幽默和哲学思考,其标志性的短剧时长、演员的持续运动以及舞台布景的不断变化,创造出一种独特的、难以复制的艺术体验。他将艺术视为一种“持续的现在”,并通过开放其创作文本,确保其艺术理念能够持续影响后世。
阅读更多
联想Legion Go S成为首款预装SteamOS的非Valve硬件,标志着SteamOS正式扩展到Steam Deck之外。这款售价500美元起的掌机,将与预装Windows 11的版本同台竞技,为玩家提供更多选择。Valve同时宣布将发布SteamOS公开测试版,进一步提升兼容性,并计划未来支持更多设备。此举或将对长期以来占据PC游戏主导地位的Windows构成挑战,预示着Linux游戏生态的蓬勃发展。
阅读更多
Kyle花了四年时间,将一个副项目ProjectionLab发展成为年收入百万美元的企业。文章讲述了这个过程中充满挑战的历程:从最初的独自开发,到找到合适的合作伙伴Jon,再到组建团队,以及克服各种困难和质疑。Kyle强调了坚持不懈的重要性,以及与志同道合的人一起工作的价值,并鼓励创业者即使面对低谷也要坚持下去。ProjectionLab的成功,并非一蹴而就,而是日积月累的结果,这其中包含了对产品的热爱,对用户的重视以及团队的协作。
阅读更多
一项十年研究发现,亚洲水稻仅用三代就能获得耐寒性,这并非源于基因组的改变,而是表观遗传修饰的结果。研究人员通过冷处理实验,发现这种耐寒性是由于植物DNA上化学标记的表观遗传变化引起的,而非DNA序列本身的改变。这项研究挑战了传统进化论观点,表明环境压力能够诱导可遗传的非基因组变化,环境并非进化中的被动因素,而是选择性力量。
阅读更多
美国商务部长霍华德·卢特尼克表示,政府上周五晚些时候对一系列电子产品实施的关税豁免只是暂时的。这些产品将在未来一两个月内面临新的“半导体关税”。此举旨在鼓励美国国内半导体和芯片生产,减少对东南亚的依赖。卢特尼克强调,此举并非永久豁免,而是为了国家安全,确保关键技术在美国生产。他还对与中国的贸易谈判表示乐观,并回应了副总统关于中国人民的争议言论。他认为,特朗普政府的关税政策最终将推动美国制造业回流,不会导致物价上涨。
阅读更多
Zig 语言没有内置接口的概念,但这并不意味着它不支持多态性。本文介绍了一种在 Zig 中实现动态分发的多态性的方法,通过使用 vtable 接口,将接口和实现清晰地分离,无需修改实现类型,即可实现动态分发。这种方法利用函数指针构建 vtable,并通过 `implBy` 函数连接实现和接口,最终实现了像传统面向对象语言中接口一样的功能,支持将不同实现存储在数组或映射中。虽然存在一些样板代码,但这种方法的优点是简洁、灵活且可重用,且对实现类型的影响极小。
阅读更多
Mecha Comet是一款模块化Linux掌上电脑,其硬件和软件都具有可扩展性,可根据用户需求进行调整。它采用开源设计,用户可以自行构建扩展模块,并支持多种扩展接口,例如Raspberry Pi HATs和Mikrobus Click板。Comet预装基于Debian的Mechanix OS系统,并拥有丰富的硬件资源,包括1.8GHz四核ARM处理器、4GB内存和32GB存储空间。该设备旨在支持各种项目,从DIY手机到AI助手,甚至太空探索。Mecha Comet将于2025年第一季度在Kickstarter上推出。
阅读更多
PlanetMath是一个致力于让数学知识更容易获取的在线社区。其核心是一个由成员共同创作和审核的数学百科全书,采用LaTeX编写,并通过LaTeXML渲染到网页上。2018年起,其源代码托管在GitHub上,并使用Gitter频道进行实时讨论,取代了原先的论坛。PlanetMath由滑铁卢大学数学系提供网站托管,并由PlanetMath.org, Ltd.(一家501(c)3非营利组织)运营。
阅读更多
苹果在WWDC上展示了Passkey的导入/导出功能,解决了Passkey最大的缺点之一——跨平台兼容性差。目前,Passkey主要局限于单个操作系统或密码管理器,难以在不同设备或平台间迁移。苹果的新功能将允许用户在iOS、macOS、iPadOS和visionOS之间轻松传输Passkey,并兼容密码和验证码。这标志着Passkey朝着更广泛的采用迈出了重要一步,回应了此前关于其可能被大公司利用锁定用户生态的担忧。
阅读更多
麻省理工学院CSAIL实验室的研究人员开发了一种名为“触觉Vega-Lite”的程序,该程序可以将数据(例如Excel表格中的数据)转换成标准的可视化图表和触觉图表。该工具简化了触觉图表的设计流程,内置了设计标准,帮助教育工作者和设计师快速创建可访问的触觉图表,让视障人士也能轻松理解图表信息,例如比较各州最低工资的条形图或追踪各国GDP的折线图。研究人员计划进一步改进用户界面,并添加机器特定的自定义功能,以提高易用性和准确性。
阅读更多
这是一本帮助C++程序员学习Rust的实用指南,它将常见的C++编程模式翻译成地道的Rust代码。书中通过具体的代码示例和对工程权衡的高级讨论来解释每种模式。本书既可以从头到尾阅读,也可以随机查阅。如果你在编写Rust代码时想到“我知道如何在C++中这样做,但在Rust中不知道”,那么可以查阅本书中相应的章节。本书由布朗大学认知工程实验室的C++和Rust专家编写,旨在提供准确的信息,并兼顾细节。本书中没有使用AI生成任何文本。
阅读更多
亚马逊S3服务迎来了它19岁的生日!这篇文章讲述了S3从简单的对象存储发展成为一个复杂而强大的数据平台的历程。通过倾听客户反馈,S3不断改进,例如推出S3 Tables,提供更强大的表格数据处理能力,并解决了诸如提升存储桶数量限制等问题。S3团队强调“简单性”,致力于让开发者专注于业务逻辑而非底层技术细节,并通过持续的性能提升和弹性扩展满足不断增长的需求。
阅读更多
本文作者长期服用L-茶氨酸补充剂,并相信其对缓解焦虑和压力有效。然而,为验证其功效,作者进行了长达16个月的双盲实验,结果却出乎意料:L-茶氨酸并未表现出显著的优于安慰剂(维生素D)的效果。尽管统计结果显示服用L-茶氨酸后压力略有下降,但安慰剂组也出现了类似的下降趋势,且作者本人也无法准确区分服用的是L-茶氨酸还是安慰剂。这引发了作者对L-茶氨酸功效的质疑,并呼吁更多人进行类似的盲测实验来验证其功效。
阅读更多
这篇博文列举了一些作者个人非常喜欢的域名,例如abc.xyz、1e100.net、n.pr等,这些域名以其简洁或巧妙的构思而吸引了他。作者强调他喜欢的是域名本身,而非其指向的网站内容。尽管其中一部分域名属于谷歌,但这只是巧合。文章最后,作者还提到了自己对酷炫的用户名和邮箱地址的喜爱。
阅读更多
curl 8.12.0版本即将推出一个令人兴奋的新功能:支持读取部分文件。用户现在可以使用新的变量系统,从文件中提取特定字节范围,并将其用于curl命令行中。这使得curl在处理文件时更加灵活,例如,可以提取文件的开头部分作为用户名,或提取中间部分作为POST请求的正文。此功能极大地扩展了curl的应用场景,为用户提供了更强大的命令行工具。
阅读更多
Two Slice是一款仅2像素高却意外易读的字体!它包含大小写字母(大小写略有不同版本)、数字和部分标点符号。即使你认为它难以阅读,你可能也能读懂,尤其是在较小尺寸下更易读。该字体采用CC BY-SA许可证,可商用但需署名。
阅读更多
作者尝试多年构建“第二大脑”式的个人知识管理系统,却发现其变成了知识的坟墓,阻碍了思考和创造。最终,他删除了所有笔记和资料,选择了一种更轻盈、更注重体验的知识管理方式。他意识到,真正的知识并非储存在数据库中,而是体现在行动和生活中。这篇文章探讨了个人知识管理的陷阱与反思,以及回归本真、注重体验的价值。
阅读更多
Klong 是一种简洁的数组编程语言,类似于 K 语言,但去除了歧义。它使用数学符号进行编程,对熟悉 K 或 APL 的用户来说可能略显简单,而对于新手则可能带来挑战。Klong 提供了丰富的文档,包括参考手册、入门指南和快速参考,以及 Klong 与 K 的差异比较。它用纯 ANSI C 编写,易于编译和安装,并提供了一个名为 KlongPy 的矢量化版本。
阅读更多
Claude Code 引入了钩子函数这一强大功能,允许用户自定义 shell 命令在 Claude Code 的生命周期中不同阶段执行。这使得用户可以精确控制 Claude Code 的行为,例如自动代码格式化、日志记录、自定义权限控制等等,将原本依赖 LLM 判断的建议转化为可靠的应用级代码。钩子函数使用简单,配置灵活,但需注意安全风险,确保命令安全可靠。
阅读更多
本文介绍了一种在Haskell中重载lambda抽象以构建嵌入式领域特定语言(EDSL)的方法。作者通过巧妙地利用`Port`类型和`encode`、`decode`函数,将Haskell函数转换为自定义类别中的态射,从而实现了简洁直观的语法,避免了繁琐的Arrow抽象和proc notation。这种方法无需任何元编程或编译器插件,仅需少量Haskell代码即可实现。作者以流程图DSL为例,展示了该方法的应用,并讨论了避免重复和处理副作用等问题。
阅读更多
亚马逊终于推出了期待已久的Alexa生成式AI版本。这次升级让Alexa能够处理更复杂的任务,例如订购杂货、发送邀请函,甚至还能记住用户的饮食和电影偏好。它支持持续对话,具备视觉能力,可以分析图片,并根据用户需求创建日程安排等。虽然此前曾有传闻称项目进展受阻,但如今Alexa的AI升级版正式发布,将与谷歌Gemini、ChatGPT和升级后的Siri等竞争对手展开角逐,凭借其在智能音箱领域的优势,有望快速触达更多用户。
阅读更多
与基于Transformer的语言模型不同,扩散模型通过将图像转化为噪声,再逐步去除噪声来生成图像。训练过程中,模型学习识别添加到图像中的噪声,最终能够从纯噪声中生成图像。这一过程类似于雕塑,从一块粗糙的石头逐步打磨成精美的作品。虽然目前文本扩散模型尚不成熟,但其在图像和视频生成领域已展现出强大的潜力,例如OpenAI的Sora和Google的VEO。扩散模型的核心在于其对噪声和数据之间关系的建模,这与Transformer模型对语言结构的建模截然不同。
阅读更多
CoRT(递归思维链)是一种新颖的AI增强技术,通过让模型反复思考、生成多个备选答案并从中选择最佳答案来提升其性能。实验表明,将CoRT应用于Mistral 3.1 24B模型后,其编程能力显著提升,堪称“质变”。CoRT的核心在于模型的自评估、竞争性备选方案生成、迭代优化和动态思考深度。该项目已开源,欢迎贡献代码。
阅读更多
博主发布了关于零知识证明的视频,该视频深入浅出地解释了零知识证明的概念和应用,但同时也指出仅仅通过20分钟的视频难以完全理解这一复杂的算法。视频中涵盖了零知识证明的诸多方面,并推荐了更深入的学习资源。文章还详细解释了如何将可满足性问题转化为三色着色问题,并探讨了零知识证明在去中心化系统中的应用,例如无需信任权威的投票和货币交易系统。最后,文章介绍了非交互式证明的概念和实现方法,并指出通过使用密码学哈希函数可以模拟随机信标,从而实现非交互式证明。
阅读更多