この記事は筆者がセキュリティ・キャンプ全国大会 2024 にて作成したプログラム検証器を元に作成しました。 記事は全部で3回まであります。 各回へはこちらからどうぞ。 各回のリンク 第1回: Rust で預言を使ったプログラム検証器を自作しよう 1/3 第2回: Rust で預言を使ったプログラム検証器を自作しよう 2/3 第3回: Rust で預言を使ったプログラム検証器を自作しよう 3/3 この記事の目的 この記事は、プログラム検証器自作に関する情報が少なすぎる現状を改善し、初学者がより楽に基本的な機能を持つ検証器を完成させ、より早く各々がサポートしたい機能の追加のフェーズに入れるようにすることを目的としています。 全3記事で作成します。今回は、検証器の説明とそれに用いる中間表現の生成、検証器の実行まで行います。 また、この記事は“このやり方で検証機を作成しよう”というものではなく、検

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

WebAssemblyランタイムの1つであるWasmtimeには、Rustにランタイムを埋め込むためのクレートがあります。そのクレートを使って、wasi:cli/commandワールドを実装したWasmコンポーネントを実行するまでをまとめました。 なお、この記事はWasmtime28.0.0を対象にしています。 TL;DR: wasmtime-wasiクレートもあわせて利用します WasmコンポーネントからCommand構造体を作成することで、詳細を隠蔽できます 実行用のプログラムの準備 テスト用に実行するwasi:cli/commandの実装を用意します。次のようなバイナリークレートをビルドして用意します： 利用するクレート 次のクレートを依存関係に追加します： wasmtime wasmtime-wasi tokio wasmtime-wasiクレートはwasi:cli/stdinのよ

久々の更新。 タイトルの通りです。 はじめに 「Rustで文字列を扱うとき、可変でない場合は&strを使った方が効率的よね？」 ...そう、私もそう思っていました。スタック領域のみを使う&strの方が、スタック+ヒープ領域を使うStringより効率的なはず。 でもそんな単純な話ではありませんでした。今回は、私が&str vs Stringについて理解を深めていく過程で気づいたことを記載します。 1. 私の「&str」に対する理解 「可変じゃないならメモリ効率の良い&strでしょ！」 私の頭の中はこんな感じでした // Stringの場合：スタック+ヒープ領域を使う let heavy = String::from("I am heavy"); // &strの場合：スタックだけで済むから「軽い」 let light = "I am light"; // スタックだけで済む！効率的だぜ！ 「

RealWorld 業務 Rust 実際に Rust 1.0 の頃から業務で Rust を使ってコードを保守してきてハマった落とし穴についての 知見 恨み言です Rustが素晴らしい言語であるというあたりまえのことにはこの文書では触れません 気が向いたら追加します 開発環境編 ビルドマシンを買ってもらえ ノートパソコンのCPUとメモリでは限界がある CPU 二桁コアのマシンを何人かで共有して使え VSCode の Remote SSH でがんばれ vim でもいいぞ ストレージは可能な限りデカくしろ target はブラックホール 10GB 超はあたりまえ、中には 100GB 超も sccache、 cargo cache 、 cargo sweep などを駆使してがんばれ docker も使うので大容量ストレージだけが正義だ sccache 使用例

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

この記事はとあるサークルのOB/OGが行っているN代アドベントカレンダー2024の24日目です。 はじめに インターネットで拾った野良コードをよく考えずに実行してはいけないという話は皆さん耳タコだと思います。今日びそんな野蛮なことをする人はいないでしょうが、世の中には実行しなくてもエディタに貼り付けただけで悪さをしだすコードもあります。 本題 以下のコードをVSCodeなりRustRoverなり、お好きなエディタに貼り付けてみてください。 ......いや、やっぱり貼り付けないでください。 #![allow(dead_code)] fn main() { println!("Hello, world!"); } type T1<T> = (T, T, T, T); type T2<T> = T1<T1<T1<T1<T>>>>; type T3<T> = T2<T2<T2<T2<T>>>>;

Haskeller の異常な愛情：または、生粋の Haskeller は転職して Rust を一ヶ月半書いて何を思うようになったか この記事は Jij Advent Calendar 2024、Haskell Advent Calendar 2024、およびRust Advent Calendar 2024シリーズ2 の18日目の記事です。 各カレンダーの前後の記事は以下の通りです： Haskell Advent Calendar 2024 前の記事： 次の記事：gotoki_no_joe さんの「集めるDPについて」 Rust Advent Calendar 2024 シリーズ2 前の記事：yasuo-ozu さんの「本物のSpecializationをStable Rustで！」 次の記事：hyumanase さんの「Rust.Tokyo 2024 に初参加した」 Jij Advent

