https://www.facebook.com/share/p/18gqsaNcLm/

Jak elegantně vyřešit Velké náměstí v HK. Z diskusí na FB zbývá ještě doplnit Kaufland a propojit s kostelem, aby se při bohoslužbách nemuselo z aut vůbec vystupovat.

#hradeckralove #autosalonRepubliky #unsustainable #unsafe #parkovaciSocialismus #CarBrain

Bullying Persists

When a family runs on scapegoating, the child carries that script into every group they enter. Check out my music! More Topics

Protyus A Gendher
Bun's unreleased Rust port has 13,365 unsafe blocks. Most can be removed.

An audit of every unsafe block in Bun's unreleased Rust port: what each relies on, and what removing it would take.

After #Bun unsafe audit slop report...

https://bun.com/bun-unsafe-audit

...I've randomly looked into the CSS parser module and found this:

https://github.com/oven-sh/bun/blob/346ce0805f31c0cc382236f2fd022b11ab2d7733/src/css/selectors/parser.rs#L54-L67

A function that uses `unsafe` to convert a `SmallList` into a boxed slice. I can't say anything about whether it is a correct usage of `unsafe`.

What I can say, however:
There is already an equivalent method on `SmallList` that uses _zero_ `unsafe`!

https://github.com/oven-sh/bun/blob/346ce0805f31c0cc382236f2fd022b11ab2d7733/src/collections/lib.rs#L492

In other words: It's duplicated code + #unsafe!

1/3

#Rust #LLM

Bun's unreleased Rust port has 13,365 unsafe blocks. Most can be removed.

An audit of every unsafe block in Bun's unreleased Rust port: what each relies on, and what removing it would take.

From the .NET blog...

In case you missed it earlier...

Improving C# Memory Safety
https://devblogs.microsoft.com/dotnet/improving-csharp-memory-safety/ #dotnet #AI #csharp #Security #NET11 #NET12 #memorysafety #unsafe

Improving C# Memory Safety - .NET Blog

The `unsafe` keyword is being redesigned to mark caller-facing contracts rather than just syntax. Safety obligations between callers and callees become visible and reviewable. The model is motivated by the rise of AI-assisted code generation and arrives as a preview in .NET 11.

.NET Blog
Improving C# Memory Safety - .NET Blog

The `unsafe` keyword is being redesigned to mark caller-facing contracts rather than just syntax. Safety obligations between callers and callees become visible and reviewable. The model is motivated by the rise of AI-assisted code generation and arrives as a preview in .NET 11.

.NET Blog

Я дал LLM писать unsafe Rust полгода. Miri плакал

Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки в FFI-колбэках, ручные Send/Sync, uninit-память, Pin. Каждая категория идёт с минимальным примером и фиксом.

https://habr.com/ru/articles/1035914/

#Rust #unsafe #miri #FFI #UB #aliasing #MaybeUninit #Pin #LLM #AI

Я дал LLM писать unsafe Rust полгода. Miri плакал

Этот код прошёл мои code review, ревью второго коллеги, тесты, CI с clippy и десять дней работал в проде: let mut out = Vec::with_capacity(estimated_size); let written = unsafe {...

Хабр

Я заставил LLM писать Rust полгода. Вот что они стабильно ломают

Полгода использовал Claude, GPT и Cursor как полноценного второго разработчика на Rust в проде. Собрал семь категорий ошибок, которые модели стабильно делают и которые проходят cargo build, cargo test, иногда cargo clippy и при этом являются UB или скрытыми архитектурными ловушками. Lifetime laundering, std::sync::Mutex через .await, Drop у транзакций, unaligned read, async cancellation, orphan rule и массивы на стеке. Разбираю, почему именно Rust ломает LLM и что с этим делать.

https://habr.com/ru/articles/1035712/?utm_source=habrahabr&utm_medium=rss&utm_campaign=1035712

#Rust #LLM #unsafe #async #tokio #miri #AI

Я заставил LLM писать Rust полгода. Вот что они стабильно ломают

Полгода я использовал Claude, GPT и Cursor как основной инструмент для написания Rust-кода в проде. Не как «помощник для бойлерплейта», а как полноценного второго разработчика на монолите примерно в...

Хабр