Counter Service: How we rewrote it in Rust
Abstract The Integrity Data Platform (IDP) team decided to rewrite one of our heavy Queries Per Second (QPS) Golang microservices in Rust. It resulted in 70% infrastructure savings at a similar performance, but was not without its pitfalls. This article will elaborate on: How we picked what to rewrite in Rust. Approach taken to tackle the rewrite. The pitfalls and speed bumps along the way. Was it
Rust で型推論を高速かつ安全に実装
簡単、高速、安全。Rc / RefCell の威力を知ってほしい。 データ型の定義 型 まずは普通に型 T を定義します。たとえば、ブーリアン型 \rm Bool と関数型 T \to T だけの型システムなら、以下のようになります。 Box ではなく Rc を使っています：これから型推論を実装しますが、型 T を型変数 \alpha に代入するとき、参照カウントをインクリメントするだけで T を clone できます。 型変数 次に、型変数 \alpha, \beta, \ldots をこれにくわえます。型変数は「まだ何も代入されていない」or「型 T が代入されている」のどちらかなので、これをそのまま enum で表します。
Rust CUDA August 2025 project update | Rust GPU
Rust CUDA enables you to write and run CUDA kernels in Rust, executing directly on NVIDIA GPUs using NVVM IR. Work continues at a rapid pace with significant improvements landing regularly. Here's what's new since our last update. To follow along or get involved, check out the rust-cuda repo on GitHub. Chimera demo blog post We published a blog post about our demo showcasing a single shared Rust
Rustの型システムでLinuxカーネルのバグを防ぐ
過去のデバイスドライバのバグを分類し、それをRustでどの程度防げるかを分析するという面倒な仕事からは、引き続き目を背け、Rustの型システムを活用してコンパイル時にAPI誤用によるバグを防ぐ設計例として、筆者が開発に関わっているタイマー抽象化APIを紹介します。 タイマーAPI基礎知識特定の時点を時間を表すCの型としてktime_tがあり、これは64ビット符号付き整数（s64）で表現され、単位はナノ秒です。ktime_t型は期間を表す型としても使われます。 Linuxカーネルには、下記のように複数のクロックソースが用意されていて、デバイスドライバは用途や特性に応じてクロックソースを使い分けます。例えば、realtimeクロックは補正によって時間が過去に戻る場合があるので、経過時間の測定用途には不向きです。また、独自のクロックソースを実装しているデバイスドライバもあります。 クロックソース
Rust in 2025: Targeting foundational software · baby steps
This blog is where I post up various half-baked ideas that I have. All PostsCategoriesGitHubTwitterRSS/Atom feedsSelected posts: The borrow checker withinEmpathy in open source: be gentle with each other Rust turns 10 this year. It’s a good time to take a look at where we are and where I think we need to be going. This post is the first in a series I’m calling “Rust in 2025”. This first post descr
Announcing Rust 1.89.0 | Rust Blog
The Rust team is happy to announce a new version of Rust, 1.89.0. Rust is a programming language empowering everyone to build reliable and efficient software. If you have a previous version of Rust installed via rustup, you can get 1.89.0 with: $ rustup update stable If you don't have it already, you can get rustup from the appropriate page on our website, and check out the detailed release notes
Rust 1.89.0リリース — 定数ジェネリクスにおける暗黙的推論（`_`）の導入
8月8日、Rust 1.89.0がリリースされた。 以下に、Rust 1.89.0における主要な改善点や新機能について簡潔に紹介する。詳しくはリリースノートを参照していただきたい。 Rust 1.89.0の主な内容 1. 定数ジェネリクスにおける暗黙的推論（_）の導入 Rustでは、型に_を用いてコンパイラに推論を任せる機能が以前から存在していたが、今回のリリースでは定数ジェネリクスでも_を使えるようになった。これにより、以下のように記述できる： pub fn all_false<const LEN: usize>() -> [bool; LEN] { [false; _] } ただし、関数や定数のシグネチャ内では依然として_の使用は許可されていない。 // これはNG pub const fn all_false<const LEN: usize>() -> [bool; _] { [f
Writing a Rust GPU kernel driver: a brief introduction on how GPU drivers work
Writing a Rust GPU kernel driver: a brief introduction on how GPU drivers work This post is the second iteration of a series of posts that provide an in-depth look at the development of Tyr, a state-of-the-art Rust GPU driver for the Linux Kernel, supporting Arm Mali CSF-based GPUs. As promised in the first iteration, we will now explore how GPU drivers work in more detail by exploring an applicat
【海外記事紹介】Rust製ブラウザエンジン「Servo」はWebの未来を担う — Firefoxの中核を担うはずだった重要プロジェクトの現在地
ベンチマーク・デモ Servo公式のDogemaniaテストでは、M4 Pro搭載MacBook Proで約400枚の画像まで60 FPSを維持。Safari 18.5は1,500枚超でも60 FPS前後を記録した。 Particle Physicsでは平均55 FPS（Safariは約60 FPS）。なおARMネイティブ版が未提供のため、Rosetta 2エミュレーションによる性能低下を考慮する必要がある。 Acid3テスト 結果：83 / 100 ServoによるAcid3実行例。現行主流ブラウザ（約95点）には届かないが、改良余地は大きい。 開発ロードマップ 公式ロードマップによると、今後は以下の仕様実装が優先される。 Shadow DOM CSS Grid WebGPUを含む最新グラフィックスAPI群 モバイル向け安定版（特にmacOS ARMビルド） これらが整えば、主要サイトの
Part 1: A Deep Dive into Rust and C Memory Interoperability
An in-depth exploration of what happens when Rust and C memory allocators collide, featuring crash analysis. “Memory oppresses me.” - Severian, The Book of the New Sun Interviewer: “What happens if you allocate memory with C’s malloc and try to free it with Rust’s dealloc, if you get a pointer to the memory from C?” Me: “If we do it via FFI then there’s a possibility the program may continue worki
κeenさんが語る、「Rustエキスパートへの道しるべ」 — Rustの入門、学習法から最新トレンドまで
本連載は、「 エキスパートへの道しるべ（Load to Expert） 」をテーマとして、初級者がエキスパートになるためのヒントを、日本を代表するエキスパートの方々に伺う企画です。 近年、システム開発や組み込み領域で注目度が高まっているプログラミング言語「Rust」。本記事では、6年間にわたりRustを実務で使い、現在はC++開発にも携わっているκeenさんのインタビューをお届けします。Rustの魅力や学習のコツ、C++との比較、注目の最新トピックまでをギュッとまとめました。初心者にもわかりやすいポイントを中心に解説していますので、ぜひご覧ください。 κeenさんをTechFeed上でフォローしよう！ RustとC++の比較――セグメンテーションフォールトの有無や自由度 ――まずは自己紹介をお願いします。 κeen: 私は2017年から2023年までの約6年間、仕事でRustを書いていまし
Rickrolling Turso DB (SQLite rewrite in Rust) - blag
This is a beginner’s guide to hacking into Turso DB (formerly known as Limbo), the SQLite rewrite in Rust. In this short post, I will explore how to get familiar with Turso’s codebase, tooling, and tests (hereafter mentioned as just Turso). Disclosure: I work in the same organization where Turso is being developed. However, I am not a contributor (yet) and most of my work is on the Turso Server. I
Actix vs Axum vs Rocket：Rustフレームワーク頂上決戦！ - Qiita
Leapcell: サーバーレスWebホスティングの最高峰 Rust Web フレームワークの詳細比較分析 序章 ウェブ開発の動的な環境において、Rust はそのメモリ安全性、高性能、並行処理能力により注目を集める強力な言語として浮上しています。Rust エコシステムが拡大を続ける中、さまざまな Web フレームワークが登場し、それぞれ独自の機能とトレードオフを誇っています。この詳細な分析では、人気のある Rust Web フレームワークを比較し、そのアーキテクチャ、性能特性、エコシステムのサポートについて検討します。 Actix Web 概要 Actix Web は、Actix アクターフレームワークを基盤とした高性能で柔軟な Rust Web フレームワークで、非同期操作を効率的に処理できます。シンプルな Web アプリケーションから複雑な高トラフィックの API まで、幅広い用途に優
How to write Rust in the kernel: part 3
The interfaces between C and Rust in the kernel have grown over time; any non-trivial Rust driver will use a number of these. Tasks like allocating memory, dealing with immovable structures, and interacting with locks are necessary for handling most devices. There are also many subsystem-specific bindings, but the focus of this third item in our series on writing Rust in the kernel will be on an o
An (almost) catastrophic OpenZFS bug and the humans that made it (and Rust is here too)
An (almost) catastrophic OpenZFS bug and the humans that made it (and Rust is here too) /* * This code converts an asize into the largest psize that can safely be written * to an allocation of that size for this vdev. * * Note that this function will not take into account the effect of gang * headers, which also modify the ASIZE of the DVAs. It is purely a reverse of * the psize_to_asize function.
Serving a half billion requests per day with Rust + CGI
In my previous post Serving 200 million requests per day with a cgi-bin, I did some quick performance testing of CGI using a program written in Go. Go works excellently for CGI programs, for many of the same reasons it works so well for CLI programs and system daemons. But, out of curiosity, I decided to do a bit more CGI testing with other languages. CGI is good technology, actually# There’s a mi
構造を理解した AI ファーストな差分ツール「diffx」を、Claude Code と Rust で作ってリリースしました
―― ケツカンマで消耗するのは、もうやめよう ―― プログラミング中に JSON、YAML などの設定ファイルを git diff で確認するとき、もどかしさを感じたことはありませんか！？ キーの順番が変わっただけなのに、大量の差分と判定されたり。 たかがインデントの変更！ ケツカンマ！ 従来の diff ツールはテキストを行単位で比較するため、データの「構造」までは理解してくれません。 小さなストレス。されど、毎日積もる。 「もっと賢く、構造を理解した diff ツールが欲しい！」 ……と思ったときには、すでに行動は終わっていたんだ！ 怒り駆動開発！ diffx とは：構造化データのための差分ツール diffx は、JSON, YAML, TOML, XML, INI, CSV といった構造化データに特化した差分ツールであり、Rust 製 CLI です。 1 番の特徴は、データの構造的な
Building the Rust compiler with GCC
Bootstrapping Rust with GCC If you know one thing about me, it is that I love working on the Rust compiler. Some people kayak, travel or play guitar - and I stare at assembly, trying to figure out what I broke. This summer, I am taking on quite a large task: bootstrapping the Rust compiler using `cg_gcc` What does that mean? "bootstrapping" is simply a name given to the Rust compiler build process
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://crates.io/crates/magical_rs
Programming Extensible Data Types in Rust with CGP - Part 2: Modular Interpreters and Extensible Visitors | Context-Generic Programming