生命の鼓動が https://pic.twitter.com/ExJbyDa965
posted at 23:23:28
Stats | Twitter歴 4,511日(2011/11/23より) |
ツイート数 56,224(12.4件/日) |
表示するツイート :
生命の鼓動が https://pic.twitter.com/ExJbyDa965
posted at 23:23:28
Neovimが`:w` するたびバッファ単位で重くなるんだけど原因はなんだ、あるいは原因追求方法は何があるんだろうか。
posted at 22:02:08
practicalな例を出すために研究の話をしてギョムの話を聞きたい👨💼🤓
posted at 21:42:50
フローチャートをとってフローチャートを返す高階フローチャート
posted at 21:32:35
OCaml素人なんでignore関数を完全に忘れてて`let _ = hoge in ()` 書きまくってしまった。
posted at 20:08:48
@karasuTX @rizaudo 大学にはおるから待ってて
posted at 18:03:48
BuckleScriptでdelimcc使いたいんだけどopam packagesを使えるのかどうかがそもそも分からない。助けてジャバスクマン…
posted at 15:07:01
短髪だと雨の日でも髪が縮れ麺にならないのすごい、革命ですよ。
posted at 14:36:01
寒さで動きが緩慢になり、結果大学に行くための電車に数回乗り遅れている。
posted at 13:43:13
@hid_alma1026 https://pic.twitter.com/ewhXmq5idK
posted at 13:34:36
インドの放った軍事機にパキスタン一同驚愕 悲しみの連鎖が止まらない…
posted at 12:07:42
そろそろアイカツスターズを観終わってしまうのでアイカツフレンズを観たくなってる、俺は弱い人間だから…。
posted at 11:20:17
キューン作品は平均してグラビティ低いからサクッと読めそうだな。
posted at 03:45:00
本棚見たらサクッと読める百合漫画あんま買ってなかったことが発覚したので沈黙すべきだった。『推しが武道館行ってくれたら死ぬ』はおたくの想いは重いが内容はサクッと読めるのでおすすめです。
posted at 03:41:25
最近の百合漫画はサクッと読んで楽しめるlightweightな作風が多い気が勝手にしている、読んでるのは全体の2割にも満たないと思いますが…。
posted at 03:33:22
読書の方法というメタ本を初めて読んでいるけど面白いせいで早く本を読みたくなってしまう。
posted at 03:14:51
なんとか勉強会と料理勉強会を併設することで懇親会の食費を浮かせるメソッド
posted at 02:17:14
なんでもエフェクトになる夢を見て怖くなって目覚めるというアクシデントが発生して以来就寝前は研究のことを考えたくないんだけど、風呂場では気づけば毎日研究のことを考えてしまうので風呂入りたくない(???)。
posted at 02:11:33
LuaLaTeXでeff .lua、というか組版システムでalgebraic effectsを使うと嬉しいポイントを考えていた。LaTeXの環境+環境specificな命令ってまさにな気がする。ネストすると最近の環境に依存したアクションを取るのもそのまんまやし。あとは皆さんよろしく頼みました。
posted at 02:04:46
入社前にリードエンジニアに筋肉量で勝ちたい💪😉
posted at 01:15:35
水泳やりたいけど近場でスイミングスポットがないので今年は大学のプール利用申請するか🏊♂️🏊♂️
posted at 01:12:32
https://pic.twitter.com/he9Io6mWA5
posted at 00:07:03
tikzのcalloutで吹き出しをカーブさせたいんだけどどうにかできないかしら、具体的には何か中継点を経由するようなことを書きたい。
posted at 23:04:48
温度高めにいれたせいかポットがグレードアップして細い湯もメチャメチャ注ぎやすくなったせいか、あるいは両方のせいか、コーヒーが美味く淹れられたので最高
posted at 22:11:48
宣言的つらくない
posted at 20:20:40
白雪バンビ先生かイラストを描いてるアイカツの玩具があったので買おうか一瞬迷ったが物体に本質はないので一瞥するだけで事足りるため、買わなかった。
posted at 19:49:34
スパイスキメました https://pic.twitter.com/QE0dvDwy1d
posted at 19:21:30
@potetisensei 手の甲にでもボクの誕生日を彫っておいてください
posted at 15:38:50
@potetisensei 9ヶ月後
posted at 15:36:59
ガンスリンガーガール読んだあとジョジョ5部観てるせいでイタリアの治安悪さが脳に強く印象づいている。
posted at 15:05:37
@kuy ポット届きました! ありがとうございます!?!
posted at 14:51:20
感想即ネタバレになるのでとにかく面白かったから観ろしか言えない
posted at 14:39:03
『RELEASE THE SPYCE』を観た。想定の500000倍おもしろいやん…😭
posted at 14:37:49
起きGAFA~
posted at 12:29:26
寝るGAFA〜
posted at 02:01:12
デフォルトハンドラを設定できるエフェクトを作るエフェクトハンドラ
https://gist.github.com/Nymphium/ba7649e796c42540ecb461e1d8151ba9…
posted at 01:56:28
@potetisensei https://pic.twitter.com/ycNbgqLRGo
posted at 01:12:54
@potetisensei ねぇ、それって、ヤバいよ…
posted at 01:08:39
成人したら二郎を食べるという守谷の習慣に従わんかい
posted at 01:06:42
@kuy エッ!? 上で…
posted at 00:43:53
@karasuTX GAFAになって孕神をサッと買ってやりたかった…。
posted at 00:42:22
ところでほしいものリストをカテゴリで分けてる人全然いないんだけどなんでだろう、とはいえボクはほしいものリストは純粋に後で買うリストとして使ってるからこそ分別してるだけなのですが…。
posted at 00:33:47
@potetisensei は? 好き…
posted at 00:29:07
@potetisensei 今年誕生日あります!!! http://amzn.asia/gWgLsBH
posted at 00:28:14
誕生日じゃないんやけどボクもほしいものリスト公開していいですか?
posted at 00:25:56
必死こいて健康を犠牲にして出席した集中講義が全部単位来てて気持ちいいしC判定はあまりにもヤバかったやつだけなので気持ちい、逆にほぼB以上なだけに直々口頭で「あのレポートなんですかw」と言われた指導教員が開講してる講義がBなのが非常に気まずく存在している。
posted at 23:40:45
@karasuTX 焼きGAFA木曜やりましょう
posted at 23:32:40
Scalaあまり書いてないけどScalaMatsuriで気になるセッションが多々あるので行こうかしら…。
posted at 23:20:43
車校中退の話でしか盛り上がれないので、先生に車校中退の話をして盛り上がった。
posted at 22:37:23
@NTSC_J 大学が好きそう
posted at 19:06:32
大遅刻した上に書類不備でリスケジュールになった会合に再び遅刻してます(ヘラヘラ(ヘラヘラではない))
posted at 12:58:44
computational effectsも渋々"計算効果"とか書いたりするけど英語を日本語にぴたり写せたとはあまり思わないが、馴染みの問題かもしれない。
posted at 12:53:09
コールバック関数と言わずに継続て言いましょうということでいいですか?
posted at 12:49:49
少し寒いが空気は春を湛えているので自律神経が春眠してますね…。
posted at 12:31:36
午前事務失敗したのは明らにアウトだが駄々をこねることでらくらく問題解決できると勝手に思っている。
posted at 12:02:54
ポータビリティの重要性はわりとあって、電車での移動中に読むため文庫本や電子書籍から積極的に崩されていき、逆に単行本や家から持ち出したくない漫画は積まれっぱなしになっている。この観察から、異常にデカいポケットのあるカバンを買えば単行本も崩されていくことが分かり、問題は漫画だ。
posted at 04:26:27
積読がこんなにあるのに日曜夜に買った本を読み終えてるのは何故?
posted at 04:18:17
『屍鬼』3巻を読んだ。物語が大きく転換した。
posted at 04:13:52
M1の虚無だった前半に呆然としながら読んでた論文のことを考えていたら思いついたので、過去に意味を持たせることに成功した。
posted at 01:41:18
algebraic effects and handlersとabstract machinesをあわせるのは結構面白いと考えていて、たとえばスコープを作るeffectを作ってオブジェクト管理するハンドラで継続をwrapして、value handlerでファイナライズするとGCみたいなものの解析に使えるんじゃないかと風呂場で考えた。
posted at 01:39:22
@rizaudo https://pic.twitter.com/epiITHQ7o0
posted at 00:01:51