khinsen

7 ms·

1.
by khinsen 4y ago
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 who have never used a workbench for software and kno
2.
by khinsen 8y ago
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 from the rest of the universe. However, today's Pharo ha
3.
by khinsen 8y ago
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 it supposes significant prior knowledge of Pharo. Once you st
4.
by khinsen 8y ago
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
5.
by khinsen 10y ago
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...
6.
by khinsen 10y ago
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. Perhaps the most important difference (for me at least) is that
7.
by khinsen 10y ago
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 + term-to-be-reduced. If you want to compare to programming langu
8.
by khinsen 10y ago
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 "nabla v = 0" from some first princip
9.
by khinsen 10y ago
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 equations (and rules) to "reduce" a term,
10.
by khinsen 11y ago
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 should it be a problem for software? We have technologies for m
11.
by khinsen 11y ago
Your comment is a nice example of the frequent misunderstandings concerning bitwise reproducibility. My article argues that infrastructure tools (compilers, runtimes, ...) should ensure bitwise reproducibility, making it possible for a prog
12.
by khinsen 16y ago
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. BTW, I also follow some Haskell developments, in particula