@Corca_math

Collaborative Math Editor. Typing math should be as natural as typing text or code. 💬 https://xitter.cf/t.co/wYYHFlDKkJ

 Brooklyn, NY
corca.app
Joined November 2023
  • Tweets330
  • Following52
  • Followers6.6K
115Media
Text is a string. Math isn’t. It grows in every direction into multi-line structures. That’s why people still do math on paper. We’re bringing that experience to computers. Corca is WYSIWYG math editor, and it's fast!
118
275
37
4,688
268,883
We're working on a new math font. It's a bit controversial, because people are used to classic serif math fonts. Ours is sans-serif, built from the monospace fonts in code editors
62
125
10
2,558
53,672
@illo is the designer behind it
2
24
2,513
Now you can move anything into an exponent in one click! While we're working on stuff like AI and computation, we keep polishing math typing. It should be as simple and fast as typing text, so small details like this matter.
4
6
2
128
5,167
Yes, you can return it back
6
526
You write e^iπ, and only the i ends up in the exponent. If you've ever written LaTeX, you've done this. In Corca, you select iπ, right-click, and move it to the exponent.
1
39
1,929
more replies
mx = −kx isn't Newton's law for a spring until the first x has two dots on it. Select it, right-click, and pick double dot. Now it reads mẍ = −kx.
1
1
102
v = v0 + at needs its 0 as a subscript. Select the 0, right-click, and pick to index, and it's v₀. That's the whole menu for now. If there's something else you'd want a right-click to do, tell us.
2
94
That being said, we linked variables and words! Right-click a word to link it to a variable. Hover over E, and “energy” lights up in the text. And the other way around.
Corca
@Corca_mathSep 28
Most people read E=mc² as “E equals m c squared.” It means energy equals mass times the speed of light squared. A lot of math is written for people who already know what the letters mean. We’ve been trying to fix that in our docs, starting with the letters.
11
916
Most people read E=mc² as “E equals m c squared.” It means energy equals mass times the speed of light squared. A lot of math is written for people who already know what the letters mean. We’ve been trying to fix that in our docs, starting with the letters.
1
3
61
3,492
The Navier-Stokes problem, been open 90 years: Can still water move infinitely fast if you push it? Yesterday, OpenAI said it can. We made an interactive Corca doc that walks through it: corca.app/doc/E38yHfvWHbBhy1…

Navier–Stokes Blowup: An Interactive Explainer

OpenAI announced an AI-generated disproof of the Navier-Stokes existence-and-smoothness problem, demonstrating that smooth initial data and a smooth force can lead to a finite-time blowup in veloci...

corca.app
OpenAI
@OpenAISep 8
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
1
6
788
Writing math on a computer is full of small stops. Three of them are gone this summer: 1. You almost never need the whole derivation. You need one step out of forty, fold the rest
3
1
64
5,308
2. Leaving the doc to convert a unit costs more than the conversion. So it happens in place now
1
10
707
3. Text and math shouldn't feel like two different documents. Right-click a word, and it becomes a variable
1
1
9
449
Math became a thing for people who can code, we don't think it has to be
2
39
3,765
Corca retweeted
Linus
@thesephistJul 28
The notational space of possibilities is so underexplored corca.app/doc/5n0iS7XZNzkKmL…

Designing a Math Notation System

Mathematical notation is being redesigned for computers, moving beyond traditional LaTeX fonts and paper-based constraints. Innovations include color-coding variables for clarity, as seen in the...

corca.app
21
14
9
288
24,189
here it is in Сorca: corca.app/doc/c2vSsvKZTHiwlJ…
levent
@__alpoge__Jul 20
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
1
2
1
19
1,850
Load more