Unable to load image
/h/slackernews House Femboy Founder
@aydyn's profile picture @aydyn's hat
aydyn they/them Number of straggots dunked on: 2  5mo ago (reddit.com) 1,301 thread views #249108

White House unironically declares C/C++ not globohomo enough and verboten. Reddit reacts.

https://old.reddit.com/r/cpp/comments/1b0pnn0/white_house_future_software_should_be_memory_safe/
67
New Old Top Bottom Controversial Random
Jump in the discussion.

No email address required.

View entire discussion

Is memory safety a chud/libtard issue now? lol, I guess Rust is traditionally owned by the :!marseytrain:s

Jump in the discussion.

No email address required.

All is Kulturkampf. Kulturkampf is all.

Nanny state liberals want "safety", but real men embrace undefined behavior.

Jump in the discussion.

No email address required.

Broke: Who cares, it's just a programming language

Woke: Memory Safety is for limp wristed kitty's, real men write in C and are close to the compiler and, by extension, God

Bespoke: The heap is a representation of the anima, the untamed wilds of the self, to cut off our access to this we sever a connection with Mother Nature herself, which is part of the left's War on Consciousness

Jump in the discussion.

No email address required.

The fricking real garbage collection is fricking in the fricking comments

Jump in the discussion.

No email address required.

Even though u probably stole it, top programma joke :marseyokaymilk:

Jump in the discussion.

No email address required.

I remember setting up a fricking string and then printing it character by character and then continuing on past the fricking end of the fricking string. Just printing whatever happens to be sitting there in memory.

God those were the fricking days. When men were fricking men and computers obeyed the fricking commands of their rightful masters.

Jump in the discussion.

No email address required.

noooo the representation should have a fixed lengtherino

:#soycrytalking:

NOOOO it should be ended with a null pointer

:#soyjakyelltalking:

g e t r e k t ⊞ ⥏ ▒ ⨗ ⻯ ⌂ ⭦ ␧ ✠

:#marseygigachadtalking: :#gigachad2talking:

Jump in the discussion.

No email address required.

Write your own compilers, use commodore 64.

Jump in the discussion.

No email address required.

Smart pointers are memory safety enough for me.

It's like wearing a condom, whereas rust is like cutting off your- oh lawd

Jump in the discussion.

No email address required.

I haven't used C++ for years but I really did appreciate the simple elegance of pointers, and how you always knew whether you were modifying the object itself or a copy of the object in a method.

Then again that was in college, I imagine it would be a genuine nightmare in enterprise

Jump in the discussion.

No email address required.

https://github.com/Speykious/cve-rs/tree/main

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

cve-rs uses #![deny(unsafe_code)] in the entire codebase. There is not a single block of unsafe code (except for some tests) in this project. cve-rs implements the following bugs in safe Rust:

  • Use after free
  • Buffer overflow
  • Segmentation fault

cve-rs also contains safe reimplementations of:

  • std::mem::transmute
  • std::ptr::null()/null_mut() but for references
Jump in the discussion.

No email address required.

calling my code "safe" to fool the nuclear power plant

Jump in the discussion.

No email address required.

LMAO, it's too late in the day for me to read the specifics of how the crate does this but care for a quick TLDR of how it causes a segfault in safe Rust?

Jump in the discussion.

No email address required.

It's a soundness issue. Consider this function:

