桌面数学工作台，截图识别、手写编辑、公式计算全在本地跑
LaTeXSnipper 是一款开源的桌面数学工作台，由 GitHub 用户 SakuraMathcraft 开发，底层由 MathCraft OCR 和 MathLive 驱动。
刚刚，Gemini 4全球上线
就在今夜，谷歌CEO劈柴、Hassabis等几乎同一时间，全员齐刷刷宣告:新一代旗舰Gemini 4 Argon全球首发。
AI 资讯 TOP10｜11/01：商汤开源 9B 循环模型媲美 27B
【摘要】今日 10 条 AI 热点：商汤开源 9B 循环模型媲美 27B、OpenAI 12 月起 ChatGPT 与 Codex 合并额度、司法部破获 AI 假学生骗贷案、五大巨头承诺投入超 3 万亿美元建 AI 基建、Anthropic 招股文件曝近 9000 亿美元隐性债务
三星OneUI 5官方优化工具Good Lock获11月更新
IT之家 11 月 25 日消息，三星官方 OneUI 优化工具 Good Lock 在今年 10 月的版本更新中，为 Keys Cafe 模块添加了对 OneUI 5.0 的支持，并引入了 Chemistry 键盘。
数学科研搭子来了！华东师大自研VeryMath上线
暑期的华东师大校园里 一场关于AI辅助数学科研的 新探索正在展开 在这个炎热的夏天 闵行校区这间教室里座无虚席 伴随着键盘的敲击声 大屏幕上跳动起一行行代码 与复杂的数学公式 这是华东师大数学科学学院 “基于VeryMath的人工智能 辅助数学研究实践”的 暑期实践课堂 2026
12个学习数学的网站，从3岁到数学老师都覆盖，再也不怕高数了
现在MathType 已支持 TeX、LaTeX 以及数学标记语言 MathML，可在 MathType中直接输入 LaTeX，制作的公式可以导出为 PostScript EPS 文档、图元文件 WMF 或 GIF 格式。
耗时约6个月，网友从零手搓Intel 486开源主板
IT之家 1 月 27 日消息，科技媒体 Tom's Hardware 于 1 月 25 日发布博文，报道称复古硬件发烧友 Maniek86 展示 M8SBC-486 开源主板项目，耗时不到 6 个月时间，完全从零开始设计与制造适用于 Intel 486 处理器的主板。
AI产品范式如何升级
随着AI技术的飞速发展，C端产品范式正迎来重大升级。本文从上下文争夺、产品渗入场景以及生态构建三个维度，深入探讨了AI产品在C端的未来发展方向。
随机乱序数字键盘，让数字飞一会儿
随着移动支付遍地开花，产品经理们在支付的各个环节可谓是下足了功夫，今天分享的是目前移动支付中比较流行的一种设计——随机乱序数字键盘。
Axure 被 AI 淘汰了吗？我用它搭了一套坦克对战状态机
当AI让原型生成变得唾手可得，Axure似乎被贴上了过时标签。但一位产品经理用不到1M的纯原生控件和Emoji，做出了可在线玩的坦克对战原型。本文深度拆解伪事件模拟、结界优化、避免共振等8个原创技术点，证明Axure的真正价值在于不写代码也能组织复杂逻辑。