marcushuang4595 · V2EX

做了一个会把微积分解题过程“动起来”的计算器，想听听大家的意见 最近做了一个微积分学习工具 CalculusMate 。 起因是我发现很多计算器只给最终答案，即使列出步骤，也很难看出表达式究竟是怎样一步步变化的。所以我尝试把求导、积分和极限的计算过程做成可以逐步播放的形式。 目前支持： - 导数、积分和极限计算 - 展示每一步使用的规则 - 动画演示表达式的变化 - 支持常见数学符号键盘 - 中英文界面 - 基础计算无需注册 可以从这个页面体验： https://calculusmate.com/step-by-step 免费版本： https://calculusmate.com/free 目前还处于早期阶段，我比较想知道： 1. 解题步骤是否足够容易理解？ 2. 动画是帮助理解，还是会让页面显得太复杂？ 3. 还希望优先支持哪些题型？ 欢迎直接指出问题，尤其是计算结果、移动端体验和表达不清楚的地方。

@Elisroden · X

285 private research maths problems. January 2024: zero solved. GPT-6 Astra is at 267, and the unsolved share halves every 4.3 months. Same week: a Lean-verified blowup proof for 3D Euler, built with Claude and Codex. Follow the exponential progress on

@BruceWayne95290 · X

just leaving a comment cause its 1am and im vibe coding, will come back tomorrow (on an alt account for open claw fyi) I've worked with the following brands: vytadose, bajabeachco, jaje health, eric javits, 4knines, welleco, coatdefence

u/CarefulArmadillo3496 · Reddit

SparkGap - an agentic linear algebra experience Hey everyone, I'm building sparkgap.ai , an interactive tutor for linear algebra. You fill in the matrices/vectors, the LLM gives you hints until you get it correct. The hope is that it will get smarter over time from the context of which questions were missed/answered correctly. As you master concepts, the progress ring next to each concept will slowly fill in. Hopefully it should be very difficult to get to full mastery. Feedback and qu

lemma1729 · HN

Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.

@laodaozzz · X

我也做了一个教小朋友学数学的工具叫easymath。

@doa_psych · X

veau · V2EX

[产品自荐] 基于 Excalidraw，我做了一个更顺手、更全能的纯本地白板： 1NX 作为产品民工+重度 Excalidraw 用户。 在 AI 的加持下，基于 Excalidraw 做了一个更顺自己手、更全能的纯本地白板：**1NX.NET** 访问地址： https://1nx.net/ **核心解决日常画图、画交互、读取各种文件轻量化处理的问题。** 产品能力概览： * 无须注册，打开即用。完整兼容 Excalidraw ，旧图可直接导入继续编辑 * 优化画布操作手感和交互，解决存储满的问题，大量元素上依然流畅 * 流程图、脑图、原型、文档、代码和图片都能放在同一张画布 * 支持 Axure 、XMind 、draw.io 、Visio 、Mermaid 、PlantUML 等格式直接导入 * 代码块、PDF 、Word 、PPT 、Excel 可直接摊开阅读；无需打开软件 * 图片裁剪、切片、马赛克、高清放大、智能抠图一站完成（全单机完成） * AI 生成思维导图、流程图、以及汇报级别的 PPTX * 增强本地化单文件能力，全

@UtevR57878 · X

Not vibe-coded, rather AI assisted dev:

ghosts_ · HN

I've been slowly adding some new free tools to Moxie Docs (partly for SEO, partly to illustrate some of our feature sets before any commitment) for some reason this mermaid editor one blew up on Google rankings so I figured I'd share in case people find it useful! We also have ADR, AGENTS.md, LLMs, and a few other free tools.

u/averageChilean · Reddit

Built a free tool site to help my brother study — now has 100+ tools, would love feedback My brother's in high school and needed something more visual to study chemistry, physics, and math, so I used Claude to build him a simple site with interactive calculators and visualizers. I'm not a programmer or from a tech background, so without AI this wouldn't have happened, at least not this fast. It ended up helping him a lot more than I expected, so I kept expanding it, added a bunch of other