Rochus

42 ms·

961.
by Rochus 2y ago
This is already known for a long time; see also https://en.wikipedia.org/wiki/Biomolecular_condensate .
962.
by Rochus 2y ago
paywalled
963.
by Rochus 2y ago
Apparently they compare their JIT with the LuaJIT interpreter. I would be impressed if their JIT was 30% faster on average than LuaJIT in JIT mode. The Graal/Truffle generated VMs are much faster (see e.g. http://software.ro
964.
by Rochus 2y ago
> We implement LuaJIT Remake (LJR)[...] using Deegen. Across 44 benchmarks, LJR's interpreter is on average 179% faster than the official PUC Lua interpreter, and 31% faster than LuaJIT's interpreter. Well, LuaJIT in JIT mode
965.
by Rochus 2y ago
Well, if you just look at the numbers, this claim is obviously not supported. E.g. it is estimated that there are billions of lines of Java code still in development and operation worldwide; Java forces the programmer to use classes and obj
966.
by Rochus 2y ago
This conference paper is from 2005, not 2023, see https://link.springer.com/chapter/10.1007/978-3-540-32003-6_... Essentially it's a glorified pseudo random generator, like many of the algorithmic composition
967.
by Rochus 2y ago
Rather a debriefing than a postmortem (the author successfully finished the PhD).
968.
by Rochus 2y ago
I just used them as an example. The point is that if a newspaper article essentially corresponds to the Reuters (or any news agency's) news reports, why should I pay for the newspaper?
969.
by Rochus 2y ago
Journalists are interviewing each other, which is then presented as news and facts. Most journalists seem to have stopped presenting facts and fact based analyses anyway, and instead apparently want to involve themselves as a person and pas
970.
by Rochus 2y ago
(2016)
971.
by Rochus 2y ago
In theory, yes. But our society depends on and works with division of labor. Even science depends on it. Verifiability is a fundamental requirement in science, but barely anyone personally does or has the resources to do verification. Inste
972.
by Rochus 2y ago
There are of course also similar contributors in new media (e.g. all the traditional media having also their youtube channel), but there are also youtube channels which deliver reliable facts and good research and analysis. You just have to
973.
by Rochus 2y ago
Maybe the "traditional" media learn to go back to the facts, and away from opinions and moralizing. Otherwise, I continue to see no use for it.
974.
by Rochus 2y ago
That's interesting, thanks for the explanations. Which of the many OS text books do you think covers the topics you are confronted with in this projectk best (especially how to implement an efficient microkernel and integrated ipc)?
975.
by Rochus 2y ago
> My colleague wrote a short ebook and the intro has a good summary Can you recommend books or papers on how the kernel works, and what makes it better than e.g. L4/sel4 or Mach?
976.
by Rochus 2y ago
> Current attempt to open source is a desperate move by QNX as their market share is disappearing Are you sure they want to open source it? Is this just an assumption, or can you provide a reference? I actually tried to find out whethe
977.
by Rochus 2y ago
Interesting, but sounds like much more than a lifetime achievement. As far as I understand, it is written in Rust; this raises the question of whether there are significant differences to Redox OS, which seems to share most of the goals. Bu
978.
by Rochus 2y ago
He quit his job as a painter.
979.
by Rochus 2y ago
Interesting. And now what?
980.
by Rochus 2y ago
They haven't removed Fahrenheit 451 by Ray Bradbury.
981.
by Rochus 2y ago
Apparently K&R C (which was the version at the time of Kernighan's paper) wasn't good enough itself, and it's fair to say that ANSI C also borrowed features from Pascal (e.g. function prototypes). So the influence was mut
982.
by Rochus 2y ago
The success of the extensions added to UCSD, Apple, Lisa and Turbo Pascal demonstrate that Kernighan's findings, which only focused on Wirth's original Pascal, were not as wrong as you assume. Lisa, Turbo, Object and VAX Pascal es
983.
by Rochus 2y ago
> Brian W. Kernighan's excellent critique of Pascal Well, most of it was obsolete before the paper appeared (see Apple and Lisa Pascal), and the reason Pascal became very popular in the eighties was not the version Wirth created,
984.
by Rochus 2y ago
(1987)
985.
by Rochus 2y ago
What do you mean by "psycho-philosophical case studies"? Why do you think that you need Prolog for this? Are you familiar e.g. with CYC and their way of knowledge formalisation/representation? See e.g https://iral.
986.
by Rochus 2y ago
They presented a working version of the new Lions OS, for embedded and IoT systems, based on sel4. See https://www.youtube.com/watch?v=W8Ka_8kHTj4 and https://www.youtube.com/watch?v=loPlocTZEp0
987.
by Rochus 2y ago
(2010)
988.
by Rochus 2y ago
That's cool!
989.
by Rochus 2y ago
Are they included in https://browser.geekbench.com/search?q=RISC-V ? I dind't get any hits when searching e.g. for Rivos.
990.
by Rochus 2y ago
> The ACM canceled its involvement for excellent reasons which are worth reading Interesting, thanks for the hint; the paper is from 2000 though, and as it seems it would need an update; just checked e.g. the "roles" point an

More ›