v0.3.1 of mobile-ink is out! Some bug fixes and crisp strokes at any viable zoom level. github.com/mathnotes-app/mob…

Just released v0.3.0 of mobile-ink! We now support android! This has been a main request of MathNotes for a while so I’m excited to get the engine ready. github.com/mathnotes-app/mob…

v0.2.0 is out! npmjs.com/package/@mathnotes…

Just replaced the old cpu raster via SkSurface w/ a Ganesh backend in github.com/mobile-ink/mobile… and it feels quite fast. If anyone is familiar with Ganesh and has thoughts on the stability of the implementation I'd love to hear.

I added some issues to mobile-ink if anyone interested in mobile drawing engines is interested github.com/mathnotes-app/mob…

After about a year I'm excited to get my most difficult and frustrating project to a point where I'm finally confident to open-source. It is the high-performance drawing canvas for React Native that I use in my mobile app. I started this because there is not a viable open-source option for a mobile notes implementation. There are some very small demo canvasses, but if your goal is Notability/GoodNotes-level interaction, you run into alll sorts of issues with native rendering, pencil latency, eraser behavior, page virtualization, preview caching, memory stability. Thus, the goal of this project is to make something that can support real notes-app workloads such as stylus drawing, smooth strokes, pixel erasing, selection, shapes, zooming, scrolling, serialization, and long multi-page notebooks without the JS completely stalling or native memory growing forever. The package is iOS React Native first right now. I actually do have some Android code but have not tested it enough to release it yet. It uses native Skia/Meta and includes a small Expo example app with the full infinite canvas so people can try it quickly. You can also use the npm package directly in your RN apps. I’d love feedback from people who have worked on anything similar. If anyone has any API/design feedback or really anything people notice in general I would love to hear. I know right now I could modularize a bit better but it's working at least. github.com/mathnotes-app/mob…

You can now download openproof via npm: 'npm install -g openproof'

I have been working on an agentic tui tool for formal math proving: github.com/markm39/openproof It is not a Claude Code harness, it is a custom rust tool that is deeply coupled with a Lean state, a local dashboard, and various Lean tools. It also built a cloud server that interacts with the tool as a client and has been improving performance significantly over vanilla coding tool use. Moreover, it is a hybrid tool: it employs both an algorithmic proof search over the lean state, and an agentic AI to utilize the strengths of both methods. You can run headless or from the tui. It is also transparent. The tools are streamed, the proof state and Lean project are visible, and a paper is incrementally built from findings.

Have been working on other stuff but MathNotes is naturally gaining traction, nice to see.

Why did it take me this long to integrate post hog😭

I’ve been getting more downloads but still only 1 sub… i need to figure out what users are actually doing in the app

Picked up a new disjoint knowledge subgraph from reading Manifold-Constrained Hyper-Connections this morning in my app

Rebranded iwrote to MathNotes since iwrote always gets autocorrected and probably gets me way less search traffic