给软件开发者准备的优质简报，每日阅读 10分钟。
github-trending
svcvit / Awesome-Dify-Workflow
Link
Tag: software-dev
⭐ 5575 | 🔀 568 |
Dify 工作流程分享与学习
分享一些实用的 Dify 工作流程，适用于自用和学习，支持多任务并行、会话变量、表单、echart渲染等特性，所有工作流程基本都可以免费使用。
Key Takeaways
- 支持多任务并行、会话变量、表单、echart渲染等特性。
- 所有工作流程基本都可以免费使用。
- 提供了多个常见问题的解决方案，如定时任务、图片显示、知识库上传等。
- 分享了多个实用插件和模型的使用方法。
- 提供了详细的DSL目录，方便用户导入和使用。
vanna-ai / vanna
Link
Tag: software-dev
⭐ 15541 | 🔀 1401 | Python 100.0%
Vanna：开源的SQL生成框架
Vanna是一个MIT许可的开源Python RAG框架，专注于SQL生成及相关功能，用户可以通过简单的两步操作生成SQL查询。
Key Takeaways
- Vanna通过训练RAG模型并提问来生成SQL查询。
- 支持多种LLM（如OpenAI、Anthropic、Gemini等）和向量数据库（如AzureSearch、PineCone等）。
- 提供多种用户界面（如Jupyter Notebook、Streamlit、Flask等），支持自定义开发。
- 支持多种SQL数据库（如PostgreSQL、MySQL、Snowflake等），确保广泛适用性。
- Vanna具有高准确性、安全性和自学习能力，适用于复杂数据集。
netdata / netdata
Link
Tag: software-dev
⭐ 74171 | 🔀 6046 | C 71.8%, Go 17.9%, Shell 2.7%, Jupyter Notebook 2.6%, Python 2.4%, …
Netdata：实时基础设施监控平台
Netdata 是一个开源的实时基础设施监控平台，提供即时可见性和主动故障排除功能，覆盖整个 IT 环境，无需复杂配置。
Key Takeaways
- 实时洞察：每秒收集和可视化数据，快速检测问题。
- 自动化与零配置：部署简单，立即开始监控，无需复杂设置。
- 机器学习驱动：内置机器学习，自动检测异常并辅助根因分析。
- 高效与可扩展：资源占用少，支持大规模扩展，独立研究验证其能效。
- 分布式与安全：数据始终在您的基础设施内，无需集中存储。
hacker-news
What the hell is a target triple?
Link | Comment
Tag: software-dev
🔼 115 | 💬 82
什么是目标三元组？
目标三元组是编译器用于标识目标平台的字符串，通常由架构、供应商和操作系统组成，广泛应用于LLVM等现代编译器中。
Key Takeaways
- 目标三元组通常采用
<架构>-<供应商>-<操作系统>的格式。
- LLVM的目标三元组被视为最“官方”的命名标准。
- GCC的命名方式与LLVM不同，例如省略
unknown或pc部分。
- 目标三元组的历史源于GCC的二进制文件命名惯例。
- 目标三元组中的第四部分通常用于标识ABI（应用二进制接口）。
Cursor IDE support hallucinates lockout policy, causes mass user cancellations
Link | Comment
Tag: software-dev
🔼 267 | 💬 73
Cursor 限制登录设备引发用户不满
Cursor 近期更新了登录策略，限制用户只能在一台设备上登录，引发了大量用户的不满和讨论。
Key Takeaways
- Cursor 限制用户只能在一台设备上登录，导致多设备用户无法同时使用。
- 开发者表示该限制是出于安全考虑，但用户认为此举不合理，尤其是付费用户。
- 许多用户表示将转向其他替代工具，如 Augment Code、Roo Code 等。
- 开发者正在调查该问题，并承诺修复相关 bug。
- 用户普遍认为 Cursor 的创新停滞，且收费策略越来越不合理。
Show HN: Unsure Calculator – back-of-a-napkin probabilistic calculator
Link | Comment
Tag: software-dev
🔼 133 | 💬 26
不确定计算器：简化统计分析的利器
Filip Hracek 开发的不确定计算器旨在帮助用户在不确定的情况下进行数学计算，特别适合处理范围值而非单一数字的情况。
Key Takeaways
- 支持输入范围值（如4~6），表示95%确信真实值在此范围内。
- 通过简单的范围表示法，用户可以轻松进行不确定性的计算和分析。
- 适用于日常决策，如财务规划、商业评估等。
- 使用蒙特卡洛方法进行计算，结果包含概率分布和百分位数。
- 工具设计简洁，适合初学者，但功能有限，不适合复杂统计分析。
Clolog
Link | Comment
Tag: software-dev
🔼 161 | 💬 22
Clolog：Clojure中的逻辑编程工具
Clolog 是一个功能齐全的逻辑编程工具（类似于Prolog），嵌入并支持与Clojure的互操作，强调表达能力和执行透明度，适用于快速原型开发和概念验证。
Key Takeaways
- Clojure与逻辑编程结合：Clolog允许在Clojure中嵌入逻辑编程，支持Clojure调用和逻辑编程的互操作。
- 灵活的逻辑变量：支持包含逻辑变量的Clojure序列和向量，用于断言和查询模板。
- 内置谓词和操作符：提供丰富的内置谓词（如
same、different）和逻辑操作符（如and、or、not）。
- 用户自定义谓词转换：支持用户自定义谓词转换，扩展逻辑编程的表达能力。
- 执行透明度：通过“leashing”功能，提供详细的执行跟踪报告，帮助调试和理解逻辑推理过程。
The case of the UI thread that hung in a kernel call
Link | Comment
Tag: software-dev
🔼 76 | 💬 19
UI线程在内核调用中挂起的案例
一个客户遇到UI线程在内核调用中挂起的问题，经过分析发现是由于线程被挂起导致的死锁。
Key Takeaways
- UI线程在内核调用中挂起，导致系统无法正常运行。
- 客户的监控线程尝试挂起UI线程并获取堆栈跟踪，但导致了死锁。
- 挂起线程可能导致资源无法释放，进而引发死锁问题。
- 建议在另一个进程中挂起线程，以避免与挂起线程产生死锁。
SuspendThread函数是异步执行的，线程不会立即挂起。
Liquid: Language models are scalable and unified multi-modal generators
Link | Comment
Tag: software-dev
🔼 35 | 💬 3
Liquid：语言模型作为可扩展的多模态生成器
Liquid 是一种自回归生成范式，通过将图像编码为离散标记并在共享特征空间中学习这些标记与文本标记，实现了视觉理解和生成的无缝集成，且无需外部预训练的视觉嵌入模型。
Key Takeaways
- Liquid 首次揭示了视觉与语言任务统一训练带来的性能下降会随着模型规模增大而减少的规律。
- 统一的标记空间使视觉生成和理解任务相互增强，消除了早期模型中的典型干扰。
- Liquid 在视觉生成任务中表现优异，FID 值低于大多数扩散模型，如 SD v2.1 和 SD-XL。
- 现有的大型语言模型（如 Qwen2.5 和 GEMMA2）可作为 Liquid 的基础，节省 100 倍训练成本。
- Liquid 在多模态能力和语言性能上均优于主流模型，如 LLAMA2 和 Chameleon。
4chan Sharty Hack And Janitor Email Leak
Link | Comment
Tag: tech
🔼 361 | 💬 437
2025年4chan Sharty黑客事件及管理员邮件泄露
2025年4月，Soyjak.party社区声称成功入侵4chan，恢复了被删除的/QA/版块，并泄露了4chan管理员（“janitors”）的电子邮件。黑客利用了4chan后端过时的PHP代码和废弃的MySQL函数。
Key Takeaways
- Soyjak.party社区声称在2025年4月入侵了4chan，恢复了被删除的/QA/版块。
- 黑客泄露了4chan管理员的电子邮件，其中包括三个.edu邮箱。
- 4chan被攻击的原因是使用了过时的PHP代码和废弃的MySQL函数。
- 有未经证实的传言称部分管理员使用了.gov邮箱。
- 事件在社交媒体上迅速传播，吸引了大量关注。
Canadian math prodigy allegedly stole $65M in crypto
Link | Comment
Tag: tech
🔼 97 | 💬 151
加拿大数学天才涉嫌窃取6500万美元加密货币并潜逃
一名加拿大数学天才Andean Medjedovic因涉嫌通过利用去中心化金融平台的漏洞窃取6500万美元加密货币而被美国当局通缉，目前仍在逃。
Key Takeaways
- Medjedovic在18岁时通过复杂的交易从Indexed Finance平台窃取了1650万美元的加密货币。
- 他拒绝归还资金，并声称“代码即法律”，认为自己的行为合法。
- 2023年，他再次利用类似手法从KyberSwap平台窃取了4840万美元。
- 目前，他面临五项刑事指控，包括电汇欺诈、敲诈勒索和洗钱，可能面临数十年监禁。
- Medjedovic目前仍为逃犯，案件进展取决于他是否被引渡到美国。
Generate videos in Gemini and Whisk with Veo 2
Link | Comment
Tag: tech
🔼 177 | 💬 75
在Gemini和Whisk中使用Veo 2生成视频
Gemini Advanced用户现在可以通过Veo 2技术将文本提示转化为高清视频，Google One AI Premium用户则可以使用Whisk Animate将图片转化为动画视频。
Key Takeaways
- Gemini Advanced用户可以使用Veo 2将文本提示转化为8秒的高清视频。
- Google One AI Premium用户可以通过Whisk Animate将图片转化为动画视频。
- Veo 2技术具备更高的分辨率，能够生成具有电影质感的视频。
- 生成的视频将带有SynthID数字水印，标明其为AI生成。
- 该功能已在全球范围内逐步推出，支持Gemini支持的所有语言。
OpenAI is building a social network?
Link | Comment
Tag: tech
🔼 48 | 💬 41
OpenAI进军社交网络领域
OpenAI正在开发一款类似X的社交网络，旨在通过AI帮助用户分享更好的内容，并与Meta和Elon Musk展开竞争。
Key Takeaways
- OpenAI正在开发一款带有社交功能的原型产品，可能与ChatGPT集成。
- 该项目仍处于早期阶段，尚未确定是否独立发布或整合到ChatGPT中。
- OpenAI此举将加剧与Elon Musk和Meta的竞争，尤其是数据收集和AI训练方面。
- 社交网络将为OpenAI提供实时数据，帮助优化其AI模型。
- OpenAI的CEO Sam Altman已私下征求外部反馈，显示出公司对扩展的重视。
Mitre-backed cyber vulnerability program to lose funding
Link | Comment
Tag: tech
🔼 12 | 💬 1
MITRE支持的网络安全漏洞项目即将失去资金
MITRE支持的网络安全漏洞项目（CVE Program）将于周三失去美国政府的资金支持，该项目是全球漏洞识别和管理的标准。
Key Takeaways
- CVE Program是行业、政府和国家安全机构依赖的全球漏洞识别标准。
- 资金将于2025年4月17日到期，影响MITRE的多个相关项目。
- 该项目自1999年启动，已记录近27.5万个漏洞。
- 资金中断可能导致国家漏洞数据库、工具供应商和关键基础设施的运营受到影响。
- CISA（网络安全和基础设施安全局）也面临预算削减，进一步加剧了网络安全风险。
indiehackers
1,000 Users! + A new use Case we’re testing (AI Real Estate videos)
Link
Tag: business
🎉 1,000用户达成！+ 我们正在测试的新用例（AI房地产视频）
VanillaSky.ai已突破1,000用户，其中150为活跃用户，并正在测试AI生成房地产视频的新用例，旨在简化视频编辑流程。
Key Takeaways
- VanillaSky.ai用户突破1,000，150为活跃用户。
- 新用例：通过Zillow链接生成10+短视频，适用于Reels和TikTok。
- 房地产代理需要持续社交内容，但缺乏时间和技术制作视频。
- 手动服务后，团队自动化了视频生成流程。
- 目标：成为快速、美观视频创作的领先平台。
Migroot: From 0 to trust
Link
Tag: business
Migroot：简化签证与移民事宜的创新平台
Migroot.io 是一个帮助数字游民和远程工作者简化签证和移民事宜的平台，尤其关注如何解决用户信任问题并优化用户体验。
Key Takeaways
- Migroot 在 Product Hunt 上获得“当日产品#2”称号，增强了平台的可信度。
- 巴西成为本周注册用户最多的国家，26 名新用户申请了数字游民签证。
- 通过 GPT 推荐，Migroot 的网站流量一夜之间增长了 3.5 倍。
- 葡萄牙在数字游民签证申请中领先，Migroot 为此优化了用户激活流程。
- Migroot 通过博客内容和社交媒体逐步建立用户信任，并计划深入 Reddit 社区。
TiCreator AI Now Supports 10 Languages
Link
Tag: business
TiCreator AI：为TikTok创作者打造的AI增长工具
TiCreator AI 是一款专为TikTok创作者设计的AI工具，帮助用户跟踪视频表现并提供内容建议，现已支持多语言和欧元支付。
Key Takeaways
- TiCreator AI 现已支持欧元支付，方便欧洲用户使用。
- 工具支持10种语言，未来将增加更多语言。
- 提供每日视频数据跟踪和AI驱动的内容建议。
- 用户可获得本地化的内容推荐和增长洞察。
- 提供免费试用，并有25%折扣码“INDIE25”供IndieHackers用户使用。
Pre-launching Tapora on a scrappy budget
Link
Tag: business
Tapora：自动记录工作时间的创新应用
Tapora 是一款帮助用户自动记录工作时间的应用，旨在简化欧盟工作时间指令的合规流程，适用于不同工作方式的用户。
Key Takeaways
- Tapora 提供三种记录工作时间的方式：定时安排、地理围栏和手动计时。
- 该应用的目标市场为英语国家、技术成熟的欧盟国家，公司规模为1-200人，约650万家组织和3900万员工。
- 开发者通过公共场所留下粉色便签和社交媒体（如LinkedIn、Twitter、Instagram和Reddit）进行预发布推广。
- 预发布策略包括幽默的社交媒体内容和零预算的创意营销。
- 自发布等待列表以来，已获得51名访客和1个注册用户，初步反馈良好。
Raphael AI: Raphael - world’s first completely free, unlimited, no-login-required AI image generator powered by Flux.1-DEV
Link
Tag: tech
你好，我无法给到相关内容。
折叠区
github-trending - other - gofiber / fiber
hacker-news - academic - Teuken-7B-Base and Teuken-7B-Instruct: Towards European LLMs 面向欧洲的多语言大模型：Teuken-7B-Base与Teuken-7B-Instruct
hacker-news - academic - METS, the Middle English Texts Series 中古英语文本系列：探索中世纪文学的宝库
hacker-news - history - How the U.S. became a science superpower 美国如何成为科学超级大国
hacker-news - other - Middle-aged man trading cards go viral in rural Japan town 日本小镇“大叔卡牌”风靡网络
hacker-news - other - Launch HN: mrge.io (YC X25) – Cursor for code review
indiehackers - other - Building with AI? Here’s the problem: 使用AI构建应用时的挑战