Skip to main content

黑洞资源笔记

  1. Power Up是剑桥大学出版的一套英语教材,面向6-12岁的少年儿童,覆盖YLE, KET,PET三大考试内容,共7个级别。| #英语 #教育

    Power Up的特点:

    1)重视口语交流能力的培养:Power Up英语教材注重口语交流能力的培养,可以提高孩子的口语表达和听力理解能力。

    2)注重学生的自主性和互动性:Power Up注重学生的自主性和互动性,孩子并不是被动学习,而是被书本中的活动与情景吸引,主动展开互动,这套书能够激发孩子的学习兴趣和主动性。

    3)注重语言的功能性和实用性:Power Up不是枯燥的纸上谈兵,而是注重语言的功能性和实用性,培养孩子的6种核心终身胜任力,选取生活场景,让孩子能学的会、用的上。

    Power Up内容覆盖了KET、PET、YLE三大考试内容,注重备考所需的词汇、语法,提升“听说读写”做题技巧,也为孩子校内的英语课积出补充。

    它共有7个级别,面向 5-12岁少年儿童。初始级 (预备级)、1、2、3、4级的内容比较适合小学阶段的孩子,5-6级则更加社会化,适合小学高年级或中学阶段的孩子使用。

    每本教材(即每个级别)九个单元,每个单元包括单词、故事、语法、歌曲、拼读、跨学科知识、文学、剑桥等级考试、复习等部分。
    Media is too big
    VIEW IN TELEGRAM
  2. a16z近期公布了他们的开源 AI 资助计划第二期,主要关注两个领域:包括用于训练、托管和评估语言模型的工具以及围绕视觉人工智能构建的模型和社区。第二期有7 个项目:

    SkyPilot:一个在任何云上运行LLMs、AI和批处理作业的框架,提供最大的成本节省、最高的GPU可用性和托管执行。
    主要能力有:在任何云上启动作业和集群、排队并运行多个作业,自动管理、轻松访问对象存储、自动选择最便宜的云服务。

    Axolotl(Wing Lian):用于微调LLMs的工具,支持多种配置和架构。

    工具支持:训练各种Huggingface模型,如llama、pythia等、支持全面微调、lora、qlora、relora和gptq多种训练方式、使用简单的yaml文件或CLI覆盖自定义配置等。还有很多其他特性。

    LMSys:开源模型、系统和评估平台。

    开源了 LLM 用的数据集,还有一个 LLM 模型。最著名的还是通过 ELO 算法和机制评估 LLM 质量的项目,这种人工评分的机制比一些数据集的评价方法更加可以反应人类对于 LLM 质量的判断。

    Common Crawl:用于训练许多LLMs的开放网络爬取数据存储库。

    这是一个从 2007 年就开始收集的互联网语聊数据库,他们会定期抓取,你可以免费下载所有数据用来训练模型。GPT-3 82%的训练语料来自这个项目。

    LLaVA:开源多模态模型(语言和视觉)。

    端到端训练的大型多模态模型,连接了一个视觉编码器和LLM,用于通用的视觉和语言理解。
    现在最新的是LLaVA 1.5 版本,只是对原始LLaVA进行简单修改,利用了所有公开数据,在单个8-A100节点上约1天内完成训练。

    Deforum:AI动画的平台和开源社区,是一种 AI 生成动画的方式。Deforum的 WebUI 插件和 Discord 社区都是他们在维护。

    Lucidrains:高影响力AI模型的开放实现。

    Phil Wang,也以其在线昵称“lucidrains”而闻名,在AI和机器学习领域是一位杰出人物。以在PyTorch框架中实现各种有趣的AI模型和论文而闻名。他的工作包括Vision Transformer、DALL-E 2、Imagen和MusicLM等的实现。
  3. zk:帮助维护纯文本Zettelkasten(笔记库)或个人wiki的命令行工具,具有创建模板笔记、高级搜索和过滤功能、与常用编辑器集成、交互式浏览器等特点,还支持Markdown语法和标签、链接等功能
  4. 机器人基础模型相关资源 | Awesome-Robotics-Foundation-Models

    这是调查论文“机器人基础模型:应用、挑战和未来”的合作伙伴存储库。作者希望这个存储库可以为希望阅读相关论文并实现相关方法的机器人专家提供快速参考。

    本自述文件的组织遵循论文中的图 (如上所示),因此分为已应用于机器人技术的基础模型和以某种方式与机器人技术相关的模型。
  5. MediaEditor:轻量、跨平台的开源非线性编辑软件,支持完整的时间轴编辑功能,包括移动、裁剪、剪切、缩略图预览、缩放和删除,内置45+个媒体滤镜和70+个媒体过渡效果,支持多种音视频编解码器和分辨率,支持磁吸功能、逐帧预览、多监视器模式等特色功能
  6. 关于终端工具的网站,提供了各种终端工具的列表和分类浏览,可以浏览各种类别的工具,包括人工智能、操作系统、Linux、终端用户界面、系统管理、其他工具、macOS、SQL、网络、Docker、监控、电子邮件和Web等。

    网站还提供了对最新添加的工具的更新,可以根据编程语言进行过滤,包括Rust、Python、C、Haskell、Golang、JavaScript和C++。

    Terminal Trove | #工具
  7. 微软提供的AI开发工具,可以简化生成式AI应用的开发过程,集成了来自Azure AI Studio目录和Hugging Face等目录的先进AI开发工具和模型,可以浏览AI模型目录,将其下载到本地,进行模型微调、测试并在Windows应用中使用。

    Windows AI Studio | #工具
  8. feedi:个人新闻聚合和Mastodon客户端项目,具有简洁的界面和自定义的解析器,支持移动端优化和发送到Kindle设备等特性
  9. YTTTS:从YouTube视频中提取的音频波形和对应的英文转录对照数据集,用于文本转语音任务,可用于语音克隆、TTS引擎、说话人嵌入和说话人识别等应用
  10. Codefuse-ChatBot:一个开源的 AI 智能助手,专为软件开发的全生命周期而设计,涵盖设计、编码、测试、部署和运维等阶段。通过知识检索、代码检索,工具使用和沙箱执行,Codefuse-ChatBot不仅能回答你在开发过程中遇到的专业问题,还能通过对话界面协调多个独立分散的平台。

    项目核心差异技术、功能点:

    🧠 智能调度核心: 构建了体系链路完善的调度核心,支持多模式一键配置,简化操作流程。
    💻 代码整库分析: 实现了仓库级的代码深入理解,以及项目文件级的代码编写与生成,提升了开发效率。
    📄 文档分析增强: 融合了文档知识库与知识图谱,通过检索和推理增强,为文档分析提供了更深层次的支持。
    🔧 垂类专属知识: 为DevOps领域定制的专属知识库,支持垂类知识库的自助一键构建,便捷实用。
    🤖 垂类模型兼容: 针对DevOps领域的小型模型,保证了与DevOps相关平台的兼容性,促进了技术生态的整合。
    🌍 依托于开源的 LLM 与 Embedding 模型,本项目可实现基于开源模型的离线私有部署。此外,本项目也支持 OpenAI API 的调用。
  11. macOSpilot: macOS AI 助手

    macOSpilot 可以回答你在任何应用程序中遇到的任何问题,无需到达另一个窗口,只需使用键盘快捷键触发助手,说出问题,它就会在几秒钟内通过上下文和音频给出答案。

    macOSpilot 会在触发时截取你的活动窗口的屏幕截图,并将其与问题记录到一起发送到 OpenAI GPT Vision。答案会以文本形式显示,并使用 OpenAI TTS(文本转语音)转换为音频。

    macOSpilot-ai-assistant | #工具
  12. Fish Speech:全新的文本转语音(TTS)解决方案,具有高度自定义和灵活性,支持Linux和Windows系统,需要2GB的GPU内存进行推理,使用Flash-Attn进行推理和训练,支持VQGAN和Text2Semantic模型