ポスト
#hackbar で Coq の話してるときに Coq ってなんすか cockroach しかしらんみたいな関西人もびっくりの激寒ネタが飛んできたけど Heartbleed とかでわーわーしてたあとに話題になったこいつですね #azuretravelers / seminar-materials.iijlab.net/iijlab-seminar…
メニューを開く#hackbar で Coq の話してるときに Coq ってなんすか cockroach しかしらんみたいな関西人もびっくりの激寒ネタが飛んできたけど Heartbleed とかでわーわーしてたあとに話題になったこいつですね #azuretravelers / seminar-materials.iijlab.net/iijlab-seminar…
メニューを開く