4 ms·

A new programming language and tools for fact-checking

1 points by mimixco 6y ago

mimixco 6y ago
My name is David Bethune and I'm the founder of Mimix. My co-founder Rommel Martinez and I have spent the last year building an interpreter and hybrid database for a new text processing language called MSL. Today, we're delighted to show you a proof-of-concept application called Nebula[0] that lets you work with MSL and build your own cross-platform MSL apps with Electron and WebSockets. Our source code[1] is FOSS and we provide binaries for Linux, Mac, and Windows, along with a demo video[2] and comprehensive documentation[3]. TLDR: MSL is an imperative, functional, interpreted language that represents text documents and changes to them as a series of s-expressions. It serves as both a data representation format and a vector for sophisticated text analysis and transformation. Along with the language, a built-in hybrid database keeps track of immediate data values as well as changes over time. This enables new capabilities in text processing such as fact checking and fact correction, along with many others. A new programming language was necessary for several reasons, which I wrote about in a paper called Recipes for Research[4]. The Language Reference[5] for MSL and a Users Guide[6] and Developer Guide[7] for Nebula are online and in wiki form so they always have current information. The historical precedents for Mimix (including Vannevar Bush's Memex, after which our company is named) and its future applications are discussed in depth in the original whitepaper[8]. Rom and I are looking forward to hearing your questions and ideas. We welcome your comments. Thank you in advance for your time and consideration! [0] Binaries: https://github.com/themimixcompany/nebula/releases/tag/v2.0 https://github.com/themimixcompany/nebula/releases/tag/v2.0.... [1] Source: https://github.com/themimixcompany https://github.com/themimixcompany [2] Demo: https://youtu.be/2jX4dMp3Oxw https://youtu.be/2jX4dMp3Oxw [3] Documentation: https://wiki.mimix.io https://wiki.mimix.io [4] Recipes for Research: https://wiki.mimix.io/en/msl/intro https://wiki.mimix.io/en/msl/intro [5] MSL Language Reference: https://wiki.mimix.io/en/msl/specs https://wiki.mimix.io/en/msl/specs [6] Nebula Users Guide: https://wiki.mimix.io/en/nebula/user-guide https://wiki.mimix.io/en/nebula/user-guide [7] Nebula Dev Guide: https://wiki.mimix.io/en/nebula/dev-guide https://wiki.mimix.io/en/nebula/dev-guide [8] Whitepaper: https://mimix.io/wp-content/uploads/2018/08/On-Mimix-v1.3.pd https://mimix.io/wp-content/uploads/2018/08/On-Mimix-v1.3.pd... Previous Related Posts [9] Nebula 1.0: https://news.ycombinator.com/item?id=23043417 https://news.ycombinator.com/item?id=23043417 [10] Getting to Xanadu: https://news.ycombinator.com/item?id=18635123 https://news.ycombinator.com/item?id=18635123 [11] Everything Old Isn't New Again (Yet): https://news.ycombinator.com/item?id=18373446 https://news.ycombinator.com/item?id=18373446

1 points by mimixco 6y ago

My name is David Bethune and I'm the founder of Mimix. My co-founder Rommel Martinez and I have spent the last year building an interpreter and hybrid database for a new text processing language called MSL. Today, we're delighted to show you a proof-of-concept application called Nebula[0] that lets you work with MSL and build your own cross-platform MSL apps with Electron and WebSockets. Our source code[1] is FOSS and we provide binaries for Linux, Mac, and Windows, along with a demo video[2] and comprehensive documentation[3]. TLDR: MSL is an imperative, functional, interpreted language that represents text documents and changes to them as a series of s-expressions. It serves as both a data representation format and a vector for sophisticated text analysis and transformation. Along with the language, a built-in hybrid database keeps track of immediate data values as well as changes over time. This enables new capabilities in text processing such as fact checking and fact correction, along with many others. A new programming language was necessary for several reasons, which I wrote about in a paper called Recipes for Research[4]. The Language Reference[5] for MSL and a Users Guide[6] and Developer Guide[7] for Nebula are online and in wiki form so they always have current information. The historical precedents for Mimix (including Vannevar Bush's Memex, after which our company is named) and its future applications are discussed in depth in the original whitepaper[8]. Rom and I are looking forward to hearing your questions and ideas. We welcome your comments. Thank you in advance for your time and consideration! [0] Binaries: https://github.com/themimixcompany/nebula/releases/tag/v2.0 https://github.com/themimixcompany/nebula/releases/tag/v2.0.... [1] Source: https://github.com/themimixcompany https://github.com/themimixcompany [2] Demo: https://youtu.be/2jX4dMp3Oxw https://youtu.be/2jX4dMp3Oxw [3] Documentation: https://wiki.mimix.io https://wiki.mimix.io [4] Recipes for Research: https://wiki.mimix.io/en/msl/intro https://wiki.mimix.io/en/msl/intro [5] MSL Language Reference: https://wiki.mimix.io/en/msl/specs https://wiki.mimix.io/en/msl/specs [6] Nebula Users Guide: https://wiki.mimix.io/en/nebula/user-guide https://wiki.mimix.io/en/nebula/user-guide [7] Nebula Dev Guide: https://wiki.mimix.io/en/nebula/dev-guide https://wiki.mimix.io/en/nebula/dev-guide [8] Whitepaper: https://mimix.io/wp-content/uploads/2018/08/On-Mimix-v1.3.pd https://mimix.io/wp-content/uploads/2018/08/On-Mimix-v1.3.pd... Previous Related Posts [9] Nebula 1.0: https://news.ycombinator.com/item?id=23043417 https://news.ycombinator.com/item?id=23043417 [10] Getting to Xanadu: https://news.ycombinator.com/item?id=18635123 https://news.ycombinator.com/item?id=18635123 [11] Everything Old Isn't New Again (Yet): https://news.ycombinator.com/item?id=18373446 https://news.ycombinator.com/item?id=18373446