[{"data":1,"prerenderedAt":283},["ShallowReactive",2],{"project-29419039":3},{"id":4,"name":5,"line":6,"line_source":7,"title":8,"url":9,"domain":10,"maker":11,"posted_at":12,"year":13,"points":14,"comments":15,"rank_in_year":16,"shown_in_year":17,"top":18,"tier":19,"category":20,"subcategory":21,"format":22,"keywords":23,"reception":29,"sentiment":30,"stance_mix":31,"scored_comments":35,"aspects":36,"strip":42,"post_text":44,"what":45,"said":85,"maker_in_thread":175,"shape":180,"grid":184,"attempts":239,"same_week":246,"maker_shows":196,"maker_hidden":275,"reader_version":276,"card":277},"29419039","MathLingua","A Structured Language of Mathematics","title","Show HN: MathLingua – A Structured Language of Mathematics","https:\u002F\u002Fwww.mathlingua.org","mathlingua.org","CatsAreCool",1638465162,2021,97,23,541,2533,22,"notable","languages","markup language for mathematics","other",[24,25,26,27,28],"mathematics","formal definitions","theorem notation","math markup","structured math","curious",0.146,{"positive":32,"neutral":33,"mixed":34,"critical":34},4,8,1,14,{"design":37,"idea":40,"docs":41},{"positive":38,"critical":39},3,0,{"positive":34,"critical":39},{"positive":39,"critical":34},[39,38,39,43,39,38,39,38,43,43,39,38,39,38,39,38,38,38,39,43,34,38,39],5,null,{"problem":46,"audience":56,"pricing":44,"motivation":68,"time_to_build":44,"stack":77,"openness":84,"stage":84,"team_size":84},{"value":47,"source":48,"evidence":49},"Describing mathematical definitions and theorems in a precise, readable structured form","maker",[50,53],{"id":51,"by":11,"text":52},"29423435","This is the creator of MathLingua, a unique language for easily describing mathematical definitions, theorems, axioms, and conjectures. It is unique from LaTeX and theorem…",{"id":54,"by":11,"text":55},"29433745","It is similar. However, where omdoc seems to focus on storing math concepts in a precise way, it’s focus doesn’t appear to be on easily hand writing concepts in that format.…",{"value":57,"source":58,"evidence":59},"Mathematicians and students who want structured, cross-referenced math","inferred",[60,64],{"id":61,"by":62,"text":63},"29426809","clavalle","I come from a very practical engineering math background. I am really excited about this project because it makes it very clear how everything hangs together in a way that I…",{"id":65,"by":66,"text":67},"29425674","crvdgc","This is great. You can easily look up a definition within a definition. No more context switching when trying to find Theorem 17.23, and then Definition 2.7.",{"value":69,"source":48,"evidence":70},"Make math easier to write, read, and explore; make concepts machine-understandable",[71,74],{"id":72,"by":11,"text":73},"29426055","I’m glad you like it. One of the goals is to make discovering math easy and fun, in particular exploring theorems and definitions.",{"id":75,"by":11,"text":76},"29433686","That is correct, and the structure allows for computers to better understand the meaning of the math concepts being described, which opens the door to different analyses that can…",[78],{"value":79,"source":48,"evidence":80},"KaTeX (for rendering expressions)",[81],{"id":82,"by":11,"text":83},"29426024","Yes, you can. MathLingua makes no assumptions about what symbols are used to represent different math operations (other than KaTeX is used to render expressions and so you need…","unknown",{"praise":86,"objections":101,"requests":114,"questions":133,"alternatives":145},[87,97],{"value":88,"source":89,"evidence":90},"Clear visual structure and easy cross-referencing of definitions","commenter",[91,92,93],{"id":61,"by":62,"text":63},{"id":65,"by":66,"text":67},{"id":94,"by":95,"text":96},"29425433","triclops200","Awesome project: I love the fact that you can click grab definitions, would make learning new symbols in a field a breeze. Question, though: is there a way to add custom…",{"value":98,"source":89,"evidence":99},"Useful for learning new symbols and notation",[100],{"id":94,"by":95,"text":96},[102,108],{"value":103,"source":48,"evidence":104},"Does not yet support reverse lookup from symbol to meanings",[105],{"id":106,"by":11,"text":107},"29426039","I haven’t added a reverse lookup yet where you provide a symbol and can find all things that the symbol can represent, but it is on the roadmap.",{"value":109,"source":48,"evidence":110},"Screen reader output not yet implemented",[111],{"id":112,"by":11,"text":113},"29433633","Great feedback. This is one of the areas that I designed MathLingua to help with. Every definition has a ‘written:’ section describing how to express the math idea on paper and a…",[115,119,126],{"value":116,"source":48,"evidence":117},"Reverse lookup of symbols",[118],{"id":106,"by":11,"text":107},{"value":120,"source":89,"evidence":121},"Accessibility support for blind users",[122],{"id":123,"by":124,"text":125},"29428771","silasdb","Great project. BTW, I'm more and more interested in how to produce math for blind people. Although there is some recommendation about writring math in MathML, few (none?)…",{"value":127,"source":89,"evidence":128},"Formal verification of definitions and theorems",[129],{"id":130,"by":131,"text":132},"29427780","robinzfc","This is very similar to Isabelle's Isar [1], except that Isar definitions and theorems can be formally verified. MMathLingua has no doubt a much better presentation layer for…",[134,138],{"value":135,"source":89,"evidence":136},"Can custom symbol definitions be added for field-specific notation?",[137],{"id":94,"by":95,"text":96},{"value":139,"source":89,"evidence":140},"Does it handle ambiguity and standardize expressions?",[141],{"id":142,"by":143,"text":144},"29427635","igorkraw","Does this handle ambiguity in definitions\u002Fstandardization of expressions? Like, if I define entropy H(q,p) with mesures q (X), p(X) and with mesures a (y),b(y) , can I use the…",[146,150,157,164,171],{"value":147,"source":89,"evidence":148},"Isabelle\u002FIsar",[149],{"id":130,"by":131,"text":132},{"value":151,"source":89,"evidence":152},"OpenMath \u002F OMDoc \u002F sTeX",[153],{"id":154,"by":155,"text":156},"29428153","chriswarbo","Seems similar to http:\u002F\u002Fopenmath.org e.g. https:\u002F\u002Fwww.omdoc.org\u002Fabout\u002F https:\u002F\u002Fkwarc.info\u002Fsystems\u002FsTeX",{"value":158,"source":89,"evidence":159},"Lean",[160],{"id":161,"by":162,"text":163},"29427136","est","The next natural step would be write down all theorems from kindergarten to undergrad and make them reproduciable with http:\u002F\u002Fleanprover.github.io\u002F",{"value":165,"source":89,"evidence":166},"Coq tactics language",[167],{"id":168,"by":169,"text":170},"29426938","tombert","Oh my goodness, this is awesome. It's like the tactics language of Coq, but less irritating and pretty formatting. I will be recommending this to everyone!",{"value":172,"source":48,"evidence":173},"LaTeX",[174],{"id":51,"by":11,"text":52},{"comments":33,"answered":32,"key":176},[177,178,179],{"id":51,"text":52},{"id":82,"text":83},{"id":106,"text":107},{"commenters":181,"max_depth":38,"maker_replies":33,"first_comment_mins":182,"lifespan_hours":183},15,296,26,[185,187,189,191,194,195,197,201,203,205,206,208,210,211,213,214,215,219,224,227,229,234,238],[51,39,39,186,11,34],"project\u002Fneutral\u002Fidea",[94,34,38,188,95,39],"project\u002Fneutral\u002Fdesign",[82,34,39,190,11,34],"project\u002Fpositive\u002Fdesign",[192,34,43,193,95,39],"29430460","maker\u002Fpositive\u002Fdesign",[106,34,39,188,11,34],[161,196,38,186,162,39],2,[198,196,39,199,200,39],"29428133","other\u002Fneutral\u002Fnone","vixen99",[130,38,38,202,131,39],"project\u002Fmixed\u002Fidea",[61,32,43,204,62,39],"project\u002Fpositive\u002Fidea",[65,43,43,190,66,39],[72,43,39,207,11,34],"maker\u002Fpositive\u002Fidea",[154,209,38,186,155,39],6,[54,209,39,204,11,34],[123,212,38,186,124,39],7,[112,212,39,186,11,34],[142,33,38,186,143,39],[216,217,38,188,218,39],"29428282",9,"derived_lush",[220,221,38,222,223,39],"29427386",10,"project\u002Fneutral\u002Fnone","cloudhan",[225,221,39,226,11,34],"29433658","maker\u002Fneutral\u002Fnone",[168,228,43,190,169,39],11,[230,231,34,232,233,39],"29427643",12,"project\u002Fcritical\u002Fdocs","mkl",[235,236,38,186,237,39],"29429184",13,"gnull",[75,236,39,204,11,34],[240,245],{"id":241,"t":242,"points":243,"comments":244},"23960662",1595802560,94,46,{"id":4,"t":12,"points":14,"comments":15},[247,252,257,261,266,271],{"id":248,"name":249,"points":250,"category":251},"29461735","Modern Wiki",979,"productivity",{"id":253,"name":254,"points":255,"category":256},"29425735","Emoji to Scale",713,"learning_science",{"id":258,"name":259,"points":260,"category":256},"29488511","Scale of the Universe 2",276,{"id":262,"name":263,"points":264,"category":265},"29428910","Deep Dreams",237,"ai",{"id":267,"name":268,"points":269,"category":270},"29464889","Straw.page",210,"web_saas",{"id":272,"name":273,"points":274,"category":256},"29437527","UI\u002FUX Tips book",198,false,"v2",{"id":278,"name":5,"line":6,"ai":275,"cat":20,"year":13,"points":14,"comments":15,"rec":29,"s":279,"top":18,"kw":280,"maker":11,"domain":10,"tier":19,"attempts":196,"strip":281,"url":9,"mix":282,"praise":88,"objection":103,"sub":21},29419039,0.15,[24,25,26,27,28],"03050303550303033305130",[32,33,34,34],1794036613815]