Preferred Networksに入社しました | κeenのHappy Hacκing Blog

2023/09/02 14 users アセンブラ Preferred Networks 表題 初日

κeenです。お久しぶりですね。表題のとおり入社報告です。 最近はあまり入社エントリとかみなくなって悲しいですね。私もあんまり書く気なかったんですが知り合いへの連絡に便利なので残しておきます。 9/1付で入社し、コンパイラチームに配属されました。初日はアセンブラの仕様書渡されました。他にも社内ドキュメント... 続きを読む

Rustのコードチェックを強力にする3つのツール | κeenのHappy Hacκing Blog

2022/06/19 24 users rust miri Mirai 行儀 ツール

κeenです。 Rustaceanのみなさんは普段書いてるRustのコードを検証するのに cargo check や cargo test などのツールを使っているかと思いますが、それらを強力にするツールの miri 、 MIRAI 、 kani をそれぞれ紹介します。 Rustにはいくつかコードの正しさや行儀のよさを検査する方法がありますね。 cargo check や ca... 続きを読む

eBPFでDockerの--passwordで入力したパスワードを盗む | κeenのHappy Hacκing Blog

2022/01/03 22 users Proc Docker rust eBPF password

κeenです。以前の記事の続きで、 /proc を監視するのではなくeBPFで取得してみます。ついでにRustのコードをeBPFで動かせるライブラリのayaも使ってみます。 以前の記事では /proc 以下の監視をビジーループで回すという力技で新しく作られたプロセスを補足していました。これだとCPU使用率が上がって美しくありませんし... 続きを読む

io_uringで高速IO処理（！） | κeenのHappy Hacκing Blog

2021/02/24 8 users io_uring Happy Hacκing Blog

M.2のNVMe SSD x 4の上にbtrfsでRAID 5を組んだファイルシステム上で実験しており、Linuxカーネルは5.8.0でした。 公平性の調整 ネタバレになるですが、キャッシュの具合やファイルが残ってるかどうかで速度が結構変わるのでベンチマーク後にファイルは削除し、ベンチマークの間に sync() を挟むことでキャッシュの影響... 続きを読む

Rustプログラミングのための環境構築 | Emacs JP

2021/02/18 14 users Emacs JP 環境構築 インストー emacs rust

Author: blackenedgold Published: 2020-12-04 Last Modified: 2021-02-03 GitHub Source: md 概要 EmacsでのRust言語をプログラミングする際の環境構築について示します。 このページは以下の記事をemacs-jpのために再編集し投稿したものです。 Rustの環境構築（Emacs） | κeenのHappy Hacκing Blog ツールのインストー... 続きを読む

プログラミング言語の未来はどうなるか | κeenのHappy Hacκing Blog

2021/01/26 566 users Matz ＪＥＩＴＡ パネルディスカッション 議論 執筆

κeenです。最近JEITAのソフトウェアエンジニアリング技術ワークショップ2020に参加したんですが、そこで五十嵐先生、柴田さん、Matzとパネルティスカッションをしました。その議論が面白かったので個人的に話を広げようと思います。 年末年始休暇に書き始めたんですが体調を崩したりと色々あって執筆に時間がかかってし... 続きを読む

自作コンパイラをブラウザ上で動かす | κeenのHappy Hacκing Blog

2020/11/30 8 users rust 自作コンパイラ Ruby エントリ 進捗

このエントリは言語実装 Advent Calendar 2020の1日目の記事です。 次はsisshiki1969さんで「RustでつくるRuby、その後の進捗」です。 κeenです。 昔からちまちま作ってるSML処理系をブラウザ上で動かすことができたのでその進捗報告です。 ちまちま作ってるSML処理系とはこれのことです。 KeenS/webml: A Standard ML C... 続きを読む

Twitter上のプログラミング入門者観察記 | κeenのHappy Hacκing Blog

2020/05/21 380 users 潮時 Twitter上 プログラミング エンジニア タイミング

κeenです。 ここ半年くらいTwitter上でプログラミングに入門してる人、入門してエンジニアとして働きはじめたばかりの人を観察していました。 そろそろ潮時かなと思ったので観察結果を報告します。 観察結果をまとめようと思ったのは、どっかのタイミングで書こうと思っていたところに丁度いい記事が目に入ったからです... 続きを読む

最小限のELF | κeenのHappy Hacκing Blog

2020/04/12 27 users ELF コンパイラ Linux フォーマット 需要

