March 18
On Tuesday, 9 February 2021 at 10:10:05 UTC, IGotD- wrote:
> On Monday, 8 February 2021 at 11:09:49 UTC, Imperatorn wrote:
>> 2. Are there any plans to make a certified compiler?
>
> Just to put it into some perspective. I have worked with so called certified C/C++ compilers in the automotive industry. I remember encountered several bugs in those compilers as well they are usually far behind when adopting the new language standards. Compare this to GCC, when was the last time you encountered a bug in that compiler? I can't remember any.

You may mean different things by ‘certified’.

In some contexts, the term refers to a formally verified compiler, like, cakeml or compcert, which has been mathematically proven not to have any compilation bugs.  I would be inclined to trust such a compiler.
March 18
On Wednesday, 17 March 2021 at 21:37:01 UTC, Dukc wrote:
> On Wednesday, 17 March 2021 at 03:30:17 UTC, Lasheen wrote:
>>
>> where i can find a detailed tutorial that can help me to understand how to use D
>> in AI apps and specially when mission-critical system is needed.
>
> Not a tutorial, but Walter has written many articles that should hint towards the right mindset: https://digitalmars.com/articles/index.html
>
> Mission-critical systems are something I feel it is terribly difficult to find tutorials on. In any language, not just in D. One can learn by watching by following development of critical open-source projects - OpenSSL, Tor or different Unix kernels for example. But other than them, I feel critical systems design is an art that tends be locked in the proprietary world - correct me if I'm wrong.

That knowledge is available if one searches for it.

https://www.perforce.com/resources/qac/misra-c-cpp

https://frama-c.com/

https://www.rapitasystems.com/downloads/validation-cots-ada-compiler-safety-critical-applications

https://www.amazon.com/Real-Time-Critical-Systems-Prototype-Integration/dp/1984171992

https://dl.acm.org/doi/10.5555/111797.111813


Next ›   Last »
1 2 3 4 5