Posts

自作マシン3号を組んだ
2024-05-29
- 番外編
- 日記
Preferred Networksに入社しました
2023-09-02
- 番外編
Idris2の管理はpackにお任せ
2022-12-03
ブログにPDFスライドを追加した話
2022-09-21
- blog
- hugo
- pdfjs
Idrisで証明がしやすい書き方
2022-09-17
- Idris
- 証明
- 小ネタ
Idris2の依存型つき木
2022-09-10
- Idris
- Idris2
- 依存型
btrfsでうっかりdisk fullにしたときにやったこと
2022-08-01
- btrfs
- Linux
Rustのコードチェックを強力にする3つのツール
2022-06-20
Dropboxにtarを使ったバックアップを毎週取る
2022-04-30
- Linux
Rustで設定値を持つにはどうしたらいいですか
2022-04-24
- Rust
fcitx-skkで変換/無変換キーで日本語/ラテンを切り替える
2022-04-24
- SKK
Ubuntu 22.04に上げたときに起きた問題と解決
2022-04-23
- Ubuntu
GPUを用いたFizzBuzzの高速化の取り組みの解説とか
2022-04-01
- FizzBuzz
- OpenCL
- GPU
GPUを用いたFizzBuzzの高速化の取り組み
2022-04-01
- FizzBuzz
- OpenCL
- GPU
Rustでポインタから`Box<[T]>`を作る
2022-02-21
- Rust
- 小ネタ
eBPFでDockerの--passwordで入力したパスワードを盗む
2022-01-04
- Docker
- Linux
- eBPF
- Rust
よくあるベンチマークを調べたい
2022-01-03
- 言語実装
SVGのアニメーションのお勉強
2022-01-02
- SVG
2022年抱負
2022-01-01
- 番外編
Ubuntuでamdgpuのドライバインストールに失敗したあとGPUが使えなくなったときの対処法
2022-01-01
- Linux
- Ubuntu
- amdgpu
- 備忘録
文献管理をMendeleyからZoteroに移行した
2022-01-01
2021年振り返り
2021-12-31
- 番外編
RustでDockerの--passwordで入力したパスワードを盗む
2021-12-20
moldを使うとRustのビルドが速くなる
2021-12-20
Rustのテストは2種類のオプションがある
2021-12-20
SML#のexistential typeで遊ぶ
2021-10-03
- SML#
- SML
論文メモの続き：The Third Homomorphism Theorem
2021-08-22
- 論文メモ
コンパイル時に定数を処理してしまうアレ
2021-08-22
- compiler
高精度に漢字変換できるSKK辞書を作った（四角号碼、正假名）
2021-05-02
- SKK
RustからCPU拡張命令を使ってみる
2021-04-04
- 小ネタ
- Rust
- CPU
- x86
今さら聞けないアヴィウムプルヌス入門のタネ明かし
2021-04-01
- 入門
今さら聞けないアヴィウムプルヌス入門
2021-04-01
- 入門
YubiKeyをLinuxの「鍵」にする
2021-03-28
- YubiKey
- Linux
- PAM
YubiKeyとBitWardenで安心Web生活
2021-03-28
- yubikey
- bitwarden
YubikeyでOpenPGP鍵をセキュアに使う
2021-03-23
- Yubikey
- OpenPGP
- GPG
io_uringで高速IO処理（！）
2021-02-24
- Linux
- Rust
- 非同期
Hugoのブログに全文検索をつけた
2021-02-23
- Hugo
io_uringで高速IO処理（？）
2021-02-08
- Linux
- Rust
- 非同期
epollで作るチャットサーバ
2021-02-01
- Rust
- Linux
プログラミング言語の未来はどうなるか
2021-01-04
- 散文
Idrisといくつかの帰納法
2021-01-01
- Idris
- 証明
2021年抱負
2021-01-01
- 番外編
2020年振り返り
2020-12-31
- 番外編
Idrisモナドアソート
2020-12-29
- Idris
SMLの処理系組み込み例外ってなーんだ
2020-12-28
Idrisの標準ライブラリを解説していくよ
2020-12-27
- Idris
論文メモ：The Third Homomorphism Theorem
2020-12-27
- 論文メモ
Idrisで正しいモノイドを定義したい
2020-12-26
- Idris
RustのMutexのPoisoning
2020-12-25
IdrisのElaboratorリフレクションでメタプログラミング
2020-12-25
IdrisのFFIとCodegen（C、JavaScript）
2020-12-24
Idrisの依存型で高さが100%正しいAVL木を定義する
2020-12-23
Idris面白機能：文芸的Idris
2020-12-22
Idrisで依存型を使った定理証明入門
2020-12-22
Idris面白機能：with構文と依存型、View
2020-12-22
Idris面白機能：シンタックスシュガーとオーバーロード、あとユーザ定義構文
2020-12-20
SMLのDerived Forms
2020-12-20
IdrisのテストとCI
2020-12-20
Idrisdocの使い方
2020-12-19
Idrisのパッケージとipkg
2020-12-17
Idrisの名前つきパラメータとGADT
2020-12-16
Idris手習い: ビッットマップ画像の書き出し
2020-12-16
Idrisのモジュールとプレリュード、標準ライブラリ
2020-12-15
Rustのconst fnって何？
2020-12-15
Idrisと高橋君
2020-12-10
Idrisのインタフェースとモナドなどなど
2020-12-09
REPLでIdris小旅行
2020-12-07
Inkscapeで生成するOGP画像の禁則処理をちょっとだけ頑張る
2020-12-07
- Inkscape
- NLP
Idrisの型とデータ型
2020-12-06
SMLでバッククォート記法を実現する
2020-12-03
Idrisの基本文法
2020-12-02
Rustの環境構築（Emacs）
2020-12-01
Idrisのインストール
2020-12-01
依存型のあるHaskellことIdrisってどんな言語？
2020-11-30
自作コンパイラをブラウザ上で動かす
2020-11-30
ブラウザ上で音楽を演奏する
2020-11-14
- JavaScript
- Web Audio API
Inkscapeを使ってSVGからOGPイメージを半自動生成する
2020-11-09
- Inkscape
- SVG
- website
Linuxで発表動画を撮る
2020-11-08
Inkscapeで描いたパーツをブラウザ上で合成する
2020-11-03
- SVG
- Inkscape
Rustでインメモリキャッシュ作った話
2020-10-20
- Rust
シャドイングの嬉しさ
2020-06-20
- 言語設計
- Rust
WasmtimeのimportsにRustの関数を差し込む
2020-06-07
- Rust
- WebAssembly
RustのHashMapはentryが便利
2020-05-23
- Rust
Twitter上のプログラミング入門者観察記
2020-05-20
- 番外編
Rustで強めに型をつけるPart 5: 「なんでも文字列」をやめる
2020-05-14
- Rust
- rustで強めに型をつける
最小限のELF
2020-04-12
- ELF
- compiler
タネ明かし: Whitespaceコンパイラを作った話の裏側
2020-04-01
- Whitespace
- compiler
Whitespaceのセルフホストコンパイラ作ったよ！
2020-04-01
- Whitespace
- compiler
BlogやるならGitLab Pagesがおすすめ
2020-03-27
- ブログ
Essential PhoneにCarbonROMを焼く
2020-03-01
- Android
- 備忘録
自作マシン2号組んだ
2020-02-16
- 日記
- 番外編
ウワサのVeronaを眺めてみる
2020-01-26
- 言語処理系
- Verona
pdftkを使って両面印刷する
2020-01-12
- PDF
- Utility
- CLI
- 備忘録
- 小ネタ
Rustで強めに型をつけるPart 4: タグ型
2020-01-11
- Rust
- Rustで強めに型をつける
SML# x MassiveThreadsでスレッドを2020個走らせる
2020-01-04
2020年抱負
2020-01-02
- 番外編
2019年振り返り
2019-12-30
- 番外編
自作lintルールとcargo fixでRustのコードをリファクタする
2019-12-23
リソースを管理する型
2019-12-21
- 型
- SMLSharp
SMLで継続を使ってprintf/scanf
2019-12-21
- ML
- SML
- 継続
Dependency Analysis入門
2019-12-15
手続き型脳で型推論を実装してみた
2019-12-08
RustでCPS変換が簡単になったよという話
2019-12-07
dieselでselectするカラムを1箇所にまとめる
2019-12-07
itertoolsの紹介
2019-12-06
Rustのturbofishを理解する
2019-12-03
Rust 2020
2019-11-30
- Rust
代数的データ型とパターンマッチの補遺: 赤黒木
2019-11-02
- ML
- SML
- データ構造
n月刊ラムダノートにパターンマッチについて寄稿しました
2019-11-02
- ML
- SML
- 言語実装
Rustで構造体に配列のようなインデックスアクセス
2019-10-31
- Rust
grub rescueで'grub_file_filters' not foundが出るときの対処方
2019-10-21
- Linux
パッチを当ててuim-skkをUTF-8化する
2019-10-20
- SKK
- Ubuntu
Ubuntu 19.10でzfs root試してみた
2019-10-19
- Linux
- Ubuntu
- zfs
Rustで型レベル迷路
2019-10-06
- Rust
- 型
Rustで「文字が特定の文字集合に含まれるか」を判定するのはどれが速いか
2019-10-06
- Rust
- 小ネタ
RustのErrorとFailureのベンチマーク見たことある？
2019-07-20
- Rust
RustのFutureとそのRunnerを作ってみた
2019-07-07
- Rust
- Future
継続とかの話題サーベイ
2019-06-27
- 継続
Shinjuku.rs #4 でライブコーディングしてきた
2019-05-22
- Rust
- Shinjuku.rs
「実践Rust入門」を書いたよ
2019-04-21
- Rust
論文メモ: Finitary Polymorphism for Optimizing Type-Directed Compilation
2019-03-02
- 論文メモ
Idrisで依存キュー
2019-02-28
- Idris
- 型
- 依存型
pthread_createに渡してるのってクロージャだったんだ
2019-02-17
- 小ネタ
論文メモ: HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack
2019-02-16
- 論文メモ
論文メモ: Mison: A Fast JSON Parser for Data Analytics
2019-02-16
- 論文メモ
お薦めのコンパイラの本とか
2019-02-16
- 番外編
Ubuntuにnodeとnpmをインストールする
2019-02-16
- Linux
- Ubuntu
- nodejs
- npm
- JavaScript
Effective Idris: Lazy
2019-02-14
- Idris
- Effective Idris
async/awaitと合成可能性
2019-02-09
- 非同期
GitLab CIでRustのCIとクロスコンパイル: お手軽編
2019-02-03
- Rust
- GitLab
Idris入門: リファレンス
2019-01-25
- Idris
- Idris入門
gitのrebaseでsquashをワンライナーで
2019-01-24
- 小ネタ
- Git
プログラミングを目的にしてもいいと思う
2019-01-21
- 番外編
Idris入門: 二分木
2019-01-17
- Idris
- Idris入門
Idris入門: 数当てゲーム
2019-01-07
- Idris
- Idris入門
idris環境構築
2019-01-06
- Idris
タプル小話
2019-01-05
- Rust
- SML
- OCaml
My wishilist for Rust 2019
2019-01-01
- Rust
2018年注目していきたかった技術の振り返りと個人的振り返り
2018-12-31
- 番外編
Rustのマクロでネストした呼び出しを実現するために
2018-12-25
Rustで強めに型をつけるPart 3: Session Type
2018-12-15
Rustで強めに型をつけるPart 2: Type Level State Machine
2018-12-15
Rustで強めに型をつけるPart 1: New Type Pattern
2018-12-15
Rustのモジュールの使い方 2018 Edition版
2018-12-08
JITあれこれ
2018-12-01
言語処理系勉強会に参加してきた
2018-11-17
自然言語のアウトプットを継続的に出すためには
2018-10-11
- 番外編
情報科学若手の会 #51 に参加してきた
2018-10-08
- 番外編
Rustでenumのタイプエイリアスでヴァリアントもエイリアスして欲しい問題のワークアラウンドとか
2018-09-17
- Rust
Thoughts on GCs
2018-09-09
isucon7予選のアプリをRustに移植したから解説するね
2018-09-02
- Rust
- ISUCON
cargoのどこがいいのか
2018-08-26
- Rust
- Cargo
量子コンピュータに入門してるその3 量子探索アルゴリズム
2018-06-10
- 量子コンピュータ
ghc-modのインストールが難しかった
2018-06-03
- Haskell
量子コンピュータに入門してるその2 量子フーリエ変換
2018-05-18
- 量子コンピュータ
ツクモで自作マシン買った
2018-05-13
- 日記
- 番外編
UbuntuでrootfsをbtrfsのRAID1インストール
2018-05-12
- Linux
- Ubuntu
- btrfs
- RAID1
量子コンピュータに入門してる
2018-05-01
- 量子コンピュータ
Ubuntuでバックアップが失敗する話、あるいはディスクサイズとファイルサイズについて
2018-04-28
- Linux
- 小ネタ
rayonの真価は分割統治にアリ
2018-04-08
cargo asmでRustのメモリ周り最適化をチェック
2018-04-04
- Rust
- Cargo
DieselでSELECT NULLする
2018-02-26
- Rust
- Diesel
関数適用、関数から評価するか？引数から評価するか？
2018-02-24
- ML
- SML
- OCaml
- 言語実装
マクロクラブ Rust支部
2018-02-17
- Rust
- マクロ
改めましてRocksDBさん
2018-02-08
- DB
- RockDB
- Rust
Hello, RocksDB
2018-02-05
- DB
- RockDB
- Rust
情報科学若手の会冬の陣2018でライブコーディングしてきた
2018-02-03
- 番外編
「イミュータブル」って多義的だよね
2018-01-27
- 小ネタ
エンジニアの働き方とかについてのエモい記事
2018-01-12
- 番外編
Rustに何が欲しいだろう
2018-01-05
- Rust
2018年注目していきたい技術
2018-01-04
- 番外編
2017年注目していきたかった技術の振り返りと個人的振り返り
2017-12-31
- 番外編
SMLのエコシステム（？）
2017-12-24
Rustのバイナリが大きい理由
2017-12-18
- Rust
diesel小ネタ集
2017-12-16
Graal/Truffleについて軽く
2017-12-13
RPythonについて軽く
2017-12-12
WebAssemblyでGC
2017-12-07
クレートを公開する前に埋めておくべきメタデータ
2017-12-03
Ironのレスポンスの中身を覗き見るライブラリを雑に作った
2017-12-02
RustのDI
2017-12-01
雰囲気でシェルを使っている人のためのシェル入門
2017-10-17
- Shell
- Shell Script
- CLI
心臓のこと
2017-10-09
- 番外編
- 散文
Rustで高速な標準出力
2017-10-05
- Rust
Hugoにシーケンス図を埋め込むその2
2017-08-27
- Hugo
- Mermaid.js
Hugoにシーケンス図を埋め込む
2017-08-26
- Hugo
- PlantUML
- Ditaa
ステートマシン抽象化としてのFuture
2017-07-02
- Rust
- Future
- 非同期
ジェネリクス勉強会補足
2017-06-24
Rustでエラーが出てないのにファイルに書き出せないときは
2017-06-13
- Rust
- 小ネタ
Rustのトランザクション抽象化ライブラリ作った
2017-06-06
- Rust
- Transaction
非同期とノンブロッキングとあと何か
2017-05-19
- 非同期
- Go
Rust風にデザインパターン23種
2017-05-06
- Rust
- デザインパターン
メモリとスタックとヒープとプログラミング言語
2017-04-30
Cargoのサブプロジェクトとreplace
2017-04-05
- Rust
- Cargo
関数型プログラマからみたRust
2017-04-04
- Rust
オーディナルの話とカーディナルの話
2017-03-02
- 番外編
- 小ネタ
RustのちょっとやりすぎなBuilderパターン
2017-02-09
- Rust
- デザインパターン
Deprecating CIM
2017-01-29
- Lisp
- Common Lisp
- CIM
Rustのモジュールの使い方
2017-01-15
- Rust
頑張らないLinuxデスクトップ環境
2017-01-10
- Linux
- 開発環境
Idein Incに入社しました
2017-01-06
- 番外編
QUICの中身が分からないから仕様読んでみた
2017-01-02
- QUIC
2017年注目していきたい技術
2017-01-01
- 番外編
2016年注目していきたかった技術の振り返りと個人的振り返り
2016-12-31
- 番外編
気付いたらRustの環境構築がかなり楽になってた
2016-12-29
- Rust
- rustup
- 開発環境
- Emacs
Rustのライフタイムを使ったスコープ解析
2016-12-24
Rustの所有権、ライフタイム、参照、型、しがらみ
2016-12-14
- Rust
- 型
Rustのstructとtraitって似てるよね
2016-12-03
- Rust
- 関連型
- 小ネタ
- 型
Rustのプロセス
2016-12-02
新しいコンパイラバックエンドcretonne
2016-12-02
Rustでバイト列を扱う時のtips
2016-12-01
マクロやコンパイラプラグインの実装方法色々
2016-12-01
4年間続いたShibuya.lispのLispMeetUp
2016-12-01
サイバーエージェントを退職しました
2016-11-30
SML#をUbuntu 16.10で動かす
2016-11-30
Rustの関連型の使いどころ
2016-11-22
- Rust
- 型
Rustの型レベルLispっぽいの作った
2016-11-06
- Rust
- Lisp
VMwareのUbuntuを16.10にしたら起動しなくなった
2016-10-31
- Linux
- Ubuntu
- VMware
Rustのクロージャ3種を作って理解する
2016-10-10
- Rust
- 言語実装
SMLでモナド
2016-10-10
- ML
- SML
Pijulのインストールが難易度高いので解説する
2016-09-29
- Pijul
Rustでシェル作った
2016-09-04
- Rust
- Shell
mirah 0.2がリリースされました。
2016-08-11
- Mirah
私がコードを書くときテストは書かない
2016-08-02
- 開発手法
- ポエム
シェル芸十八般
2016-07-13
- Shell
- シェル芸
Container Desgin Patterns
2016-07-02
- Docker
Rustの所有権/ミュータビリティの分割
2016-06-19
- Rust
multirustが非推奨になったようなのでrustupに移行する
2016-06-12
- RUST
- rustup
cargo-profilerを試す
2016-05-14
- Rust
- Cargo
RustでベアメタルRaspberry PiのLチカ
2016-05-04
LXDがリリースされたらしい
2016-04-14
- Linux
- Ubuntu
- 仮想化
- コンテナ
- lxd
- lxc
Mirah関連ツールまとめ
2016-04-04
- Mirha
- 開発環境
リージョンとRustの返り値
2016-03-02
- Rust
Rustのゼロコスト抽象化
2016-03-01
- Rust
テストについて考えてみた
2016-03-01
- テスト
RustのHigher-Kinded type Trait
2016-02-28
- Rust
druidというリアルタイムデータ分析ツールを知った
2016-02-27
- druid
- DB
Bind Addressの意味がようやく分かった
2016-02-24
- network
readlineの作り方
2016-02-14
- Linux
- Lisp
- Common Lisp
分散VCSのモデル、あるいはPijulについて
2016-02-14
- Git
- Pijul
Nexus 5にUbuntu Touchのインストール
2016-02-10
- Ubuntu Touch
Common Lispで高速行列演算
2016-02-04
- Lisp
- Common Lisp
Rustのパッケージをcrates.ioに登録する
2016-01-31
- Rust
Lisp Meetup3周年に寄せて
2016-01-27
- 番外編
- Lisp
独学でプログラミングをやってきた中で良かった技術書50選
2016-01-17
- 番外編
プログラミングを独学する時こそインプットを増やした方がいい
2016-01-17
- 番外編
Isabelleに入門した
2016-01-12
- Isabelle
- 定理証明
SML#のpthreadバインディング作った
2016-01-11
- SML
- SMLSharp
- ML
Rustといえどリソースの解放は注意
2016-01-08
- Rust
2016年注目していきたい技術
2016-01-01
- 番外編
ATS2の観が整理出来た
2016-01-01
- ML
- ATS2
ATS2の依存型を使ってAVL木
2015-12-29
- ML
- ATS2
- 依存型
- 型
SML#とCプリプロセッサの連携
2015-12-26
SML#のオレオレREPLを作る話初級
2015-12-26
Rustのロガーを作る
2015-12-26
Apache Drillの不自然な挙動
2015-12-20
最近作ってるLispの話
2015-12-20
travisとappveyorでクロスプラットフォームなCIする話
2015-12-20
ClojureでReactive Messaging Pattern
2015-12-19
Rustでの日本語の扱い
2015-12-13
SML#に学ぶコンパイラ言語におけるREPLの実装方法
2015-12-12
SML#でJITコンパイラを作る軽い話
2015-12-12
リージョンについて
2015-12-09
SML#でDBに接続
2015-12-05
Cargoの使い方
2015-11-29
- Rust
- CLI
- 小ネタ
Rustで小さなツールを作ってみる(後編)
2015-11-29
Rustで小さなツールを作ってみる(前編)
2015-11-14
一時ファイルの作り方
2015-11-08
- Rust
- Linux
REST APIのテストにはwgetが便利かもしれない
2015-10-20
- CLI
ddでPCの引っ越しをしたら起動しなかった
2015-10-05
- CLI
- BIOS
- UEFI
isucon にCommon Lispチームで出た
2015-09-27
- ISUCON
- ISUCON5
rust初心者へのガイド
2015-09-23
- Rust
xhyveでFreeBSD guestを動かす
2015-09-16
- xhyve
- FreeBSD
- Mac
ファイル削除コマンド色々
2015-07-05
- CLI
- 備忘録
マクロについて整理してみる
2015-07-04
あなたの知らないShebang
2015-06-26
- CLI
- Shell Script
- Lisp
- Common Lisp
Shell Scriptを書くときのテクニック10選
2015-06-17
- Shell Script
Rustでstructのmutableなfieldあれこれ
2015-06-14
- Rust
- Rust1.0
ClojureでOpenCV 3.0と戯れる
2015-06-07
- Lisp
- Clojure
- OpenCV
TCOと例外ハンドル
2015-05-31
- 言語実装
- SML
第一級ラベルを持たない言語におけるDirect Threaded VMの実装
2015-05-29
- ML
- SML
- 言語実装
Onigmoを最大49%高速化した話
2015-05-26
- 正規表現
幽霊型を知った
2015-05-24
- 型
- 幽霊型
正規表現技術入門を読んだ
2015-05-10
- 書評
tarballベースの軽量バックアップツール'Sheltar'を作った
2015-05-06
- Shell
- CLI
SMLを書くLisperの悩み
2015-05-03
- ML
- SML
SML#をMacでビルドする
2015-04-29
- ML
- SML
- SMLSharp
SMLSharpを使ってSMLのon-the-flyエラーチェック
2015-04-23
- ML
- SML
- SMLSharp
- Emacs
- flymake
SMLSharpでFFIバインディングを書く時の知見
2015-04-19
- ML
- SML
- SMLSharp
SMLのファンクタに少し踏み込んだ
2015-04-12
- ML
- SML
CyberAgentに入社しました
2015-04-10
- 番外編
誰がUTF-32が使われてないなんて言ったんだ
2015-03-31
- 言語処理系
- エンコーディング
Lispエイリアンの矢印作った
2015-03-03
- Lisp
- 小ネタ
面接でLispを口にして落ちない企業、私気になります！
2015-02-10
- 番外編
- Lisp
就活について思ったことをここに書き記す
2015-02-07
- 番外編
- デトックス
mlyaccを使ってみてハマったところ
2015-01-31
- ML
- SML
- mlyacc
- Prolog
AsciiDocを使ってお手軽manページ生成
2015-01-24
- AsciiDoc
- CLI
- Document
印刷フォマット済みのテキストファイルをPDF化する
2015-01-24
- CLI
- PDF
- 小ネタ
Common Lispのポータビリティとユニバーサリティ
2015-01-22
- Lisp
- Common Lisp
- CLI
picrinのcodegenプロセスを説明してみる
2015-01-10
- Picrin
- Lisp
- Scheme
FreeBSDの環境構築
2015-01-08
- FreeBSD
OSお引っ越しの時のデータ移行の自分用注意点
2015-01-04
- 備忘録
新年の挨拶及び内部実装変更のお知らせ
2015-01-01
OctopressからHugoに移行した
2014-12-30
- Octopress
- Hugo
FreeBSDに移行した
2014-12-27
- FreeBSD
- Ubuntu
独学のプログラミング
2014-12-18
- ポエム
サイエンスかエンジニアリングか
2014-12-18
- ポエム
実用Common Lispを読んだ
2014-12-14
- Lisp
- Common Lisp
- 書評
mllexを使ってみる。あるいはlexユーザーに対するmllexの解説
2014-12-10
割と処理系ポータブルなCommon Lisp実行可能ファイルを作る
2014-12-08
- Lisp
- Common Lisp
- Shell
- CLI
H2Oにpicrinを溶かす
2014-12-07
- Lisp
- Scheme
- Picrin
- H2O
- Advent Calendar
- Advent Calendar 2014
claspがアップデートされたよ
2014-12-06
mirahについて
2014-12-04
VOPで遊ぶ
2014-12-02
require, ASDF, quicklispを正しく使う
2014-11-30
- Lisp
- Common Lisp
- Quicklisp
- ASDF
lisp meet up #22でLTしてきた
2014-11-28
#isucon で学生賞二連覇してきた
2014-11-09
- ISUCON
GCの話
2014-10-26
- GC
#関数型なんたらで喋ってきた
2014-10-26
- Lisp
- Scheme
- Picrin
- Scala
Common Lispの勉強をするには、あるいは情報を得るには
2014-10-20
- Lisp
- Common Lisp
Lisp Meet Up #20でLTしてきました
2014-09-30
- Lisp
- Scheme
- Picrin
- Lisp Meet Up
#ISUCON 4 予選に学生枠で参加してきました
2014-09-30
- ISUCON
- Ruby
低レベルなことがしたい
2014-09-18
- 番外編
Shibuya.lisp Tech Talk #8を運営&LTしてきました
2014-09-16
- Shibuya.lisp
- Lisp
- Common Lisp
- MOCL
- Android
Common LispでSIGINTを捉える
2014-08-27
- Common Lisp
- Lisp
isucon夏期講習2014に参加してきた
2014-08-21
- ISUCON
Emacs便利機能/Tips紹介
2014-08-13
- Emacs
- 開発環境
- IDE
Mirah 0.1.3がリリースされました
2014-08-07
- Mirah
- Java
- Ruby
Shibuya.XSS TT #5 に参加してきました
2014-08-07
- Security
- JavaScript
Cloud9の紹介とLispのセットアップ
2014-08-02
- Lisp
- Common Lisp
- IDE
- 開発環境
- Cloud9
- CIM
Lisp Meet Up #19でLTしてきました
2014-07-30
近況
2014-07-13
- 番外編
パーティションテーブルとか色々吹っ飛ばした話
2014-06-12
- 備忘録
Lisp Meet Up #16 でLTしてきました。
2014-04-25
Lisp Meet Up #14でLTしてきました
2014-02-27
- Common Lisp
- Lisp
- Lisp Meet Up
- OCaml
MathJaxを使って数式を埋め込む
2014-02-21
Shell Scriptでオプションをパースするときの必勝法
2014-02-19
- CLI
- Shell Script
FreeBSDのmanページを手動インストールする
2014-02-01
- CLI
- FreeBSD
- 小ネタ
CIMの解説をしてみるコマンド編
2014-01-27
- CIM
- CLI
- Common Lisp
- Lisp
Lisp Meet Up #13でLTしてきました
2014-01-24
- CIM
- Common Lisp
- Lisp
- Lisp Meet Up
Mpd 小ネタ
2014-01-21
- Raspberry Pi
- mpd
- CLI
RSPiでMongoDBを動かし、Twitter Post Alertを作った話
2014-01-19
- MongoDB
- Raspberry Pi
- Ruby
- Twitter
.emacsの整理をした話 + EmacsとViとShellとLispを悪魔合体させたら超絶便利だった
2013-12-13
- Emacs
- Emacs Lisp
- Lisp
- Shell
- vi
ClackのHandlerの書き方
2013-12-06
UbuntuでEmacsからGPGを透過的に扱う
2013-12-04
- Emacs
- GPG
- Ubuntu
Rsync小ネタ
2013-11-30
- rsync
- CLI
- 小ネタ
Lisp Meet Up #11でLTしてきました
2013-11-29
ここ１ヶ月くらいの近況
2013-11-13
- CIM
- Common Lisp
- Emacs
- Octomacs
- fluentd
- mpd
- CLI
チーム「銀杏絶滅しろ」でisucon学生賞もらってきました
2013-11-11
- ISUCON
ISUCON#3予選に参加しました
2013-10-09
- ISUCON
Tiarraにercで接続したときの/loadの問題
2013-10-06
- Emacs
- IRC
- 備忘録
- 小ネタ
Emacsのdired-modeを使い易くする
2013-10-04
- Emacs
- Emacs Lisp
- Lisp
MPlayerがうまく動かない
2013-09-29
- MPlayer
- MPlayer2
- Ruby
Octopressのgistプラグインが動かなかったので修正した
2013-09-26
- GitHub
- Octopress
- Ruby
Shellyを使ってCommon LispファイルをExecutableにする
2013-09-26
- Common Lisp
- Lisp
- Shelly
- CLI
Google Common Lispスタイルガイド
2013-09-21
Gitあれこれ
2013-09-18
- Git
- Github
- 備忘録
octomacs.elを修正しました
2013-09-16
Qiitaのユーザーヒアリングを受けてきました。
2013-09-13
FreeBSD10でちょっとこけた
2013-09-12
- FreeBSD
- FreeBSD10
- svn
- svnlite
- 備忘録
- 小ネタ
COOKPADのアイコン
2013-09-07
- COOKPAD
- Octopress
Redmineのインストール
2013-09-05
- Install
- Redmine
- Ruby
- Ubuntu
- rvm
- 備忘録
PDFユーティリティ
2013-09-03
- PDF
- Utility
- CLI
- 備忘録
Rails Tutorial
2013-09-03
- Git
- Heroku
- Ruby
- Ruby on Rails
- Web Development
Githubの変更を追う
2013-09-02
- Git
ブログ開設しました
2013-09-01