Rochus

> The question I have is why following established principles should matter Apparently I still don't understand your question, sorry. For what I understand, following established principles …

I think it's not more difficult than identifying representative user groups (at least five members per group) and defining typical tasks for a usability test, focussing on the specific features i…

I think, the first mark‑and‑sweep collector was published in McCarthy's 1960 Communications of the ACM paper "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Pa…

I didn't claim that usability features were "important to the successes of languages designed like Ada". But Ada at least explicitly considered human factors in their design (even if mo…

Earlier than the sixties? All elements of OOP were known before 1967, but their combination, which we still use today under the title OOP, appeared in Simula 67 for the first time. I think the first a…

> most things boil down to ideas from the 70's Rather from the sixties. E.g. OOP including dynamic dispatch, late binding, GC etc. appeared 1967 with Simula.

Perl presents a fascinating counterexample: Larry Wall, trained as a linguist, explicitly cared about human factors, but his linguistic philosophy produced a language that empirical tests show perform…

Niklaus Wirth designed Pascal (1970) with explicit pedagogical and human factors goals documented in his seminal paper "On the Design of Programming Languages". Wirth explicitly stated his b…

Cyclone was indeed a very interesting language. It's always surprising what ultimately prevails.

> These are all legitimate engineering tradeoffs Agree, and we actually have both the standards and established methods to conduct representative tradeoff studies. But this knowledge is mostly ig…

> Usability is similarly ill-defined and hard to measure. Human factors are very well studied and standardized, and there is a well-established discipline called "Human Factors Engineering&q…

The syntax is pretty relevant for the kind/compexity of the aspired music. The music from the examples is quite simple compared to what Soerensen does with his Lisp-like syntax. Strudel seems to …

Can it make music like e.g. Extempore (see https://www.youtube.com/playlist?list=PL_eJ0XdLbWzzq_03wTIMV... )? All examples I've heard from Strudel so far are pretty boring (consta…

The author's central claim is that AI is just an "averaging machine" that can only reproduce patterns. From that he seems to conclude that "AI will never create truly great music&q…

See https://news.ycombinator.com/item?id=45461480

That all sounds very interesting, but it goes far beyond the scope of my current concern with microkernels. At the moment, I am satisfied with extending a well-documented approach such as Minix with s…

That's interesting, thanks for the explanation and the references. Of course I agree with Parna's modularization principles, and having spent a lot of time with different versions of the Obe…

What's the core concept compared to other kernels?

Thanks for the hint. vocho/openqnx has about 200 forks, and many seem to have been maintained. The original vocho/openqnx repository is the result of the MONARTIS (MONitoring Application for…

The HongMeng kernel, performance wise, seems indeed to be in the same ballpark as sel4 or QNX, but it doesn't seem that it will be open-sourced.

> " it doesn't mean "I don't need to read the legal fine print, I can just go by my interpretation of the press release " That's not what I said. Anyway, I don't …

Are you a lawyer? USA law recognizes promissory estoppel, European laws provide protection by the good faith principle. The press release explicitly states that developers would have access to downloa…

It clearly states that the company made the referenced source code version available for free.

See https://www.openqnx.com/node/471 " Access to QNX source code is free, but commercial deployments of QNX Neutrino runtime components still require royalties, and commerci…

Nice article, interesting read. The Neutrino 6.4 version, which was made accessible as "openQNX" to the public, can still be downloaded from e.g. https://github.com/vocho…

> Go doesn't belong in this discussion.its a better java, c#, python and not much more. It doesn't work for 24/7 or for performance sensitive applications. The claim is factually b…

Thanks for the clarifications. May I ask what made you use Zig instead of e.g. Rust or C++ (or even Ada/SPARK)? I assume Go would be too undeterministic for real-time applications?

> The main idea is to avoid any graphical rendering and just work with data manipulation Which makes the engine much smaller and less complex than a "normal" browser.

Lightpanda looks interesting, thanks for the hint. According to public sources, behind the development is a company of 2-10 employees (like Bun). The engine uses parts of the Netsurf browser (written …