July
@july
Damn this is pretty cool https://x.com/corca_math/status/1884749290607665504?s=46 https://corca.app/doc/45KghvqDJatmDv7T_MGhq
7 replies
5 recasts
54 reactions
Monteluna
@monteluna
There is a text editor for math though. Wolfram. Also there are programming languages that allow math typesetting, like Julia.
2 replies
0 recast
3 reactions
franco
@francos.eth
I usually use a combination of excalidraw and Julia with Pluto.jl for this type of work. However, it’s annoying that Pluto is a linear top-down notebook, requires technical knowledge to setup (not much but still) and work is separate between both tools. This looks great its combines both tools. They mention proving theorems but I see no mention of automated theorem provers like Lean or Agda. Hopefully they’ll integrate. Seems like python integration is coming though.
2 replies
0 recast
1 reaction
franco
@francos.eth
They specifically address your point on Wolfram: Others might ask about Wolfram or MatLab. But these aren’t math editors either—they’re tools designed for calculations, modeling, and data analysis. If you’re proving a theorem, exploring new ideas, or seeking the equation of everything, you’re still left with pen and paper.
1 reply
0 recast
0 reaction
Monteluna
@monteluna
Skill issue. People just don't RTFM its been in the language since I was in undergrad. Also, most of my programming track was from being around mathematicians and physicists who did exactly writing papers and proving theorems using Mathematica lol. People are just allergic to paying for software, but they will spend $2K on a MacBook. https://www.wolfram.com/language/fast-introduction-for-math-students/en/mathematical-typesetting/
1 reply
0 recast
0 reaction
franco
@francos.eth
I think you are missing the point. Of course it’s a skill issue lol the website says “So simple, a 5th grader can use it.” I too have worked with mathematicians and engineers at an AI research lab. I conducted research and taught in academia and later moved on to engineer AI systems at a unicorn startup in the US. My colleagues would say using Wolfram instead of open source, free tools is a skill issue lol. The point is this is not about you personal experience. There’s an audience for this simpler tools.
1 reply
0 recast
0 reaction
Monteluna
@monteluna
Ridiculous. People just don't want to support compiler engineers and programming language researchers who make good products. I just think it's hypocritical to buy MacBooks that are closed source and pay a premium over comparable products that can be modified and repaired, but draw the line on programming languages. 😂
1 reply
0 recast
0 reaction
