» Tag
rust
200 postsAlerus Brings Formal Verification to Probabilistic Rust Code
Alerus extends Verus with error-credit reasoning to formally verify randomized sampling algorithms in real Rust code, with soundness proved in Rocq.
Why Uptime Bars Should Come From Checks, Not Incidents
Why status pages should compute uptime from confirmed checks, not published incidents, and how a frozen 'public' flag can hide real outages.
6x faster batched binary search in Rust via branch prediction fixes
scikit-learn's binary search bucketization gets a 6x Rust speedup by eliminating CPU branch mispredictions via branchless code.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comArborDb: a Rust document store with constant-time field reads
ArborDb is a Rust document store using zero-copy, offset-table blobs to give constant-time field reads regardless of record size.
crates.io adds source code viewer and decouples accounts from GitHub
crates.io ships a source code viewer, GitHub-independent accounts via RFC, unmaintained-crate warnings, and a completed Svelte frontend migration.
What Bun's Rust Migration Reveals About C# in AI Infrastructure
Bun's Zig-to-Rust rewrite shows why compiled languages matter for production AI infrastructure. TensorSharp benchmarks suggest C# can compete at the inference-engine level.
Vite 8's Rolldown Makes Builds 13x Faster, Not the Dev Server
Vite 8 merges Rollup and esbuild into a single Rust bundler called Rolldown/Oxc. Real benchmarks show a 13x faster production build, while the dev server stays essentially unchanged.
Rewriting PostgreSQL in Rust: Challenges and Lessons Learned
Porting PostgreSQL to Rust surfaces deep challenges in memory management, concurrency, and extension compatibility, with measurable performance trade-offs.
Apache Lakehouse Weekly: Governance Debates Across Iceberg, Parquet
Apache Iceberg, Parquet, and Polaris communities debated format governance this week: statistics ownership, file-level access control, and primary key support.
Malicious Rust Crate Arrayref Executes a Build-Time Payload
A compromised release of the arrayref crate runs a malicious payload at build time, raising security concerns for developers.