小ネタ

• Idrisで証明がしやすい書き方

  2022-09-17

  • Idris
  • 証明
  • 小ネタ

• Rustでポインタから`Box<[T]>`を作る

  2022-02-21

  • Rust
  • 小ネタ

• RustからCPU拡張命令を使ってみる

  2021-04-04

  • 小ネタ
  • Rust
  • CPU
  • x86

• SMLでバッククォート記法を実現する

  2020-12-03

  • SML
  • ML Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar
  • 小ネタ

• pdftkを使って両面印刷する

  2020-01-12

  • PDF
  • Utility
  • CLI
  • 備忘録
  • 小ネタ

• dieselでselectするカラムを1箇所にまとめる

  2019-12-07

  • Rust
  • Advent Calendar
  • Rust Advent Calendar
  • Advent Calendar 2019
  • Diesel
  • 小ネタ

• Rustで「文字が特定の文字集合に含まれるか」を判定するのはどれが速いか

  2019-10-06

  • Rust
  • 小ネタ

• pthread_createに渡してるのってクロージャだったんだ

  2019-02-17

  • 小ネタ

• gitのrebaseでsquashをワンライナーで

  2019-01-24

  • 小ネタ
  • Git

• Ubuntuでバックアップが失敗する話、あるいはディスクサイズとファイルサイズについて

  2018-04-28

  • Linux
  • 小ネタ

• 「イミュータブル」って多義的だよね

  2018-01-27

  • 小ネタ

• diesel小ネタ集

  2017-12-16

  • Rust
  • Diesel
  • 小ネタ
  • Advent Calendar
  • Advent Calendar 2017
  • Rust Advent Calendar

• Ironのレスポンスの中身を覗き見るライブラリを雑に作った

  2017-12-02

  • Rust
  • Advent Calendar
  • Advent Calendar 2017
  • Iron
  • 小ネタ
  • Web
  • Rust Advent Calendar

• Rustでエラーが出てないのにファイルに書き出せないときは

  2017-06-13

  • Rust
  • 小ネタ

• オーディナルの話とカーディナルの話

  2017-03-02

  • 番外編
  • 小ネタ

• Rustのstructとtraitって似てるよね

  2016-12-03

  • Rust
  • 関連型
  • 小ネタ
  • 型

• Rustでの日本語の扱い

  2015-12-13

  • Rust
  • Advent Calendar
  • Advent Calendar 2015
  • 小ネタ
  • Rust Advent Calendar

• Cargoの使い方

  2015-11-29

  • Rust
  • CLI
  • 小ネタ

• Method Drawでお手軽LGTM生成

  2015-08-14

  • 小ネタ

• caveman2、ningle…Common LispのWeb周りのフレームワークを快適に使うためのたった1つのコト

  2015-03-05

  • Lisp
  • Common Lisp
  • 小ネタ

• Lispエイリアンの矢印作った

  2015-03-03

  • Lisp
  • 小ネタ

• 印刷フォマット済みのテキストファイルをPDF化する

  2015-01-24

  • CLI
  • PDF
  • 小ネタ

• MathJaxを使って数式を埋め込む

  2014-02-21

  • MathJax
  • Octopress
  • 小ネタ

• FreeBSDのmanページを手動インストールする

  2014-02-01

  • CLI
  • FreeBSD
  • 小ネタ

• Rsync小ネタ

  2013-11-30

  • rsync
  • CLI
  • 小ネタ

• Tiarraにercで接続したときの/loadの問題

  2013-10-06

  • Emacs
  • IRC
  • 備忘録
  • 小ネタ

• FreeBSD10でちょっとこけた

  2013-09-12

  • FreeBSD
  • FreeBSD10
  • svn
  • svnlite
  • 備忘録
  • 小ネタ