cargo new --bin したパッケージに対して、たまたまデフォルで生成される .gitignore を用いずに https://gitignore.io/ で生成してものを用いていたのですが、 Cargo.lock ファイルの扱いが異なるように思われ、あれ?と思って見直してみました。
ちょっと煽ってみました 誰も書いていなかったのでreqwestについて書きます。 TL;DR HTTP系crateのデファクトスタンダードであったhyperは0.11.0からtokioとfuturesを採用した複雑なAPIに変わりました。 simpleでstableなHTTP clientが使いたければhyperの作者でもあるseanmonstar氏のreqwestを使うのがいいです。 もちろん、reqwestにデフォルトでついてくる機能がいらない場合や、高次元なcrateを自作したい場合はhyperを使うのが正しいです。 現在のhyper clientの公式exampleがこことここに載っています。 かなり単純な形でも以下のようになりますね。 extern crate futures; extern crate hyper; extern crate tokio_core; use st
About Bino Bino is a video player with a focus on 3D and Virtual Reality: Support for 3D videos in various formats Support for 360° and 180° videos, with and without 3D Support for 3D displays with various modes Support for Virtual Reality environments, including SteamVR, CAVEs, powerwalls, and other multi-display / multi-GPU / multi-host systems Bino is based on Qt. The optional Virtual Reality s
Verus is a tool for verifying the correctness of code written in Rust. Developers write specifications of what their code should do, and Verus statically checks that the executable Rust code will always satisfy the specifications for all possible executions of the code. Rather than adding run-time checks, Verus instead relies on powerful solvers to prove the code is correct. Verus currently suppor
May 22, 2024 In response to a recent Boats article, I mentioned that Rust’s type system drastically changes things for verification. This comment seems to have aroused a lot of interest, so I figured I’d expand on it, explaining how Rust simplifies formal verification and why this had the verification community excited for a while now. I assume that most of you reading this post won’t be experts i
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く