Re: Safer Linux Kernel Modules Using the D Programming Language

2023-01-10 Thread Siarhei Siamashka via Digitalmars-d-announce
On Monday, 9 January 2023 at 07:15:43 UTC, Walter Bright wrote: On 1/8/2023 8:31 PM, Siarhei Siamashka wrote: Yes, they are not baked into the ISO language standard. They can't be because the C semantics make it impossible. It's impractical to have this in the ISO standard, but surely not

Re: Safer Linux Kernel Modules Using the D Programming Language

2023-01-12 Thread Siarhei Siamashka via Digitalmars-d-announce
On Wednesday, 11 January 2023 at 09:44:27 UTC, Walter Bright wrote: Bounds checking in the Linux kernel is done by https://docs.kernel.org/dev-tools/kfence.html or Being sampling based, this is not good enough. I disagree. KFENCE is actually a perfect fit for what is needed for the Linux

Re: Safer Linux Kernel Modules Using the D Programming Language

2023-01-07 Thread Siarhei Siamashka via Digitalmars-d-announce
On Saturday, 7 January 2023 at 22:25:30 UTC, areYouSureAboutThat wrote: Well, the worlds most widely used source code revision control system, is written in C ;-) There are attempts to rewrite it in safer programming languages ;-) Such as https://github.com/Byron/gitoxide Let's see if the

Re: Safer Linux Kernel Modules Using the D Programming Language

2023-01-07 Thread Siarhei Siamashka via Digitalmars-d-announce
On Sunday, 8 January 2023 at 03:18:27 UTC, monkyyy wrote: On Sunday, 8 January 2023 at 02:15:27 UTC, areYouSureAboutThat wrote: C is not just a programming language anymore. It's a complete (and very diverse) ecosystem. No progress has been made for decades but that doesn't mean progress

Re: D Language Foundation Monthly Meeting Summary for December 2022

2023-01-23 Thread Siarhei Siamashka via Digitalmars-d-announce
On Saturday, 21 January 2023 at 04:29:28 UTC, Mike Parker wrote: Robert thinks Rust has won that game. We're the second person to the moon. Do you mean second to last? The safety offered by D language currently only looks good when compared to C/C++, but is worse than pretty much any of the

Re: WildCAD - a simple 2D drawing application

2023-01-29 Thread Siarhei Siamashka via Digitalmars-d-announce
On Monday, 30 January 2023 at 02:44:50 UTC, bachmeier wrote: if you put your code in directories that match the modules you want to import, there's no need for Dub and the corresponding poorly documented configuration. What is poorly documented? Can you suggest some documentation

Re: Safer Linux Kernel Modules Using the D Programming Language

2023-01-08 Thread Siarhei Siamashka via Digitalmars-d-announce
On Monday, 9 January 2023 at 03:54:32 UTC, Walter Bright wrote: Buffer overflows are trivial to have in C, and C has no mechanism to prevent them. ASAN, Valgrind, Clang Static Analyzer and plenty of other tools are the practical mechanisms to prevent buffer overflows. Yes, they are not baked

Re: Safer Linux Kernel Modules Using the D Programming Language

2023-01-08 Thread Siarhei Siamashka via Digitalmars-d-announce
On Monday, 9 January 2023 at 06:34:23 UTC, Paulo Pinto wrote: On Monday, 9 January 2023 at 04:31:48 UTC, Siarhei Siamashka ASAN, Valgrind, Clang Static Analyzer and plenty of other tools are the practical mechanisms to prevent buffer overflows. Yes, they are not baked into the ISO language

Re: D Language Foundation October 2023 Quarterly Meeting Summary

2023-12-10 Thread Siarhei Siamashka via Digitalmars-d-announce
On Sunday, 10 December 2023 at 15:08:05 UTC, Bastiaan Veelo wrote: 1) Missing `scope` storage class specifiers on `delegate` function arguments. This can be chalked down as a beginner error, but also one that is easy to miss. If you didn't know: without `scope` the compiler cannot be sure that