κeenです。 先日の記事で言及した最小限のELFが需要ありそうだったので解説してみます。 コンパイラを作るときの参考にしてみて下さい ELFはExecutable and Linkable Formatを表わし、Linuxなどで標準の実行可能ファイルのフォーマットとなっています。 なんらかの形でこのファイルを生成するのがコンパイラの最終目標と... 続きを読む

Idein Ideas — AWSで使うRust

2020/01/30 20 users rust AWS Idein Ideas Haskell 一環

κeenです。この記事では IdeinでのAWSの利用例の開示の一環として、どのようにRustをAWS上で動かしているかをご紹介します。 Ideinの提供しているサービスActcastではサーバの主たる部分をRustで書いています。 はじめの頃は本当にRustだけだったのですが、各方面に秀でたメンバーが集まった結果、今ではHaskellやTypeSc... 続きを読む

ウワサのVeronaを眺めてみる | κeenのHappy Hacκing Blog

2020/01/26 20 users Verona GitHub MSR rust Rustベース

κeenです。 先日、Microsoft Research (MSR)からVeronaという言語が公開されました。 マイクロソフト、Rustベースのセキュアなプログラミング言語を探求中 - ZDNet Japan マイクロソフト、「Rust」に基づくプログラミング言語プロジェクト「Project Verona」がGitHubに - ZDNet Japan これを見た人達の反応が様々で（婉... 続きを読む

手続き型脳で型推論を実装してみた | κeenのHappy Hacκing Blog

2019/12/08 12 users 推論 エントリ 型推論 Happy Hacκing Blog

このエントリは型 Advent Calendar 2019 - Qiita 2日目に遡って投稿しているエントリです。 担当に遅刻した訳ではなくて空いてたので前から詰めて投稿しただけです。 κeenです。世の中に型推論アルゴリズムは色々知られていると思いますが、それを一切無視して型推論を実装してみたので報告します。 型推論の基本的理解 ... 続きを読む

安全なシステムプログラミング言語Rustへの招待 | κeenのHappy Hacκing Blog

2019/11/19 374 users Happy Hacκing Blog 招待

IIJ Labでの発表用。主にシステムプログラミング言語経験者向けの内容 続きを読む

実践Rust入門を読んだ - 逆さまにした

2019/05/13 45 users 実践Rust入門 FFI rust Edition 本書

実践Rust入門 言語仕様から開発手法まで, κeen, 河野達也, 小松礼人を読みました。本書の特徴は以下の3つでしょう。 2018 Editionに対応している FFIについて日本語で書かれた書籍 実践 を意識した内容になっている 本記事では、特に3つ目の実践的という観点で感想を述べようと思います。 Rustの言語仕様という観点で言... 続きを読む

「実践Rust入門」を書いたよ | κeenのHappy Hacκing Blog

2019/04/24 143 users rust 共著 see also 実践Rust入門 目次

κeenです。実践Rust入門 言語仕様から開発手法まで(技術評論社)を書いた(3人で共著)のでどういう本なのか解説します。 5/8発売です。電子版もありますよ。Gihyo Digital PublishingだとPDFが手に入るので人気らしいです。 See Also 書籍『実践Rust入門』の詳細な目次です 目指したもの Rustの入門書といえば公式ドキュメ... 続きを読む

お薦めのコンパイラの本とか | κeenのHappy Hacκing Blog

2019/02/16 79 users Twitter コンパイラ 主観 通称 やりとり

κeenです。たまにお薦めコンパイラの本教えてなどのやりとりをTwitterで見かけるのでまとめておきます。 私の主観が入っているので他の方の意見も参考にして下さい。 普通の入門書三書 よく挙げられるのは通称「ドラゴンブック」、「タイガーブック」、「中田先生の最適化なんちゃらの本」です。 このうちのどれかを読む... 続きを読む

async/awaitと合成可能性 | κeenのHappy Hacκing Blog

2019/02/09 177 users await async スライド 実装 非同期処理

κeenです。async/awaitって実装の都合と利便性の良い所取ってるよなーと常々思ってるのを言語化してインターネットに放流します。 何度か似たようなことを言ってるのですがスライドであることが多くてあまり情報量を詰め込めなかったのでブログにまとめます。 非同期処理と継続 非同期処理は時間のかかる処理を待ち合わ... 続きを読む

プログラミングを目的にしてもいいと思う | κeenのHappy Hacκing Blog

2019/01/22 473 users Happy Hacκing Blog プログラミング 目的

