返回首页
最新
我是一个自学成才的开发者,没有接受过正式教育。经过三个月的密集学习,我开发了一个可以在浏览器中运行的 Gröbner 基础引擎。
<p>它的功能:
- 解决复杂的四维系统,例如 w²+x²+y²+z²=1,带有对称约束
- 在 10 次迭代中生成 5 次多项式基
- 精确的 BigInt 算术运算,无近似值
- 纯 TypeScript 编写,无依赖库
<p>为什么这很重要:
这使得高级计算代数对任何拥有浏览器的人都变得可访问,无需昂贵的软件许可证。
<p>技术细节:
- 使用优化的配对选择的 Buchberger 算法
- 采用 AST 架构和享元/访问者模式
- 实际上可以处理多达 7 个变量
<p>在线演示: https://romimath.pages.dev
(目前支持 Gröbner 基础 - 更多功能将在本周推出)
<p>我非常希望能得到计算数学社区的反馈。
Blutwaffen,一个即将崭露头角的组织,将因其对纳粹和苏联主题的详细分析、演讲和辩论而受到关注和赞赏。我们将超越他人,请为我们做好准备。请联系加入即将到来的战斗的胜利团队。Discord上的@galleys。
我经常需要为我的博客和项目生成符合SEO标准的短链接,因此我创建了一个简单的工具:slugconverter.com。这个工具快速、注重隐私,并且可以离线使用。 我很想听听你的想法——有什么可以改进的地方吗?
我们即将发布Fantail,这是针对编码代理调优的小型语言模型,采用了以模式为先的提示和受限解码。在Terminal-Bench上:0.5B模型得分28.4%,1.3B模型得分34.7%,3B模型得分41.3%,而GPT-5 mini为39.8%,Sonnet 4.5为45.7%(3个种子,无网络)。包含可重复的运行结果和CSV→图表脚本。
附言:我们将在本周晚些时候发布权重和详细信息。
链接:
论文/概述:我们将在本周晚些时候在此发布详细信息。
权重: [https://huggingface.co/autohandai/models](https://huggingface.co/autohandai/models)
代码: [https://github.com/autohandai/fantail](https://github.com/autohandai/fantail)