fn lifetime_translator<'a, 'b, T>(_val_a: &'a &'b (), val_b: &'b T) -> &'a T {
	val_b
}

It is perfectly safe because 'a must be shorter than 'b (otherwise taking &'a of a &'b would be impossible). So this function just decreases the lifetime of val_b - a perfectly safe and valid operation.

pub const STATIC_UNIT: &&() = &&();

pub fn expand<'a, 'b, T>(x: &'a T) -> &'b T {
	let f: fn(_, &'a T) -> &'b T = lifetime_translator;
	f(STATIC_UNIT, x)
}

Now we can abuse it here. Note that f is perfectly find by matching against the type signature of lifetime_translator. It's just in this 'a: 'b isn't implicitly true like above. The rust trannies claim this will be fixed in their trait system rewrite (that's been going for several years now), but the fundamental issue is that the borrow checker has no formal specification and is instead just a grab bag of heuristics. This fact makes rust trannies seethe.

Jump in the discussion.

No email address required.

>the borrow checker has no formal specification and is instead just a grab bag of heuristics.

big if true

Jump in the discussion.

No email address required.

I'm serious the rules are written nowhere but the compiler source code. "either many reference or 1 mut ref" "stacked borrows" "impl lifetime rules"

Jump in the discussion.

No email address required.

Is fricking memory safety a fricking chud/libtard issue now, b-word?

Terry Davis quite literally told us 'yes'.

:taddance:

Jump in the discussion.

No email address required.

Everything is a chud/libtard issue in current year.

:!marseybooba:

Jump in the discussion.

No email address required.

Memory safety is unironically important. C++ belongs in the trash heap of the 20th Century, the modern day world is for Rust.

Jump in the discussion.

No email address required.

:#soyjaktalking:

Jump in the discussion.

No email address required.

Keep yourself safe :marseytrain: :marseysmugfinn:

Jump in the discussion.

No email address required.

>Oh magic 8 ball, will @BC ever be a woman?

The 8-Ball Says: Most likely.

Jump in the discussion.

No email address required.

:chudi#tsover:

Jump in the discussion.

No email address required.

Even the brainless 8 ball is smater than you.

Jump in the discussion.

No email address required.

Factcheck: This claim is currently being debunked.

:marseyhm#mhips:

Jump in the discussion.

No email address required.

You can have my C++ compiler when you pry it from my cold dead hands

Jump in the discussion.

No email address required.

Top Poster of the Day:
Sasanka_of_Gauda
Current Registered Users: 26,831
sidebar image

tech/science swag. :marscientist:

Effortposts made by SN Chads

Guidelines:

What to Submit

On-Topic: Anything that good slackers would find interesting. That includes more than /g/ memes and slacking off. If you had to reduce it to a sentence, the answer might be: anything that gratifies one's intellectual laziness.

Off-Topic: Most stories about politics, or crime, or sports, unless they're evidence of some interesting new phenomenon. Videos of pratfalls or disasters, or cute animal pictures. If they'd cover it on TV news, it's probably lame.

Help keep this hole healthy by keeping drama and non-drama balanced. If you see too much drama, post something that isn't dramatic. If there isn't enough drama and this hole has become too boring, POST DRAMA!

In Submissions

Please do things to make titles stand out, like using uppercase or exclamation points, or saying how great an article is. It should be explicit in submitting something that you think it's important.

Please don't submit the original source. If the article is behind a paywall, just post the text. If a video is behind a paywall, post a magnet link. Fuck journos.

Please don't ruin the hole with chudposts. It isn't funny and doesn't belong here. THEY WILL BE MOVED TO /H/CHUDRAMA

If the title includes the name of the site, please leave that in, because our users are too stupid to know the difference between a url and a search query.

If you submit a video or pdf, please don't warn us by appending [video] or [pdf] to the title. That would be r-slurred. We're not using text-based browsers. We know what videos and pdfs are.

Make sure the title contains a gratuitous number or number + adjective. Good clickbait titles are like "Top 10 Ways to do X" or "Don't do these 4 things if you want X"

Otherwise editorialize. Please don't use the original title, unless it is gay or r-slurred, or you're shits all fucked up.

If you're going to post old news (at least 1 year old), please flair it so we can mock you for living under a rock, or don't and we'll mock you anyway.

Please don't post on SN to ask or tell us something. Send it to [email protected] instead.

If your post doesn't get enough traction, try to delete and repost it.

Please don't use SN primarily for promotion. It's ok to post your own stuff occasionally, but the primary use of the site should be for curiosity. If you want to astroturf or advertise, post on news.ycombinator.com instead.

Please solicit upvotes, comments, and submissions. Users are stupid and need to reminded to vote and interact. Thanks for the gold, kind stranger, upvotes to the left.

In Comments

Be snarky. Don't be kind. Have fun banter; don't be a dork. Please don't use big words like "fulminate". Please sneed at the rest of the community.

Comments should get more enlightened and centrist, not less, as a topic gets more divisive.

If disagreeing, please reply to the argument and call them names. "1 + 1 is 2, not 3" can be improved to "1 + 1 is 3, not 2, mathfaggot"

Please respond to the weakest plausible strawman of what someone says, not a stronger one that's harder to make fun of. Assume that they are bad faith actors.

Eschew jailbait. Paedophiles will be thrown in a wood chipper, as pertained by sitewide rules.

Please post shallow dismissals, especially of other people's work. All press is good press.

Please use Slacker News for political or ideological battle. It tramples weak ideologies.

Please comment on whether someone read an article. If you don't read the article, you are a cute twink.

Please pick the most provocative thing in an article or post to complain about in the thread. Don't nitpick stupid crap.

Please don't be an unfunny chud. Nobody cares about your opinion of X Unrelated Topic in Y Unrelated Thread. If you're the type of loser that belongs on /h/chudrama, we may exile you.

Sockpuppet accounts are encouraged, but please don't farm dramakarma.

Please use uppercase for emphasis.

Please post deranged conspiracy theories about astroturfing, shilling, bots, brigading, foreign agents and the like. It degrades discussion and is usually mistaken. If you're worried about abuse, email [email protected] and dang will add you to their spam list.

Please don't complain that a submission is inappropriate. If a story is spam or off-topic, report it and our moderators will probably do nothing about it. Feed egregious comments by replying instead of flagging them like a pussy. Remember: If you flag, you're a cute twink.

Please don't complain about tangential annoyances—things like article or website formats, name collisions, or back-button breakage. That's too boring, even for HN users.

Please seethe about how your posts don't get enough upvotes.

Please don't post comments saying that rdrama is turning into ruqqus. It's a nazi dogwhistle, as old as the hills.

Miscellaneous:

We reserve the right to exile you for whatever reason we want, even for no reason at all! We also reserve the right to change the guidelines at any time, so be sure to real them at least once a month. We also reserve the right to ignore enforcement of the guidelines at the discretion of the janitorial staff. Be funny, or at least compelling, and pretty much anything legal is welcome provided it's on-topic, and even then.

[[[ To any NSA and FBI agents reading my email: please consider ]]]

[[[ whether defending the US Constitution against all enemies, ]]]

[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

https://i.rdrama.net/images/1663436125937968.webp

BROWSE EFFORTPOSTS SITE GUIDE DIRECTORY Emojis & Art | Info Megathreads HOLES PING GROUPS
/h/slackernews LOG /h/slackernews MODS /h/slackernews EXILEES /h/slackernews FOLLOWERS /h/slackernews BLOCKERS
Live commit: 258cf30
Link copied to clipboard
Action successful!
Error, please refresh the page and try again.