@Claudius maintains LispE and previously TAMGU at Naver, combining array and logic programming with Haskell features. (N.b. the wiki holds the documentation and articles.)
In this interview, we discuss Lisp and Prolog implementations, array languages, symbolic (GOFAI) and neuro-symbolic AI.
- software
- number of papers published
- patents
Now, patents or intellectual property aren't what most people think of. In industry, they function as tokens traded between companies for access to other technologies. But their importance is decreasing.
I've implemented a lot of software across these years. With my PhD in linguistics, I worked with linguists to speed tools up. As an example, on top of my PhD I wrote the Xerox Incremental Parser (XIP) (summarized here and implemented here) which could parse 3,000 words per second.
I've been dwelling on a comment of yours: