Viewing profile — khinsen

I doubt there is a single good answer to that question. I'd call it a workbench for software and knowledge management, but I am well aware that this doesn't mean much for people wh…

I sympathize with your criticism, which reflects my first impressions of Smalltalk when I played with Smalltalk 80 on my Atari ST 25 years ago. An impressive system, but isolated f…

From my experience as a recent Pharo user (started in October 2018 with the Pharo MOOC), the two main issues with existing documentation are 1) Much of it is outdated. 2) Much of i…

There is a nice overview/demo, though unfortunately the quality of the video isn't great: https://www.youtube.com/watch?v=qeYEais1eT4&feature=youtu.be

My recent presentation on Leibniz may answer some questions that have remained open in this discussion: http://www.slideshare.net/khinsen/leibniz-a-digital-scientif...

Leibniz and Modelica indeed share the objective of writing digital scientific models rather than software. But the kind of information that can be expressed is quite different. Per…

You can indeed consider a context plus a term to be reduced as a program, which is executed by term reduction. But the unit of code in Leibniz is the context, not the context + ter…

In Leibniz, you wouldn't write only "nabla v = 0", but also what v is (by associating it with a sort), what properties v has (e.g. being positive), and how you actually obtained "n…

You don't "run" Leibniz code. Leibniz is not a programming language. A Leibniz context is more like a database of equations than like a program. You can use the database of equatio…

The analysis of the problem is good, but I am not convinced about the solution. There has never been a central hub for scientific papers, but that has never been a problem. Why sho…

Your comment is a nice example of the frequent misunderstandings concerning bitwise reproducibility. My article argues that infrastructure tools (compilers, runtimes, ...) should e…

I don't think I am among the "main" ones, but to answer your question: Python is what I use for doing research, Clojure is what I look at because there are lots of good ideas in it…