モニクル Advent Calendar 2024の12日目の記事です． はじめに モニクルの開発組織では，TypeScriptをプロダクトを作るときの最初の選択肢として採用しており，Node.jsをランタイムとした一般的なJSの技術スタックでの開発を行っています． そんな中でNode.jsのパフォーマンスに課題を感じ始め，一部のコードをRustで書き直すという作業を行いました． Node.jsに感じた課題 あらゆるサービスが稼働しているだけでお金を生み出してくれると良いのですが，残念ながら全てのサービスがお金を生み出すわけではありません．サービスを稼働させるコストがかかっているのであれば，そのコストをできる限り削減したいと思うのは組織としては一般的なことだと思います． そんな中，サービスの一部がインスタンスのメモリーリミットに引っ掛かるようになりました． 通常ウェブアプリケーションのサー

Deno is a modern, zero-config JavaScript runtime written in Rust. At its core is Rusty V8, a library that provides high-quality, zero-overhead Rust bindings to V8’s C++ API. Over the past five years, Rusty V8 has undergone nearly 150 releases, racking up more than 3.1 million downloads on crates.io. Today, we’re excited to announce a major milestone: Rusty V8 is now stable and production-ready. Wh

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

はじめに この記事では、RustでUnion Typesのように型の集合を表現する方法について解説します。型レベルリストを用いることで型の集合を表現し、Trait Resolutionを使って特定の型が集合に含まれるかどうか、またある集合が別の集合を含むかどうかを判定することができます。 実装の核となるのは、再帰の深さを表す型パラメータを使った型レベルリストの再帰的処理です。このトリックを使うことで、型レベルリストに対する様々な処理が実現できます。

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

欧州を基盤にオープンでセキュアなインターネットの実現を支援しているNLnet Foundationは、Rust製ブラウザエンジン「Servo」を用いたWebブラウザ「Verso」の開発プロジェクトの立ち上げを発表しました。 Versoの開発は、Electron代替を目指すフレームワーク「Tauri」の開発チームが主導することが、下記のポストで示されています。 We've stopped waiting for other people to solve our problems with webviews and kicked off a browser+webview project called Verso (and we've already gotten a bit of funding from NLNET.)https://t.co/PMOV7YbGtE https://t.c

はじめに こんにちは、エンジニアの長谷です。 最近社内でPostgreSQL拡張をRustで実装しているのですが、世の中でもRust製のPostgreSQL拡張がいろいろと開発されているようです。 今日はその中の1つParadeDBをご紹介します。 ParadeDBとは ParadeDBとはElasticsearchのような機能を持つPostgreSQL拡張で、Rustで実装されています。 似たような拡張としてはZomboDBがありますが、こちらはあくまでElasticsearchの導入が前提でPostgreSQLとElasticsearchを連携するような機能であるのに対し、ParadeDBはPostgreSQLのみで完結できるという特徴があります。 機能としては主にSearch（pg_search）とAnalytics（pg_lakehouse）を提供しており、さらにSearchに関し

Working in a developer ecosystem can be very involved, especially when it comes to managing a repository effectively. Which package manager to use? Which language version to use? How to import packages? How to build code? So on and so forth. moon aims to streamline this entire process and provide a first-class developer experience. Increased productivity - With Rust as our foundation, we can ensur

はじめに 先日ユニークビジョン株式会社の UV Study というイベントで Rust に関する LT 登壇を行いました。 この記事はそれを zenn 用にまとめ直したものです。 当日の発表は 10 分と短かったため、当日の発表で話せなかったところも補足しています。 作ったもの FFI は面倒 あるプログラミング言語で書かれたプログラムの中から、別のプログラミング言語で書かれた処理を呼び出したいことがあります。 それぞれプログラミング言語は文法やライブラリだけでなく、内部でどのようにリソースを管理しているかの仕組みも異なるため、そのままでは相互に関数を呼び出せません。（例えば呼び出し先のプログラムでなにかデータを生成してそれを呼び出し元に返そうとしても、その生成されたデータは誰がどうやって面倒を見るべきかという問題が生じます。） このようなことを可能にするための仕組みを FFI （Fore

はじめに 昨今、ビルドツールは様々なものが開発され、いかに高速化するか、開発者体験を上げられるかが注目されているように思います。2024年6月にState of JSが公開され、その中でBuild Toolsはwebpackが最も使用されており、次いでViteがランキングしています。 Viteの伸びがすごいですね...🔥 ビルドツールも様々ありますが、2024年4月にFarmというWeb Bandlerのv1.0がリリースされました。 気になってドキュメントサイトを覗いてみるとなんだか良さげな雰囲気を感じたので、Farmの特長と推せるポイントをまとめてみようと思います。 やること、やらないこと やること Farmの紹介 Farmの特長とおすすめポイントの紹介 やらないこと Farmの導入方法や詳細について （ドキュメントがわかりやすい） Farmとは？ Farmは、webpackやVit