Rust 1.90 compiler optimization (O2, O3) triggers UB with Box::from_raw() · Issue #147265 · rust-lang/rust
https://github.com/rust-lang/rust/issues/147265
https://github.com/rust-lang/rust/issues/147265
GitHub
Rust 1.90 compiler optimization (O2, O3) triggers UB with Box::from_raw() · Issue #147265 · rust-lang/rust
Code I minimized the issue to the following testcase, which uses serde and bincode to serialize a structure by boxing it, serializing the exposed address and reconstructs the box from the deseriali...
Forwarded from 美 好 足 浴 🛀
Among the most promising techniques is that of the Rust
programming language, which employs …
However, its success also comes at a cost: … This cost is arguably unavoidable and even desirable in the context of …
😋
https://dl.acm.org/doi/10.1145/3704859
#ocaml #rust #pl
Proceedings of the ACM on Programming Languages
Data Race Freedom à la Mode | Proceedings of the ACM on Programming Languages
We present DRFcaml, an extension of OCaml's type system that guarantees data race
freedom for multi-threaded OCaml programs while retaining backward compatibility with
existing sequential OCaml code. We build on recent work of Lorenzen et al., who extend…
freedom for multi-threaded OCaml programs while retaining backward compatibility with
existing sequential OCaml code. We build on recent work of Lorenzen et al., who extend…
Forwarded from Ivan Tham
Why We Bet on Rust to Supercharge Feature Store at Agoda | by Agoda Engineering | Agoda Engineering & Design | Oct, 2025 | Medium
https://medium.com/agoda-engineering/why-we-bet-on-rust-to-supercharge-feature-store-at-agoda-ed4a70d2efb7
https://medium.com/agoda-engineering/why-we-bet-on-rust-to-supercharge-feature-store-at-agoda-ed4a70d2efb7
Medium
Why We Bet on Rust to Supercharge Feature Store at Agoda
By Worakarn Isaratham
Forwarded from 蜜柑不时抱
Forwarded from Hacker News (yahnc_bot)
Zed is now available on Windows https://zed.dev/blog/zed-for-windows-is-here
zed.dev
Windows When? Windows Now
From the Zed Blog: Zed for Windows is finally here. Download it today.