文系でプログラマーになったけど色々失敗して３年半で会社を辞めた話｜denkigai｜noteという記事を読みました。 この記事に書かれていることが私の身にも覚えがあります。特に私と同い年の方のようなので自分に重ねてしまうところもあります。 ですが多少似たところはあってもやっぱり他人なので全然違う体験もしていま... 続きを読む

Rustで強めに型をつけるPart 1: New Type Pattern | κeenのHappy Hacκing Blog

2018/12/15 29 users rust エントリ 時空 part 頭痛

このエントリはRustその2 Advent Calendar 2018 6日目の記事を時空を遡って書いています。 κeenです。頭痛い。寝れない。寝れないので空いてる日の分を埋めに行きます。 「Rustで強めに型をつける」シリーズではある程度有名なテクニックを紹介しようかと思います。 みんな当たり前のように書くと知らない人はいつまで経... 続きを読む

JITあれこれ | κeenのHappy Hacκing Blog

2018/12/01 201 users JIT グダグダ Happy Hacκing Blog 一口

κeenです。遅刻してしまいましたがこのエントリーは 言語実装 Advent Calendar 2018 1日目の記事です。 最近私の観測範囲内でJITが流行っているのですが一口にJITと言っても色々あるよなーと思ったので私がJITについて知っていることをグダクダ話ます。 このブログでも何度がJITや周辺技術について取り上げてますが話の... 続きを読む

自然言語のアウトプットを継続的に出すためには | κeenのHappy Hacκing Blog

2018/10/11 25 users 一筆 アドベントカ 緑茶 アウトプット ドキュメント

κeenです。ミスってコーヒーと濃いめの緑茶を喫してしまって眠れないのて一筆執ります。 ふとソフトウェア界を見渡すにブログやドキュメントなどを継続的に書いてる人って意外と少ないのかなと思ったので自分なりに続く方法を書いてみます。 下記が統計コマンドと結果です。2018年はまだ3ヶ月弱残ってる上にアドベントカ... 続きを読む

isucon7予選のアプリをRustに移植したから解説するね | κeenのHappy Hacκing Blog

2018/09/02 103 users gfx isucon rust Webアプリケーショ 余力

κeenです。こういう流れがあったので移植しました。 keenさんが「2028年、Rust でイケてる web application framework はこれだ！」みたいな記事を書くとと "余力" が生まれるかもしれません…！！ — FUJI Goro (@gfx) 2018年8月28日 まずISUCONを知らない方に雑に説明しておくと、意図的に遅く作られたWebアプリケーショ... 続きを読む

エンジニアの働き方とかについてのエモい記事 | κeenのHappy Hacκing Blog

2018/01/14 608 users DISCLAIMER マネージャ エンジニア 非エンジニア

κeenです。 非エンジニアのマネージャがエンジニアチームと上手くやる方法 の記事に影響を受けてエンジニアとしての意見を書いてみようかなと。 非エンジニア向けのつもりです。 ここでいうエンジニアはソフトウェアエンジニアのことです。 Disclaimer ある程度客観的になるように気をつけてますがあくまで私個人の意見です。エンジニアを代表するようなものではありません。 κeenはまだエンジニア3年目... 続きを読む

WebAssemblyでGC | κeenのHappy Hacκing Blog

2017/12/07 46 users アセンブラ WebAssembly コンパイラ 進捗 うち

κeenです。この記事は WebAssembly Advent Calendar 2017 8日目の記事です。WebAssemblyでガーベジコレクションする話。 はじめてWebAssemblyを聞いたとき、「ブラウザでアセンブラが動くのか、よし、コンパイラを作ろう」と思ったかと思います。 私もそのうちの一人で去年頃 こんなコンパイラ を作り始めました。 しかしご覧のように進捗芳しくありません。 ... 続きを読む

雰囲気でシェルを使っている人のためのシェル入門 | κeenのHappy Hacκing Blog

2017/10/29 880 users POSIX AsH bin POSIXシェル シェル

κeenです。雰囲気でシェルを使ってる人が多いとのことだったので少しばかり込み入った知識を。 あと一応POSIX準拠かどうかも気にしながらやっていきます。 基礎知識編 シェルの種類 まず、POSIXにシェルが 定義されています 。 これに最低限の機能で準拠しているものをPOSIXシェルと呼ぶことにします。いわゆる /bin/sh です。具体的な実装はbsh、ash、dashあたりでしょうか。 最低... 続きを読む