「Rust」に関連する技術ブログ

企業やコミュニティが発信する「Rust」に関連する技術ブログの一覧です。

関数型言語”兼”定理証明支援系Leanの環境構築

Leanとは Leanは普通の関数型言語であり、なおかつ定理証明支援系でもある大変パワフルな言語です。つまり原理上実行前にわかる性質は、型に埋め込んだり、頑張って自分で証明したりすることができます。そう考えるとワクワクしてきますね! またコンパイラフロントエンドのAPIを自由にユーザーが使えるので、標準の文法や意味論とまったく同じレベルで自分の拡張

Rustを中心に世界は回る ~Rustで実装したモジュールを異なる言語から呼び出してみた~

こんにちは、エンジニアの籏野です。 フォルシアでは数年前からRustに関連したイベント(Shinjuku.rs)を開催したり、本の執筆を行ったりとRustに関する活動が行われてきました。 さらにここ最近はRustをよりコアな部分に活用していけないかという議論も活発に行われており、Rustは今後の開発でより重要な役割を担っていくのではないかと感じています。 私自身はこれまでRus

FastAPI で Pydantic v2を使うと性能向上!

サーバーサイドエンジニアの松木 ( @tatsuma_matsuki ) です。 セーフィーではいくつかのサービスでFastAPIを使った開発を行っています。FastAPIでは、Pydanticというライブラリを使ってリクエスト・レスポンスのモデルのバリデーションなどを実装することができます。このPydanticというライブラリですが、近いうちにメジャーバージョンアップのリリースが予定されており、これ

LLM活用促進に向けたPlatform Engineeringからのアプローチ

KEELチーム の相原です。 今回は流行に乗ってLLM(Large Language Models)の話です。 とは言うもののLLMは単なる流行ではなく新たなパラダイムと言っていいでしょう。 解けるタスクの幅は未だ底が知れず、機械学習とは求められる能力も多少異なることからソフトウェアエンジニアである私の周りでも大きな変化が起きていると感じます。 LIFULLでもこの変化をコーポレートメッセ

【NTT Comで踏み切れ。】 サマーインターンシップ2023を開催します!

NTTコミュニケーションズ(以下、NTT Com)を含めたドコモグループではこの夏に3種類のインターンシップを開催します! ビジネス創造インターンシップ ドコモハッカソン 現場受け入れ型インターンシップ このうち、この記事ではNTT Comのリアルな業務を体験できる「現場受け入れ型インターンシップ」について紹介します。 現場受け入れ型インターンシップとは NTTドコ

cargo watch で .env ファイルの変更も監視する

TL;DR .env と .trigger を .gitignore に追加して、以下のスクリプトを cargo run の代わりに実行する。 run.sh #!/bin/bash set -e -u -o pipefail # kill all background child processes when exit. trap "exit" INT TERM trap "kill 0" EXIT realpath() { [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}" } SCRIPT_DIR="$

Rust製TypeScriptコンパイラstcの現状と今後

この記事は、 Merpay Tech Openness Month 2023 の2日目の記事です。 メルペイFrontendエンジニアの @togami2864 です。普段はPartner Platformというチームで加盟店申込みフォームや審査・管理を行うためのMerchant Supportツールの開発・運用を担当しています。 本記事ではRust製TypeScriptコンパイラであるstcについて筆者の観測範囲での概要、開発状況、課題等を紹介します。なお、内容は全て2

京都のIT系学生コミュニティ・CAMPHOR-の活動紹介

はじめに さくらインターネットでは、ITコミュニティや学生の活動にサーバなどを提供する支援活動を行っています。今回はその中から、京都を拠点に活動するIT系の学生コミュニティ「CAMPHOR-」(カンファー)の活動を紹介し […]

【5/30(火) 12:00~】NIFTY Tech Talk 新人エンジニアに贈る最強の開発環境 を開催します!

イベント概要 NIFTY Tech Talkは、ニフティ株式会社の社員が主催するトークイベントです。 本イベントでは、ニフティグループの社員が業務を通じて学んだことを発信しています! 第11回目のテーマは「新人エンジニアに贈る最強の開発環境」です。 ニフティのエンジニアが、働き始めた新人エンジニアに開発環境を紹介する回となります。 概要 日程:5月30日(火)12:00〜1

検索が爆速になるデータベース設計を公開します

こんにちは。エンジニアの谷井です。 フォルシアでは、Spookと呼んでいる技術基盤を用いて、主に旅行業界やMRO業界に対して、膨大で複雑なデータを高速検索できるアプリケーションを提供しています。 今回はその高速検索のノウハウのうち、特にDBの扱いに関連する部分について、ベテランエンジニアへのインタビューを通してそのエッセンスをまとめてみました。 一

個人的Python開発環境構築

はじめに こんにちは、ニフティ株式会社 基幹システムグループの小倉です。今回は、業務で扱うことの多いPython開発環境に対して、個人的に快適でモダンな開発環境を考えてみたので、共有しようと思います。 使用するツールについて Visual Studio Code 今回使用するエディタになります。 Docker コンテナ技術を提供するツールです。 Poetry PoetryはPythonパッケージマネージャ

定期開催!セーフィー社内勉強会をご紹介

こんにちは、セーフィー フロントエンドエンジニアの沖です。 こちらの記事でも紹介されてますが、セーフィーには様々な種類のエンジニアが在籍しています。 engineers.safie.link 組み込みソフトウェアエンジニア サーバーサイド / インフラ・SREエンジニア AI / 画像処理 エンジニア フロントエンドエンジニア iOS / Androidエンジニア 業務システムエンジニア QAエンジニア

筑波大学の学園祭を支えるさくらのクラウド

はじめに さくらインターネットでは、ITコミュニティや学生の活動にサーバなどを提供する支援活動を行っています。今回はその中から、筑波大学の学園祭「雙峰祭」における支援の例を紹介します。2022年の雙峰祭の実行委員を務めた […]

Chrome Extension で作るクラウドいらずのMLモデル提供

TL;DR Chrome Extension経由で独自に学習したMLモデルを社内配布できるようにしました モデルはユーザのブラウザ上で実行するので余計な通信も発生せず クラウド 代も不要です 背景 こんにちは。CADDi AI Lab MLOpsチームの中村遵介です。普段は 機械学習 エンジニアチームの作るモデルを Vertex Endpointsを使用してAPIとして提供 したり、パイプラインに組み込んで推論結果をデータ
技術ブログを絞り込む

TECH PLAY でイベントをはじめよう

グループを作れば、無料で誰でもイベントページが作成できます。情報発信や交流のためのイベントをTECH PLAY で公開してみませんか?