News for hackers. Stuff that matters.
Re:A simplified model of Fil-C by foldr on Sunday April 19, 2026 @09:32AM (#47824205)
I am not sure what point you're trying to make. Who are the 'naysayers', and what are they saying 'nay' to? And what do they have to do with anything I commented on?
Re:A simplified model of Fil-C by pjmlp on Sunday April 19, 2026 @10:15AM (#47824470)
Anyone that downplays unsafe code blocks as it was a Rust invention, available nowhere else.

Then uses it as argument, that since Rust has unsafe, there is no benefit over using C or C++ with a plain static analysis tool, but a basic one, because they are unwilling to actually use the ones people pay for on high integrity computing certifications.

Your comment to me seemed a bit going towards that direction.

Re:A simplified model of Fil-C by foldr on Sunday April 19, 2026 @10:35AM (#47824621)
Hmm, no, my comment didn't say any of those things. Specifically, I did not comment on (and do not care if) unsafe blocks are a Rust invention, and I made no comparison between Rust and C or C++.
Re:A simplified model of Fil-C by pjmlp on Sunday April 19, 2026 @01:02PM (#47825737)
Maybe I misunderstood the point being made, then. Sorry about that.

https://news.ycombinator.com/item?id=47814965