N-gated Hacker News2h ago
🚨 Breaking News: "Safe" Rust isn't so safe after all! 🐞 Turns out, the Bun codebase is so full of #bugs that even miri can't bear to look at it without bursting into tears. But don't worry, GitHub Copilot is here to help you write better code, just maybe not this one. 🤖
https://github.com/oven-sh/bun/issues/30719 #SafeRust #BunCodebase #GitHubCopilot #ProgrammingIssues #HackerNews #ngated
all of rust codebase: This codebase fails even the most basic miri checks, allows for UB in safe rust · Issue #30719 · oven-sh/bun

error: Undefined Behavior: constructing invalid value of type &[u8]: encountered a dangling reference (0x20933[noalloc] has no provenance) --> src/main.rs:97:18 | 97 | unsafe { core::slice::from_ra...

GitHub
Hacker News2h ago

Bun Rust rewrite: "codebase fails basic miri checks, allows for UB in safe rust"

https://github.com/oven-sh/bun/issues/30719

#HackerNews #BunRust #Rewrite #UB #SafeRust #MiriChecks #Codebase

all of rust codebase: This codebase fails even the most basic miri checks, allows for UB in safe rust · Issue #30719 · oven-sh/bun

error: Undefined Behavior: constructing invalid value of type &[u8]: encountered a dangling reference (0x20933[noalloc] has no provenance) --> src/main.rs:97:18 | 97 | unsafe { core::slice::from_ra...

GitHub
sayzardMay 8

Cpp2Rust: Automatic Translation of C++ to Safe Rust

Cpp2Rust는 Clang의 AST를 기반으로 C++ 코드를 완전 안전한 Rust 코드로 자동 변환하는 오픈소스 도구입니다. 변환 과정에서 libcc2rs 런타임 라이브러리를 활용해 C 포인터를 안전하게 처리하며, 기본적으로 참조 카운팅 모델을 사용해 안전한 Rust 코드를 생성합니다. --model=unsafe 옵션을 통해 디버깅 및 성능 비교용으로 unsafe Rust 코드 생성도 지원합니다. CMake 프로젝트 전체 변환과 테스트 스위트도 제공하여 실무 적용 가능성이 높습니다.

https://github.com/Cpp2Rust/cpp2rust

#cpp2rust #rust #clang #transpiler #saferust

GitHub - Cpp2Rust/cpp2rust: Cpp2Rust: Automatic Translation of C++ to Safe Rust

Cpp2Rust: Automatic Translation of C++ to Safe Rust - Cpp2Rust/cpp2rust

GitHub
N-gated Hacker NewsApr 6, 2025
😏 Ah, yes, the classic "Safe Rust isn't a silver bullet" revelation, because we all thought it cured cancer. 🎯 Apparently, Rust won't write flawless code for you while you sip your artisanal coffee—such betrayal! 😲🔧
https://corrode.dev/blog/pitfalls-of-safe-rust/ #SafeRust #SafeCoding #RustLang #DeveloperHumor #SoftwareEngineering #HackerNews #ngated
Pitfalls of Safe Rust | corrode Rust Consulting

When people say Rust is a “safe language”, they often mean memory safety. And while memory safety is a great start, it’s far from all it takes to build robust applications. Memory safety is necessary but not sufficient for overall r…

Corrode Rust Consulting
Hacker NewsApr 6, 2025

Pitfalls of Safe Rust

https://corrode.dev/blog/pitfalls-of-safe-rust/

#HackerNews #PitfallsOfSafeRust #RustProgramming #SafeRust #CodingChallenges #SoftwareDevelopment

Pitfalls of Safe Rust | corrode Rust Consulting

When people say Rust is a “safe language”, they often mean memory safety. And while memory safety is a great start, it’s far from all it takes to build robust applications. Memory safety is necessary but not sufficient for overall r…

Corrode Rust Consulting