Live data from Hacker News

Introduce a memory safe compilation mode inspired by Fil-C

codeberg.org

11–20 of 49 posts

Re: Introduce a memory safe compilation mode inspired by Fil-C

#11
post #8

Fwiw andrewk seems to be deleting comments that criticize this approach. Not a good look on his part.

I did notice one comment that was there before but which is now gone. But it was a completely unserious and garbage comment (just a comment dissing Zig)

And now I see a bunch more comments that are just utterly toxic, which I also expect will be deleted.

Serious comments seem to be kept, even when they’re sceptical.

Re: Introduce a memory safe compilation mode inspired by Fil-C

#12

Zig main dev proposes to introduce a Fil-C like compilation mode to make zig safe: it's only natural to mention how that's different from Rust, right? What about all the other languages, Andrew? I'm tired to see zig head people trying to diss Rust whenever they can. It's annoying for people that enjoy both languages and it's really a hint of how toxic the zig community is.

They focus on Rust because it's the global standard everything is compared to these days. It would be good for it to have some competition, even if we also wish its critics were more careful in their phrasing.

Re: Introduce a memory safe compilation mode inspired by Fil-C

#13
post #3

Earlier quoted context omitted.

This is about a strictly-enforced form of run-time memory safety where there's no `unsafe` escape hatch that a careless programmer can misuse to undermine the memory safety mechanism. Contrasting with Rust is helpful to get that point across - which the body text of the issue does. I can't speak for Andrew, but I didn't read this as a "diss" at all.

Sure, the point makes sense but if that's the sole point I think communication is quite bad. Fil-C is memory-safe only if the whole stack is compiled with Fil-C: this does not hold for Rust which does not require to recompile every dependency. Some dependencies cannot even be recompiled. So it turns out this is not "unlike Rust", it's pretty much the same thing: if everything was built in safe rust, then it would be…

It would be more accurate to say Rust doesn't have the option of recompiling every dependency. If a safe Rust program links to an unsafe C module, that program is not memory safe. The "unsafe" on FFI code is not a joke.

Re: Introduce a memory safe compilation mode inspired by Fil-C

#15
post #8

Fwiw andrewk seems to be deleting comments that criticize this approach. Not a good look on his part.

For posterity here are some comments I’m curious if will be deleted

1.

> Id like a clarification on how this is safer than Rust?

(Seems reasonable enough)

2. meme image with the words “bait” and “retarded” - should be deleted

3.

> Funny how memory safety suddenly became a priority right after Bun moved to Rust. That feels like a pretty big departure from Zig's original philosophy.

> Someone's still pretty butthurt about Jared and the Bun team.

Just toxic negativity in my opinion. Author has clearly not followed Zig closely as memory safety has always been a priority as long as it doesn’t come at the expense of Zigs other more basic goals. This isn’t serious criticism and it’s completely valid to delete it. Andrew’s interest in Fil-C predates the Bun debacle AFAICT

Re: Introduce a memory safe compilation mode inspired by Fil-C

#16

Earlier quoted context omitted.

Sure, the point makes sense but if that's the sole point I think communication is quite bad. Fil-C is memory-safe only if the whole stack is compiled with Fil-C: this does not hold for Rust which does not require to recompile every dependency. Some dependencies cannot even be recompiled. So it turns out this is not "unlike Rust", it's pretty much the same thing: if everything was built in safe rust, then it would be…

> So it turns out this is not "unlike Rust", it's pretty much the same thing: if everything was built in safe rust, then it would be as safe. The communication of this point is not great at all, so much so I don't think it's purely informative. Safe Rust still basically always links against unsafe C libraries though. Fil-C will only link against libraries compiled with Fil-C which makes for a vastly stronger guarante…

IIUC Fil-C does not allow to freely write safe assembly language as well, right? From the inlineasm page, they say

> Parsing and analyzing the assembly. If it contains memory accesses, control flow, or anything we don't recognize, we reject it.

...But I'm no fil-c user nor expert so correct me if I'm wrong!

Re: Introduce a memory safe compilation mode inspired by Fil-C

#17
As a developer without deep know-how in low-level memory mgmt., what are the most promising (or actually working) approaches to safer memory mgmt. other than Rust's borrow checker? Is Rust's credited safe approach mainly due to the borrow checker approach or rather a mix with other language features?

Re: Introduce a memory safe compilation mode inspired by Fil-C

#18
post #10

Zig main dev proposes to introduce a Fil-C like compilation mode to make zig safe: it's only natural to mention how that's different from Rust, right? What about all the other languages, Andrew? I'm tired to see zig head people trying to diss Rust whenever they can. It's annoying for people that enjoy both languages and it's really a hint of how toxic the zig community is.

I spend quite a bit of time in the Zig community, more as an outsider as I don’t contribute very much. I really don’t see how you could find the community toxic unless you take everything they want to do differently from other languages (which may come along with some criticism - explicit or implicit) as some kind of toxic negativity? “I'm tired to see zig head people trying to diss Rust whenever they can.” I feel li…

> I really don’t see how you could find the community toxic unless you take everything they want to do differently from other languages (which may come along with some criticism - explicit or implicit) as some kind of toxic negativity?

You are right: I generalized way too much in my comment. I do not mean that all Zig communities are toxic, but at least the ones I read/participate into.

Re: Introduce a memory safe compilation mode inspired by Fil-C

#19
post #10

Zig main dev proposes to introduce a Fil-C like compilation mode to make zig safe: it's only natural to mention how that's different from Rust, right? What about all the other languages, Andrew? I'm tired to see zig head people trying to diss Rust whenever they can. It's annoying for people that enjoy both languages and it's really a hint of how toxic the zig community is.

I spend quite a bit of time in the Zig community, more as an outsider as I don’t contribute very much. I really don’t see how you could find the community toxic unless you take everything they want to do differently from other languages (which may come along with some criticism - explicit or implicit) as some kind of toxic negativity? “I'm tired to see zig head people trying to diss Rust whenever they can.” I feel li…

I'm pretty sure he posts about D on every language-related post; it's not just zig.

Re: Introduce a memory safe compilation mode inspired by Fil-C

#20
post #8

Fwiw andrewk seems to be deleting comments that criticize this approach. Not a good look on his part.

The Zig issue tracker is for technical discussion; you are more than welcome to engage and debate the idea on its merits. But we do indeed delete meta-commentary, wild speculation, and outright hostility.
Post reply on HN