https://twitter.com/kinaba のログ (twilog の方が便利です。)
| http://twitter.com/Cryolite/status/2493483168 自分はURLコピる用のブックマークレットを作ってました。これひどいよなー。 | |
| http://twitter.com/hogelog/status/2502322599 まあ思想的に多感な時期にGNUに触れると、これは"世界"の"敵"だとか言い出してNYSLなど作り始めますね | |
| #asuka 骨心魔天（ゴースト|ドレイン|投げ物|パワー|ドラゴン|マジック）ハウス縛りってどうだろうか。選んだMHに出てくるモンスターの箱しか使わない制限 | |
| 一つ目ハウスの存在を忘れていたことを謹んでお詫び申し上げます。ドレイン、マジック辺りわりと面白そうな気がする。 | |
| @DecimalBloat 「すふぃなえ」と「らいー」にoperator++ | |
| @keigoi さんの講演聞いて帰ってきた。おつかれさまでした面白かったです。型レベルの技の方はこの前理解したつもりになったので今日はSession Typeの実現という面でどうなってるのか理解できたつもりになりました | |
| @keigoi 帰りに最近気になってるというお話したのが http://www.gabbay.org.uk/papers.html こちらの One-and-a-halfth-order logic 辺りの議論です。関係あるかどうか僕もまったくわかってませんが… |