They use the SPARK subset of Ada to develop the most critical parts of their DriveOS. This contributed to their success of getting DriveOS certified at the highest automotive safety standard, ASIL-D.
> This contributed to their success of getting DriveOS certified at the highest automotive safety standard, ASIL-D.
ASIL is just a risk classification scheme from A to D, with D being the highest risk of initial hazard.
TUD SUD certified that Drive OS is ISO-26262 complaint and that it can be used for a safety-critical application up to the highest risk context of ASIL-D (Think activating brakes on a AEB system, or deploying airbags).
I believe TIOBE counts by search activity for a given token. I.e. large search volume of the token "Ada" would show up in TIOBE, whether it is for the line of graphics cards from NVIDIA or the programming language.
i gave up on the problem about 18 months ago so i didn't keep up with the research area. is this yours? the runtimes are of course very good but i don't see a comparison on how good the approximation is vs telamalloc (or just ILP). i'll say this though: it's miraculuos that the impl is so small.
> Right now I'm looking into integrating it with IREE
clever guy. IREE is just about the only serious/available runtime where you can do this because IREE codegens the runtime calls as well as the kernel code. But you're gonna have to either patch an existing HAL or write a new one to accomplish what you want to accomplish. If you want I can help you - if you go to the discord (https://discord.gg/J68usspH) and ask about this in #offtopic I'll DM you and can point you to the right places.
And they usually looks and works like a Borg tentacles and assimilated production hardware, despite the "emulator" nomenclature, apparently by tradition from very early days of microprocessors when ICEs actually were alternate implementations for chips it emulates
It's interesting, first time I wrote C was after learning programming through Java. My "C" code was all new_<type>(..) .. I couldn't not think in Java syntax.
considering that there are about 300 million native Bengali speaking people in the world (mostly in Bangladesh, and West Bengal which is a state in India).
It's not how many people speak it. It's how many people want to learn it as a second language. How many people would be in a position to want to learn Bengali if they don't already live there?
The choice of Common Lisp is less flattering than one might hope because it was largely the result of familiarity (Carl de Marcken's doctoral thesis was in computational linguistics and he was most comfortable using Lisp). When I asked him (c. 2007) whether he would have chosen Common Lisp again, he said that he wouldn't have and that he would have chosen Java instead. I don't recall any mention of technical reasons during that exchange (maybe static analysis?), but I do vaguely recall hiring considerations.
(Also, while much of the "business logic" was written in Lisp, a good chunk of low-level stuff was written in C++.)
