苹果公司在Hugging Face平台开源了STARFlow与STARFlow-V模型，标志着图像与视频生成领域迎来了一项重要的技术进展。STARFlow是一种创新的Transformer自回归流模型，其核心在于巧妙地将自回归模型强大的表达能力与归...

近日，名为Ironclad的操作系统内核引发技术社区广泛关注。该项目作为全球首个同时实现形式化验证与实时能力保障的类Unix内核，标志着高可靠系统软件研发取得重大突破。通过采用Coq证明辅助工具对内核代码进行数学建...

纽约州立大学布法罗分校计算机科学与工程系的Atri Rudra教授近日发布了《编码理论精要》教材的完整PDF版本，该教材系统性地介绍了纠错码、信息论和算法编码理论等核心内容。作为计算机科学领域的重要基础理论，编码...

阿姆斯特丹Ritman图书馆与《达芬奇密码》作者丹·布朗合作，成功将2178本珍贵的神秘学书籍数字化并免费向公众开放。这一项目不仅保护了这些易损的历史文献，还通过现代技术手段让全球研究者能够便捷地访问这些稀有资...

十年前，一位博主通过博客呼吁美国政府公开其珍藏的水果水彩画系列——美国农业部果树学水彩画集（Pomological Watercolor Collection）。这一系列包含超过7000幅绘制于1880年代至1940年代的水果及其他生物标本画作，...

人工智能研究公司DeepSeek近日宣布对其R1推理模型进行重大升级，并将最新版本发布于Hugging Face平台。这一进展标志着自然语言处理领域的重要突破，R1模型以其卓越的推理能力和高效的参数利用在业界备受关注。此次更...

清华大学知识工程组（KEG）与智谱AI联合推出的CogView 4最新一代生成式图像模型近日在Hugging Face平台正式发布。作为采用宽松许可协议的开源项目，该模型在图像质量、生成效率和多模态理解等核心指标上显著超越当前...

OpenStreetView-5M是一个重要的开放获取数据集，包含超过500万张来自225个国家的地理标签街道图像。该数据集旨在通过测试图像定位能力，推动计算机视觉的极限。OpenStreetView-5M不仅覆盖了全球范围内的街道图像，也...