Safer Linux Kernel Modules Using the D Programming Language

[Paulo Pinto]

On Monday, 9 January 2023 at 20:07:01 UTC, areYouSureAboutThat 
wrote:
> On Monday, 9 January 2023 at 11:04:24 UTC, Patrick Schluter 
> wrote:
>> On Monday, 9 January 2023 at 09:08:59 UTC, areYouSureAboutThat 
>> wrote:
>>> On Monday, 9 January 2023 at 03:54:32 UTC, Walter Bright 
>>> wrote:
>>>>
>>>> Yes, as long as you don't make any mistakes. A table saw 
>>>> won't cut your fingers off if you never make a mistake, too.
>>>>
>>>
>>> And yet, people keep using them (table saws).
>>>
>>> Don't underestimate the level of risk humans are happily 
>>> willing to accept, in exchange for some personal benefit.
>>
>> and people literally kill themselves by overestimating their 
>> skills
>> https://youtu.be/wzosDKcXQ0I?t=441
>
> Wood is a conductor? I never knew that.
>
> And yet, @safe is still not the default ;-)

Because the DIP to make it default considered calling extern C 
code as "safe", thus voiding its guarantees.