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