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: Safer Linux Kernel Modules Using the D Programming Language

2023-01-08 Thread Walter Bright via Digitalmars-d-announce
On 1/8/2023 8:31 PM, Siarhei Siamashka wrote: 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

Re: Safer Linux Kernel Modules Using the D Programming Language

2023-01-08 Thread Walter Bright via Digitalmars-d-announce
On 1/8/2023 10:34 PM, Paulo Pinto wrote: The best part of memory safe systems programming languages is that many of those tools don't even have to exist, they are part of language semantics! Exactly! I once annoyed the Coverity folks by telling them that my goal with D was to make Coverity

Re: Safer Linux Kernel Modules Using the D Programming Language

2023-01-08 Thread Paulo Pinto via Digitalmars-d-announce
On Monday, 9 January 2023 at 04:31:48 UTC, Siarhei Siamashka wrote: 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

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 Walter Bright via Digitalmars-d-announce
On 1/7/2023 2:25 PM, areYouSureAboutThat wrote: In fact, C can be used in a perfectly memory safe manner. 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. The problem is that too few programmers know how to do that, and

Re: Update on my D game

2023-01-08 Thread thebluepandabear via Digitalmars-d-announce
On Friday, 6 January 2023 at 21:58:41 UTC, Kenny Shields wrote: Hello, Yesterday I released a major update to my D-based game that I've been working on for about a year now, you can read about it here:

Re: Update on my D game

2023-01-08 Thread Hipreme via Digitalmars-d-announce
On Friday, 6 January 2023 at 21:58:41 UTC, Kenny Shields wrote: Hello, Yesterday I released a major update to my D-based game that I've been working on for about a year now, you can read about it here:

Re: Memory Safer in a Systems Programming Language Part 3

2023-01-08 Thread matheus via Digitalmars-d-announce
On Thursday, 5 January 2023 at 12:10:10 UTC, Mike Parker wrote: I've just published the third and final article in Ate Eskola's series on memory safety in D. Parts 1 and 2 were primarily about DIP1000. In this post, he digs into function attribute inference. The blog:

Re: D Contributor Tutorials Part 1 - Building the Compiler From Source

2023-01-08 Thread matheus via Digitalmars-d-announce
On Sunday, 8 January 2023 at 11:27:14 UTC, Mike Parker wrote: ... Awesome and I'm looking forward to see some debugging in these series. Matheus.

Re: Memory Safer in a Systems Programming Language Part 3

2023-01-08 Thread Dukc via Digitalmars-d-announce
Thanks for Mike, he has done pretty much work in editing each of my posts and keeping everything in order. He's not employed as English teacher for nothing!

Re: D Contributor Tutorials Part 1 - Building the Compiler From Source

2023-01-08 Thread ryuukk_ via Digitalmars-d-announce
On Sunday, 8 January 2023 at 11:27:14 UTC, Mike Parker wrote: Have you ever considered hacking on the D compiler but were intimidated by the build process? Dennis Korpel has been working on a series of video tutorials aimed at helping potential contributors establish a foundation from which to

Re: D Contributor Tutorials Part 1 - Building the Compiler From Source

2023-01-08 Thread jmh530 via Digitalmars-d-announce
On Sunday, 8 January 2023 at 11:27:14 UTC, Mike Parker wrote: [snip] Thanks to Dennis for offering to put these videos together. Even a short video like this one takes a significant time investment to go from concept to publication. I'm certain there are people out there who will find them

Re: D Contributor Tutorials Part 1 - Building the Compiler From Source

2023-01-08 Thread Mike Shah via Digitalmars-d-announce
On Sunday, 8 January 2023 at 11:27:14 UTC, Mike Parker wrote: Have you ever considered hacking on the D compiler but were intimidated by the build process? Dennis Korpel has been working on a series of video tutorials aimed at helping potential contributors establish a foundation from which to

Re: D Contributor Tutorials Part 1 - Building the Compiler From Source

2023-01-08 Thread Salih Dincer via Digitalmars-d-announce
On Sunday, 8 January 2023 at 11:27:14 UTC, Mike Parker wrote: The next video will use this setup to start making changes to dmd. https://youtu.be/iLN4rQkk4Fs Thank you to everyone who contributed to presenting this series to us, especially to Dennis! Hope to see more videos like this...

D Contributor Tutorials Part 1 - Building the Compiler From Source

2023-01-08 Thread Mike Parker via Digitalmars-d-announce
Have you ever considered hacking on the D compiler but were intimidated by the build process? Dennis Korpel has been working on a series of video tutorials aimed at helping potential contributors establish a foundation from which to start contributing code. In this first tutorial of the