GitHub - phiresky/ripgrep-all: rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.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入門」を書いたよ | κeenのHappy Hacκing Blog
κeenです。実践Rust入門 言語仕様から開発手法まで(技術評論社)を書いた(3人で共著)のでどういう本なのか解説します。 5/8発売です。電子版もありますよ。Gihyo Digital PublishingだとPDFが手に入るので人気らしいです。 See Also 書籍『実践Rust入門』の詳細な目次です 目指したもの Rustの入門書といえば公式ドキュメントのThe Book、TRPLなどと呼ばれるThe Rust Programming Languageやその有志による和訳が一番に挙がるでしょう。 それ以外にもオライリーよりProgramming Rustやその和訳版も出ています。 どちらもRustについてよく書かれており、本書の購入を検討されている方は上記2冊との違いが気になるかと思います。 本書の大きな特徴は以下の2点です。 Rust 2018 Editionに対応している 実
ブラウザがJavaScriptを直接サポートしない世界 - Qiita
TL;DR WASMって凄いね．JavaScript処理系すら実装できるんだって． ならブラウザはWASMだけをサポートすれば楽なんじゃないかな． という考察記事です． 経緯 私は少し前からRustでJavaScript処理系を書いています．(まだまだ機能不足ですが) ある日，ふと思いました．*Rustで書いてるんだからWASMに変換するのも楽なんじゃないか?*と． 面白そうなので，試してみたわけです． 意外と面倒だった RustからWASMへと変換する方法を説明した記事は，調べればいくらでもでてきます．無論そのとおりに手を動かしてみるわけです． しかし，いざやってみるとコンパイラに結構文句を言われます．考えてみれば当たり前ですが，libcなんて使っていたらWASMには変換できません． なので余分なコードは削り，WASMに変換できるようコードを書き直しました． すると，すんなりWASMに変
GitHub - valeriansaliou/sonic: 🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
Sonic is a fast, lightweight and schema-less search backend. It ingests search texts and identifier tuples that can then be queried against in a microsecond's time. Sonic can be used as a simple alternative to super-heavy and full-featured search backends such as Elasticsearch in some use-cases. It is capable of normalizing natural language search queries, auto-completing a search query and provid
Programming WebAssembly with Rust: Unified Development for Web, Mobile, and Embedded Applications by Kevin Hoffman | The Pragmatic Bookshelf
Releases, Offers & More Be the first to hear about our newest content, best promotions and upcoming events. Plus get 25% off your next purchase. Newsletter Sign Up Download Accounts Your email address is your account identifier. You can create a password, or just download from the links sent via email. My Orders (Resend order emails) How We're Different Hands-on instructions Solutions to real-worl
GitHub - VictorTaelin/Formality
When most people hear about formal proofs, they naturally think about mathematics and security, or, "boring stuff". While it is true that formal proofs can be used to formalize theorems and verify software correctness, Formality's approach is different: we focus on using proofs as a tool to enhance developer productivity. There is little doubt left that adding types to untyped languages greatly in
When Rust is safer than Haskell
We’re big fans of safety-focused languages at FP Complete. As our previous blog post comparing Rust and Haskell made clear, we think both of these are great languages. A recurring theme we have for both internal and client projects is: which language should we use? The general guidelines in that blog post apply: If there’s a specific requirement (e.g., hard realtime) that prefers avoiding garbage
GitHub - XAMPPRocky/tokei: Count your code, quickly.
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ Language Files Lines Code Comments Blanks ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ BASH 4 49 30 10 9 JSON 1 1332 1332 0 0 Shell 1 49 38 1 10 TOML 2 77 64 4 9 ─────────────────────────────────────────────────────────────────────────────── Markdown 5 1355 0 1074 281 |- JSON 1 41 41
Haskell and Rust - FP Complete
FP Complete is known for our best-in-class DevOps automation tooling in addition to Haskell. We use industry standards like Kubernetes and Docker. We’re always looking for new developments in software that help us empower our clients. Rust is an up-and-coming programming language whose history starts in 2010. Rust has much overlap in its strengths with Haskell. We are impressed with Rust’s tooling
chromiumos/platform/crosvm - Git at Google
fc1873a Merge with upstream 2026-05-14 by crosvm-luci-ci-builder · 29 hours ago chromeos75d5870 infra: Remove build_chromeos_hatch builder by Zihan Chen · 2 days agoe419647 Roll recipe dependencies (trivial). by recipe-roller · 4 days agoaa8a3d4 Merge with upstream 2026-05-12 by crosvm-luci-ci-builder · 4 days ago048d14b Merge with upstream 2026-05-07 by crosvm-luci-ci-builder · 5 days ago The Chr
Elixirから簡単にRustを呼び出せるRustler #1 準備編 - Qiita
この記事は旧いので、@kobae964さんが書かれた [バージョンアップに追従] Elixirから簡単にRustを呼び出せるRustler #1 準備編 [rustler 0.21.1]をご覧ください （この記事は、「Elixir or Phoenix Advent Calendar 2017」の20日目です） 前日は @tuchiroさんの 「ElixirでSI開発入門 #4 本番パスワードを環境変数に持たせる」のでした。 本日は、Elixir並列処理「Flow」の2段ステージ構造を理解するの続きです。「これまでGenStageやFlowで、並列データストリームを扱っていたのに、急にRustネタ！？」と思われるかも知れませんが、追々GenStageやFlowとの絡みが出てきます。 ** お知らせ ** 「fukuoka.ex#11：DB／データサイエンスにコネクトするElixir」を6/
「名前の束縛」という名の束縛 - モナドとわたしとコモナド
実用的なプログラミングにおいて、名前と概念を結びつける「束縛」はほぼ必須の概念である。しかし、その言葉には大きな誤解と混乱が根付いていた。 事の発端となったのは「Haskellにおいては、変数は値を代入するものではなく、値に束縛するものである」という議論である*1 *2。しかし、これは大きな誤解を孕んでいる。言葉の定義に立ち返ってその誤解を解いていこう。 束縛とバインディング 実は「束縛」には二つの意味がある。一つは、数学的な意味での変数の束縛*3、もう一つは、識別子と実体の結合という意味での束縛*4だ。 前者は変数の導入と言い換えることもできる。ラムダ計算におけるラムダ抽象と変数の関係もこれである。重要なのは、これはあくまで変数とそれを導入する抽象の関係であり、変数と実体の関係ではないことだ。 「AをBに束縛する」と言った場合後者で、プログラミングの文脈ではこちらを耳にすることが多いだろ
Introducing the Rust crash course
Introducing the Rust crash course Published October 18, 2018 I'm announcing an upcoming series of blog posts, which I'm calling the Rust crash course. In this blog post, I want to explain: Why I'm interested in Rust Why I'm writing up this series Who this series is for My intended flavor for the series Some examples of Rust gotchas I want to cover I'm getting to work on this series due to increase
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - ivanceras/sauron: A versatile web framework and library for building client-side and server-side web applications
GitHub - bytecodealliance/cranelift: Cranelift code generator
NPM Adopted Rust to Remove Performance Bottlenecks
GitHub - facebookexperimental/MIRAI: Rust mid-level IR Abstract Interpreter
AWS Release “Firecracker”, an Open Source Rust-Based microVM for Container and Serverless Workloads
firecracker/ at master · firecracker-microvm/firecracker · GitHub
GitHub - fschutt/azul: Desktop GUI Framework
