はじめてのにき

_ malloc

libheapのこの図が便利と教えてもらった

(14:56)

_ ゴルスタ

http://sprix.jp/pdf/160831.pdf

http://sprix.jp/pdf/160905.pdf

ちゃんと反省文書いてたのか…見直した

(03:34)

_ 村八分

なにこのサイト

http://minamiumayado.com/info/mura8/

ネタらしいし、ネタぽいんだけど、妙なリアル感がこわい

(22:22)

_ PythonさんがRubyさんを学ぶ

http://kiito.hatenablog.com/entry/2016/09/20/164134

なんだかバランスの良い内容に感じ、怪文章書いてるやつは反省すべきと思った。それはそれとして、こんなまともなRuby vs Python記事でもドサクサに紛れて殴られてるPHPさん

(03:01)

_ パクチー

http://tokyowise.jp/special/vol12/12_9_phakchi.html

最後の「“ワサビチャーハン”という概念に対する驚きこそが、タイ人にとってこれらの日本発信のパクチー料理なのだろう」いい話だなー。

(14:01)

_ whitespace処理系

自分が書いたものも含めてビックリするくらいゴミばかりである。

自分の用途に一番素直に使えたのはこれだった。ありがたい

http://koturn.hatenablog.com/entry/2015/08/10/000000

(23:56)

_ 機械学習と型づけと

https://twitter.com/jmuk/status/775178305481740288

たぶん型付けるって話に2種類あって、

• save_model(string filename, Model model) に引数を逆に渡してウキョーとか、 save_mode と typo してウキョーとか、そういうのを静的型付けによって防ごうって話
• matmul(A, B, C) の A, B, C の次元が正しいかどうかを静的型付けによってチェックしようという話

で、前者を mame さんが想定してて、むかいさんは後者を想定してるのではないかな、と思う。前者は正直 closure compiler とか程度のやつでも相当たすかると僕の感覚では思うし、後者は次元数てのは静的に決まるものでなく、モデルに保存されてたりするので「面白い話題がある領域では」と思うのもすごくよくわかる

後者は僕も不勉強なので確信は持てないのだけど、たぶんむかいさんの理解通り、あまり既存研究とかが多く無い(実用化されてるものを僕は知らない)領域なのではないかな、と思う。

C++でいうと、templateに型を与えたり定数値を与えたりはできるわけだけど、変数値ではあるものの、プログラムの実行中は値を変えない何か、を型パラメータにしたいのかな、と思う。僕が知ってる中で、これを不十分に実現してるふうを装えそうなものとしては、 D 言語の alias template が使えるかもしれないな、とか思う

import core.stdc.stdio;
import core.vararg;

int vector_dim3;
int vector_dim4;

template Vector(alias dim) {
  class Vector {
    this(...) {
      assert(_arguments.length == dim);
      v = new int[](dim);
      for (int i = 0; i < dim; i++) {
        v[i] = va_arg!int(_argptr);
      }
    }

    int inner_product(Vector!(dim) o) {
      int r = 0;
      for (int i = 0; i < dim; i++) {
        r += v[i] * o.v[i];
      }
      return r;
    }

    int[] v;
  }
}

void main() {
  vector_dim3 = 3;
  vector_dim4 = 4;

  auto v3_1 = new Vector!(vector_dim3)(1, 2, 3);
  auto v3_2 = new Vector!(vector_dim3)(3, 2, 1);
  printf("%d\n", v3_1.inner_product(v3_2));  // OK - 10

  auto v4_1 = new Vector!(vector_dim4)(1, 2, 3, 4);
  auto v4_2 = new Vector!(vector_dim4)(4, 3, 2, 1);
  printf("%d\n", v4_1.inner_product(v4_2));  // OK - 20

  // Not OK! (dimension mismatch) - statically checked
  // printf("%d\n", v3_1.inner_product(v4_1));

  // Not OK! (argument number mismatch) - runtime assertion failure
  // auto v_err = new Vector!(vector_dim3)(1, 2);
}

(22:25)

_ DEF CON CTF Final 結果

https://blog.legitbs.net/2016/09/2016-def-con-ctf-final-scores.html

8位とのこと。思ったより良かったなぁ…と思うけど、僕以外の人がすごかったということだと思う。にしても Mayhem ビリってのは何が悪かったんだろ。体感強そうだったんで、なんか主催者側のバグがどうこうのせいなのかな…

(22:33)

_ socat

わすれがちなのでめも

socat tcp-l:4000.reuseaddr exec:"./binary"

(06:59)

_ pwnable.kr 進捗

• lfh (300): 割と特になんということもなく解けた
• starcraft (300): ややこしすぎてつらかった。もう終わったよなーと思ってからも、探索範囲が広くてなかなか大変っていう
• elf (100): やるだけ問だけどこういうの少しハマる
• syscall (200): 初 kernel exploit ということ以外に言うべきことが無い系の
• wtf (100): 簡単すぎやろ

(00:38)

_ 数学をいつ使うのか

http://readingmonkey.blog45.fc2.com/blog-entry-625.html

この表すごすぎ

(12:48)