Corca Science (@corcasci) profile picture
Joined May 2026
Photo by Corca Science (@corcasci)Photo by Corca Science (@corcasci)Photo by Corca Science (@corcasci)Photo by Corca Science (@corcasci)Photo by Corca Science (@corcasci)Photo by Corca Science (@corcasci)Photo by Corca Science (@corcasci)Photo by Corca Science (@corcasci)Photo by Corca Science (@corcasci)Photo by Corca Science (@corcasci)
CorTeX's WYSIWYG LaTeX editor supports cell-level sync between the editor and the PDF preview.
2
23
2
248
13,988
Symbol-level bidirectional sync
1
6
1,074
Well-made Markdown editors suchas Obsidian and Typora feel comfortable touse in ways that can be hard to pinpoint. There are many reasons, butone that stands out is how carefully theyhandle caret navigation. wiki.g15e.com/en/pages/Caret…
1
242
Compiling and rendering a 350-page book in real time. It's not fast enough yet, but it's usable. Recorded on a 2022 MacBook Air M2. (The book is *The Dao of Functional Programming* by @BartoszMilewski.)
1
1
347
When the caret is placed on a blank line between two paragraphs while editing LaTeX, a small line is also shown at the same position in the PDF preview. A small but convenient detail.
1
3
868
An interactive LaTeX tutorial where you can follow along by typing code directly in your browser. Share it with juniors who are writing their first STEM paper. You can learn the core concepts and syntax of LaTeX in under an hour. Link in the comments.
1
1
5
945
CorTeX's LaTeX editor now displays the numbers assigned to \cite{...}, such as "[1]" and "[2]", as inlay hints and tooltips.
1
1
576
Word-level automatic highlighting between the LaTeX Visual Editor, Source Editor, and PDF Preview.
124
CorTeX now supports multiple monitors. Use the entire screen of your second monitor to preview your PDF.
1
666
Open a Markdown file and share it in a sec for collaborative editing. 1. Open cortex.corca.ai/try/md 2. A blank doc opens, and the URL changes. 3. Copy the URL and share. Anyone with the URL can edit. 4. The doc is kept for 24 h after its last edit. Log in to make it permanent.
2
1
200
Open a Typst file and share it in a sec for collaborative editing. 1. Open cortex.corca.ai/try/typst 2. A blank doc opens, and the URL changes. 3. Copy the URL and share. Anyone with the URL can edit. 4. The doc is kept for 24 h after its last edit. Log in to make it permanent.
1
2
229
OpenAI's LaTeX editor Prism is shutting down on January 1, 2027. Here's a far better alternative with near-real-time compilation (< 0.05 s), a high-fidelity WYSIWYG editor, Typst support, a Zotero-like library management system, and more: cortex.corca.ai
1
1
363
Editing Markdown tables should be as easy as editing Excel spreadsheets. Here's the version I'm working on.
1
1
5
1,538
Also supported in the LaTeX editor, with a compilation time of > 0.05s.
135
CorTeX now supports Typst, with real-time collaboration, LSP support, a WYSIWYG editor, GitHub integration, and more.
1
1
1
3
632
Working on CorTeX-GitHub integration. FYI, CorTeX is ultrafast LaTeX editor compiles less then 50ms.
1
1
1,064
Try CorTeX here. It's free, and no login is required: cortex.corca.ai/try
86
Now, CorTeX renders Mermaid using Pele. It's faster, lighter, and prettier. Thanks @kepano.
This is Pele, my new rendering library for diagrams and charts, compatible with the latest Mermaid syntax. - 100-500× faster than mermaid.js - 6× smaller bundle - No dependencies - Easy to theme - Responsive to device width In pursuit of making Obsidian insanely fast and cohesively designed, I always found the Mermaid library to be too big, too slow, and too hard to theme. Pele will be the new renderer in the next version of Obsidian, but you can start using it now. Pele [ˈpɛlɛ] is named after the goddess of volcanoes and fire. It's open source under the MIT license. Try the playground!
1
1
7
1,197
Switching between multiple documents, this time with a ruler 📐 at the top of the screen.
1
1
1
502
Unobtrusive markdown editor is now online: cortex.corca.ai/try/README.m…
Experimenting with a new Markdown editor that has minimal annoying layout shifts.
1
1
4
722
Working on Excel-like table editor. Not released yet
1
497