Hasty Briefsbeta

全部标签

#open source

共 583 篇

双语

Pyrefly:A fast type checker/IDE extension for Python written in Rust
a year ago
- Pyrefly 是一个用 Rust 编写的开源 Python 类型检查器和 IDE 扩展工具
- 它提供静态类型检查功能，确保类型一致性并在运行前捕获错误
- 支持 IDE 集成（如 VSCode）和命令行使用，实现灵活的工作流程
- 专为高性能处理大型代码库设计（每秒 180 万行代码）
- 遵循 IDE 优先原则，提供实时反馈和类型推断功能
- 采用 MIT 开源协议，通过 GitHub 和 Discord 鼓励社区贡献
- 该项目源自 Meta 早期的 Pyre 类型检查器，旨在满足现代 Python 类型系统的需求
- 未来目标包括改进 Python 类型系统和开发者体验
- 目前提供 Alpha 版本，计划在夏季前移除 Alpha 标签
Prompts for our Grok chat assistant and grok bot on X
a year ago
- 代码仓包含Grok聊天助手的系统提示词及X平台与grok.com上的产品功能说明
- 公开的提示词包括Grok第三代聊天助手、深度搜索功能、Grok解释功能以及X平台上的Grok机器人
- 本项目采用GNU Affero通用公共许可证第三版授权
Progress Asahi Linux 6.15
a year ago
- Linux 6.15即将发布，包含多项激动人心的进展
- Fedora Asahi Remix 42现已开放安装
- 图形驱动用户空间API（uAPI）已合并至Linux内核，为Apple Silicon提供OpenGL、OpenCL和Vulkan支持
- 即将停止维护分叉包（如Mesa、virglrenderer和Flatpak运行时）以减轻维护负担
- Linux 6.15新增Apple显示管道（ADP）和Z2触控屏数字化仪驱动，支持M1/M2 MacBook Pro的Touchbar功能
- 为T6020 SoC（M2 Pro）合并PCIe控制器支持，改善USB-A端口及WiFi/蓝牙功能
- 麦克风支持范围扩大，但M2 Pro/Max设备因AOP差异仍存在问题
- Triforce波束成形器改进，提升与PipeWire配置的兼容性
- Asahi Linux将在红帽峰会及DevConf CZ介绍Fedora Asahi Remix和CentOS Stream对Apple Silicon的支持
- 新增Bluesky和LinkedIn社交媒体账号
- 发布Apple Silicon发行版支持指南以明确维护预期
- 基础设施所有权移交至项目层级，提升抗风险能力与财务管理
- Linux 6.16将引入SMC和SPMI控制器驱动，对系统功能至关重要
A Linux kernel developer plays with Home Assistant: case studies
a year ago
- 一位内核开发者分享了使用Home Assistant解决实际问题的案例研究，强调本地数据控制的重要性。
- SunPower公司破产后，太阳能面板数据被云服务挟持；Home Assistant提供了本地化解决方案来访问和分析这些数据。
- Home Assistant的'helpers'功能支持创建虚拟传感器，用于计算和监控家庭用电量等指标。
- 文章指出Home Assistant的局限性，例如需要手动配置以及随时间推移高精度数据的衰减问题。
- 通过将热泵系统接入Home Assistant替代劣质厂商应用，实现了对家庭气候更好的控制和监测。
- 选择Refoss电力监测仪因其兼容Home Assistant，可提供家庭用电的详细分析。
- 文章最后反思物联网设备的隐私隐患，并展望自由软件赋予用户权利的愿景。
New open source AI projects on GitHub
a year ago
- GitHub专家评出的十大新开源AI项目
- 排名依据每日星标数、分支数、流量峰值及贡献者活跃度
- 1. Open WebUI MCP：通过OpenAPI兼容HTTP服务器简化AI工具集成
- 2. Unbody：AI原生软件的模块化后端，含感知/记忆/推理/执行层
- 3. OWL：实现多智能体协作，GAIA基准测试榜首项目
- 4. F/mcptools：MCP开发者CLI工具，管理提示词与资源
- 5. Nutlope/self.so：根据简历或LinkedIn资料生成个人网站的AI工具
- 6. VoiceStar：具备精确时长控制的文本转语音工具，适用于时效场景
- 7. Second-Me：创建个人助理或职业角色的数字孪生
- 8. SesameAILabs/csm：融合语言模型与音频解码的创新语音合成技术
- 9. Letta：便携式AI智能体通用标准，采用.af文件格式
- 10. Blender-MCP：连接Blender与Claude AI实现自然语言3D创作
- 核心趋势：MCP集成、多智能体协作、语音生成技术演进、开源参与模式革新
- OSI认证许可（MIT/Apache 2.0）对建立社区信任至关重要
Modern Android Client for Hacker News
a year ago
- Harmonic是一款Android平台的Hacker News客户端，设计理念强调现代化、快速响应和精心构思。
- 自2020年起作为个人副项目在Google Play上架，2021年开始攻读博士学位后开发时间有所减少。
- 该应用基于较早期的Android技术栈构建，未采用Kotlin或最新API，但功能完整且已正式发布。
- 项目已开源以方便用户提交功能修复或改进的PR，目前暂无全面改用Kotlin重写的计划。
- 功能包含基础账户操作（登录/投票/评论/提交）、Material 3动效设计、多主题切换及深度自定义选项。
- 被开发者形容为"运行迅速且功能丰富到近乎冗余"。
Community Stewardship of Faster CPython
a year ago
- 微软对Faster CPython的支持已被取消，这将影响Python的性能改进进度。
- 得益于众多个人与组织的贡献，Python 3.14版本比3.10版本快20-40%。
- 未来可选方案包括寻找新赞助方、终止实验性工作，或由社区自主管理继续推进。
- 提议将Faster CPython转为社区自治模式，成立无决策权的性能工作组(WG)。
- 建议建立PSF所有的基准测试基础设施，并探索以可维护性优先于峰值性能的JIT设计方案。
- 参照类型标注理事会(PEP 729)模式，组建社区理事会负责冲突调解与技术方向制定。
- 提名首届社区工作组成员，强调多元背景及对项目的实质性贡献。
- 指出社区主导项目的成功潜力，并举证PyPy等案例及现有贡献者基础。
- 提议成立非正式工作组替代原有企业主导的协调机制，促进CPython性能优化的协作与讨论。
Show HN: A web browser agent in your Chrome side panel
a year ago
- BrowserBee是一款以隐私为先的开源Chrome扩展，支持通过自然语言控制浏览器
- 该工具利用LLM进行指令解析，通过Playwright实现浏览器自动化，所有操作均在浏览器内完成以确保安全
- 支持Anthropic、OpenAI、Gemini和Ollama等主流LLM服务商，并提供token追踪功能帮助控制成本
- 功能涵盖页面导航、标签页管理、交互工具（点击/输入）、观察工具（DOM快照/无障碍访问树）以及提升任务效率的记忆工具
- 适用场景包括社交媒体管理、新闻聚合、个人助理服务及学术研究等多样化需求
- 安装方式支持GitHub下载或源码编译，Chrome应用商店版本正在审核中
- 基于Playwright和daisyUI等开源项目构建，特别强调隐私保护与本地化运行特性
- 当前面临的主要挑战包括LLM处理网页交互的复杂性，以及对高效透明AI工具的持续需求
Gimp 3.0.4 Released
a year ago
- GIMP 3.0.4版本发布，主要聚焦错误修复与功能改进
- 修复了从GIMP粘贴选区到其他程序时的错误
- 解决了更改或关闭主显示器导致的崩溃问题
- 提升字体加载速度并优化文本图层功能
- 非破坏性滤镜获得错误修复与改进
- 修复了首选项中浮动窗口的Window Hint选项
- 画布交互中空格键现在会遵循动作设置
- 恢复了Difference Cloud滤镜的图形界面
- 统一UI/UX改进，包括MyPaint笔刷工具和路径工具
- 构建系统优化，包括修复GCC 15兼容性和macOS开发者版DMG
- 通过移除依赖项的调试符号减小AppImage体积
- Windows安装程序改进：新增修复模式及插件开发文件
- GEGL与babl库更新，包含错误修复和界面改进
- 关闭90份问题报告，合并59个合并请求，推送280次提交，更新15种语言翻译
- 32位贡献者参与GIMP 3.0.4代码开发
- 参与Google编程之夏(GSoC)并提交三项项目提案
- 新增芬兰与荷兰下载镜像站点
- GIMP 3.0.4支持Linux、Windows和macOS平台
- 开发重心转向筹备GIMP 3.2版本的新功能开发
ClawPDF – Open-Source Virtual/Network PDF Printer with OCR and Image Support
a year ago
- ClawPDF是一款功能丰富的虚拟PDF/OCR/图像打印机，支持PDF/A、PDF/X、SVG、PNG、JPEG、TIF和TXT等多种格式。
- 提供企业级功能，包括元数据清除、密码保护和256位AES加密。
- 支持通过脚本（Python、Powershell、VBScript）和网络打印实现自动化操作。
- 开源软件，兼容所有主流Windows操作系统（x86/x64/ARM64），包括多用户环境。
- 具备OCR文字识别、拖放支持、文件合并、静默打印等高级功能。
- 可通过MSI安装程序轻松部署，支持自定义配置，提供24种语言版本。
- 无广告软件/间谍软件/骚扰软件，支持浅色/深色主题和完整Unicode字符集。
- 采用AGPL v3许可证，并整合了Ghostscript、iText7等多个开源项目的贡献。
Microsoft Open Sources Copilot
a year ago
- VS Code宣布计划将GitHub Copilot Chat扩展以MIT协议开源
- 此举旨在将AI功能整合至VS Code核心，同时保持开放、协作和社区驱动的原则
- 当前选择开源的三大原因：大语言模型能力提升、通用用户体验方案成熟、开源AI工具生态兴起
- 开源将增强数据收集与安全机制的透明度，借助社区力量提升安全性
- 下一步计划包括：重构AI功能至VS Code核心，开源提示词测试基础设施以降低社区贡献门槛
- VS Code呼吁社区积极反馈，共同塑造AI驱动型开发工具的未来
Glasskube (YC S24) is hiring in Vienna to build Open Source deployment tools
a year ago
- Glasskube开发开源部署工具以提高工程师的工作效率。
- 项目可在GitHub上查看：github.com/glasskube。
- 招聘具有Go、TypeScript和PostgreSQL经验的工程师。
- 团队寻找具备好奇心、主动性和高度积极性的人才。
- 提供在维也纳工作的机会，同时保持与旧金山初创企业生态系统的联系。
Edit is now open source
a year ago
- Edit是Windows平台一款全新的开源命令行文本编辑器
- 该编辑器将很快在Windows预览体验计划中推出，后续会作为Windows 11的预装组件
- Edit体积轻巧（不足250kB），支持鼠标操作、多文件编辑、查找替换和自动换行功能
- 其开发初衷是为64位Windows系统提供默认命令行编辑器，避免Vim等模态编辑器的复杂性
- 采用非模态设计，无论新手还是资深用户都能轻松上手
- 在命令行输入`edit`或`edit <文件名>`即可启动编辑器
- 用户可通过GitHub代码库追踪后续更新并提交反馈意见
Show HN: A highly extensible framework for building OCR systems
a year ago
- MyOCR是一个高度可扩展和可定制的OCR系统构建框架
- 支持端到端OCR开发，包含检测、识别和自定义模型集成功能
- 采用模块化可扩展设计，可轻松替换各个组件
- 开发者友好，提供简洁的Python API和预构建管道
- 支持ONNX运行时，具备生产就绪的CPU/GPU快速推理能力
- 支持Docker部署，可通过环境变量进行配置
- 提供简洁的Flask API服务，包含OCR和结构化输出端点
- 包含API端点可视化界面(doc-insight-ui)
- 基于Apache 2.0开源协议发布
Bayesian Modeling and Computation in Python (2021)
a year ago
- 《Python中的贝叶斯建模与计算》在线版本已开放获取。
- 实体书可通过出版社或亚马逊购买。
- 网站包含书中所有代码，包括图表生成代码。
- 更新后的代码存放于'notebooks_updated'文件夹，适配最新库版本。
- 提供学术引用格式说明。
- 错误反馈请通过提交issue提交。
- 提供Conda和Google Colab环境配置指南。
- 欢迎向ArviZ或PyMC捐款支持开源项目。
- 本书采用CC BY-NC-SA 4.0许可，代码采用GNU GPLv2许可。
France Becomes First Government to Endorse UN Open Source Principles
a year ago
- 法国成为首个正式支持联合国开源原则的中央政府。
- 另有19个组织与法国共同签署支持，使原则支持者总数增至36个。
- 联合国开源原则包含八项指导方针，旨在推动联合国体系内及全球范围的开源协作。
- 开源实践社区'Open Source United'致力于在联合国各机构间推广开源技术。
- 原则包含'默认开放'、'设计即安全'和'促进包容性参与'等核心准则。
Litestream: Revamped
a year ago
- Litestream是一款开源工具，可实现从对象存储中可靠恢复SQLite数据库
- 最初设计通过将SQLite WAL更新流式传输到S3来防止数据丢失，现受LiteFS启发新增多项功能
- 新特性包括采用类似LSM树的LTX文件实现高效页变更集管理，支持时间点恢复
- 推出CASAAS（比较交换即服务），利用现代对象存储实现无Consul等外部依赖的单实例复制
- 通过基于VFS的轻量级读取副本层，支持直接从S3兼容存储获取页面数据并带缓存优化
- 使用LTX技术增强扩展性，单个进程即可同步数百甚至数千个数据库
- 未来可能支持AI编程代理，通过时间点恢复(PITR)实现回滚和分支操作
Please, stop asking us to open source our products
a year ago
- Candid开发闭源软件，并坚持这一决定，尽管面临客户反对。
- 常见客户反馈包括要求开源、预言不开源将导致失败，以及承诺若产品开源愿意贡献代码。
- Candid的应对方式是引导客户使用开源替代方案，或通过详细功能需求沟通而非开源来解决。
- 管理开源贡献被视为全职工作，存在代码分叉和开发路线图复杂化等风险。
- Candid愿意向成功平衡开源与盈利模式的企业学习，但目前认为转变策略风险过高。
Devstral
a year ago
- Devstral是由Mistral AI和All Hands AI联合开发的开源智能大语言模型，专为软件工程任务设计。
- 该模型在SWE-Bench Verified基准测试中以46.8%的得分超越所有开源模型，较先前最佳成绩提升超6个百分点。
- Devstral擅长解决实际工程难题，包括在大型代码库中进行上下文关联分析，以及识别隐蔽性程序错误。
- 该模型具有多场景适用性：可本地部署（单张RTX 4090显卡或32GB内存Mac即可运行）、支持企业级应用，并能集成至编程IDE或插件系统。
- 基于Apache 2.0许可证开源，用户可通过HuggingFace、Ollama、Kaggle、Unsloth及LM Studio等平台免费获取。
- 针对需要微调或定制化的企业需求，Mistral AI提供专业团队的技术支持服务。
- API服务定价与Mistral Small 3.1保持一致：输入令牌每百万0.1美元，输出令牌每百万0.3美元。
- 据悉，团队正在开发更强大的智能编程模型，预计将于未来数周内发布。
JavaScript Ecosystem Performance
a year ago
- 移除冗余依赖项并用现代替代方案替换。
- e18e（生态系统性能）计划连接致力于提升JS包性能的个人与项目。
- 为开源开发者在依赖项的清理、升级和加速方面的工作提供可见性。
- 邀请通过e18e Discord服务器加入项目并与志同道合的人建立联系。
- 赞助支持社区工作，奖励贡献者或资助大型项目。
- 可通过Open Collective赞助以提供帮助的机会。

About|Login

#open source

Pyrefly:A fast type checker/IDE extension for Python written in Rust

Prompts for our Grok chat assistant and grok bot on X

Progress Asahi Linux 6.15

A Linux kernel developer plays with Home Assistant: case studies

New open source AI projects on GitHub

Modern Android Client for Hacker News

Community Stewardship of Faster CPython

Show HN: A web browser agent in your Chrome side panel

Gimp 3.0.4 Released

ClawPDF – Open-Source Virtual/Network PDF Printer with OCR and Image Support

Microsoft Open Sources Copilot

Glasskube (YC S24) is hiring in Vienna to build Open Source deployment tools

Edit is now open source

Show HN: A highly extensible framework for building OCR systems

Bayesian Modeling and Computation in Python (2021)

France Becomes First Government to Endorse UN Open Source Principles

Litestream: Revamped

Please, stop asking us to open source our products

Devstral

JavaScript Ecosystem Performance